Results 281 to 290 of about 970,866 (376)

Efficient Symbolic Execution of Concurrent Software

, 2019
Shengjian Guo
openalex   +1 more source

Profile-Guided Constraint Simplification for Symbolic Execution

Roxana Shajarian, Md Rashedul Hasan, Lisong Xu, Hamid Bagheri   +3 more
openalex   +1 more source

Dual Role Executives and Corporate Membership of Emission Trading Schemes: The Role of Board Structure

Business Strategy and the Environment, EarlyView.
ABSTRACT This study examines the impact of CEO duality on the likelihood of corporate participation in an emissions trading scheme. The results indicate that firms led by dual‐role executives are less likely to participate in emissions trading schemes.
Ibrahim Ayoade Adekunle, Gbenga Adamolekun, Edward Jones, Segun Thompson Bolarinwa   +3 more
wiley   +1 more source

Reconstructing hand gestures with synergies extracted from dance movements. [PDF]

Sci Rep
Olikkal P, Dollo C, Ajendla A, Clemmensen AS, Vinjamuri R.   +4 more
europepmc   +1 more source

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling [PDF]

Lianjing Wang, Yufeng Zhang, Kenli Li, Zhenbang Chen, Xu Zhou, Pengfei Wang, Guangning Song, Ji Wang   +7 more
openalex  

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)

, 2015
Christian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen   +3 more
openalex   +2 more sources

Can Hybrid Organisations Solve the Paradox of the Triple Bottom Line, and Does It Need Solving?

Business Strategy and the Environment, EarlyView.
ABSTRACT This study investigates how B Corp certification enables hybrid organisations to integrate competing institutional logics of market and social purpose. Through a two‐stage qualitative design combining cross‐sector interviews with B Corps and an in‐depth case study, with a total of 30 participants, we analyse how certification supports hybrid ...
Ruth Cherrington, Amanda Ayliffe, Danielle Farrow, Constantine Manolchev   +3 more
wiley   +1 more source

Editorial: Robotics software engineering. [PDF]

Front Robot AI
Ciccozzi F, Malavolta I, Timperley C, Angerer A, Hoffmann A.   +4 more
europepmc   +1 more source

Unpacking the Role of Digital Dynamic Capabilities in ESG Performance: A Social Exchange Perspective on Organizational Trust and Identification

Business Strategy and the Environment, EarlyView.
ABSTRACT This study examines the role of digital dynamic capabilities (DDCs) in enhancing ESG performance, integrating insights from social exchange theory (SET). By conceptualizing organizational trust and organizational identification as key antecedents of DDCs, we propose that firms fostering trust‐based and identification‐driven environments are ...
Shufeng Xiao, Taewoo Roh, Byung Il Park, Omar AL‐Tabbaa, Kyowon Seo   +4 more
wiley   +1 more source

Editorial: Cognitive strategies in motor learning and rehabilitation. [PDF]

Front Neurol
Eaves DL, Costantino C, Demeco A, Buccino G.   +3 more
europepmc   +1 more source