E-LIB Suche - Ergebnisse für: Jacobs, Bart

1

The authenticity crisis:

Jacobs, Bart
Computer Law & Security Review. 53 (2024) - p. 105962 , 2024

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

2

Drawing from an Urn is Isometric:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Jacobs, Bart - p. 101-120 , 2024

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

3

Sufficient Statistics and Split Idempotents in Discrete Pro..:

Jacobs, Bart
Electronic Notes in Theoretical Informatics and Computer Science. 1 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

4

Completeness Thresholds for Memory Safety of Array Traversi..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023

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

5

Why Haitian is a creole, Michif an intertwiner, and Irish E..:

Parkvall, Mikael ; Jacobs, Bart
Folia Linguistica. 57 (2023) 1 - p. 217-226 , 2023

Link: https://doi.org/10.1515/..

6

Immunogenicity, safety, and preliminary efficacy evaluation..:

Leroux-Roels, Isabel ; Willems, Paul ; Waerlop, Gwenn...
The Lancet Infectious Diseases. 23 (2023) 12 - p. 1360-1369 , 2023

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

7

Pearl's and Jeffrey's Update as Modes of Learning in Probab..:

Jacobs, Bart ; Stein, Dario
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

8

PubHubs identity management:

Jacobs, Bart ; Westerbaana, Bram ; Javed, Omar...
Journal of Logic and Computation. , 2023

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

9

Immune responses in healthy adults elicited by a bivalent n..:

Waerlop, Gwenn ; Janssens, Yorick ; Jacobs, Bart...
Frontiers in Immunology. 14 (2023) - p. , 2023

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

10

Multisets and Distributions, in Drawing and Learning:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Jacobs, Bart - p. 1095-1146 , 2023

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

11

Verifying C++ Dynamic Binding:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,

Mommen, Niels ; Jacobs, Bart - p. 1-7 , 2023

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

12

Guyanais vs. Gardiol: Broken transmission vs. grammatical c..:

Jacobs, Bart
Lingua. 296 (2023) - p. 103625 , 2023

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

13

PostGuard: Towards Easy and Secure Email Communication:

, In: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems,

Botros, Leon ; Brandon, Merel ; Jacobs, Bart... - p. 1-6 , 2023

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

14

A Principled Approach to Expectation Maximisation and Laten..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Jacobs, Bart - p. 256-273 , 2023

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

15

Endovascular transatrial stenting of pulmonary vein stenosi..:

Orlitová, Michaela ; Gewillig, Marc ; Van Slambrouck, Jan...
American Journal of Transplantation. 23 (2023) 1 - p. 111-114 , 2023

Link: https://doi.org/10.1111/..