Results 21 to 30 of about 273,438 (282)
KLAIM: A Kernel Language for Agents Interaction and Mobility [PDF]
, 1997 We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another.
De Nicola, Rocco +2 more
core +2 more sources
Approximate Dynamic Programming via Sum of Squares Programming [PDF]
, 2012 We describe an approximate dynamic programming method for stochastic control problems on infinite state and input spaces. The optimal value function is approximated by a linear combination of basis functions with coefficients as decision variables.
Kamgarpour, Maryam +5 more
core +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
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
Dynamic programming network for point target detection
EURASIP Journal on Advances in Signal Processing, 2023 To improve the efficiency of the dim point target detection based on dynamic programming (DP), this paper proposes a multi-frame target detection method based on a DP ring network (DPRN).
Jingneng Fu, Hongyan Wei
doaj +1 more source
Learning to Optimize Computational Resources: Frugal Training with Generalization Guarantees
, 2020 Algorithms typically come with tunable parameters that have a considerable impact on the computational resources they consume. Too often, practitioners must hand-tune the parameters, a tedious and error-prone task.
Balcan, Maria-Florina +2 more
core +1 more source
A General Framework for Sound and Complete Floyd-Hoare Logics [PDF]
, 2008 This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the ...
Arthan R. +9 more
core +1 more source
Emulating and evaluating hybrid memory for managed languages on NUMA hardware [PDF]
, 2019 Non-volatile memory (NVM) has the potential to become a mainstream memory technology and challenge DRAM. Researchers evaluating the speed, endurance, and abstractions of hybrid memories with DRAM and NVM typically use simulation, making it easy to ...
Akram, Shoaib +3 more
core +1 more source
Proposte di intreccio tra natura e cultura nelle aree protette: il festival Musica in Quota
Geography NotebooksProposals for Intertwining Nature and Culture in Protected Areas: the Musica in Quota Festival In a context where nature and culture always appear separate, this contribution aims to overcome this dichotomy, proposing a musical festival as an example ...
Stefania Benetti, Stefania Cerutti
doaj +1 more source
Conflict and Health, 2021 Background There is growing attention to addressing the menstrual hygiene management (MHM) needs of the over 21 million displaced adolescent girls and women globally.
Margaret L. Schmitt +4 more
doaj +1 more source