E-LIB Suche - Ergebnisse für: Kwiatkowska, Marta

1

Double spinal cord stimulators (SCS) with different types o..:

Ślusarczyk, Wojciech T. ; Laskowski, Maciej ; Kwiatkowska, Marta A..
Annales Academiae Medicae Silesiensis. 78 (2024) - p. 104-107 , 2024

Link: https://doi.org/10.18794..

2

Probabilistic reach-avoid for Bayesian neural networks:

Wicker, Matthew ; Laurenti, Luca ; Patane, Andrea...
Artificial Intelligence. 334 (2024) - p. 104132 , 2024

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

3

Healthcare resource utilisation and direct medical cost for..:

Sejersen, Thomas ; Graham, Sophie ; Ekström, Anne-Berit...
The European Journal of Health Economics. , 2024

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

4

Provable Preimage Under-Approximation for Neural Networks:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Zhang, Xiyue ; Wang, Benjie ; Kwiatkowska, Marta - p. 3-23 , 2024

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

5

1143. Meningococcal Vaccination Coverage Disparities in the..:

Herrera-Restrepo, Oscar ; Kwiatkowska, Marta ; Ndegwa, Nelson..
Open Forum Infectious Diseases. 10 (2023) Supplement_2 - p. , 2023

Link: https://doi.org/10.1093/..

6

Certifiers Make Neural Networks Vulnerable to Availability ..:

, In: Proceedings of the 16th ACM Workshop on Artificial Intelligence and Security,

Lorenz, Tobias ; Kwiatkowska, Marta ; Fritz, Mario - p. 67-78 , 2023

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

7

When to Trust AI: Advances and Challenges for Certification..:

, In: 2023 18th Conference on Computer Science and Intelligence Systems (FedCSIS),

Kwiatkowska, Marta ; Zhang, Xiyue - p. 25-37 , 2023

Link: https://doi.org/10.15439..

8

Physiologically-Informed Gaussian Processes for Interpretab..:

Ghiasi, Shadi ; Patane, Andrea ; Laurenti, Luca...
IEEE Journal of Biomedical and Health Informatics. 27 (2023) 8 - p. 3721-3730 , 2023

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

9

PID Control of Biochemical Reaction Networks:

Whitby, Max ; Cardelli, Luca ; Kwiatkowska, Marta...
IEEE Transactions on Automatic Control. 67 (2022) 2 - p. 1023-1030 , 2022

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

10

Symbolic Verification and Strategy Synthesis for Turn-Based..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 388-406 , 2022

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

11

Correlated Equilibria and Fairness in Concurrent Stochastic..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 60-78 , 2022

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

12

A Language for Modeling and Optimizing Experimental Biologi..:

Cardelli, Luca ; Kwiatkowska, Marta ; Laurenti, Luca
Computation. 9 (2021) 10 - p. 107 , 2021

Link: https://doi.org/10.3390/..

13

Adaptive formal approximations of Markov chains:

Abate, Alessandro ; Andriushchenko, Roman ; Češka, Milan.
Performance Evaluation. 148 (2021) - p. 102207 , 2021

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

14

Automatic verification of concurrent stochastic systems:

Kwiatkowska, Marta ; Norman, Gethin ; Parker, David.
Formal Methods in System Design. 58 (2021) 1-2 - p. 188-250 , 2021

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

15

Rational verification: game-theoretic verification of multi..:

Abate, Alessandro ; Gutierrez, Julian ; Hammond, Lewis...
Applied Intelligence. 51 (2021) 9 - p. 6569-6584 , 2021

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