Results 81 to 90 of about 86,163 (232)

A higher-order behavioural algebraic institution for ASL [PDF]

, 2003
In this paper, we generalise the semantics of ASL including the three behavioural operators for a fixed but arbitrary algebraic institution. After that, we define a behavioural algebraic institution which is used to give an alternative semantics of
Mylonakis Pascual, Nicolás
core   +1 more source

Discrete Implementations Modify the Intuition of Final Set Adjustment in Barrier Function Based Control

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT This paper establishes an implementation‐aware framework for Barrier Function Adaptation (BFA) and shows that discrete‐time realizations fundamentally alter the logic of final‐set adjustment. In particular, sufficient conditions are derived to preserve the key benefits of BFA (predefined performance, gain adaptation with uncertain perturbation
Luis Ovalle, Andrés González, Leonid Fridman, Meléndez Alfredo   +3 more
wiley   +1 more source

On an Aggregation Theory for Indicators Expressing Behaviors of Complex Systems With an Application to Sustainability

Sustainable Development, Volume 34, Issue 3, Page 3304-3321, June 2026.
ABSTRACT Certain attributes of large‐scale complex systems are often expressed through sets of indicators. For example, the sustainability of an entity, be it a nation, a city, an energy system, a corporation etc., can be effectively represented by indicators and corresponding data series.
Vassilis S. Kouikoglou, Yannis A. Phillis   +1 more
wiley   +1 more source

Epistemic Foundation of Stable Model Semantics

, 2005
Stable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complete the available knowledge and its formulation has its basis in the so ...
Loyer, Y., Straccia, U.
core   +2 more sources

High‐Speed Rail and Spatial Equity: Unpacking the Sustainability Paradox of Land Use and Fiscal Pressure in County‐Level Cities

Sustainable Development, EarlyView.
ABSTRACT Infrastructure‐led development in rapidly urbanizing economies often generates accessibility gains that fail to translate into balanced urban outcomes, particularly when local fiscal institutions redirect those gains toward revenue‐generating land uses. Filling this gap, especially in fiscally constrained county‐level cities where land finance
Ming Xie, Xiaoxiao Liao, Zhenlin Xie
wiley   +1 more source

Epistemic uncertain computing for intrusion detection with explainability & multi-criteria optimization using AA-NLS and GRUSO-GRU

Scientific Reports
Owing to incomplete and inaccurate data, intrusion detection in networks is uncertain. The out-of-order packet arrival uncertainty was not analyzed in the existing works, thereby causing false positives in intrusion detection.
K. Kiruthika, M. Karpagam, Tanvir H. Sardar, Sk Mahmudul Hassan   +3 more
doaj   +1 more source

From Ambition to Authenticity: How Transparent Sustainability Practices Rebuild Stakeholder Trust

Sustainable Development, EarlyView.
ABSTRACT Stakeholder trust is central to advancing sustainable development, yet it is increasingly strained as corporate sustainability commitments expand faster than verifiable performance. This study examines how authenticity and transparency in corporate sustainability practices influence the formation and maintenance of stakeholder trust under ...
A. K. M. Mohsin, Markus Gerschberger, Md. Rashed, Sayed Farrukh Ahmed, Mohammad Fakhrul Islam, Hasanuzzaman Tushar   +5 more
wiley   +1 more source

EquiCity game: a mathematical serious game for participatory design of spatial configurations

Scientific Reports
We propose a mathematical framework for developing social-choice games that are designed to mediate decision-making processes for city planning, urban area redevelopment, and architectural configuration of urban housing complexes.
Pirouz Nourian, Shervin Azadi, Nan Bai, Bruno de Andrade, Nour Abu Zaid, Samaneh Rezvani, Ana Pereira Roders   +6 more
doaj   +1 more source

Two hearts that beat as one: Signals, narratives, and financing (less) novel ventures via equity crowdfunding

Strategic Entrepreneurship Journal, EarlyView.
Abstract Research Summary Financial resource acquisition is crucial for ventures but hindered by uncertainty. While signaling mitigates this uncertainty, its effectiveness hinges on venture novelty and the narratives used to clarify embedded information. Adopting a configurational lens, we examine the interplay among novelty, signals, and narratives in
Jiahe Wang, Lien Denoo, Joris Knoben
wiley   +1 more source

Categorical abstract algebraic logic

, 2018
Following work on abstracting the concept of an algebra to that of an algebraic system and of an ordered algebra to that of an ordered algebraic system, the notion of a flrst-order structure is abstracted to obtain structure systems. The algebraic part of a structure system is an algebraic system rather than an algebra as is the case in the ordinary ...
openaire   +3 more sources