Results 91 to 100 of about 1,501,850 (327)
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
doaj +1 more source
Automated Reasoning and Learning for Automated Payroll Management
Proceedings of the AAAI Conference on Artificial Intelligence, 2021 While payroll management is a crucial aspect of any business venture, anticipating the future financial impact of changes to the payroll policy is a challenging task due to the complexity of tax legislature. The goal of this work is to automatically explore potential payroll policies and find the optimal set of policies that satisfies the user's needs.
Dumancic, Sebastijan +5 more
openaire +2 more sources
Molecular Oncology, EarlyView.A mouse model for vascular normalization and a human breast cancer cohort were studied to understand the relationship between vascular leakage and tumor immune suppression. For this, endothelial and immune cell RNAseq, staining for vascular function, and immune cell profiling were employed.
Liqun He +8 more
wiley +1 more source
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Journal of Formalized Reasoning, 2016 The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first
Bruno Buchberger +4 more
doaj +1 more source
Neurons and symbols: a manifesto [PDF]
, 2010 We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core
FEBS Open Bio, EarlyView.This study presents a novel approach to teaching Python and bioinformatics using team‐based learning and cloud‐hosted notebooks. By integrating interactive coding into biomedical education, the method improves accessibility, student engagement, and confidence—especially for those without a computing background.
Nuno S. Osório, Leonardo D. Garma
wiley +1 more source
Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
The International Journal for Technology in Mathematics Education, 2018 This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra.
Z. Kovács +2 more
semanticscholar +1 more source
Learning and Reasoning for Robot Sequential Decision Making under Uncertainty
, 2019 Robots frequently face complex tasks that require more than one action, where sequential decision-making (SDM) capabilities become necessary. The key contribution of this work is a robot SDM framework, called LCORPP, that supports the simultaneous ...
Amiri, Saeid +2 more
core +1 more source
Cloning, expression, purification, and structural modeling of the Chandipura virus matrix protein
FEBS Open Bio, EarlyView.This research protocol offers a guide for the cloning, expression, and purification of the Chandipura virus matrix protein using E. coli. It also includes a step‐by‐step procedure for cloning, expressing, and conducting fluorescence imaging of GFP‐fused Chandipura virus matrix protein in mammalian cell lines.
Mariana Grieben
wiley +1 more source
Semantic-based Automated Reasoning for AWS Access Policies using SMT
Formal Methods in Computer-Aided Design, 2018 Cloud computing provides on-demand access to IT resources via the Internet. Permissions for these resources are defined by expressive access control policies.
John D. Backes +8 more
semanticscholar +1 more source