Results 31 to 40 of about 289,578 (239)
The Rooster and the Butterflies [PDF]
, 2013 This paper describes a machine-checked proof of the Jordan- Hölder theorem for finite groups. This purpose of this description is to discuss the representation of the elementary concepts of finite group theory inside type theory. The design choices underlying these representations were crucial to the successful formalization of a complete proof of the ...
openaire +3 more sources
Acoustic characterization of Hofstadter butterfly with resonant scatterers
, 2002 We are interested in the experimental characterization of the Hofstadter butterfly by means of acoustical waves. The transmission of an acoustic pulse through an array of 60 variable and resonant scatterers periodically distribued along a waveguide is ...
Dubos V. +10 more
core +2 more sources
Not only the butterflies: managing ants on road verges to benefit Phengaris (Maculinea) butterflies [PDF]
, 2010 Obligate myrmecophilic butterfly species, such as Phengaris (Maculinea) teleius and P. nausithous, have narrow habitat requirements. Living as a caterpillar in the nests of the ant species Myrmica scabrinodis and M.
Gestel, R., van +3 more
core +2 more sources
Wellcome Open ResearchWe present a genome assembly from an individual male specimen of Plusia festucae (Gold Spot; Arthropoda; Insecta; Lepidoptera; Noctuidae). The genome sequence has a total length of 422.50 megabases.
David Hill, Tom Prescott, Stuart Bence
doaj +1 more source
Supersaturation and stability for forbidden subposet problems [PDF]
, 2015 We address a supersaturation problem in the context of forbidden subposets. A family $\mathcal{F}$ of sets is said to contain the poset $P$ if there is an injection $i:P \rightarrow \mathcal{F}$ such that $p \le_P q$ implies $i(p) \subset i (q)$.
Patkos, Balazs
core +5 more sources
Butterfly Velocities for Holographic Theories of General Spacetimes
, 2017 The butterfly velocity characterizes the spread of correlations in a quantum system. Recent work has provided a method of calculating the butterfly velocity of a class of boundary operators using holographic duality.
Nomura, Yasunori, Salzetta, Nico
core +2 more sources
Phase Diagram for the Hofstadter butterfly and integer quantum Hall effect in three dimensions
, 2001 We give a perspective on the Hofstadter butterfly (fractal energy spectrum in magnetic fields), which we have shown to arise specifically in three-dimensional(3D) systems in our previous work.
A. Widom +18 more
core +1 more source
Comparative assessment of butterfly species in Durgapur city: a case study [PDF]
The Holistic Approach to EnvironmentButterflies, as charismatic and colourful insects, play a vital role in ecosystem health and serve as bio-indicators. In the context of Durgapur, West Bengal, India, a study was conducted to investigate the monthly diversity of butterflies in three ...
Sanchari Sarkar +2 more
doaj +1 more source
On Butterfly effect in Higher Derivative Gravities
, 2016 We study butterfly effect in $D$-dimensional gravitational theories containing terms quadratic in Ricci scalar and Ricci tensor. One observes that due to higher order derivatives in the corresponding equations of motion there are two butterfly velocities.
Alishahiha, Mohsen +3 more
core +1 more source
Hofstadter butterflies of carbon nanotubes: Pseudofractality of the magnetoelectronic spectrum [PDF]
, 2006 The electronic spectrum of a two-dimensional square lattice in a perpendicular magnetic field has become known as the Hofstadter butterfly [Hofstadter, Phys. Rev. B 14, 2239 (1976).].
A. Bachtold +16 more
core +2 more sources