Finite groups of bounded rank admitting an almost regular automorphism : a lie-theoretic approach [PDF]
, 2020 Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2020.Seja G um grupo finito admitindo um automorfismo coprimo φ com exatamente m pontos fixos.
Azevedo, João Pedro Papalardo
core
Chevalley group schemes as varieties over the field of one element [PDF]
, 2015 The “field of one element" is a concept first suggested by J. Tits in 1957. It has been worked on and redefined many times over the past fifty years; in this paper we consider varieties over a quadratic extension of this field, introduced by C. Soule and
Langworthy, Andrew
core
Centrin diversity and basal body patterning across evolution: new insights from Paramecium. [PDF]
Biol Open, 2017 Aubusson-Fleury A +5 more
europepmc +1 more source
Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration [PDF]
, 2001 The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency ...
Broy, Manfred, Luqi
core
Automatic synthesis of component & connector software architectures with bounded combinatory logic [PDF]
Combinatory logic synthesis is a new type-based approach towards automatic synthesis of software from components in a repository. In this thesis we show how the type-based approach can naturally be used to exploit taxonomic conceptual structures in ...
Düdder, Boris
core +1 more source
Ordering of myosin II filaments driven by mechanical forces: experiments and theory. [PDF]
Philos Trans R Soc Lond B Biol Sci, 2018 Dasbiswas K +4 more
europepmc +1 more source
Modal Interface Theories for Specifying Component-based Systems [PDF]
, 2017 Large software systems frequently manifest as complex, concurrent, reactive systems and their correctness is often crucial for the safety of the application.
Fendrich, Sascha
core
The search for new axioms [PDF]
, 2003 Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2003.Includes bibliographical references (p. 103-106).Abstract The independence results in set theory invite the search for new and justified axioms.
Koellner, Peter, 1969-
core
MAP9/MAPH-9 supports axonemal microtubule doublets and modulates motor movement. [PDF]
Dev CellTran MV +20 more
europepmc +1 more source
Initial technical environmental, and economic evaluation of space solar power concepts. Volume 2: Detailed report [PDF]
The SPS concepts which appear to be technically feasible are discussed in terms of the economic viability and competitive costs with other energy sources.
core +1 more source