Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Eberl, A
25  Ergebnisse:
Buchkapitel (Online) X
englisch X
?
1

Securing Public Clouds using Dynamic Communication Graphs:

, In: Proceedings of the 22nd ACM Workshop on Hot Topics in Networks,
Mani, Sathiya Kumaran ; Hsieh, Kevin ; Segarra, Santiago... - p. 272-279 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Enhancing Network Management Using Code Generated by Large ..:

, In: Proceedings of the 22nd ACM Workshop on Hot Topics in Networks,
Mani, Sathiya Kumaran ; Zhou, Yajie ; Hsieh, Kevin... - p. 196-204 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Kant's Rejection of Just War: International Order between D..:

, In: The Justification of War and International Order,
Eberl, Oliver - p. 129-144 , 2021
Link: https://doi.org/10.1093/..
 
?
4

Contributors:

, In: Biomedical Information Technology,
Akbilgic, Oguz ; AlAnzi, Turki ; An, Xiangdong... - p. xiii-xviii , 2020
Link: https://doi.org/10.1016/..
 
?
5

Contributors:

, In: Recent Trends in Biofilm Science and Technology,
Abreu, Ana Cristina ; Andrade, Mafalda ; Barros, Ana Cláudia... - p. xiii-xv , 2020
Link: https://doi.org/10.1016/..
 
?
6

Modelling the Effects of Antibiotics on Gut Flora Using a N..:

, In: Lecture Notes in Computer Science; Computational Science – ICCS 2020,
Jegatheesan, Thulasi ; Eberl, Hermann J. - p. 399-412 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Challenges and perspectives in reactor scale modeling of bi..:

, In: Recent Trends in Biofilm Science and Technology,
Eberl, Hermann J. ; Wade, Matthew J. - p. 359-383 , 2020
Link: https://doi.org/10.1016/..
 
?
8

Image-based biomedical data modeling and parametric imaging:

, In: Biomedical Information Technology,
Wen, Lingfeng ; Eberl, Stefan ; Fulham, Michael J.. - p. 461-521 , 2020
Link: https://doi.org/10.1016/..
 
?
9

Functions of MVs in Inter-Bacterial Communication:

, In: Bacterial Membrane Vesicles,
Toyofuku, Masanori ; Tashiro, Yosuke ; Nomura, Nobuhiko. - p. 101-117 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Simulation Based Exploration of Bacterial Cross Talk Betwee..:

, In: Lecture Notes in Computer Science; Computational Science – ICCS 2020,
Zarva, Pavel ; Eberl, Hermann J. - p. 228-241 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Verified solving and asymptotics of linear recurrences:

, In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Eberl, Manuel - p. 27-37 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Miniaturized Photoacoustic Gas Sensor for CO2:

, In: Sensor Systems Simulations,
Theuss, Horst ; Kolb, Stefan ; Eberl, Matthias. - p. 73-92 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Verified Real Asymptotics in Isabelle/HOL:

, In: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation,
Eberl, Manuel - p. 147-154 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

A Decision Procedure for Univariate Real Polynomials in Isa..:

, In: Proceedings of the 2015 Conference on Certified Programs and Proofs,
Eberl, Manuel - p. 75-83 , 2015
Link: https://dl.acm.org/doi/1..
 
?
15

In Situ Monitoring of Bacterial Presence and Activity:

, In: Colonization of Mucosal Surfaces,
Sternberg, Claus ; Givskov, Micheal ; Eberl, Leo.. - p. 49-58 , 2014
Link: https://doi.org/10.1128/..
 
1-15