Results 61 to 70 of about 47,397 (182)
A note on infinite partitions of free products of Boolean algebras [PDF]
Mario Jardón Santos
openalex +1 more source
STEP1:Analyze the differential characteristics of four IGBT open‐circuit faults in the H‐bridge module. STEP2:Analyze the impact of different IGBT faults on PWM voltage within a switching cycle. STEP3:Establish a hierarchical and collaborative fault‐tolerant control system: The zero‐mode control strategy dynamically switches modes according to the ...
Lei Dong +6 more
wiley +1 more source
Internal and External Sources of Nonprofit Innovativeness: A Configurational Approach
ABSTRACT Using a configurational approach, this research explores how the complex interrelationships among four organizational factors—board size, board involvement, centralization, and government funding—influence organizational innovation. Based on survey and archival data from 44 U.S.
Jiawei Sophia Fu +2 more
wiley +1 more source
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne
ABSTRACT Many of the classical questions reflecting the actionable use of formal methods in the software industry—“do they scale?” or “are they easily integrated?”—remain without a definitive answer, with many potentially adoptable formal notations being exploited in industry, but in a rather stove‐piped and siloed fashion, and with rather few ...
Michele Chiari +4 more
wiley +1 more source
A categorical interpretation of continuous orbit equivalence for partial dynamical systems
Abstract We define the orbit morphism of partial dynamical systems and prove that an orbit morphism being an isomorphism in the category of partial dynamical systems and orbit morphisms is equivalent to the existence of a continuous orbit equivalence between the given partial dynamical systems that preserves the essential stabilisers. We show that this
Gilles G. de Castro, Eun Ji Kang
wiley +1 more source
Free Boolean algebras and nowhere dense ultrafilters
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Hom ω$\omega$‐categories of a computad are free
Abstract We provide a new description of the hom functor on weak ω$\omega$‐categories, and show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a computad, in contrast to the hom functor for strict ω$\omega$‐categories.
Thibaut Benjamin, Ioannis Markakis
wiley +1 more source
The six operations in topology
Abstract In this paper, we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed, for example,‐ in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any closed symmetric monoidal ∞$\infty$‐category which is stable and bicomplete. Notice that, since we do
Marco Volpe
wiley +1 more source
Constructing free Boolean categories
F. Lamarche, Lutz Straßburger
semanticscholar +1 more source
Dimension-free bounds and structural results in communication complexity
Lianna Hambardzumyan +2 more
semanticscholar +1 more source

