Results 41 to 50 of about 64,921 (192)

A Critical Analysis of Microsoft's Rhetoric and Reality of Sustainability Engagement

Business Strategy and the Environment, EarlyView.
ABSTRACT This study critically examines Microsoft's environmental, social and governance (ESG) rhetoric and operational reality, to offer insights that extend beyond conventional greenwashing or bluewashing. Drawing on over 20 years of Microsoft's sustainability reports (2003–2024), third‐party ESG evaluations and media investigations, it employs ...
Omaima A. G. Hassan, Iqbal Khadaroo
wiley   +1 more source

Corporate Social Responsibility and Corporate Tax Avoidance in Europe: Evidence From the Anti‐Tax Avoidance Directives

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT This study examines the relationship between corporate social responsibility (CSR) and corporate tax avoidance (CTA) in the European Union, exploiting institutional variation arising from CSR disclosure regimes and the introduction of the Anti‐Tax Avoidance Directives (ATAD).
Alessandro Migliavacca
wiley   +1 more source

Explicit fairness in testing semantics [PDF]

, 2009
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations.
Catuscia Palamidessi, Costa, Costa, De Nicola, Diletta Cacciagrano, Flavio Corradini, Scott Smolka   +6 more
core   +4 more sources

On context-free parallel communicating grammar systems: synchronization, communication, and normal forms

Theoretical Computer Science, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erzsébet Csuhaj-Varjú, György Vaszil
openaire   +1 more source

Generative Artificial Intelligence in education: Models, Frameworks and the proposal for a new vertical K‐12 Digital Curriculum

The Curriculum Journal, EarlyView.
Abstract This contribution critically analyses the main international educational frameworks for teachers' digital competence, highlighting both critical issues and potential in relation to their professional development and the need to update school curricula.
Daniela Marzano, Roberto Maniglio, Antonella Senese, Guglielmina Diolaiuti   +3 more
wiley   +1 more source

Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking [PDF]

, 2003
This paper presents a framework for a logical characterisation of fault tolerance and its formal analysis based on partial model checking techniques.
Gnesi, S., Lenzini, G., Martinelli, F.
core   +3 more sources

Co‐Producing the Transition to Eating Disorder Youth Intervention: Experience‐Based Co‐Design Workshops Supporting Young People in Transition

International Journal of Eating Disorders, Volume 59, Issue 6, Page 1330-1343, June 2026.
ABSTRACT Objective Eating disorders (EDs) are severe and complex psychiatric illnesses, with adolescence and young adulthood representing particularly vulnerable periods for onset, relapse and disruptions in treatment. The transition from Child and Adolescent Mental Health Services (CAMHS) to Adult Mental Health Services (AMHS) is especially complex ...
Maria Livanou, Marta Marlais, Charlotte Burton, Nora Kornai, Anna Bromley, Pareena Dutt, Jiarui Li, Tiffany Luxford, Francesca Marshall, Maria Georgia Dioletta, Molly Henson, Jun Teh, Emily Nuttall, Ashish Kumar, Kevin Christian, Carolyn Hatton, Zara Smalley, Grace Hill, Anya Heneghan, Kat Novogrudsky   +19 more
wiley   +1 more source

Structural operational semantics for stochastic and weighted transition systems

, 2013
We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Aceto, Barr, Bartek Klin, Bartels, Bernardo, Bloom, Brookes, Cardelli, de Nicola, de Vink, Degano, Götz, Hermanns, Hillston, Hillston, Hillston, Klin, Klin, Klin, Larsen, Mac Lane, Milner, Moller, Park, Plotkin, Plotkin, Priami, Priami, Priami, Rutten, Sangiorgi, Turi, Vladimiro Sassone   +32 more
core   +2 more sources

Associations Between Microbial Depletion and Autonomic Dysregulation in Binge‐Eating Disorder

International Journal of Eating Disorders, EarlyView.
ABSTRACT Objective The interplay between the gut microbiome and autonomic nervous system remains unexplored in binge‐eating disorder (BED). We aimed to explore specific microbial alterations in BED and examine their potential association with cardiac vagal tone as a distinct bio‐behavioral phenotype.
Shuang Liang, Esben Strodl, Leanne Barron, Matthew Bambling, Luis Vitetta   +4 more
wiley   +1 more source

Concurrent Lexicalized Dependency Parsing: A Behavioral View on ParseTalk Events

, 1994
The behavioral specification of an object-oriented grammar model is considered. The model is based on full lexicalization, head-orientation via valency constraints and dependency relations, inheritance as a means for non-redundant lexicon specification ...
Broeker, Norbert, Hahn, Udo, Schacht, Susanne   +2 more
core   +1 more source