Results 201 to 210 of about 4,882 (287)
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus [PDF]
Thomas Hildebrandt+2 more
openalex +1 more source
Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models. [PDF]
Chu C, Yang W, Chen Y.
europepmc +1 more source
Reasoning in Abella about Structural Operational Semantics Specifications
Andrew Gacek+2 more
openalex +2 more sources
Disclosure Dynamism: TCFD Aligned Climate Claims of UK Corporates
ABSTRACT This research examines how climate claims by companies from the United Kingdom have changed over the years, especially when they became certain about the mandate of the Taskforce on Climate‐related Financial Disclosure (TCFD). We use text data from FTSE 100 companies for eight consecutive years, starting from 2016, and apply the robust ...
Daniel González Cortés+3 more
wiley +1 more source
Research on Automated Modeling Technology of Sluice Gate Project Based on BIM Technology. [PDF]
Madiniyeti J+4 more
europepmc +1 more source
Structural Operational Semantics with First-Order Logic
Muck van Weerdenburg, Michel Reniers
openalex +1 more source
ABSTRACT Modern society grapples with socio‐environmental challenges such as pandemics, climate change, resource depletion, and poverty alleviation. Recent research underscores the crucial role of intermediaries in expediting the shift towards sustainability management. This study examines how intermediaries influence sociotechnical transitions towards
Rodrigo Cortopassi Goron Lobo+3 more
wiley +1 more source
Service recommendation method based on text view and interaction view. [PDF]
Yu T, Wang Y, Cheng F, Liang T, Liu H.
europepmc +1 more source
Do Not Stop the Loop: Driving Circular Textiles With Technology and Stakeholder Engagement
ABSTRACT We investigate critical factors enabling the successful implementation of circular ecosystems in the textile industry, with a focus on the interplay between technology and stakeholder engagement. A qualitative approach, involving 35 interviews with managers across 11 Italian SMEs in both B2B and B2C textile segments, was employed.
Chiara Civera+2 more
wiley +1 more source