Login to filter by course Login to filter by course Reset
Semantic Web ResourcesExplores popular ontologies and knowledge bases like WordNet, WikiData, Google Knowledge Graph, and Schema.org, as well as Linked Open Data sets.
Automated Reasoning in PracticeExplores practical automated reasoning systems like TPTP, TSTP, and CASC, emphasizing the importance of consistency and future developments.
Philosophy of Quantum PhysicsDelves into the philosophical aspects of quantum physics, exploring non-locality, measurement problems, and wave function collapse.
Neuroscience Data AnalysisExplores neuroscience data analysis, emphasizing structured data, computational tools, and the trend of computational neuroscience as a service.
System Modeling LanguagesExplores the significance of System Modeling Languages like OPM, SysML, and Modelica in modern Systems Engineering.