Results 21 to 30 of about 8,824,973 (236)
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021 We recently presented cylindrical algebraic coverings: a method based on the theory of cylindrical algebraic decomposition and suited for nonlinear real arithmetic theory reasoning in Satisfiability Modulo Theories solvers.
Gereon Kremer +3 more
semanticscholar +1 more source
Validación del Módulo WHOQOL-OLD en personas atendidas en Organizaciones para el Adulto Mayor
Pesquimat, 2021 WHOQOL-OLD es un instrumento dise~nado por la OMS para medir la calidad de vida en adultos mayores. Objetivo: Validar el módulo WHOQOL-OLD para evaluar la calidad de vida de personas atendidas en organizaciones para el Adulto Mayor del distrito de ...
Aurora Molina Napurí +1 more
semanticscholar +1 more source
Planning for Hybrid Systems via Satisfiability Modulo Theories
Journal of Artificial Intelligence Research, 2020 Planning for hybrid systems is important for dealing with real-world applications, and PDDL+ supports this representation of domains with mixed discrete and continuous dynamics.
Michael Cashmore +2 more
semanticscholar +1 more source
Cronograma de Observaciones Solares para el sensor SIS en la misión ExoMars16 [PDF]
, 2016 La Misión ExoMars16 es la primera misión del programa ExoMars de la ESA, cuyo lanzamiento se realizó el día 14 de marzo de 2016 estando prevista su llegada a Marte en octubre de 2016.
Barderas, Gonzalo +2 more
core +1 more source
Kinetic study of pilot-scale supercritical CO2 extraction of rosemary (Rosmarinus officinalis) leaves [PDF]
, 2011 NOTICE: This is the author’s version of a work that was accepted for publication in Journal of Supercritical Fluids. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality ...
Fornari, Tiziana +5 more
core +2 more sources
SAT-Based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs [PDF]
ACM Journal on Emerging Technologies in Computing SystemsCoarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of mapping: how efficiently the CIL is
Cristian Tirelli +8 more
semanticscholar +1 more source
Propósitos y Representaciones, 2013 Este trabajo describió y evaluó la aplicación de un módulo para mejorar las capacidades específicas que utiliza el estudiante en la resolución de problemas matemáticos.
Gloria Fabián
doaj +1 more source
Análise comparativa do Módulo de elasticidade calculado segundo diferentes Normas
Revista ALCONPAT, 2014 RESUMO Este artigo avalia o módulo de elasticidade estático e dinâmico do concreto a partir de um estudo científico e experimental de dosagem que faz uso dos recursos do diagrama de dosagem do concreto.
L. Cabral, E. Monteiro, P. Helene
doaj +1 more source
, 2017 Este documento presenta el diseno e implementacion de un modulo experimental de difraccion de la luz para un laboratorio remoto, donde se propone un metodo novedoso para encontrar las distancias del maximo central a los minimos secundarios del patron de ...
Leidy Esperanza Pamplona Beron +2 more
semanticscholar +1 more source
Effect of filler nature and content on the bituminous mastic behaviour under cyclic loads [PDF]
, 2017 The role of the filler in asphalt mixtures is particularly important because of its influence on mastic behaviour. The filler improves the resistance properties of bitumen against the action of traffic loads and temperature.
Botella Nieto, Ramón +4 more
core +2 more sources