Zobrazeno 1 - 10
of 45
pro vyhledávání: '"De Maria, Elisabetta"'
Publikováno v:
In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 307, pp. 25:1-25:18, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik (2024)
Constraint Programming (CP) and Machine Learning (ML) face challenges in text generation due to CP's struggle with implementing "meaning'' and ML's difficulty with structural constraints. This paper proposes a solution by combining both approaches an
Externí odkaz:
http://arxiv.org/abs/2407.13490
Autor:
de Maria, Elisabetta, Despeyroux, Joelle, Felty, Amy, Liò, Pietro, Olarte, Carlos, Bahrami, Abdorrahim
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The
Externí odkaz:
http://arxiv.org/abs/2007.07571
In this paper we present a novel approach to automatically infer parameters of spiking neural networks. Neurons are modelled as timed automata waiting for inputs on a number of different channels (synapses), for a given amount of time (the accumulati
Externí odkaz:
http://arxiv.org/abs/1808.01893
Publikováno v:
In Science of Computer Programming 1 June 2021 206
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems a
Externí odkaz:
http://arxiv.org/abs/1404.5439
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 2011 412(21):2108-2127
Combining Registration Errors and Supervoxel Classification for Unsupervised Brain Anomaly Detection
Autor:
Martins, Samuel Botter, Falcão, Alexandre Xavier, Telea, Alexandru Cristian, Ye, Xuesong, Soares, Filipe, De Maria, Elisabetta, Gómez Vilda, Pedro, Cabitza, Federico, Fred, Ana, Gamboa, Hugo
Publikováno v:
Biomedical Engineering Systems and Technologies ISBN: 9783030723781
BIOSTEC (Selected Papers)
Biomedical Engineering Systems and Technologies: 13th International Joint Conference, BIOSTEC 2020, Revised Selected Papers, 140-164
STARTPAGE=140;ENDPAGE=164;TITLE=Biomedical Engineering Systems and Technologies
BIOSTEC (Selected Papers)
Biomedical Engineering Systems and Technologies: 13th International Joint Conference, BIOSTEC 2020, Revised Selected Papers, 140-164
STARTPAGE=140;ENDPAGE=164;TITLE=Biomedical Engineering Systems and Technologies
Automatic detection of brain anomalies in MR images is challenging and complex due to intensity similarity between lesions and healthy tissues as well as the large variability in shape, size, and location among different anomalies. Even though discri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9b110c9b5e9eb9a1971c90a3e7f6cd0
https://doi.org/10.1007/978-3-030-72379-8_8
https://doi.org/10.1007/978-3-030-72379-8_8
Autor:
De Maria, Elisabetta
Publikováno v:
Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61e9b2a4b0d8bf0d262b86b43fe88427
https://hal.archives-ouvertes.fr/tel-02888024/file/HDR.pdf
https://hal.archives-ouvertes.fr/tel-02888024/file/HDR.pdf