Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Umeå University
- University of Amsterdam (UvA)
- AALTO UNIVERSITY
- Jane Street Capital
- KU LEUVEN
- Tilburg University
- UNIVERSITY OF HELSINKI
- University of Bedfordshire
- University of Copenhagen
- University of Helsinki
- University of Mainz
- Aarhus University
- CEA Paris-Saclay
- CNRS
- Constructor Knowledge Labs gGmbH
- Empa
- Faculdade de Ciências da Universidade de Lisboa
- Fraunhofer-Gesellschaft
- Fundacio de Recerca Clinic Barcelona-Institut d'Investigacions Biomediques August Pi i Sunyer
- Inria, the French national research institute for the digital sciences
- King's College London
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Queensland University of Technology
- Saarland University •
- Stockholm University
- University of Bergen
- University of Birmingham
- University of Bonn •
- University of East Anglia
- Vrije Universiteit Brussel
- Wayne State University
- 25 more »
- « less
-
Field
-
organizations. Since the latter must be declared in research publications as potential financial conflicts of interest, it is common to apply the same logic to the former and expect researchers to also declare
-
information by encoding many noisy physical qubits into fewer, far more reliable logical ones. Without effective QEC, adding qubits does not add computing power, because errors accumulate faster than machines
-
displaced population in the world, more than twice the number of refugees, yet they remain understudied. The ERC-funded project Protect and Repress: The Logic of Government Responses to Internal Displacement
-
to trust. By contrast, symbolic approaches have reliability and explainability "built in", since they are based on logical reasoning. This motivates the development of neurosymbolic approaches as a way of
-
Primary Supervisor: Dr Jonathan Kirby Model theory is traditionally done with “classical first-order logic”, the logic which allows unlimited use of the operators AND, OR, NOT, with the EXISTS and
-
space. Our group focuses on applied research into the functionality of emerging and already ubiquitous technologies at all constituent logical layers, from component-level aspects through system and
-
built around a multi-scale logic: the assembly of phases, inclusions, porosity, and diffuse microcracking must first be linked to measurable macroscopic properties, and these macroscopic descriptors must
-
Position Description We are recruiting a PhD student interested in completing a PhD in set theory and logic. The position is part of the research project “Interactions between set theory and non
-
technologies at all constituent logical layers, from component-level aspects through system and software implementation to communication protocols. Concurrent with achieving this understanding, we examine the
-
technologies at all constituent logical layers, from component-level aspects through system and software implementation to communication protocols. Concurrent with achieving this understanding, we examine the