Buscar
Mostrando ítems 1-10 de 57
Simulação computacional de evacuação em edificação de reunião de público: o estudo de caso do Centro de Convenções da Universidade Federal de Santa Maria
(Universidade Federal de Santa MariaBrasilArquitetura e UrbanismoUFSMPrograma de Pós-Graduação em Arquitetura, Urbanismo e PaisagismoCentro de Tecnologia, 2022-12-14)
With the technological advancement in the area of fire safety (SCI), computational
evacuation simulation tools emerge to assist architects and engineers in decisionmaking, in the face of different situations and design ...
Eficacia del rediseño de las salidas de emergencia en la evacuación de personas por incendio de un almacén de calzado. Caso simulado con modelos de campoEffectiveness of the redesign of emergency exits in the evacuation of people due to a fire in a shoe store. Simulated case with field models
(Editorial Ciencia digital Registrada en la Cámara Ecuatoriana del Libro No Afiliación 663 (Editor DrC. Efraín Velasteguí López. PhD.), 2021)
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
(IEEE Computer Society, 2015-07)
Lazy Initialization (LI) allows symbolic execution to effectively deal with heap-allocated data structures, thanks to a significant reduction in spurious and redundant symbolic structures. Bounded lazy initialization (BLI) ...
Exploring the Mobile Structural Assessment Tool: Concept Maps for Learning Website
(Universidad Nacional de Colombia - Sede Bogotá - Facultad de Ciencias - Departamento de Estadística, 2014-07-01)
In this paper, we describe how the pathfinder algorithm converts relatedness ratings of concept pairs to concept maps; we also present how this algorithm has been used to develop the Concept Maps for Learning website ...
Geometallurgical model for the exploration of mineral resourcesModelo geometalúrgico para la exploración de recursos minerales
(Universidad Nacional Mayor de San Marcos, Facultad de Ingeniería Geológica, Minera, Metalúrgica y Geográfica, 2022)
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-02-22)
The use of Automatic Code Generators for Formal Methods not only minimizes efforts
on the implementation of Software Systems, but also reduces the chance of existing errors
on the execution of such Systems. These tools, ...
Altura y densidad urbana admisible de edificaciones multifamiliares representativa en un tramo de una avenida principal en Lima- Perú para la Gestión Prospectiva del Riesgo Sísmico en zonas residenciales
(Universidad Peruana de Ciencias Aplicadas (UPC)PE, 2021-06-30)
La evolución es intrínseca en el ser humano y con nosotros evoluciona nuestro entorno. La industria de la construcción a manos de la necesidad del hombre, busca no solo un crecimiento horizontal territorial, sino también ...