( en | de | ru )

 

Disambiguierung von "Pandolfo, Laura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications.

, , und . Inf., 14 (7): 397 (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mario Laura

Marco Laurati

Fernando Pandolfo Bortolozzo

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of NNs in the IMOCO4.E Project: Preliminary Results., , und . ETFA, Seite 1-4. IEEE, (2023)Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project., , , und . ETFA, Seite 1-4. IEEE, (2023)The WOW Project: Bridging AI and Cultural Heritage for Actress Writings (short paper)., , , , , und . IAI4CH@AI*IA, Volume 3536 von CEUR Workshop Proceedings, Seite 34-41. CEUR-WS.org, (2023)SMT-Based Consistency Checking of Configuration-Based Components Specifications., , und . IEEE Access, (2021)A Framework for Automatic Population of Ontology-Based Digital Libraries., , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 406-417. Springer, (2016)Building the Semantic Portal of Italian Divagrafie (Short Paper)., , , , und . IPS/RiCeRcA/SPIRIT@AI*IA, Volume 3345 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Unlocking Historical Insights: Developing a Dataset from Historical Archives., und . CILC, Volume 3428 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools., und . WEBIST, Seite 341-345. SCITEPRESS, (2021)Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes., , , und . SemDH@ESWC, (2024)A User Model Ontology for Adaptive Systems in Cultural Tourism Domain., , und . APPIS, Volume 310 von Frontiers in Artificial Intelligence and Applications, Seite 212-219. IOS Press, (2018)