Results 31 to 40 of about 918,890 (256)
A Linear Category of Polynomial Diagrams [PDF]
, 2012 We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally cartesian closed ...
Hyvernat, Pierre
core +4 more sources
One-Class Drift Compensation for an Electronic Nose
Chemosensors, 2021 Drift compensation is an important issue in an electronic nose (E-nose) that hinders the development of E-nose’s model robustness and recognition stability.
Xiuxiu Zhu +4 more
doaj +1 more source
Applied Sciences, 2023 Visitors have a significant impact on the indoor climate of buildings housing works of art, and the relationship between the number of visitors, the indoor air quality and the protection of exposed works of art is an important factor in the overall study
Luis G. Baltazar +2 more
doaj +1 more source
⊗-Pure model structure on the category of N -complexes
Extracta MathematicaeLet G be a closed symmetric monoidal concrete Grothendieck category. In this paper, we introduce a model structure on (CN (G), P⊗dw ) the exact category of N -complexes with the degree-wise ⊗-pure exact structure.
P. Bahiraei, J. Nazaripour
doaj +1 more source
A Graph Theoretic Perspective on CPM(Rel) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also exploited the idea of mixed states to describe ambiguity and hyponym / hypernym relationships.
Daniel Marsden
doaj +1 more source
Tadris: Jurnal Keguruan dan Ilmu Tarbiyah, 2023 The research aims to develop a four-tier test for optical instrument materials. The method used in this study is a 4D design that includes defining, designing, developing, and disseminating. The instrument used consisted of fifteen items in the form of a
Itsna Rona Wahyu Astuti +4 more
doaj +1 more source
Semantics of higher inductive types
, 2019 Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style.
Lumsdaine, Peter LeFanu, Shulman, Mike
core +1 more source
Does it pay to pay? A comparison of the benefits of open-access publishing across various sub-fields in biology [PDF]
PeerJAuthors are often faced with the decision of whether to maximize traditional impact metrics or minimize costs when choosing where to publish the results of their research.
Amanda D. Clark +14 more
doaj +2 more sources
The social dynamics of basins of attraction
Ecology and Society, 2021 In this paper we conceptualize transformations as societal shifts from one basin of attraction to another. Such shifts occur when a society's information processing system is no longer fit to deal with the dynamics with which the society is involved.
Sander van der Leeuw, Carl Folke
doaj +1 more source
Closed model categories for uniquely S-divisible spaces
Journal of Pure and Applied Algebra, 2003 For each integer n > 1 and a multiplicative system S of non-zero integers, we give a distinct closed model category structure to the category of pointed spaces Top and we prove that the corresponding localized category Ho(Top(S,n)), obtained by inverting the weak equivalences, is equivalent to the standard homotopy category of uniquely (S,n)-divisible,
openaire +4 more sources