Integration of Symbolic Execution into a Formal Abstract State Machines based Language
Vladimir‐Alexandru Paun +2 more
openalex +1 more source
Continual decision‐making dynamics across biological organisms
ABSTRACT Decision‐making is a central function of adaptive behaviour in biological agents. However, strategies for adaptive decision‐making can vary substantially across species. Here, we aim to extend the comparative scope of decision‐making analyses to phylogenetically diverse organisms.
Liberty Severs, Qiuran Wang
wiley +1 more source
Proprioceptive Resonance and Multimodal Semiotics: Readiness to Act, Embodied Cognition, and the Dynamics of Meaning. [PDF]
Sanna M.
europepmc +1 more source
Sustainability Reporting and External Assurance: Evidence From UK Listed Firms
ABSTRACT This paper develops and tests a model explaining why some companies obtain external assurance for their sustainability reports while others do not. Our model integrates rational choice and stakeholder theories, providing novel insights into the sustainability assurance literature.
Ibrahim A. Alkhataybeh +3 more
wiley +1 more source
Hybrid intelligence systems for reliable automation: advancing knowledge work and autonomous operations with scalable AI architectures. [PDF]
Grosvenor A +5 more
europepmc +1 more source
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study
Koki Hamaya, Satoshi Yamane
openalex +2 more sources
ABSTRACT There is an ongoing, albeit uncertain, debate among stakeholders regarding the benefits of environmental, social, and governance (ESG) reporting, reflected in mixed empirical findings on its impact on firm performance. In addition to this reporting, diversity (gender and cultural) on boards, which is strongly promoted at the EU level, has ...
Baoying Zhu +4 more
wiley +1 more source
Toward a framework of ambiguity: a qualitative understanding of healthcare policy design and governance mechanism in China. [PDF]
Qi Y, Hu A, Huang P.
europepmc +1 more source
Strategies for Scalable Symbolic Execution-based Test Generation
Saparya Krishnamoorthy
openalex +1 more source
Circular Economy: A Pathway to Integrated Value Creation for Business and Society
ABSTRACT Amid growing environmental pressures and the pressing demand to advance sustainable development, the circular economy (CE) has positioned itself as a transformative business approach capable of safeguarding favourable ecosystem conditions through the application of key R‐strategies.
Saudi‐Yulieth Enciso‐Alfaro +1 more
wiley +1 more source

