Results 21 to 30 of about 923,302 (188)
Explaining the Unobserved: Why Quantum Theory Ain't Only About Information [PDF]
, 2006 A remarkable theorem by Clifton, Bub and Halvorson (2003) (CBH) characterizes quantum theory in terms of information--theoretic principles. According to Bub (2004, 2005) the philosophical significance of the theorem is that quantum theory should be ...
Hagar, Amit, Hemmo, Meir
core +7 more sources
Interference-induced peak splitting in EUV superfluorescence [PDF]
, 2012 We investigate the laser-induced quantum interference in EUV superfluorescence occurring in a dense gas of $\Lambda$-type helium atoms coupled by a coherent laser field in the visible region.
Agostini +21 more
core +1 more source
The RedPRL Proof Assistant (Invited Paper) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory.
Carlo Angiuli +4 more
doaj +1 more source
Hajós-Type Constructions and Neighborhood Complexes [PDF]
SIAM Journal on Discrete Mathematics, 2020 Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task.
Braun, Benjamin, Vega, Julianne
openaire +1 more source
Teaching and learning musical instruments through ICT: the impact of the COVID-19 pandemic lockdown
Heliyon, 2022 The COVID-19 lockdown in education institutions required music teachers to use ICT to continue teaching. This research study, with the use of a Likert type online questionnaire, analyses the ICT activities carried out during this period and the learning ...
Juan Ignacio Pozo +7 more
doaj +1 more source
Construction and safety aspects for the arrangement of mobile explosive deposits [PDF]
MATEC Web of Conferences, 2022 The execution of the blasting works involves the management of the problem of storage of explosive materials. This aspect is easier to solve in the case of mines activities with long exploitation time and where storage capacities are arranged, according ...
Laszlo Robert +4 more
doaj +1 more source
Algorithmic construction of Chevalley bases [PDF]
, 2012 We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type.
Magaard, Kay, Wilson, Robert
core +3 more sources
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We introduce a universe of regular datatypes with variable binding information, for which we define generic formation and elimination (i.e. induction /recursion) operators.
Ernesto Copello +2 more
doaj +1 more source
Spin-wave interference in three-dimensional rolled-up ferromagnetic microtubes [PDF]
, 2009 We have investigated spin-wave excitations in rolled-up Permalloy microtubes using microwave absorption spectroscopy. We find a series of quantized azimuthal modes which arise from the constructive interference of Damon-Eshbach type spin waves ...
Andreas Krohn +7 more
core +1 more source
Construction of Tame Types [PDF]
, 2017 We construct tame types for connected reductive p-adic groups. We also discuss their exhaustion and equivalence.
Kim, JL, Yu, JK
openaire +3 more sources