Results 31 to 40 of about 25,305 (197)

Public Sustainability: Thematic Mapping, Theoretical Approaches and Emerging Lines of Action

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT The paucity of research analysing thematic persistence in public sustainability limits our understanding of how this field of research evolves and reconfigures itself. The present paper addresses this gap through a longitudinal bibliometric analysis of 692 publications processed with SciMAT. The methodology combines co‐word analysis, strategic
Laila Ribii Khalifi, Luisa‐Eugenia Reyes, Marisol Carvajal Camperos   +2 more
wiley   +1 more source

Digital Transformation in Work Integration Social Enterprises: Leadership Strategies and the Role of Internal Stakeholders

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT Digital transformation is increasingly reshaping how social enterprises organize work, engage stakeholders, and pursue social value. While prior research has examined digitalization in hybrid organizations, limited attention has been paid to how responsibility for inclusive digital transformation is enacted internally.
Riccardo Maiolini, Federica D’Alessandro, Paolo Landoni   +2 more
wiley   +1 more source

Combining decision procedures for the reals

, 2006
We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions.
Avigad, Jeremy, Friedman, Harvey
core   +3 more sources

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

An Axiomatic Approach to Liveness for Differential Equations

, 2019
This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques ...
A Abate, A Platzer, A Platzer, A Platzer, A Platzer, A Platzer, A Podelski, A Sogokon, A Taly, C Chicone, E Goubault, G Frehse, J Bochnak, J Liu, K Ghorbal, L Doyen, R Alur, S Prajna, S Prajna, S Ratschan, SS Owicki, W Walter, X Chen, Z Manna   +23 more
core   +1 more source

Real‐time lithology identification while drilling based on drill cuttings image analysis with ensemble learning

Deep Underground Science and Engineering, EarlyView.
A lithology identification while drilling method was developed, integrating an automated cuttings sampling system, a smart drilling rig, and an ensemble learning model. Underground trials achieved 97.42% accuracy in real‐time identification of cuttings lithology and composition, enhancing hazard management and supporting unmanned drilling technology in
Kun Li, Ting Ren, Ningping Yao, Jon Roberts, Haitao Song, Zhongbei Li, Xueqiu He, Liang Zhao   +7 more
wiley   +1 more source

Governing Positive Energy Districts: The Role of Legitimation and Identity Across Residential and Industrial Contexts

Environmental Policy and Governance, EarlyView.
ABSTRACT Increasing electricity demand from data centres, industrial applications, electric vehicles and domestic heating is creating pressure to develop electricity systems in many parts of the world, but especially in Western countries. In response to challenges such as grid congestion, interconnection queues and climate‐related hazards, network ...
Jussi Valta, Tuomas Vanhanen, Tuomo Joensuu, Saku Mäkinen   +3 more
wiley   +1 more source

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities

LLM-based formal proof assistants (e.g., in Lean) hold great promise for automating mathematical discovery. But beyond syntactic correctness, do these systems truly understand mathematical structure as humans do? We investigate this question in context of mathematical inequalities -- specifically the prover's ability to recognize that the given problem
Zhao, Haoyu, Geng, Yihan, Tang, Shange, Lin, Yong, Lyu, Bohan, Lin, Hongzhou, Jin, Chi, Arora, Sanjeev   +7 more
openaire   +2 more sources

Ambient technology in epilepsy clinical practice

Epilepsia Open, EarlyView.
Abstract The utilization of large language model‐based artificial intelligence (AI) in the field of neurology has gained attention as a viable tool to enhance and assist providers with processes ranging from scheduling patients to providing preliminary interpretations of testing results, pending orders, and documenting encounters. Epileptologists could
Haania Kakwan, Justin F. Rousseau, Lidia M. Moura, Irfan S. Sheikh   +3 more
wiley   +1 more source

The future of epilepsy care in the United Kingdom: A roadmap for technology‐enabled transformation

Epilepsia Open, EarlyView.
Abstract Epilepsy is recognized to be a significant cause of premature mortality, socio‐economic distress and poor quality of life in economically developed countries. Despite clear clinical guidelines, epilepsy care is marked by delayed diagnosis, fragmented management, high emergency admission rates, and pronounced health inequalities affecting rural
John R. Terry, Rohit Shankar
wiley   +1 more source