Results 11 to 20 of about 19,632 (199)
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes [PDF]
, 2017 We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. There exist two different views: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) the ...
Chatterjee, Krishnendu +2 more
core +4 more sources
Algorithms for Game Metrics [PDF]
, 2010 Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in
D.A. Martin +15 more
core +5 more sources
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
, 2014 We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded period of time and is measured by a discrete global clock.
Bistarelli, Stefano +3 more
core +1 more source
Hybrid Behaviour of Markov Population Models [PDF]
, 2013 We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent Constraint Programming.
Bortolussi, Luca
core
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Strategies for Loading and Releasing Peptide Therapeutics in Biodegradable Carriers
Advanced Functional Materials, EarlyView.A biodegradable carrier‐based peptide delivery system is a powerful treatment platform for diverse diseases, owing to its superior therapeutic efficacy and low toxicity. This review examines the conventional peptide‐loaded carrier fabrication process and its current limitations.
Wookyoung Jang, Ki Wan Bong
wiley +1 more source
Simultaneous Optimal Uncertainty Apportionment and Robust Design Optimization of Systems Governed by Ordinary Differential Equations [PDF]
, 2011 The inclusion of uncertainty in design is of paramount practical importance because all real-life systems are affected by it. Designs that ignore uncertainty often lead to poor robustness, suboptimal performance, and higher build costs.
Hays, Joe +3 more
core +1 more source
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes [PDF]
, 2012 We have recently defined a weak Markovian bisimulation equivalence in an integrated-time setting, which reduces sequences of exponentially timed internal actions to individual exponentially timed internal actions having the same average duration and ...
Herbert Wiklicky +2 more
core +3 more sources
Speckle‐Engineered Upconversion Amplification in Nanoemulsion‐Templated Hydrogel Microdomes
Advanced Functional Materials, EarlyView.Nanoemulsion‐confined PEGDA microdomes generate speckle‐like excitation fields that strongly amplify upconversion luminescence upon dehydration, enabling filter‐free visible readout with reversible on–off switching. DMD‐based lithography yields scalable, shape‐programmable arrays for moisture‐responsive displays and optical encryption.
Chaeyeong Ryu +13 more
wiley +1 more source
Representing Conversations for Scalable Overhearing
, 2011 Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols.
Gutnik, G., Kaminka, G. A.
core +1 more source