Results 21 to 30 of about 4,476 (227)
Automatic Program Instrumentation for Automatic Verification
, 2023 AbstractIn deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end solver is not sufficiently powerful or lacks the required theories. One way to deal with this is to transform, for verification purposes, the program to an equivalent one not using the problematic ...
Jesper Amilon +4 more
openaire +1 more source
Epilepsy in hypothalamic hamartomas: semiology spectrum and predictor analyses of 78 patients
Annals of Clinical and Translational Neurology, 2023 Objective To assess seizure semiology and disease evolution in a large number of hypothalamic hamartoma (HH) patients. Methods Seizure semiology and associated medical records for 78 patients with HH‐related epilepsy were retrospectively reviewed ...
Xiu Wang +8 more
doaj +1 more source
Quasi-automatic groups are asynchronously automatic [PDF]
Theoretical Computer Science, 2019 A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a quasi-automatic semigroup for which these rational relations are also recognisable by two-tape automata.
openaire +3 more sources
From automatic structures to automatic groups
Groups, Geometry, and Dynamics, 2014 In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy many nice properties: these groups are invariant under the change of generators, they are closed under direct and
Olga Kharlampovich +2 more
openaire +4 more sources
Automatism or discretion in monetary policy?
PSL Quarterly Review, 2014 It is generally excepted that changes in the money supply exert a profound influence on the economic process. The same goes for the resulting conclusion that the creation of money cannot be left to private initiative.
E. SCHNEIDER
doaj +1 more source
Les automatismes dans l’activité : pour une réhabilitation et un bon usage
Activités, 2005 Automatisms have a large place in the activity, but often they are put forward for their negative consequences, in particular for the role they play in the production of errors.
Jacques Leplat
doaj +1 more source
Culture in the Courtroom: Ethnocentrism and Juror Decision-Making. [PDF]
PLoS ONE, 2015 The purpose of this study was to investigate whether a culturally-based argument in a non-insane automatism defense would be detrimental or beneficial to the defendant.
Evelyn M Maeder, Susan Yamamoto
doaj +1 more source
International Journal of Intelligent NetworksThe advent of 6G holographic communication demands extremely high data rates and ultra-low latency, creating unprecedented challenges for resource allocation and Reconfigurable Intelligent Surface (RIS) configuration.
Brice Jibia +5 more
doaj +1 more source
, 2021 International audienceexhibition catalogue for: Cat.expo. « automatism », Surrealism Beyond Borders, The Tate Modern, Londres, February 25 to August 29, 2022.
Flahutez, Fabrice
core
Portraits du dégénéré en fou, en primitif, en enfant etfinalement en artiste
Methodos, 2004 This article deals with the concept of «degeneration», introduced by Benedict-Auguste Morel in the French psychiatry during the 1850s, and which widely spread afterwards, in this field as well as in the contemporary criminology.
Stéphane Legrand
doaj +1 more source