Results 51 to 60 of about 86,663 (296)
A perspective on specifying and verifying concurrent modules [PDF]
, 2018 The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems.
Da Rocha Pinto, P +2 more
core +1 more source
Agribusiness, EarlyView.ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa +1 more
wiley +1 more source
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance.
Andreas Schroeder +2 more
doaj +1 more source
AI in chemical engineering: From promise to practice
AIChE Journal, EarlyView.Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew +4 more
wiley +1 more source
Logical Methods in Computer Science, 2017 This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching.
Grigore Rosu
doaj +1 more source
AIChE Journal, EarlyView.Abstract Electrification of distillation offers a promising route to reducing scope‐1 emissions from one of the chemical industry's most energy‐intensive unit operations. However, conventional adiabatic columns are dynamically inflexible: Long, energy‐intensive start‐ups make shutdown and restart impractical under variable electricity prices and ...
Samuel Mercer, Michael Baldea
wiley +1 more source
Finitary non-compositional proof systems for ASL in first-order [PDF]
, 2003 In this paper we present finitary proof systems for the deduction of sentences from algebraic specifications inductively defined by specification expresssions in first-order and higher-order logic.
Mylonakis Pascual, Nicolás
core +1 more source
Overcoming the Nyquist Limit in Molecular Hyperspectral Imaging by Reinforcement Learning
Advanced Intelligent Discovery, EarlyView.Explorative spectral acquisition guide automatically selects informative spectral bands to optimize downstream tasks, outperforming full‐spectrum acquisition. The selected hyperspectral data are used for tasks such as unmixing and segmentation. BandOptiNet encodes selection states and outputs optimal bands to guide spectral acquisition. Recent advances
Xiaobin Tang +4 more
wiley +1 more source
Orbit Tracing Properties on Hyperspaces and Fuzzy Dynamical Systems
Axioms, 2022 Let X be a compact metric space and a continuous map f:X→X which defines a discrete dynamical system (X,f). The map f induces two natural maps, namely f¯:K(X)→K(X) on the hyperspace K(X) of non-empty compact subspaces of X and the Zadeh’s extension f^:F ...
Salud Bartoll +3 more
doaj +1 more source
The Relative Power of Composite Loop Agreement Tasks [PDF]
, 2015 Loop agreement is a family of wait-free tasks that includes set agreement and simplex agreement, and was used to prove the undecidability of wait-free solvability of distributed tasks by read/write memory.
Herlihy, Maurice, Saraph, Vikram
core +2 more sources