Results 81 to 90 of about 29,436 (282)
Proceedings of the American Mathematical Society, 1958 Introduction. The elementary structure theory for finite Boolean algebras is, for our purposes, summarized in the following theorem, (see [1, p. 163], or [2, p. 344]). (*) If B is a finite Boolean algebra, then it is completely characterized by the number of its elements, a number which must be of the form 2n, where n is the number of atoms of B.
openaire +1 more source
Joint Estimation and Bandwidth Selection in Partially Parametric Models
Journal of Applied Econometrics, EarlyView.ABSTRACT We propose a single‐step approach to estimating a model with both a known nonlinear parametric component and an unknown nonparametric component. We study the large sample behavior of a simultaneous optimization routine that estimates both the parameter vector of the parametric component and the bandwidth vector used to smooth the unknown ...
Daniel J. Henderson +2 more
wiley +1 more source
The doubles of a braided Hopf algebra
, 2012 Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is isomorphic to the ...
Bruguières, Alain, Virelizier, Alexis
core +3 more sources
Electronic Notes in Theoretical Computer Science, 2013 AbstractThe monads used to model effectful computations traditionally concentrate on the ‘destination’—the final results of the program. However, sometimes we are also interested in the ‘journey’—the intermediate course of a computation—especially when reasoning about non-terminating interactive systems.
Piróg, M, Gibbons, J
openaire +2 more sources
Journal of Applied Toxicology, EarlyView.ABSTRACT Unsymmetrical dimethylhydrazine (UDMH), a highly toxic rocket propellant with known multiorgan effects, requires urgent characterization of its chronic low‐dose toxicity. Using an integrated approach including exploratory transcriptomics (n = 3/group) and metabolomic (n = 4/group) approaches in male Sprague–Dawley rats exposed to high‐dose ...
Fuzhou Liu +6 more
wiley +1 more source
Towards a Uniform Theory of Effectful State Machines
, 2020 Using recent developments in coalgebraic and monad-based semantics, we present a uniform study of various notions of machines, e.g. finite state machines, multi-stack machines, Turing machines, valence automata, and weighted automata.
Goncharov, Sergey +2 more
core +2 more sources
JCPP Advances, EarlyView.This study examined how emotional symptoms co‐develop from childhood to adolescence using longitudinal data from over 11,000 children and adolescents. Network analyses revealed reciprocal links between core symptoms of anxiety and depression, with no significant differences between males and females.
Eira R. Aksnes +11 more
wiley +1 more source
Distributive laws for Lawvere theories
, 2020 Distributive laws give a way of combining two algebraic structures expressed as monads; in this paper we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories.
Cheng, Eugenia
core +1 more source
Dijkstra and Hoare monads in monadic computation [PDF]
Theoretical Computer Science, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jacobs, B., Jacobs, B.
openaire +4 more sources
Bottom–up and top–down drivers influence urbanization effects on insect herbivory in oaks
Oikos, EarlyView.Urban forests provide essential ecosystem services, including pest control, biodiversity conservation, and human health benefits. Herbivory is a widespread biotic interaction that shapes ecosystem functions, such as primary productivity and soil fertility, which underpin these services.
Gabriela Quiroga +18 more
wiley +1 more source