Results 121 to 130 of about 2,934 (199)
Decision procedures for families of deterministic pushdown automata [PDF]
The existence and complexity of decision procedures for families of deterministic pushdown automata are investigated, with special emphasis on positive decidability results for those questions, such as equivalence, which are known to become ...
Valiant, Leslie
core
Economic Impact of Sustainability in Wine Sector: A Systematic Literature Review
Agribusiness, EarlyView.ABSTRACT Sustainability has become a key issue in the wine sector, raising questions about its compatibility with firms' economic performance. Despite growing attention to environmental and social practices, evidence on their economic implications remains fragmented.
Valentina Di Chiara +2 more
wiley +1 more source
Annals of Gastroenterological Surgery, EarlyView.CD86‐positive mature tertiary lymphoid structures were associated with increased intratumoral CD8+ T‐cell infiltration, a higher proportion of Granzyme B‐expressing CD8+ T cells in an exploratory analysis, and favorable clinical outcomes in pancreatic ductal adenocarcinoma.
Takaomi Seki +10 more
wiley +1 more source
AIChE Journal, EarlyView.ABSTRACT Conceptual process design combines discrete configuration choices with continuous operating decisions, often yielding difficult mixed‐integer nonlinear or simulation‐based optimization problems. This work presents an exploratory computational assessment of Ising‐based solvers, simulated annealing, quantum annealing, and entropy computing, as ...
Yirang Park, David E. Bernal Neira
wiley +1 more source
Multi-Dimensional Languages and Their Automata
, 2016 The Bachelor's Thesis introduces the theory of formal languages and finite automata. It describes generalisation of one-dimensional theory into two dimensions.
Dibďák, Lukáš
core +1 more source
AIChE Journal, EarlyView.Abstract Cyber‐physical process systems integrate process dynamics, control, sensing, actuation, and communication, making them vulnerable to attacks that falsify data, alter control actions, or disrupt networks and drive operations toward unsafe states.
Luyang Liu +5 more
wiley +1 more source
Automata Theory and Formal Languages
, 2013 In this book we present some basic notions and results on Automata Theory, For- mal Language Theory, Computability Theory, and Parsing Theory. In particular, we consider the class of regular languages which are related to the class of finite automata ...
Alberto Pettorossi
core
MolMiner: Toward Controllable, Three‐Dimensional‐Aware, Fragment‐Based Molecular Design
Advanced Intelligent Discovery, EarlyView.MolMiner is a fragment‐based, geometry‐aware, and order‐agnostic generative model for molecular design with strong inductive biases. Using symmetry‐aware fragment assembly, dynamic three‐dimensional geometry, and multi‐property conditioning, MolMiner enables interpretable and controllable molecular generation.
Raul Ortega‐Ochoa +2 more
wiley +1 more source
Artificial Intelligence for Advanced Functional Materials: Progress and Emerging Frontiers
Advanced Intelligent Systems, EarlyView.Artificial intelligence is transforming the discovery of functional materials by linking synthesis, characterization, simulation, and design in unified workflows. Advances in machine learning, autonomous experimentation, and foundation models are accelerating innovation across energy, electronics, and biomedicine, while revealing new frontiers for ...
Cristiano Malica +38 more
wiley +1 more source
Behaviorally Adaptive and Inclusive Advanced Driver‐Assistance Systems
Advanced Intelligent Systems, EarlyView.Advanced driver‐assistance systems (ADASs) are mapped as evolving human‐centered, adaptive technologies linking sensing, driver monitoring, AR/HUD interfaces, patents, regulation, and inclusive design. The review identifies gaps in real‐world evidence, diverse‐driver validation, gaze metrics, and governance, outlining a roadmap for safer, behaviorally ...
Jana Skirnewskaja +2 more
wiley +1 more source