Results 11 to 20 of about 655 (188)

Algebraic Specification for Input-Output in Abstract Data Types [PDF]

Mathematics and Computer Science, 2021
Abstract Data Types (ADT) are used when creating software systems, in the systems design. Usually we use algebraic specification to specify the operations in a data type. The use of data types is a methodology or style of working which yields improved design when followed.
exaly   +2 more sources

Deriving semantics from WS-BPEL specifications of parallel business processes on an example [PDF]

Компьютерные исследования и моделирование, 2015
WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms.
Vladimir Dimitrov
doaj   +1 more source

Shared abstract data types: An algebraic methodology for their specification

, 1989
In this paper a methodology for specifying data in a transaction system is proposed. We present the outline of a style of shared data definition, by which it is possible to avoid the unnecessary constraints on concurrency usually imposed by traditional transaction management approaches. The used method is based on the definition of the data as abstract
Bondavalli A, DE FRANCESCO, NICOLETTA, Latella D, VAGLINI, GIGLIOLA   +3 more
openaire   +4 more sources

An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications

Procedia Computer Science, 2012
AbstractThis paper presents an educational tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner.
Rafael del Vado Vírseda, Fernando Pérez Morente   +1 more
openaire   +1 more source

Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method

Advanced Science, EarlyView.
A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas, Daniëlle C. A. Duffhues, Pim van den Bersselaar, Sarah Pragnere, Bart G. W. Groenen, Mariana Azevedo Gonzalez Oliva, Giuseppe Ciccone, Manuel Salmeron‐Sanchez, Carlijn V. C. Bouten, Jose J. Muñoz, Vito Conte   +10 more
wiley   +1 more source

Mapping the Innovation DNA of Agribusiness Firms: A Multi‐Method Analysis of Strategic Capabilities and Performance

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, Alvaro Dias   +1 more
wiley   +1 more source

From continuous to interruptible distillation: Flexible electric heating column architecture with fast start‐up

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

Dictionary‐based weak‐form training for noise‐robust series hybrid models with multiplicative unknowns

AIChE Journal, EarlyView.
ABSTRACT Hybrid modeling combines first‐principles equations with a data‐driven subcomponent. Training for the data‐driven part is sensitive to measurement noise when training targets are constructed using pointwise time derivatives. Beyond differentiation errors, hybrid models involve solving an inverse problem to estimate the data‐driven term, which ...
Hangjun Cho, Akshay Kudva, Parth Shah, Dongheon Lee, Joseph Sang‐Il Kwon   +4 more
wiley   +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, Yongqing Zhang, Xinyu Deng, Hyeon Jeong Lee, Delong Zhang   +4 more
wiley   +1 more source

Performance improvement of discrete‐time linear‐quadratic regulators applied to uncertain linear systems using the Tikhonov regularization method

Asian Journal of Control, EarlyView.
Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley   +1 more source