Results 41 to 50 of about 12,979 (182)
Advanced Intelligent Systems, EarlyView.This review explores the transformative impact of artificial intelligence on multiscale modeling in materials research. It highlights advancements such as machine learning force fields and graph neural networks, which enhance predictive capabilities while reducing computational costs in various applications.
Artem Maevskiy +2 more
wiley +1 more source
Optimizing 3D Bin Packing of Heterogeneous Objects Using Continuous Transformations in SE(3)
Advanced Intelligent Systems, EarlyView.This article presents a method for solving the three‐dimensional bin packing problem for heterogeneous objects using continuous rigid‐body transformations in SE(3). A heuristic optimization framework combines signed‐distance functions, neural network approximations, point‐cloud bin modeling, and physics simulation to ensure feasibility and stability ...
Michele Angelini, Marco Carricato
wiley +1 more source
MTCA‐Net: Multi‐Task Cascade Analysis Network for Real‐Time Sperm Quality Analysis
Advanced Intelligent Systems, EarlyView.This article proposes MTCA‐Net, a multi‐task cascaded analysis network for real‐time sperm quality assessment in intracytoplasmic sperm injection. The framework integrates detection, tracking, and segmentation modules to jointly analyze sperm morphology and motility.
Jiajin Li +10 more
wiley +1 more source
On the Hybrid Extension of CTL and CTL+
, 2009 The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL+ by variables.
B. Cate ten +19 more
core +2 more sources
A Hybrid Semi‐Inverse Variational and Machine Learning Approach for the Schrödinger Equation
Advanced Physics Research, EarlyView.A hybrid semi‐inverse variational and machine‐learning framework is presented for solving the Schrödinger equation with complex quantum potentials. Physics‐based variational solutions generate high‐quality training data, enabling Random Forest and Neural Network models to deliver near‐perfect energy predictions.
Khalid Reggab +5 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study examines the role of corporate zero‐deforestation commitments (ZDCs) and Industry 4.0 (I4.0) enabling technologies in mitigating deforestation. Drawing on data from 110 companies included in the Forest 500 dataset, the research explores whether sustainability commitments and digital innovation influence firms' deforestation ...
Valentina Beretta +2 more
wiley +1 more source
Towards Practical Typechecking for Macro Tree Transducers [PDF]
, 2007 Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step toward an implementation of mtt typechecker that has a practical efficiency ...
Frisch, Alain, Hosoya, Haruo
core +4 more sources
Environmental Toxicology and Chemistry, EarlyView.Abstract There is increasing concern regarding pollutants disrupting the vertebrate thyroid hormone (TH) system, which is crucial for development. Thus, identification of TH system–disrupting chemicals (THSDCs) is an important requirement in the Organisation for Economic Co‐operation and Development (OECD) testing framework.
Lisa Gölz +9 more
wiley +1 more source
Fast and Tiny Structural Self-Indexes for XML
, 2010 XML document markup is highly repetitive and therefore well compressible using dictionary-based methods such as DAGs or grammars. In the context of selectivity estimation, grammar-compressed trees were used before as synopsis for structural XPath queries.
Maneth, Sebastian, Sebastian, Tom
core +1 more source
The earlier the better: a theory of timed actor interfaces [PDF]
, 2010 Programming embedded and cyber-physical systems requires attention not only to functional behavior and correctness, but also to non-functional aspects and specifically timing and performance constraints.
Geilen, Marc +2 more
core +4 more sources