I agree that this site is using cookies. You can find further informations here.
X
Seidel, Karen
170  results:
Search for persons X
?
1

Modelling binary classification with computability theory:

Seidel, Karen , 2022
Link: https://nbn-resolving.de..
 
?
2

Modelling binary classification with computability theory:

Seidel, Karen , 2022
Link: https://d-nb.info/124921..
 
?
3

Modelling binary classification with computability theory:

Seidel, Karen , 2022
Link: https://d-nb.info/124921..
 
?
4

Counting Homomorphisms to Trees Modulo a Prime:

Göbel, Andreas ; Lagodzinski, J. A. Gregor ; Seidel, Karen
ACM Transactions on Computation Theory (TOCT).  13 (2021)  3 - p. 1-33 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Learning Languages in the Limit from Positive Information w..:

, In: Lecture Notes in Computer Science; Connecting with Computability,
Kötzing, Timo ; Seidel, Karen - p. 318-329 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Towards a Map for Incremental Learning in the Limit from Po..:

, In: Lecture Notes in Computer Science; Connecting with Computability,
Khazraei, Ardalan ; Kötzing, Timo ; Seidel, Karen - p. 273-284 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Counting Homomorphisms to Trees Modulo a Prime:

Göbel, Andreas ; Lagodzinski, J. A. Gregor ; Seidel, Karen
ACM Transactions on Computation Theory.  13 (2021)  3 - p. 1-33 , 2021
Link: https://doi.org/10.1145/..
 
?
8

The natural history of renal cell carcinoma with pulmonary ..:

Hanin, Leonid ; Jandrig, Burkhard ; Pavlova, Lyudmila.
Mathematical Biosciences.  309 (2019)  - p. 118-130 , 2019
Link: https://doi.org/10.1016/..
 
?
9

Zu mathematischen Argumentationen eines Experten aus einer ..:

Seidel, Karen. (2018)  - p. 913-916
Copies:  Zentrale:E03 a pae 624/547-2
 
?
10

Computability and reducibility 

meeting, 6-11 August 2017, Hiddensee  [Preprint-Reihe Mathematik / Institut für Mathematik und Informatik, Ernst-Moritz-Arndt-Universität ; Nr. 2017, 2]
Berger, Ulrich ; Gaßner, Christine ; Gherardi, Guido... , 2017
Link: https://edocs.tib.eu/fil..
 
?
11

A "universal" model of metastatic cancer, its parametric fo..:

Hanin, Leonid ; Seidel, Karen ; Stoevesandt, Dietrich
Journal of Mathematical Biology.  72 (2015)  6 - p. 1633-1662 , 2015
Link: https://doi.org/10.1007/..
 
?
12

Structured development of a virtual shared memory system:

Seidel, Karen ; Gardiner, Paul
Formal Aspects of Computing.  8 (1996)  1 - p. 67-85 , 1996
Link: https://doi.org/10.1007/..
 
?
13

Probabilistic predicate transformers:

Morgan, Carroll ; McIver, Annabelle ; Seidel, Karen
ACM Transactions on Programming Languages and Systems.  18 (1996)  3 - p. 325-353 , 1996
Link: https://doi.org/10.1145/..
 
?
14

Probabilistic predicate transformers:

Morgan, Carroll ; McIver, Annabelle ; Seidel, Karen
ACM Transactions on Programming Languages and Systems (TOPLAS).  18 (1996)  3 - p. 325-353 , 1996
Link: https://dl.acm.org/doi/1..
 
?
15

Refinement-oriented probability for CSP:

Morgan, Carroll ; McIver, Annabelle ; Seidel, Karen.
Formal Aspects of Computing.  8 (1996)  6 - p. 617-647 , 1996
Link: https://doi.org/10.1007/..
 
1-15