Cargando…

Live synthesis

Synthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized implementation replaces an already running system. In addition to satisfying its own specification, the synthesized implementat...

Descripción completa

Detalles Bibliográficos
Autores principales:	Finkbeiner, Bernd, Klein, Felix, Metzger, Niklas
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Springer London 2022
Materias:	S.i. : Atva 2021
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9468080/ https://www.ncbi.nlm.nih.gov/pubmed/36118300 http://dx.doi.org/10.1007/s11334-022-00447-5

Ejemplares similares

Compositional synthesis of modular systems
por: Finkbeiner, Bernd, et al.
Publicado: (2022)

Specification decomposition for reactive synthesis
por: Finkbeiner, Bernd, et al.
Publicado: (2022)

Association Between Head Impact Biomechanics and Physical Load in College Football
por: Lauck, Bradley J., et al.
Publicado: (2022)

Time Delta Head Impact Frequency: An Analysis on Head Impact Exposure in the Lead Up to a Concussion: Findings from the NCAA-DOD Care Consortium
por: Seifert, Jack, et al.
Publicado: (2022)

Consensus Head Acceleration Measurement Practices (CHAMP): Origins, Methods, Transparency and Disclosure
por: Arbogast, Kristy B., et al.
Publicado: (2022)

Protective Performance of Helmets and Goggles in Mitigating Brain Biomechanical Response to Primary Blast Exposure
por: Yu, Xiancheng, et al.
Publicado: (2022)

Consensus Head Acceleration Measurement Practices (CHAMP): Study Design and Statistical Analysis
por: Rowson, Steve, et al.
Publicado: (2022)

The Protective Performance of Modern Motorcycle Helmets Under Oblique Impacts
por: Yu, Xiancheng, et al.
Publicado: (2022)

Drop Test Kinematics Using Varied Impact Surfaces and Head/Neck Configurations for Rugby Headgear Testing
por: Stitt, Danyon, et al.
Publicado: (2022)

Consensus Head Acceleration Measurement Practices (CHAMP): Laboratory Validation of Wearable Head Kinematic Devices
por: Gabler, Lee, et al.
Publicado: (2022)

What is the extension of the extended mind?
por: Greif, Hajo
Publicado: (2015)

Understanding cartoon emotion using integrated deep neural network on large dataset
por: Jain, Nikita, et al.
Publicado: (2021)

Cyanotoxin Analysis and Amino Acid Profiles of Cyanobacterial Food Items from Chad
por: Metcalf, J. S., et al.
Publicado: (2020)

Toxin Analysis of Freshwater Cyanobacterial and Marine Harmful Algal Blooms on the West Coast of Florida and Implications for Estuarine Environments
por: Metcalf, J. S., et al.
Publicado: (2020)

Is Exposure to BMAA a Risk Factor for Neurodegenerative Diseases? A Response to a Critical Review of the BMAA Hypothesis
por: RA, Dunlop, et al.
Publicado: (2021)

Predicting image credibility in fake news over social media using multi-modal approach
por: Singh, Bhuvanesh, et al.
Publicado: (2021)

Sammy Basso: The scientist that flies high
por: Basso, Sammy
Publicado: (2019)

To social with social distance: a case study on a VR-enabled graduation celebration amidst the pandemic
por: Xu, Xinhao
Publicado: (2022)

Smart network based portfolios
por: Clemente, Gian Paolo, et al.
Publicado: (2022)

DeepClassRooms: a deep learning based digital twin framework for on-campus class rooms
por: Razzaq, Saad, et al.
Publicado: (2022)

CanarDeep: a hybrid deep neural model with mixed fusion for rumour detection in social data streams
por: Jain, Deepak Kumar, et al.
Publicado: (2022)

Virtual fieldwork on a ship’s bridge: virtual reality-reconstructed operation scenarios as contextual substitutes for fieldwork in design education
por: Frydenberg, Synne G., et al.
Publicado: (2022)

Differences between antisemitic and non-antisemitic English language tweets
por: Jikeli, Gunther, et al.
Publicado: (2022)

Mild simulator sickness can alter heart rate variability, mental workload, and learning outcomes in a 360° virtual reality application for medical education: a post hoc analysis of a randomized controlled trial
por: Hsin, Li-Jen, et al.
Publicado: (2022)

Deep imitation learning for 3D navigation tasks
por: Hussein, Ahmed, et al.
Publicado: (2017)

Active inference, enactivism and the hermeneutics of social cognition
por: Gallagher, Shaun, et al.
Publicado: (2016)

From cognitivism to autopoiesis: towards a computational framework for the embodied mind
por: Allen, Micah, et al.
Publicado: (2016)

The logic of epistemic justification
por: Smith, Martin
Publicado: (2017)

The anticipating brain is not a scientist: the free-energy principle from an ecological-enactive perspective
por: Bruineberg, Jelle, et al.
Publicado: (2016)

Modeling high school timetabling with bitvectors
por: Demirović, Emir, et al.
Publicado: (2016)

Convolutional neural network-based models for diagnosis of breast cancer
por: Masud, Mehedi, et al.
Publicado: (2020)

Sustainability, cooperation and mobility of workers within and between European countries: a two-stage goal programming model
por: Liuzzi, Danilo, et al.
Publicado: (2020)

Designing dynamic reverse logistics network for post-sale service
por: Mishra, Shraddha, et al.
Publicado: (2020)

Epistemic relativism, scepticism, pluralism
por: Kusch, Martin
Publicado: (2016)

Trait Autism is a Better Predictor of Empathy than Alexithymia
por: Shah, Punit, et al.
Publicado: (2019)

Does Theory of Mind Training Enhance Empathy in Autism?
por: Holopainen, Annaleena, et al.
Publicado: (2018)

Maximality and ontology: how axiom content varies across philosophical frameworks
por: Barton, Neil, et al.
Publicado: (2017)

The genealogical method in epistemology
por: Kusch, Martin, et al.
Publicado: (2018)

Mechanistic and topological explanations in medicine: the case of medical genetics and network medicine
por: Darrason, Marie
Publicado: (2015)

Epidemiology is ecosystem science
por: Lee, Keekok
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_q4a3fucvmjj1r1jqo28gklq5ad