Buscar
Mostrando ítems 11-20 de 306
High-accuracy detection of malaria vector larval habitats using drone-based multispectral imagery
(Public Library of Science, 2019)
Interest in larval source management (LSM) as an adjunct intervention to control and eliminate malaria transmission has recently increased mainly because long-lasting insecticidal nets (LLINs) and indoor residual spray ...
A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-06-03)
Logic courses represent a pedagogical challenge and the recorded number of cases of failures
and of discontinuity in them is often high. Amont other difficulties, students face
a cognitive overload to understand logical ...
Trailer Reverse Assist. Optical Follow Me
(ITESO, 2017)
Verification of Dynamic Bisimulation Theorems in Coq
(Elsevier, 2021-04)
Over the last years, the study of logics that can update a model while evaluating a formula has gained in interest. Motivated by many examples in practice such as hybrid logics, separation logics and dynamic epistemic ...
Reasoning about Partial Correctness Assertions in Isabelle/HOL
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2020)
Fact Investigation and Proof Standards in Legal Argumentation
(IEEE Computer Society, 2021-03-19)
A logical framework is presented to model legal interpretation and bring an appropriate construction of legal arguments. Reasoning with assumptions allows the construction of hypotheses. This is proposed in the context of ...
Tecnologia assistiva-digital para inclusão de pessoas com deficiência visual: prova de conceito de uma bengala eletrônica para ambientes indoor
(Universidade Estadual Paulista (Unesp), 2021-12-13)
A acessibilidade é um direito das pessoas com deficiência que objetiva garantir a vivência e a convivência social em condições de igualdade. Com as revisões de literatura realizadas e o acompanhamento da temática ao longo ...
Reasoning about functional programs by combining interactive and automatic proofs
(UR.FI., 2015)
We propose a new approach to computer-assisted verification of lazy
functional programs where functions can be defined by general
recursion. We work in first-order theories of functional programs
which are obtained by ...
Proof of Concept of a 3 DoF Passive Exoskeleton for Reducing Low Back Musculoskeletal Disorder
(Universidad ContinentalPE, 2022)
An exoskeleton is a mechatronic system to enhance the physical and sensory aspects of a person when assisting with a particular task. The World Health Organization (WHO) and the International Labor Organization (ILO) ...