Results 11 to 20 of about 8,599,368 (169)
, 2020 El objetivo del presente trabajo es evaluar experimentalmente el desempeño térmico de un Módulo Experimental de Vivienda (MEV), construido en la región Alto Andina, mediante la evaluación sistemática de doce configuraciones de operatividad diferentes ...
Juan Omar Molina Fuertes +2 more
semanticscholar +1 more source
Energy-Efficient Residue-to-Binary Conversion Based on a Modulo-Adder-Free Architecture
2022 30th International Conference on Electrical Engineering (ICEE), 2022 This paper proposes a novel residue-to-binary converter for residue number system (RNS) based on the moduli set $\{2^{n+\mathrm{k}},\ 2^{2_{n}+1}-1,2^{n}+1,2^{n}-1\}$. By adopting the new Chinese Remainder Theorem II (CRT II) and the properties of modulo
Kamalaldin Mozaffari Majd +1 more
semanticscholar +1 more source
, 2020 espanolEn base a simulaciones termicas dinamicas con el software EnergyPlus se propone un modulo experimental de un espacio habitable para el poblado de Imata, Peru, a 4519 msnm, con condiciones climaticas severas de muy bajas temperaturas.
J. O. Molina +3 more
semanticscholar +1 more source
IEEE Access, 2022 Information hiding techniques are used to hide confidential data in digital carriers. It is difficult for malicious users to detect the existence of confidential data within the digital carriers.
Hung-Jui Ko +3 more
semanticscholar +1 more source
Eficiencia de estrategias de enfriamiento pasivo en clima cálido seco
Revista de Arquitectura (Bogotá), 2014 ResumenEste documento presenta los resultados de una evaluación de la eficiencia de enfriamiento que se alcanza con la aplicación en techos estanque de seis técnicas de enfriamiento pasivo en clima cálido seco. El procedimiento consistió en monitorear en
Luis Carlos Herrera Sosa
doaj +1 more source
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
Polímeros, 1997 Um estudo experimental foi realizado com o objetivo de contribuir com o desenvolvimento de métodos de ensaios de avaliação das características mecânicas das barras de plástico reforçado com fibra (FRP) a serem utilizadas como armadura nas obras de ...
Protasio F Castro
doaj +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
Ciencia e Ingeniería Neogranadina, 2008 Este documento presenta el diseño y automatización de dos Laboratorios Remotos manejados virtualmente a través de Internet: Laboratorio Remoto de Estructuras y Laboratorio Remoto de Ingeniería Sísmica y Dinámica Estructural; el laboratorio de estructuras
John Anderson Sandoval Moreno +2 more
doaj +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