E-LIB Suche - Ergebnisse für: Gerwinn, Sebastian

1

An Approach for Safety Assessment of Highly Automated Syste..:

, In: 2019 4th International Conference on System Reliability and Safety (ICSRS),

Vander Maelen, Sebastian ; Buker, Matthias ; Kramer, Birte... - p. 494-503 , 2019

Link: https://doi.org/10.1109/..

2

Efficient Splitting of Test and Simulation Cases for the Ve..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Böde, Eckard ; Büker, Matthias ; Eberle, Ulrich... - p. 139-153 , 2018

Link: https://doi.org/10.1007/..

3

Quantitative Risk Assessment of Safety-Critical Systems via..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification; Lecture Notes in Computer Science,

Puch, Stefan ; Fränzle, Martin ; Gerwinn, Sebastian - p. 305-321 , 2018

Link: https://doi.org/10.1007/..

4

Statistical Model Checking for Scenario-Based Verification ..:

, In: Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; Lecture Notes in Control and Information Sciences,

Gerwinn, Sebastian ; Möhlmann, Eike ; Sieper, Anja - p. 67-87 , 2018

Link: https://doi.org/10.1007/..

5

Statistical model checking for stochastic hybrid systems in..:

Ellen, Christian ; Gerwinn, Sebastian ; Fränzle, Martin
International Journal on Software Tools for Technology Transfer. 17 (2014) 4 - p. 485-504 , 2014

Link: https://doi.org/10.1007/..

6

Inferring decoding strategies from choice probabilities in ..:

Haefner, Ralf M ; Gerwinn, Sebastian ; Macke, Jakob H.
Nature Neuroscience. 16 (2013) 2 - p. 235-242 , 2013

Link: https://doi.org/10.1038/..

7

Context-model generation for safe autonomous transport vehi..:

, In: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems,

Kuka, Christian ; Gerwinn, Sebastian ; Schweigert, Sören.. - p. 365-366 , 2012

Link: https://dl.acm.org/doi/1..

8

Inferring decoding strategy from choice probabilities in th..:

Haefner, Ralf ; Gerwinn, Sebastian ; Macke, Jakob.
Nature Precedings. , 2012

Link: https://doi.org/10.1038/..

9

Optimal Population Coding, Revisited:

Berens, Philipp ; Ecker, Alexander ; Gerwinn, Sebastian..
Nature Precedings. , 2011

Link: https://doi.org/10.1038/..

10

Reassessing optimal neural population codes with neurometri..:

Berens, Philipp ; Ecker, Alexander S. ; Gerwinn, Sebastian..
Proceedings of the National Academy of Sciences. 108 (2011) 11 - p. 4423-4428 , 2011

Link: https://doi.org/10.1073/..

11

Reassessing optimal neural population codes with neurometri..:

Berens, Philipp ; Ecker, Alexander S. ; Gerwinn, Sebastian...
Proceedings of the National Academy of Sciences of the United States of America. 108 (2011) 11 - p. 4423-4428 , 2011

Link: https://www.jstor.org/st..

12

Gaussian process methods for estimating cortical maps:

Macke, Jakob H. ; Gerwinn, Sebastian ; White, Leonard E...
NeuroImage. 56 (2011) 2 - p. 570-581 , 2011

Link: https://doi.org/10.1016/..

13

Bayesian methods for neural data analysis:

Gerwinn, Sebastian , 2010

Link: http://nbn-resolving.de/..

14

Bayesian inference for generalized linear models for spikin..:

Gerwinn, Sebastian
Frontiers in Computational Neuroscience. 4 (2010) - p. , 2010

Link: https://doi.org/10.3389/..

15

Bayesian population decoding of spiking neurons:

Gerwinn, Sebastian
Frontiers in Computational Neuroscience. 3 (2009) - p. , 2009

Link: https://doi.org/10.3389/..