Results 61 to 70 of about 28,508 (159)
Formalising Sustainability Management as a Core Process Group in Project Management
ABSTRACT Sustainability has become a strategic imperative for organisations, yet widely used project management standards such as the PMBoK sixth and seventh editions still do not formalise how sustainability should be embedded across project work. This gap matters because PMBoK‐based processes shape governance, roles, documentation and performance ...
Cinzia Dessi +3 more
wiley +1 more source
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover.
Luz-Filho, Saturnino F., Sturt, Patrick
core +1 more source
A Critical Analysis of Microsoft's Rhetoric and Reality of Sustainability Engagement
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
Grooved Surface of the Obturator Internus Muscle With Two Distinct Adjacent Parts
ABSTRACT The specific anatomical features of the obturator internus, particularly those of its medial surface, remain insufficiently characterized. This study investigated the morphology of the obturator internus muscle by focusing on the shape of its medial surface and potential age‐related changes.
Satoru Muro +4 more
wiley +1 more source
Reasoning about Knowledge in Linear Logic: Modalities and Complexity
In a recent paper, Jean-Yves Girard commented that ”it has been a long time since philosophy has stopped intereacting with logic”[17].
Marion, Mathieu, Sadrzadeh, Mehrnoosh
core +1 more source
Abstract Accurately simulating multiphase flows at low capillary numbers remains challenging due to spurious currents and interface discretization errors. We present a systematic comparison of four volume‐of‐fluid (VOF) solvers within the OpenFOAM framework for pressure‐driven Poiseuille–Bingham flow over grooved surfaces: interFoam with classical ...
Amir Joulaei +2 more
wiley +1 more source
Machine‐Learning‐Enabled Wood with Nanopump Functionalization for Solar Interfacial Evaporation
This study employed machine learning to design an iron‐cobalt‐carbon‐wood photothermal material, achieving high‐efficiency evaporation at 2.807 kg m−2 h−1 and excellent salt resistance. The integrated system increased the daily water production efficiency of solar distillation by 1.5 times, providing an innovative solution for sustainable seawater ...
Chaohai Wang +10 more
wiley +1 more source
A one‐step gas‐phase synthesis directly assembles amorphous Si nanoparticles with few‐layer graphene heterostructures via in‐flight mixing. Compositions with only 15 wt.% FLG deliver ~2800 mAh g−1 (Si + FLG) at 0.05 C and retain ~1400 mAh g−1 after 100 cycles at a high cycling rate of 1 C, enabled by a percolated, strain‐buffering graphene network that
Muhammad Ali +5 more
wiley +1 more source
The use of sequencing information in software specification for verification [PDF]
Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core +1 more source
Abstract Objective While epilepsy research has largely focused on medical management and clinical outcomes, less attention has been given to the unmet psychosocial and everyday needs of people with epilepsy (PWE), particularly in low‐ and middle‐income countries.
Gus A. Baker +52 more
wiley +1 more source

