Results 11 to 20 of about 114,388,064 (132)
Algebras for parameterised monads [PDF]
, 2009 Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and
Atkey, Robert
core +4 more sources
Dilation theory for rank two graph algebras. [PDF]
, 2010 An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint algebras $\A_\theta$ and $\A_u$ which are associated with the commutation relation permutation $\theta$ of a 2-graph and, more ...
Yang, Dilian +2 more
core +4 more sources
Reduction in a linear lambda-calculus with applications to operational semantics [PDF]
, 2005 We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core +1 more source
Linear maps on real C* - algebras and related structures [PDF]
, 2010 PhDIn this thesis we obtain new results on the structures of real C*-algebras and nonsurjective isometries between them. Some of the results have been published in [1].
Apazoglou, Maria
core +4 more sources
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Advanced Science, EarlyView.The protein aggregates and gene expression in the middle temporal gyrus (MTG) and somatosensory cortex (SOM) of the postmortem brains of 13 Alzheimer's disease patients were studied in detail, revealing that small hyperphosphorylated tau aggregates increase with Braak stage driven by microglial inflammation.
Elizabeth A. English +9 more
wiley +1 more source
Map Calculus in GIS: a proposal and demonstration [PDF]
, 2004 This paper provides a new representation for fields (continuous surfaces) in Geographical Information Systems (GIS), based on the notion of spatial functions and their combinations.
Haklay, M
core
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
Theory of Supercritical Coupling and Generalized Bound States in the Continuum
Laser &Photonics Reviews, EarlyView.We develop a general theory of supercritical coupling and generalized bound states in the continuum (gBICs), revealing how interference between radiative and absorptive channels enables quality factors beyond conventional material‐loss limits. The framework unifies non‐Hermitian mode coupling, causality‐driven reactive interactions, and interference ...
Sergio Balestrieri +3 more
wiley +1 more source
COWS: A Timed Service-Oriented Calculus [PDF]
, 2007 COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g.
R. Pugliese +8 more
core +1 more source