Results 81 to 90 of about 1,082,837 (347)

Structured algebraic specifications: A Kernel language

Theoretical Computer Science, 1986
A language called ASL for describing structured algebraic specifications is presented. ASL is a declarative higher-order language. It contains constructs for building (possibly infinite) signatures, sets of terms, and sets of formulas as well as constructs embodying primitive operations on algebraic specifications.
openaire   +2 more sources

Preventing and Recovering Food Waste in Manufacturing Firms: A Contingency Perspective on Circular Economy Practices

Business Strategy and the Environment, EarlyView.
ABSTRACT Food waste is a sustainability concern in the food industry, which can be mitigated through a circular economy. Circularity can be limited by contextual constraints, such as the characteristics of the waste to be recovered. However, their study in the context of food waste is scarce.
Stella Viscardi, Claudia Colicchia, Alessandro Creazza   +2 more
wiley   +1 more source

Equivariant toric geometry and Euler–Maclaurin formulae

Communications on Pure and Applied Mathematics, EarlyView.
Abstract We first investigate torus‐equivariant motivic characteristic classes of toric varieties, and then apply them via the equivariant Riemann–Roch formalism to prove very general Euler–Maclaurin‐type formulae for full‐dimensional simple lattice polytopes.
Sylvain E. Cappell, Laurenţiu Maxim, Jörg Schürmann, Julius L. Shaneson   +3 more
wiley   +1 more source

Seismic Structural Response and Loss Estimation for Dense Urban Districts Using Neural Network Parameterized Gaussian Process

Earthquake Engineering &Structural Dynamics, EarlyView.
ABSTRACT Earthquakes pose a major threat to urban areas, causing fatalities, injuries, and significant economic losses. This study proposes a Gaussian process parametrized by deep neural networks (DNN–GP) as an efficient surrogate for assessing seismic losses of building structures at a regional scale.
Byeongseong Choi, Sang‐ri Yi, Taeyong Kim   +2 more
wiley   +1 more source

On the solution of the convolution equation with a sum-difference kernel

Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2015
The paper deals with the integral equations of the second kind with a sumdifference kernel. These equations describe a series of physical processes in a medium with a reflective boundary.
Ani G Barseghyan
doaj   +1 more source

Accelerating the computation for real-time application of the sinc function using graphics processing units

Journal of Analytical Science and Technology, 2020
In magnetic resonance imaging, the fidelity of image reconstruction is an important criterion. It has been suggested that the infinite-extent sinc kernel is the ideal interpolation kernel for ensuring the reconstruction quality of non-Cartesian ...
Sangwoo Kim, Chulhyun Lee
doaj   +1 more source

Mapping Skid Trails and Evaluating Soil Disturbance From UAV‐Based LiDAR Surveys in Mediterranean Forests

Land Degradation &Development, EarlyView.
ABSTRACT Soil disturbance resulting from forest harvesting activities can have significant and lasting environmental consequences, particularly in sensitive ecosystems such as Mediterranean forests. Skid trails, the routes used by machinery to extract timber, are among the most critical areas of impact, and their detection is critical for assessing ...
Francesco Latterini, Marcin K. Dyderski, Rodolfo Picchio, Rachele Venanzi, Raffaele Spinelli, Natascia Magagnotti, Janine Schweier, Sunni Kanta Prasad Kushwaha, Nicolò Camarretta, Michael S. Watt   +9 more
wiley   +1 more source

Excellence of function fields of conics

, 2015
For every generalized quadratic form or hermitian form over a division algebra, the anisotropic kernel of the form obtained by scalar extension to the function field of a smooth projective conic is defined over the field of constants.
Merkurjev, Alexander S., Tignol, Jean-Pierre   +1 more
core   +1 more source

KERNELS OF REPRESENTATIONS AND COIDEAL SUBALGEBRAS OF HOPF ALGEBRAS [PDF]

Glasgow Mathematical Journal, 2011
AbstractWe define left and right kernels of representations of Hopf algebras. In the case of group algebras, left and right kernels coincide and they are the usual kernels of modules. In the general case, we show that these kernels coincide with the categorical left and right Hopf kernels of morphisms of Hopf algebras defined in Andruskiewitsch and ...
openaire   +2 more sources

Cerebrospinal Fluid Proenkephalin Predicts Striatal Atrophy Decades before Clinical Motor Diagnosis in Huntington's Disease

Movement Disorders, EarlyView.
Abstract Background Huntington's disease (HD) is characterized by early, selective, progressive vulnerability of striatal medium spiny neurons (MSNs). Proenkephalin (PENK), a precursor of opioid peptides abundantly expressed in MSNs, is a promising biomarker of striatal integrity, but region‐specific associations and its potential for early‐stage ...
Mena Farag, Michael J. Murphy, Nicola Z. Hobbs, Michela Leocadi, Kate Fayer, Olivia Thackeray, Johan Gobom, Marc Ciosi, Amanda Heslegrave, Henrik Zetterberg, Douglas R. Langbehn, Darren G. Monckton, Edward J. Wild, Sarah J. Tabrizi, Rachael I. Scahill   +14 more
wiley   +1 more source