Results 101 to 110 of about 449,654 (297)
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
Quadratic forms and linear algebraic groups [PDF]
, 2009 Topics discussed at the workshop Quadratic Forms and Linear Algebraic Groups included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic groups and homogeneous varieties ...
Harbater, David +6 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
Facilitating modular property-preserving extensions of programming languages [PDF]
, 1998 We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in
Claus Pahl, Pahl, Claus
core +2 more sources
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
Abstract and Applied Analysis, 2014 We apply the extensions of the Abian-Brown fixed point theorem for set-valued mappings on chain-complete posets to examine the existence of generalized and extended saddle points of bifunctions defined on posets.
Jinlu Li, Ying Liu, Hongya Gao
doaj +1 more source
Interactions between non-commutative algebraic geometry and skew PBW extensions [PDF]
, 2016 . We study some relations and interactions between non-commutative algebraic geometry and the skew PBW extensions. For this we will introduce a new class of noncommutative rings, the semi-graded rings, and for them we will prove a generalization of ...
Latorre Acero, Edward Orlando
core
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
An algebraic study of extension algebras [PDF]
American Journal of Mathematics, 2017 40pp, v1: separated out from arXiv:1203.5254, v2: major revision. title changed. v3: major revision. modified conditions, removed dg-algebra arguments, and Appendix B separated out. v4: minor revision.
openaire +2 more sources
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source