Results 41 to 50 of about 270,225 (234)

On the Applicability of the Advocacy Coalition Framework for Analyzing EU Policy Processes

European Policy Analysis, EarlyView.
ABSTRACT Initially developed for the US context, the Advocacy Coalition Framework (ACF) is increasingly used to analyze policy processes in the EU. But policymaking in EU differs from the US context, why the applicability of ACF in the EU context should be scrutinized.
Fredrik von Malmborg
wiley   +1 more source

From decision patience to process patience: A decision–process integration of the choice to wait and the experience of waiting

Journal of Consumer Psychology, EarlyView.
Abstract Consumer impatience has long been examined through the lens of intertemporal choice, where patience is inferred from decisions to accept delayed rewards. Yet, this conceptualization captures only the choice to wait, not the experience of waiting.
Selin A. Malkoc
wiley   +1 more source

An Axiomatic Approach to Liveness for Differential Equations

, 2019
This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques ...
A Abate, A Platzer, A Platzer, A Platzer, A Platzer, A Platzer, A Podelski, A Sogokon, A Taly, C Chicone, E Goubault, G Frehse, J Bochnak, J Liu, K Ghorbal, L Doyen, R Alur, S Prajna, S Prajna, S Ratschan, SS Owicki, W Walter, X Chen, Z Manna   +23 more
core   +1 more source

Ontologies for Sustainability: Theoretical Challenges

Sustainable Development, EarlyView.
ABSTRACT The lack of sustainable practices in key sectors of human societies is a global concern, posing threats for the whole planet. This paper provides the first review of ontologies for sustainability efforts, outlining their roles in assessing and advancing such efforts. Section 2 outlines three major challenges associated with sustainability: (1)
Giorgio A. Ubbiali, Matthew C. Lange, Andrea Borghini   +2 more
wiley   +1 more source

Model Checking Dynamic-Epistemic Spatial Logic [PDF]

, 2006
In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core  

Logics of formal inconsistency arising from systems of fuzzy logic

, 2014
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo, Esteva, Francesc, Godo, Lluís   +2 more
core   +1 more source

Identification of Missing Knowledge in MBSE System Models Using Graph‐Based Machine Learning

Systems Engineering, EarlyView.
ABSTRACT The design and development of complex aerospace systems pose significant challenges due to their growing complexity. Iterative design processes, guided by formal specifications, strive to refine initially vague characteristics through multiple stages.
Esma Karagoz, Olivia J. Pinon Fischer, Dimitri Mavris   +2 more
wiley   +1 more source

The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination

Моделирование и анализ информационных систем, 2018
During deductive verification of programs written in imperative languages, the generation and proof of verification conditions corresponding to loops can cause difficulties, because each one must be provided with an invariant whose construction is often ...
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy   +2 more
doaj   +1 more source

Linguistic Evidence Suggests that Xiōng‐nú and Huns Spoke the Same Paleo‐Siberian Language

Transactions of the Philological Society, EarlyView.
Abstract The Xiōng‐nú were a tribal confederation who dominated Inner Asia from the third century BC to the second century AD. Xiōng‐nú descendants later constituted the ethnic core of the European Huns. It has been argued that the Xiōng‐nú spoke an Iranian, Turkic, Mongolic or Yeniseian language, but the linguistic affiliation of the Xiōng‐nú and the ...
Svenja Bonmann, Simon Fries
wiley   +1 more source

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows [PDF]

, 2019
This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare.
Chishti, I., Chishti, I.
core