Results 71 to 80 of about 3,277 (246)
Enhancing Formal Methods Integration with ACP2Petri
Journal of Information and Organizational Sciences, 2016 The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension ...
Slavomír Šimoňák, Martin Šolc
doaj
Unit group of the ring of negacirculant matrices over finite commutative chain rings
Special MatricesCirculant matrices form an important class of matrices that have been continuously studied due to their nice algebraic structures and wide applications. In this study, we focus specifically on negacirculant matrices, which are known as extensions of the ...
Naksing Prarinya, Jitman Somphong
doaj +1 more source
Advances in Mathematical Physics, 2015 We review some aspects of the theory of Lie algebras of (twisted and untwisted) formal pseudodifferential operators in one and several variables in a general algebraic context.
Jarnishs Beltran, Enrique G. Reyes
doaj +1 more source
Extensions by Simple C*-Algebras: Quasidiagonal Extensions [PDF]
Canadian Journal of Mathematics, 2005 AbstractLet A be an amenable separable C*-algebra and B be a non-unital but σ-unital simple C*- algebra with continuous scale. We show that two essential extensions τ1 and τ2 of A by B are approximately unitarily equivalent if and only ifIf A is assumed to satisfy the Universal Coefficient Theorem, there is a bijection fromapproximate unitary ...
openaire +3 more sources
Trust‐region filter algorithms utilizing Hessian information for gray‐box optimization
AIChE Journal, EarlyView.Abstract Optimizing industrial processes often involves gray‐box models that couple algebraic glass‐box equations with black‐box components lacking analytic derivatives. Such systems challenge derivative‐based solvers. The classical trust‐region filter (TRF) algorithm provides a robust framework but requires extensive parameter tuning and numerous ...
Gul Hameed +4 more
wiley +1 more source
A trust‐region funnel algorithm for gray‐box optimization
AIChE Journal, EarlyView.Abstract Gray‐box optimization, where parts of optimization problems are represented by algebraic models while others are treated as black‐box models lacking analytic derivatives, remains a challenge. Trust‐region (TR) methods provide a robust framework for gray‐box problems through local reduced models (RMs) for black‐box components, but they are ...
Gul Hameed +4 more
wiley +1 more source
AIChE Journal, EarlyView.Abstract This article demonstrates the integration of in‐line mass spectrometry as a process analytical technology (PAT) tool with model‐based soft sensors in a continuous filtration‐drying carousel system for solid–liquid separation (SLS) of crystal slurries.
Inyoung Hur +3 more
wiley +1 more source
AlgorithmsMathematical tools have been developed that are analogous to the tool that allows one to reduce the description of linear systems in terms of convolution operations to a description in terms of amplitude-frequency characteristics.
Aruzhan Kadyrzhan +3 more
doaj +1 more source
Inductive graded rings, hyperfields and quadratic forms [PDF]
Categories and General Algebraic Structures with ApplicationsIn [6] we developed a k-theory for the category of hyperbolic hyperfields (a category that contains a copy of the category of (pre)special groups): this construction extends, simultaneously, Milnor's k-theory ([20]) and Dickmann-Miraglia's k-theory ([13])
Kaique Roberto, Hugo Mariano
doaj +1 more source
AIChE Journal, EarlyView.Abstract Bayesian estimation enables uncertainty quantification, but analytical implementation is often intractable. As an approximate approach, the Markov Chain Monte Carlo (MCMC) method is widely used, though it entails a high computational cost due to frequent evaluations of the likelihood function.
Tatsuki Maruchi +2 more
wiley +1 more source