Buscar
Mostrando ítems 31-40 de 11644
Formal Verification of Distributed System Using an Executable C Model
(2016)
Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...
Admissible nested covariance models over spheres cross time
(Springer New York LLC, 2018)
Nested covariance models, defined as linear combinations of basic covariance functions, are very popular in many branches
of applied statistics, and in particular in geostatistics. A notorious limit of nested models is ...
Existence and uniqueness of monotone wavefronts in a nonlocal resource-limited model
(Cambridge University Press, 2020)
We are revisiting the topic of travelling fronts for the food-limited (FL) model with spatio-temporal nonlocal reaction. These solutions are crucial for understanding the whole model dynamics. Firstly, we prove the existence ...
Optimization Modeling for Resource Allocation in the Chilean Public Education System
(SAGE PUBLICATIONS, 2016)
This article presents an economic decision model for planning in public education, considering the satisfaction of the total demand for education in a municipality and the annual cost involved in the system. Given a set ...
Existence and uniqueness of monotone wavefronts in a nonlocal resource-limited model
(Cambridge University Press, 2020)
Copyright © Royal Society of Edinburgh 2019.We are revisiting the topic of travelling fronts for the food-limited (FL) model with spatio-temporal nonlocal reaction. These solutions are crucial for understanding the whole ...
Multiphysics modeling for bone remodeling simulation: A methodological framework
(Journal of Engineering and Applied Sciences, 2018)
Predecessor Search
(Assoc Computing Machinery, USA, 2020)
The predecessor problem is a key component of the fundamental sorting-and-searching core of algorithmic problems. While binary search is the optimal solution in the comparison model, more realistic machine models on integer ...
Modeling study of biomass burning plumes and their impact on urban air quality; a case study of Santiago de Chile
(Elsevier, 2017)
On January 4, 2014, during the summer period in South America, an intense forest and dry pasture wildfire occurred nearby the city of Santiago de Chile. On that day the biomass-burning plume was transported by low-intensity ...
Modeling forest biomass using Very-High-Resolution data - Combining textural, spectral and photogrammetric predictors derived from spaceborne stereo images
(Italian Society of Remote Sensing, 2015)
Modeling safety as a perceptual latent variable to assess cycling infrastructure
(Elsevier, 2018-05)
Perceived safety is a relevant construct that affects cyclists’ behavior. Nevertheless, this qualitative
attribute has not been adequately considered in infrastructure design preference models.
Even though the use of ...