Results 61 to 70 of about 86,663 (296)

Debugging Process Algebra Specifications [PDF]

, 2015
Designing and developing distributed and concurrent applications has always been a tedious and error-prone task. In this context, formal techniques and tools are of great help in order to specify such concurrent systems and detect bugs in the corresponding models.
Salaün, Gwen, Ye, Lina
openaire   +1 more source

The Herfindahl neutral point: A firm‐level threshold for managing market concentration with evidence from US hog packing

American Journal of Agricultural Economics, EarlyView.
Abstract This paper derives a firm‐level threshold, the Herfindahl Neutral Point, from the standard concentration index used in merger review. At this threshold, a marginal expansion leaves the index unchanged. Firms below the threshold reduce concentration when they expand; firms above it increase concentration.
Andrew J. Keller, Krishna P. Paudel
wiley   +1 more source

Risk‐aware safe reinforcement learning for control of stochastic linear systems

Asian Journal of Control, EarlyView.
Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili, Nariman Niknejad, Hamidreza Modares   +2 more
wiley   +1 more source

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory

The Scientific World Journal, 2015
Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education.
Ivo Martiník
doaj   +1 more source

Optimal Low Carbon Cement Production Cost via Co-Processing and Carbon Capture and Storage

Chemical Engineering Transactions, 2015
Cement production is recorded to have released about 5 % of current global man-made CO2 emissions. They came from the burning of fossil fuel in kiln, electricity usage from grinding of raw and finished materials, and from the calcination of main raw ...
S.A. Ishak, H. Hashim, Z.A. Muis
doaj   +1 more source

Performance improvement of discrete‐time linear‐quadratic regulators applied to uncertain linear systems using the Tikhonov regularization method

Asian Journal of Control, EarlyView.
Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley   +1 more source

Sound and Complete Runtime Security Monitor for Application Software [PDF]

, 2016
Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection systems) or limit application performance (e.g. run-time verification).
Khan, Muhammad Taimoor, Serpanos, Dimitrios, Shrobe, Howard   +2 more
core   +1 more source

Polynomial tuning of multiparametric combinatorial samplers

, 2017
Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such as maps, tilings, RNA sequences or various tree-like structures.
Bendkowski, Maciej, Bodini, Olivier, Dovgal, Sergey   +2 more
core   +1 more source

Young people's occupational aspirations beyond the aspiration discourse: A sociocultural perspective

British Educational Research Journal, EarlyView.
Abstract Young people's aspirations have been the focus of many educational, sociological and psychological studies. This paper argues, firstly, that the concept of aspirations holds greater generative potential than suggested by the policy‐oriented ‘aspiration discourse’.
Jelena Popov
wiley   +1 more source

Optimal model‐based design of experiments for parameter precision: Supercritical extraction case

The Canadian Journal of Chemical Engineering, EarlyView.
Abstract This study investigates the process of chamomile oil extraction from flowers. A parameter‐distributed model consisting of a set of partial differential equations is used to describe the governing mass transfer phenomena in a cylindrical packed bed with solid chamomile particles under supercritical conditions using carbon dioxide as a solvent ...
Oliwer Sliczniuk, Pekka Oinas
wiley   +1 more source