Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models [PDF]
IEEE Transactions on Automatic Control, 2017 In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete-time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that ...
Pierre-Jean Meyer, A. Girard, E. Witrant
semanticscholar +1 more source
Population and species neighbor identity impact trait–trait relationships and plant performance
Population Ecology, EarlyView.We evaluated how populations and species identity influence plant performance and trait outcomes in mixtures, and assessed trait variation among populations of two forb species native to the western United States (Dieteria canescens and Heterotheca villosa) following three interaction treatments (single‐population monoculture, two‐population mixture ...
Alicia J. Foxx +2 more
wiley +1 more source
State Abstraction as Compression in Apprenticeship Learning
AAAI Conference on Artificial Intelligence, 2019 State abstraction can give rise to models of environments that are both compressed and useful, thereby enabling efficient sequential decision making.
David Abel +5 more
semanticscholar +1 more source
H-atom addition and abstraction reactions in mixed CO, H2CO and CH3OH ices – an extended view on complex organic molecule formation [PDF]
, 2016 Complex organic molecules (COMs) have been observed not only in the hot cores surrounding low- and high- mass protostars, but also in cold dark clouds.
K. Chuang +4 more
semanticscholar +1 more source
Effects of chronic browsing on life‐history traits of an irruptive large herbivore population
Population Ecology, EarlyView.This study aimed to determine the relationship between diet quality, body mass, and size (hind foot length), and female reproduction and sought to identify the mechanism by which high density under severe food limitations is maintained. Our results demonstrated that sika deer introduced to Nakanoshima Island have maintained high densities through high ...
Koichi Kaji +9 more
wiley +1 more source
Two kinds of abstraction in schizophrenia : a thesis presented in partial fulfilment of the requirements for the degree of Master of Arts in Psychology at Massey University [PDF]
, 1981 An impairment in abstracting ability has frequently been proposed as a reason for schizophrenic thought disorder. The performance of hospitalized chronic paranoid schizophrenics and non-paranoid schizophrenics were compared to a normal control group on ...
Cade, Philip Nigel
core
On the use of observation equivalence in synthesis abstraction [PDF]
, 2011 In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata.
Fabian, Martin +3 more
core +2 more sources
Population Ecology, EarlyView.This study examines the demographic dynamics of two seabird populations on Tromelin Island, 15 years after the eradication of brown rats. The results indicate that these populations are in good health and are expected to continue growing until breeding sites are saturated in about a century.
Merlène Saunier +6 more
wiley +1 more source
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum
Informatics in Education, 2021 Computer science students often evaluate the behavior of the code they write by running it on specific inputs and studying the outputs, and then apply their comprehension to a more general understanding of the code. While this is a good starting point in
Megan FOWLER +7 more
doaj +1 more source
Contribution to art history: Ornament and its regulations [PDF]
Sinteze, 2020 The ornament is a part of every visual culture in the world. Its history goes back to early ages of human race. It is one of the most important fine art categories. The ornament was less important fine art category for a long time.
Žderić Tamara D.
doaj +1 more source