Opendata, web and dolomites
H2020 projects about "reasoning"
The page lists 144 projects related to the topic "reasoning".
| # | |||
|---|---|---|---|
| 1 | LeanShips | Low Energy And Near to zero emissions Ships | 2015 |
| 2 | FLEXILOG | Formal lexically informed logics for searching the web | 2015 |
| 3 | Objectivity | Making Scientific Inferences More Objective | 2015 |
| 4 | PAL | Personal Assistant for healthy Lifestyle (PAL) | 2015 |
| 5 | ENTICE | dEcentralized repositories for traNsparent and efficienT vIrtual maChine opErations | 2015 |
| 6 | SARAFun | Smart Assembly Robot with Advanced FUNctionalities | 2015 |
| 7 | RobDREAM | Optimising Robot Performance while Dreaming | 2015 |
| 8 | RiCORE | Risk Based Consenting of Offshore Renewable Energy Projects | 2015 |
| 9 | PAW | Automated Program Analysis for Advanced Web Applications | 2015 |
| 10 | DBA | Distributed Biological Algorithms | 2015 |
| 11 | BODY-UI | Using Embodied Cognition to Create the Next Generations of Body-based User Interfaces | 2015 |
| 12 | ReCRED | From Real-world Identities to Privacy-preserving and Attribute-based CREDentials for Device-centric Access Control | 2015 |
| 13 | SCIMOD | Scientific Models, Fiction and Imagination | 2015 |
| 14 | EMOTIONS FIRST | EMOTIONS FIRST. Feeling reason: the role of emotions in reasoning | 2016 |
| 15 | LOGIVIS | The logics of information visualisation | 2015 |
| 16 | ReaDoubt | Reasonable Doubt: An epistemological and psychological approach | 2015 |
| 17 | ProLeMAS | ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems | 2015 |
| 18 | ETA4B | Energy Trusted Advisor for Buildings | 2015 |
| 19 | CAFES | Causal Analysis of Feedback Systems | 2015 |
| 20 | VirtualPatients | Effective Clinical reasoning in Virtual Patients | 2015 |
| 21 | PreLog | Precursors of logical reasoning in human infants | 2015 |
| 22 | e-Awake | New Generation ADAS for Enhanced Driving Experience | 2015 |
| 23 | RVT | The Reversible Variable Transmission – Visionary Transmission for unprecedented Fuel, CO2 and Cost Savings | 2015 |
| 24 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 25 | AI4REASON | Artificial Intelligence for Large-Scale Computer-Assisted Reasoning | 2015 |
| 26 | SYMCAR | Symbolic Computation and Automated Reasoning for Program Analysis | 2016 |
| 27 | INQMINDS | The Evolutionary and Developmental Origins of Inquiring Minds: Studies of Causal Reasoning; Curiosity and Executive Control | 2015 |
| 28 | Ada | Ada 2020 | Visual Reasoning Support for Healthcare Professionals | 2015 |
| 29 | SEDAL | Statistical Learning for Earth Observation Data Analysis. | 2015 |
| 30 | CyberCare | Integrated Sensing Architectures and Tools for Health Care | 2016 |
| 31 | SEED | Learning to See in a Dynamic World | 2016 |
| 32 | BrainHack | BrainHack: Bringing the arts and sciences of brain and neural computer interface together | 2016 |
| 33 | BroadSem | Induction of Broad-Coverage Semantic Parsers | 2016 |
| 34 | FOVEDIS | Formal specification and verification of distributed data structures | 2016 |
| 35 | NormativeEconomics | Reconstructing normative economics on a foundation of mutual advantage | 2016 |
| 36 | hackAIR | Collective awareness platform for outdoor air pollution | 2016 |
| 37 | SYSMICS | Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. | 2016 |
| 38 | PEPPER | Patient Empowerment through Predictive PERsonalised decision support | 2016 |
| 39 | MIREL | MIREL - MIning and REasoning with Legal texts | 2016 |
| 40 | ENLIVEN | Encouraging Lifelong Learning for an Inclusive and Vibrant Europe | 2016 |
| 41 | PACAS | Participatory Architectural Change Management in ATM Systems | 2016 |
| 42 | ProFoundNet | Probabilistic Foundations for Networks | 2016 |
| 43 | QuModQu | Quantification and modality in the realm of questions | 2016 |
| 44 | JUSECON | Legal rights and the political economy of debt and austerity in Europe | 2017 |
| 45 | Degrees of Belief | The Nature of Degrees of Belief | 2017 |
| 46 | PtoACons | Going from Phenomenal to Access Consciousness: Neurobehavioural correlates of visual consciousness development and its underlying cognitive procesess. | 2016 |
| 47 | ARGUE_WEB | Probabilistic Argumentation on the Web | 2016 |
| 48 | LoGIcInMAS | Logics and Games for Imperfect Information in Multi-Agent Systems | 2016 |
| 49 | InfTy | Infinitary Rewriting for Type Systems | 2016 |
| 50 | CSP-Infinity | Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones | 2016 |
| 51 | ROCSAFE | Remotely Operated CBRNe Scene Assessment Forensic Examination | 2016 |
| 52 | MetCogCon | Metacognition of Concepts | 2016 |
| 53 | THOMAS | Mobile dual arm robotic workers with embedded cognition for hybrid and dynamically reconfigurable manufacturing systems | 2016 |
| 54 | MELODIC | Multi-cloud Execution-ware for Large-scale Optimized Data-Intensive Computing | 2016 |
| 55 | REFILLS | Robotics Enabling Fully-Integrated Logistics Lines for Supermarkets | 2017 |
| 56 | OPENREQ | Intelligent Recommendation Decision Technologies for Community-Driven Requirements Engineering | 2017 |
| 57 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 58 | pCPR | Personalized cardiopulmonary resuscitation device for emergency teams | 2016 |
| 59 | RACCOON | A Rigorous Approach to Consistency in Cloud Databases | 2017 |
| 60 | STRUCTURALISM | The Roots of Mathematical Structuralism | 2017 |
| 61 | NANOINFER | Intelligent Memories that Perform Inference with the Physics of Nanodevices | 2017 |
| 62 | TIC-AUV | Towards Intelligent Cognitive AUVs | 2017 |
| 63 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
| 64 | SURVANT | SURveillance Video Archives iNvestigation assisTant | 2017 |
| 65 | OKHAERS | Ontology-based Knowledge Access for the higher education and research sector | 2017 |
| 66 | TIM-Adrastea | “Thinking in Images. Herder’s Adrastea from 1801-03 up to nowadays” | 2017 |
| 67 | TreeGraSP | Tree rewriting grammars and the syntax-semantics interface:From grammar development to semantic parsing | 2017 |
| 68 | INCRICO | The International Criminal Court and the Judicial Function: a Socio-Legal Study of Judicial Perceptions and Practices | 2018 |
| 69 | SAMNets | Investigation of adaptive design and rewiring of Survival-Apoptosis-Mitogenic (SAM) signalling transduction network | 2017 |
| 70 | MiLC | Monotonicity in Logic and Complexity | 2017 |
| 71 | DeepFace | Understanding Deep Face Recognition | 2017 |
| 72 | Domognostics | Intelligent Building Automation Diagnostics | 2017 |
| 73 | ToRH | A Theory of Reliable Hardware | 2017 |
| 74 | M and M | Generalization in Mind and Machine | 2017 |
| 75 | AF-Cyber | Logic-based Attribution and Forensics in Cyber Security | 2018 |
| 76 | DNLIBiomed | Biomedical Information Synthesis with Deep Natural Language Inference | 2017 |
| 77 | ARS | Autonomous Robotic Surgery | 2017 |
| 78 | CerQUIT | Certifying Large-scale Quantum Information Technologies | 2018 |
| 79 | vCare | Virtual Coaching Activities for Rehabilitation in Elderly | 2017 |
| 80 | EOPEN | EOPEN: opEn interOperable Platform for unified access and analysis of Earth observatioN data | 2017 |
| 81 | GREENPATROL | Galileo Enhanced Solution for Pest Detection and Control in Greenhouse Fields with Autonomous Service Robots | 2017 |
| 82 | BSP | Belief Systems Project | 2018 |
| 83 | CybSPEED | Cyber-Physical Systems for PEdagogical Rehabilitation in Special EDucation | 2017 |
| 84 | Easy Reading | Easy Reading: A Framework for Personalised Cognitive Accessibility when using Original Digital Content | 2018 |
| 85 | SUITCEYES | Smart, User-friendly, Interactive, Tactual, Cognition-Enhancer that Yields Extended Sensosphere - Appropriating sensor technologies, machine learning, gamification and smart haptic interfaces | 2018 |
| 86 | DeepSPIN | Deep Learning for Structured Prediction in Natural Language Processing | 2018 |
| 87 | SUEE | Strategic Uncertainty in Economic Environments | 2018 |
| 88 | Emedgene | An ICT decision support system for clinical interpretation of genomic data, used by geneticists to rapidly and accurately pinpoint unique disease-causing variants | 2018 |
| 89 | EpiLog | The Unknown Science: Understanding the Epistemology of Logic through Practice | 2018 |
| 90 | CARBS | Compositional Approximate Reasoning via Bialgebraic Semantics | 2019 |
| 91 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 92 | DYCODE | The Dynamics of Constructive Deliberation | 2018 |
| 93 | FoTran | Found in Translation – Natural Language Understanding with Cross-Lingual Grounding | 2018 |
| 94 | Islamic Law Egypt | Adjudicating Islamic Family Law in Egypt: Continuity and Rupture | 2018 |
| 95 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
| 96 | SCOUT | Supporting Causal Conclusions from Observational Survival Studies | 2018 |
| 97 | SEMSUBSET | The Grammar of Inclusion: Exploring the Boundaries of Linguistic Competence | 2019 |
| 98 | GENPARENT | Revealing Sources of Gendered Parenthood: A multi-method comparative study of the transition to parenthood in same-sex and different-sex couples | 2018 |
| 99 | MAGNETO | Multimedia Analysis and Correlation Engine for Organised Crime Prevention and Investigation | 2018 |
| 100 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
| 101 | ELVER | Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems | 2018 |
| 102 | COSMOS | COSMOS: Computational Shaping and Modeling of Musical Structures | 2019 |
| 103 | WindiBox | A novel shrouded vertical axis wind turbine for power generation in buildings | 2018 |
| 104 | REPAC | Repetition, Parallelism and Creativity: An Inquiry into the Construction of Meaning in Ancient Mesopotamian Literature and Erudition | 2019 |
| 105 | DissectingSociety | Nineteenth-Century Sociographic Journalism and the Formation of Ethnographic and Sociological Knowledge | 2020 |
| 106 | FastCode | The Next 100 Optimizing Compilers | 2019 |
| 107 | sustAGE | Smart environments for person-centered sustainable work and well-being | 2019 |
| 108 | ARTICONF | smART socIal media eCOsytstem in a blockchaiN Federated environment | 2019 |
| 109 | BIOUNCERTAINTY | Deep uncertainties in bioethics: genetic research, preventive medicine, reproductive decisions | 2019 |
| 110 | RECIPES | REconciling sCience, Innovation and Precaution through the Engagement of Stakeholders | 2019 |
| 111 | DELPHI | Computing Answers to Complex Questions in Broad Domains | 2019 |
| 112 | RADDICS | Reliable Data-Driven Decision Making in Cyber-Physical Systems | 2019 |
| 113 | BDE | Beyond Distance Estimates: A New Theory of Heuristics for State-Space Search | 2019 |
| 114 | PASS | Program Analysis for Safe and Secure Software Evolution | 2019 |
| 115 | CerQuS | Certified Quantum Security | 2019 |
| 116 | SYMELS | Symbol Elimination in Reliable System Engineering | 2019 |
| 117 | SAMPLING | Searching for the Approximation Method used to Perform rationaL inference by INdividuals and Groups | 2019 |
| 118 | SUExp | Strategic Uncertainty: An Experimental Investigation | 2018 |
| 119 | IMAGINE | IMAGINE – Informing Multi-modal lAnguage Generation wIth world kNowledgE | 2019 |
| 120 | FUN2MODEL | From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning | 2019 |
| 121 | LiquidEff | LiquidEff: Algebraic Foundations for Liquid Effects | 2019 |
| 122 | ConceptNet | Using Network Science to Study Children’s Conceptual Development | 2019 |
| 123 | ALGOCERT | Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems | 2019 |
| 124 | SciTEr | History and Philosophy of Scientific Thought Experiments and Scientific Practices | 2019 |
| 125 | MathematicsAnalogies | Mathematics Analogies | 2019 |
| 126 | WhiteMech | White-Box Self-Programming Mechanisms | 2019 |
| 127 | CausalBrain | Dynamic directed functional connectivity of causal learning | 2019 |
| 128 | iv4XR | Intelligent Verification/Validation for Extended Reality Based Systems | 2019 |
| 129 | CompuLaw | Computable Law | 2019 |
| 130 | HyperCOG | Hyperconnected Architecture for High Cognitive Production Plants | 2019 |
| 131 | COGNIPLANT | COGNITIVE PLATFORM TO ENHANCE 360º PERFORMANCE AND SUSTAINABILITY OF THE EUROPEAN PROCESS INDUSTRY | 2019 |
| 132 | INEVITABLE | Optimization and performance improving in metal industry by digital technologies | 2019 |
| 133 | SyNET | From Network Verification to Synthesis: Breaking New Ground in Network Automation | 2019 |
| 134 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |
| 135 | WELCOME | Multiple Intelligent Conversation Agent Services for Reception, Management and Integration of Third Country Nationals in the EU | 2020 |
| 136 | FACTLOG | Energy-aware Factory Analytics for Process Industries | 2019 |
| 137 | DemDX | Next generation clinical decision-support & education | 2019 |
| 138 | State Silence | The Silence of States in International Law | 2020 |
| 139 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 140 | DEVCOM | The Developing Communicator: Pragmatics, Sense Conventions and Non-Literal Uses of Language | 2020 |
| 141 | PARTYOPINION | The Informational Role of Political Parties in Citizens’ Opinion Formation | 2020 |
| 142 | PROCESS REASONING | Reasoning about processes: a logico-philosophical investigation | 2021 |
| 143 | CAESAR | Integrating Safety and Cybersecurity through Stochastic Model Checking | 2020 |
| 144 | VUAD | Video Understanding for Autonomous Driving | 2020 |