( en | de | ru )

 

Disambiguierung von "Ojeda, Jesus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
OptiLog: A Framework for SAT-based Systems.

, , , , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2021)

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.

Práxedes Ojeda Suárez

Janete Jesus

Flavio Ojeda-Schwencke

Klaus Jesussek

Pedro Armando Ojeda May

 

Weitere Publikationen von Autoren mit dem selben Namen

Hybrid Particle Lattice Boltzmann Shallow Water for Interactive Fluid Simulations., und . GRAPP/IVAPP, Seite 217-226. SciTePress, (2013)Partial MaxSAT Computation of Conformance Checking Artefacts.. ICPM, Seite 17-24. IEEE, (2021)Building High Strength Mixed Covering Arrays with Constraints., , und . CP, Volume 210 von LIPIcs, Seite 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)OptiLog: A Framework for SAT-based Systems., , , , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 1-10. Springer, (2021)Enhanced Lattice Boltzmann Shallow Waters for Real-time Fluid Simulations., und . Eurographics (Short Papers), Seite 25-28. Eurographics Association, (2013)Incomplete MaxSAT Approaches for Combinatorial Testing., , , , und . CoRR, (2021)Real-Time Lattice Boltzmann Shallow Waters Method for Breaking Wave Simulations., und . VISIGRAPP (Selected Papers), Volume 458 von Communications in Computer and Information Science, Seite 3-18. Springer, (2013)Efficient algorithms for the realistic simulation of fluids.. Polytechnic University of Catalonia, Spain, (2013)Ithaca. A Tool for Integrating Fuzzy Logic in Unity., , , und . CoRR, (2023)Hand Posture Recognition with Standard Webcam for Natural Interaction., , , und . WorldCIST (2), Volume 570 von Advances in Intelligent Systems and Computing, Seite 157-166. Springer, (2017)