Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Haeusler, Edward H
212  Ergebnisse:
Personensuche X
?
1

Intentional Semantics for Molecular Biology:

, In: Advances in Bioinformatics and Computational Biology; Lecture Notes in Computer Science,
Haeusler, Edward H. ; Cuconato, Bruno ; Glatzl, Luiz A.... - p. 94-105 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Bio-Strings: A Relational Database Data-Type for Dealing wi..:

Lifschitz, Sergio ; Haeusler, Edward H. ; Catanho, Marcos...
BioTech.  11 (2022)  3 - p. 31 , 2022
Link: https://doi.org/10.3390/..
 
?
3

A memory-bounded, deterministic and terminating semantics f..:

Lima, Guilherme F. ; Santos, Rodrigo C.M. ; Ierusalimschy, Roberto..
Journal of Systems Architecture.  97 (2019)  - p. 239-257 , 2019
Link: https://doi.org/10.1016/..
 
?
4

DE ZOLT'S POSTULATE: AN ABSTRACT APPROACH:

GIOVANNINI, EDUARDO N. ; HAEUSLER, EDWARD H. ; LASSALLE-CASANAVE, ABEL.
The Review of Symbolic Logic.  15 (2019)  1 - p. 197-224 , 2019
Link: https://doi.org/10.1017/..
 
?
5

A memory-bounded, deterministic and terminating semantics f..:

, In: Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,
Santos, Rodrigo C. M. ; Lima, Guilherme F. ; Sant'Anna, Francisco.. - p. 1-18 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

A memory-bounded, deterministic and terminating semantics f..:

Santos, Rodrigo C. M. ; Lima, Guilherme F. ; Sant'Anna, Francisco..
ACM SIGPLAN Notices.  53 (2018)  6 - p. 1-18 , 2018
Link: https://doi.org/10.1145/..
 
?
7

An Approach for Real-Time Stream Reasoning for the Internet..:

, In: 2017 IEEE 11th International Conference on Semantic Computing (ICSC),
Endler, Markus ; Briot, Jean-Pierre ; Silva Silva, Francisco Silva E.. - p. 348-353 , 2017
Link: https://doi.org/10.1109/..
 
?
8

Defining Effectiveness Using Finite Sets A Study on Computa..:

Macedo, Hugo D. ; Haeusler, Edward H. ; Garcia, Alex
Electronic Notes in Theoretical Computer Science.  324 (2016)  - p. 91-106 , 2016
Link: https://doi.org/10.1016/..
 
?
9

A New Normalization Strategy for the Implicational Fragment..:

Pereira, Luiz C. ; Haeusler, Edward H. ; Costa, Vaston G..
Studia Logica.  96 (2010)  1 - p. 95-108 , 2010
Link: https://doi.org/10.1007/..
 
?
10

Peirce's Rule in a Full Natural Deduction System:

Costa, Vaston G. ; Sanz, Wagner ; Haeusler, Edward H..
Electronic Notes in Theoretical Computer Science.  256 (2009)  - p. 5-18 , 2009
Link: https://doi.org/10.1016/..
 
?
11

Bio-Strings: A Relational Database Data-Type for Dealing wi..:

Lifschitz, Sergio ; Haeusler, Edward H ; Catanho, Marcos...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9472027/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
12

Towards Stream-based Reasoning and Machine Learning for IoT..:

Endler, Markus ; Briot, Jean-Pierre ; Almeida, Vitor P..
hal-01433729.  , 2017
Link: https://hal.sorbonne-uni..
 
?
13

An Approach for Real-time Stream Reasoning for the Internet..:

Endler, Markus ; Briot, Jean-Pierre ; Silva E Silva, Francisco..
hal-01422474.  , 2017
Link: https://hal.sorbonne-uni..
 
?
14

An Approach for Real-time Stream Reasoning for the Internet..:

Endler, Markus ; Briot, Jean-Pierre ; Silva E Silva, Francisco..
hal-01422474.  , 2017
Link: https://hal.sorbonne-uni..
 
?
15

Towards Stream-based Reasoning and Machine Learning for IoT..:

Endler, Markus ; Briot, Jean-Pierre ; Almeida, Vitor P..
hal-01433729.  , 2017
Link: https://hal.sorbonne-uni..
 
1-15