Results 81 to 90 of about 37,049 (259)
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 +2 more
wiley +1 more source
Narrowing-based Optimization of Rewrite Theories [PDF]
, 2020 Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as terms of an algebraic data type ...
Escobar Román, Santiago +3 more
core
Biceps‐Augmented Reverse Remplissage for Filling of Reverse Hill‐Sachs Defects
Arthroscopy Techniques, EarlyView.Abstract Reverse Hill‐Sachs lesions pose a complex challenge in the management of posterior shoulder dislocations. These lesions complicate surgical management as a result of their association with recurrent instability and further joint destruction.
Mohamed Gamal Morsy +2 more
wiley +1 more source
Transforming Prefix-constrained or Controlled Rewrite Systems
We present two techniques for transforming any prefix-constrained and any controlled term rewrite system into an ordinary rewrite system. We prove that both transformations preserve the rewrite com- putations, and preserve termination.
Nirina Andrianarivelo +2 more
core +1 more source
Listening to Hong Kong children's perspectives through pretend play
British Educational Research Journal, EarlyView.Abstract Quality in early childhood education and care (ECEC) has become an increasing concern in recent years. The issue has been regularly discussed by different stakeholders. However, the rising concern regarding quality in ECEC has not seriously taken into account children's perspectives.
Suzannie K. Y. Leung
wiley +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Proving Termination of Rewrite Systems using Bounds
, 2008 . The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. We extend their work to non-left-linear rewrite systems. The key to this
Martin Korp, Aart Middeldorp
core
, 1990 Completion Completion has recently been put in a more abstract framework [ Bachmair-et al, 1986 ] , an approach we adopt here. As in traditional proof theory (cf.
Nachum Dershowitz, Jean-Pierre Jouannaud
core +1 more source
British Educational Research Journal, EarlyView.Abstract This article examines how national education in Hong Kong functions as a contested arena in which state and non‐state actors struggle over the meaning of citizenship, identity and schooling. Using inductive frame analysis of 319 news articles (2020–2025) from five Chinese‐ and English‐language outlets, it identifies diagnostic, prognostic and ...
Jason Cong Lin
wiley +1 more source
Transforming Prefix-Constrained or Controlled Rewrite Systems
, 2017 International audienceWe present two techniques for transforming any prefix-constrained and any controlled term rewrite system into an ordinary rewrite system.We prove that both transformations preserve the rewrite computations, and preserve termination ...
Andrianarivelo, Nirina +2 more
core