Results 21 to 30 of about 33,743 (312)
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems [PDF]
IEEE Transactions on Automatic Control, 2018 Discrete-time stochastic systems are an essential modeling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces.
S. Haesaert, S. Soudjani
semanticscholar +1 more source
Executing convex polytope queries on nD point clouds
International Journal of Applied Earth Observations and Geoinformation, 2021 Efficient spatial queries are frequently needed to extract useful information from massive nD point clouds. Most previous studies focus on developing solutions for orthogonal window queries, while rarely considering the polytope query.
Haicheng Liu +3 more
doaj +1 more source
Electric Power Systems Research, 2023 Accepted for publication in PSCC ...
Sungho Shin +2 more
openaire +2 more sources
BMC Public Health, 2016 Background Violence against adolescent girls in humanitarian settings is of urgent concern given their additional vulnerabilities to violence and unique health and well-being needs that have largely been overlooked by the humanitarian community. In order
Kathryn L. Falb +14 more
doaj +1 more source
Software Engineering and Its Role in the Study of Office Space
Journal of Architecture, Art & Humanistic Science, 2019 The paper deals with the domain of engineering software and its role in office space study based on the concrete concept and definitions related to engineering programming.
Muhammad Al kazee
doaj +1 more source
Plant Methods, 2023 Background Cell characteristics, including cell type, size, shape, packing, cell-to-cell-adhesion, intercellular space, and cell wall thickness, influence the physical characteristics of plant tissues.
Nelia Nause +4 more
doaj +1 more source
A Graph Model for Imperative Computation [PDF]
Logical Methods in Computer Science, 2010 Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A graph is a relation mapping finite sets of input values to output values. We
Guy McCusker
doaj +1 more source
Efficient classification of complete parameter regions based on semidefinite programming
BMC Bioinformatics, 2007 Background Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear equations, the conventional approach is to first numerically integrate the ...
Parrilo Pablo A, Sauer Uwe, Kuepfer Lars
doaj +1 more source
A multi-level of abstraction systems engineering process model for turkish space program
Proceedings of 2nd International Conference on Recent Advances in Space Technologies, 2005. RAST 2005., 2006 For some time, there has been a strong will to start a national space program in Turkey. However, when technological, financial and human resources of Turkey are considered, Turkish Space Program (TSP) appears to be a challenge for the nation. To commit to achieve such a challenging goal, a solid systematic approach to all aspects of the space program ...
Yuksel, SM, Cakmak, MA, Gokpinar, ES
openaire +2 more sources
Simulation of diets for dairy goats and growing doelings using nonlinear optimization procedures
Revista Brasileira de Zootecnia, 2016 The objective of this study was to simulate total dry matter intake and cost of diets optimized by nonlinear programming to meet the nutritional requirements of dairy does and growing doelings. The mathematical model was programmed in a Microsoft Excel(r)
Leonardo Siqueira Glória +7 more
doaj +1 more source