Suchergebnisse für 'computational logic'
54 Kurse gefunden
Prof. Dr. Philipp Schlatter
Vorlesung
IdM-Anmeldung
Prof. Dr. Bernhard Egger
Vorlesung
IdM-Anmeldung
Prof. Dr. Michael Kohlhase
Vorlesung
Frei
language,computational logic
Prof. Dr. Bernhard Kainz
Vorlesung
IdM-Anmeldung
... lt;/li>
Data structures
Object orientation
Computational ...
Christine Müller
Vorlesung
IdM-Anmeldung
... lt;p>Programming and computing basics with Python -- Data structures -- Object orientation -- Computational ...
Prof. Dr. Bernhard Kainz
Vorlesung
Frei
... structures</li>
<li>Object orientation</li>
<li>Computational ...
Prof. Dr. Michael Kohlhase
Vorlesung
Frei / IdM-Anmeldung
Prof. Dr. Andreas Kist
Vorlesung
Studon
... Neuroscience provides a vast number of methods to decipher the representational and computational principles ...
Prof. Dr. Michael Kohlhase
Vorlesung
IdM-Anmeldung
logic, Metalogic, Formalization
Prof. Dr. Tobias Reichenbach
Vorlesung
Studon
Prof. Dr. Florian Knoll
Vorlesung
Frei
Prof. Dr. Bernhard Kainz
Vorlesung
Frei / IdM-Anmeldung
... structures</li>
<li>Object orientation</li>
<li>Computational ...
Prof. Dr. Michael Kohlhase
Vorlesung
IdM-Anmeldung
Dr. rer. nat. Patrick Krauß
Vorlesung
IdM-Anmeldung / Studon
... lt;br />
Neuroscience provides a vast number of methods to decipher the representational and computational ...
Prof. Dr. Michael Kohlhase
Vorlesung
IdM-Anmeldung
mathematics, computational logic, knowledge representation, STEM
Dr. rer. nat. Patrick Krauß
Vorlesung
IdM-Anmeldung / Studon
... lt;br />
Neuroscience provides a vast number of methods to decipher the representational and computational ...
Prof. Dr. Tobias Reichenbach
Vorlesung
Studon
... <p><span class="formattedtext">Vermittlung der Grundlagen in Computational ...
Prof. Dr. Norbert Lindlein
Vorlesung
Studon
Prof. Dr. Andreas Maier
Seminar
IdM-Anmeldung
... Define the hardware resources (e.g. computational resources, camera/cell phone, TOF/Lidar/focal length ...
Prof. Dr. Michael Engel
Vorlesung
Studon
Prof. Dr. Michael Kohlhase
Vorlesung
IdM-Anmeldung
Dr. rer. nat. Patrick Krauß
Vorlesung
IdM-Anmeldung / Studon
... lt;br />
Neuroscience provides a vast number of methods to decipher the representational and computational ...
Prof. Robin N. Klupp Taylor
Kongress
Passwort / Studon
... >
17:30<br />
<em>Integrating continuous particle processing and computational ...
Prof. Dr. Andreas Maier
Seminar
IdM-Anmeldung / Passwort
... ;
In addition, neuroscience provides a vast number of methods to decipher the representational and computational ...
Dr. Dimosthenis Floros
Vorlesung
Studon
... <p>This is the repository for the recording of the lectures in the Computational Dynamics ...
Prof. Dr. Andreas Maier
Seminar
IdM-Anmeldung
... Define the hardware resources (e.g. computational resources, camera/cell phone, TOF/Lidar/focal length ...
Prof. Dr. Christoph Pflaum
Vorlesung
IdM-Anmeldung
Prof. Dr. Andreas Maier
Vorlesung
IdM-Anmeldung
... lt;br />
Neuroscience provides a vast number of methods to decipher the representational and computational ...
Vorlesung
IdM-Anmeldung
Dr.-Ing. Manuel Münsch
Vorlesung
Studon
Prof. Dr. Tobias Reichenbach
Vorlesung
IdM-Anmeldung
Prof. Dr. Petra Imhof
Vorlesung
Studon
Molecular modelling, Computational chemistry
Vorlesung
Studon
Molecular modelling, Computational chemistry
Prof. Dr. Petra Imhof
Vorlesung
Studon
Nucleic Acids, Molecular modelling, Computational chemistry
Prof. Dr. Norbert Lindlein
Vorlesung
Studon
Prof. Dr. Petra Imhof
Vorlesung
Studon
Molecular modelling, Computational chemistry
Prof. Dr. Michael Engel
Vorlesung
Passwort / Studon
Prof. Dr. Reinhard German
Vorlesung
Studon
... <p>Overview of the various kinds of simulation, discrete simulation (computational concepts ...
Prof. Dr. Norbert Lindlein
Vorlesung
IdM-Anmeldung / Studon
... Naturwissenschaftler für Studenten der Studienfächer Chemie, Molecular Science, Biologie, Computational ...
Prof. Dr. Andreas Görling
Vorlesung
Studon
Prof. Dr. Erik Bitzek
Vorlesung
Keine Clips
Dr. Tadeusz Litak
Vorlesung
Passwort
... )
The students evaluate the role played by logic ...
Dr. Sergey Goncharov
Vorlesung
Passwort
... The idea of the course is to provide clear computational insights to various concepts of computer science ...
Prof. Dr. Lutz Schröder
Vorlesung
Frei
...
M Krötzsch, F Simancik, I Horrocks; A description logic ...
Prof. Dr. Lutz Schröder
Vorlesung
Frei
... Moreover they can be seen as a computationally well-behaved fragment of first-order logic over relational ...
Dr. Sergey Goncharov
Vorlesung
Frei
... The idea of the course is to provide clear computational insights to various concepts of computer science ...
Prof. Dr. Lutz Schröder
Vorlesung
Frei
... In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721 ...
Prof. Dr. Lutz Schröder
Vorlesung
Frei
... In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721 ...
Prof. Dr. Dietmar Fey
Vorlesung
Frei
Prof. Dr. Michael Kohlhase
Vorlesung
Frei
... particular, problem solving by heuristic search, game play via adversarial search, constraint satisfaction, logic ...
Prof. Dr. Dominique Schröder
Vorlesung
IdM-Anmeldung
... Information theoretic security</p>
</li>
<li>
<p>Computational ...
Prof. Dr. Andreas Döring
Vorlesung
Passwort / Studon
... The approach does not just draw on category and topos theory, but also uses operator algebras, logic, ...
Prof. Dr. Ulrich Rüde
Vorlesung
Studon
...
Ein weiteres Ziel ist, den Studierenden des Studiengangs Computational Engineering einen ...
Prof. Dr. Ulrich Rüde
Vorlesung
IdM-Anmeldung
... Informationen:
Schlüsselwörter: Mehrgitterverfahren, Finite Elemente, Adaptive Gitter, Computational ...
Finite, Elemente, Adaptive, Gitter, Computational, methods, structural, Mehrgitterverfahren, mechanics
628 Clips gefunden
Frei
Sonstiges
2025-03-25
... machine learning methods together with huge volumes of observational data give rise to a new concept for computational ...
Frei
Sonstiges
2025-03-19
... valuable insights into the challenges and opportunities of developing and deploying LLMs in diverse computational ...
IdM-Anmeldung / Passwort
Sonstiges
2025-03-14
... strong>Short Bio: Yi Gu is a 3rd-year PhD candidate at the joint labs of Imaging-based Computational ...
IdM-Anmeldung
Sonstiges
2025-02-14
... The presentation addresses computational challenges, interdisciplinary applications ...
IdM-Anmeldung
Sonstiges
2025-02-04
Frei
Sonstiges
2025-01-29
language,computational logic
IdM-Anmeldung
Sonstiges
2025-01-27
Frei
Sonstiges
2025-01-22
language,computational logic
IdM-Anmeldung
Sonstiges
2025-01-21
IdM-Anmeldung
Sonstiges
2025-01-20
Frei
Sonstiges
2025-01-15
language,computational logic
Frei
Sonstiges
2025-01-15
... To reduce energy consumption incurred by data movement, the logic design of neural networks is presented ...
IdM-Anmeldung
Sonstiges
2025-01-08
... atom-by-atom</p>
<p>Abstract:</p>
<p>The computational ...
Frei
Sonstiges
2025-01-08
Frei
Sonstiges
2024-12-20
... Zeuthen, Germany, and the University of Regensburg, Germany, spending most of his scientific career in computational ...
Frei
Sonstiges
2024-12-18
IdM-Anmeldung
Sonstiges
2024-12-18
IdM-Anmeldung
Sonstiges
2024-12-16
Frei
Sonstiges
2024-12-11
IdM-Anmeldung
Sonstiges
2024-12-09
Frei
Sonstiges
2024-12-04
IdM-Anmeldung
Sonstiges
2024-11-27
... wide spectrum of topics ranging from the solution of abstract models like the Hubbard model to the computational ...
Frei
Sonstiges
2024-11-27
IdM-Anmeldung
Sonstiges
2024-11-21
Frei
Sonstiges
2024-11-20
IdM-Anmeldung
Sonstiges
2024-11-19
IdM-Anmeldung
Sonstiges
2024-11-18
Frei
Sonstiges
2024-11-13
Frei
universitäre Vorlesung
2024-11-13
... gt;<br />
Affiliation: FAU MoD member/vice-spokesperson | CCL – Chair of Computational ...
IdM-Anmeldung
Sonstiges
2024-11-11
IdM-Anmeldung
Sonstiges
2024-11-09
Frei
Sonstiges
2024-11-06
IdM-Anmeldung
Sonstiges
2024-11-04
IdM-Anmeldung
Sonstiges
2024-11-03
Frei
Sonstiges
2024-10-30
IdM-Anmeldung
Sonstiges
2024-10-25
Frei
universitäre Vorlesung
2024-10-24
... amp;gt;
<p><strong>FAU MoD Lecture: New avenues for the interaction of computational ...
Frei
Sonstiges
2024-10-23
IdM-Anmeldung
Sonstiges
2024-10-18
IdM-Anmeldung
Sonstiges
2024-10-18
IdM-Anmeldung
Sonstiges
2024-10-18
Frei
Sonstiges
2024-10-16
IdM-Anmeldung
Sonstiges
2024-10-15
... structures</li>
<li>Object orientation</li>
<li>Computational ...
IdM-Anmeldung
Sonstiges
2024-04-16
... lt;p>Programming and computing basics with Python -- Data structures -- Object orientation -- Computational ...
Frei
Seminar
2024-03-27
... amp;gt;</p>
<p>Melven Röhrig-Zöllner studied Computational ...
Frei
Sonstiges
2024-02-08
Frei
Sonstiges
2024-02-06
Frei
Sonstiges
2024-02-01
Frei
Seminar
2024-01-30
... graduated in Mechanical Engineering from ETH Zurich, Switzerland, (Willi Studer Award) with majors in Computational ...
Frei
Sonstiges
2024-01-30
Frei
Sonstiges
2024-01-25
Frei
Sonstiges
2024-01-23
Frei
Sonstiges
2024-01-18
Frei
Sonstiges
2024-01-16
Frei
Sonstiges
2024-01-11
Frei
Sonstiges
2024-01-10
Frei
Sonstiges
2023-12-21
Frei
Sonstiges
2023-12-19
Frei
Sonstiges
2023-12-14
Frei
Sonstiges
2023-12-12
Frei
Sonstiges
2023-12-07
Frei
Sonstiges
2023-12-05
Frei
Sonstiges
2023-11-30
Frei
Sonstiges
2023-11-28
Frei
Sonstiges
2023-11-28
Frei
Sonstiges
2023-11-23
Frei
universitäre Vorlesung
2023-11-22
... is commonly accepted that all of mathematics could be expressed and indeed developed in first-order logic ...
Frei
Sonstiges
2023-11-21
Frei
Sonstiges
2023-11-14
Frei
Sonstiges
2023-11-09
Frei
Sonstiges
2023-11-07
Frei
Sonstiges
2023-11-02
Frei
Sonstiges
2023-10-31
Frei
Sonstiges
2023-10-26
IdM-Anmeldung
Sonstiges
2023-10-25
Frei
Sonstiges
2023-10-25
Frei
Sonstiges
2023-10-23
... structures</li>
<li>Object orientation</li>
<li>Computational ...
IdM-Anmeldung
Sonstiges
2023-10-19
Studon
universitäre Vorlesung
2023-10-18
... Neuroscience provides a vast number of methods to decipher the representational and computational principles ...
Frei
Sonstiges
2023-10-17
Frei
Seminar
2023-10-17
... p><strong>Title:</strong> <em>Facing Challenges in Computational ...
Studon
universitäre Vorlesung
2023-07-21
Studon
universitäre Vorlesung
2023-07-20
Studon
universitäre Vorlesung
2023-07-14
Studon
universitäre Vorlesung
2023-07-13
Studon
universitäre Vorlesung
2023-07-07
Studon
universitäre Vorlesung
2023-07-06
Studon
universitäre Vorlesung
2023-06-30
Studon
universitäre Vorlesung
2023-06-29
Studon
universitäre Vorlesung
2023-06-23
Studon
universitäre Vorlesung
2023-06-22
Studon
universitäre Vorlesung
2023-06-16
Studon
universitäre Vorlesung
2023-06-15
Frei
Imagefilm, Forschungsvideo
2023-06-12
... The scientists from the fields of chemistry, physics, materials and computational science are aiming ...
Studon
universitäre Vorlesung
2023-06-09
Studon
universitäre Vorlesung
2023-06-02
Studon
universitäre Vorlesung
2023-06-01
Studon
universitäre Vorlesung
2023-05-26
Studon
universitäre Vorlesung
2023-05-25
Studon
universitäre Vorlesung
2023-05-19