10,666 research outputs found
The "paradox" of computability and a recursive relative version of the Busy Beaver function
In this article, we will show that uncomputability is a relative property not
only of oracle Turing machines, but also of subrecursive classes. We will
define the concept of a Turing submachine, and a recursive relative version for
the Busy Beaver function which we will call Busy Beaver Plus function.
Therefore, we will prove that the computable Busy Beaver Plus function defined
on any Turing submachine is not computable by any program running on this
submachine. We will thereby demonstrate the existence of a "paradox" of
computability a la Skolem: a function is computable when "seen from the
outside" the subsystem, but uncomputable when "seen from within" the same
subsystem. Finally, we will raise the possibility of defining universal
submachines, and a hierarchy of negative Turing degrees.Comment: 10 pages. 0 figures. Supported by the National Council for Scientific
and Technological Development (CNPq), Brazil. Book chapter published in
Information and Complexity, Mark Burgin and Cristian S. Calude (Editors),
World Scientific Publishing, 2016, ISBN 978-981-3109-02-5, available at
http://www.worldscientific.com/worldscibooks/10.1142/10017. arXiv admin note:
substantial text overlap with arXiv:1612.0522
Order-of-magnitude physics of neutron stars
We use basic physics and simple mathematics accessible to advanced
undergraduate students to estimate the main properties of neutron stars. We set
the stage and introduce relevant concepts by discussing the properties of
"everyday" matter on Earth, degenerate Fermi gases, white dwarfs, and scaling
relations of stellar properties with polytropic equations of state. Then, we
discuss various physical ingredients relevant for neutron stars and how they
can be combined in order to obtain a couple of different simple estimates of
their maximum mass, beyond which they would collapse, turning into black holes.
Finally, we use the basic structural parameters of neutron stars to briefly
discuss their rotational and electromagnetic properties.Comment: 13 pages, 3 figures, accepted for publication in European Physical
Journal
The locomotion pattern of Baurusuchus salgadoensis Carvalho, Nobre & Campos, 2005 and the distribution of Baurusuchidae in Gondwanaland
Baurusuchus salgadoensis Carvalho, Nobre & Campos, 2005 is a ziphodont mesoeucrocodylian closely related to the Sebecosuchia. Cranial features indicate that this species had terrestrial predatory habits. The postcranial skeleton of B. salgadoensis show distinctive characteristics when compared to extant Crocodylomorpha. The dorsal vertebrae are close articulated with short and craniocaudally expanded neural spines, specially the posterior ones. The sacral vertebrae are robust and have the lateral processes highly fused to the ilium. The anterior caudal vertebrae are robust as the sacral ones but their neural spines are more stout, anteriorlly expanded and higher. The close articulation of the dorsal vertebrae may indicate a less flexible dorsal spine, ideal to limb-driven methods of locomotion. The high and expanded neural spines of the posterior dorsal and sacral vertebrae are associated to muscle attachment from the osteoderms and the pelvic musculature, all used in the limb-driven locomotion. The appendicular bones of B. salgadoensis are long and stout. They show a straight aspect of their diaphysis and very well- developed epiphysis. The femur is long when compared to extant crocodilians, showing a straight aspect in lateral view and a slight sigmoid aspect in frontal view. There is a small axial torsion at its proximal end. The fourth trochanter is pronouced and posteriorlly oriented. The proximal end possess a mesial projection that articulates itself to the illium, similar to those of Protosuchia and thecodont archosaurs as the Rauisuchia. The illium of B. salgadoensis present a lateral and posteriorlly expanded postaccetabular crest, similar to those observed in Rauisuchia and Protosuchia, referred as overhanging ilium. This pattern of articulation is observed in the rauisuchian thecodonts and interpreted as a characteristic trait of those able erect-posture and limb-driven predators of Triassic environments. B. salgadoensis exoskeleton has only two dorsal osteoderm rows that run from the neck to the tip of the tail. Most of the osteoderms are wider than longer, with a round lateral portion that does not articulate to any flank osteoderm. The only morphological difference appears at the caudalmost portion of the tail, where the osteoderms are craniocaudally elongated. The medial portion has little variation along the scutes rows and may bear medial lamellar dorsoventral structures of articulation to the adjacent bony plate. The anterior articular facet is discreet and the osteoderms are not as imbricated as occur in other crocodyliforms and even may not be imbricated at all. The pelvic region osteoderms have the tallest keel of the row that runs from the anterior articular facet to posteriosmost portion of the osteoderm. B. salgadoensis has a light exoskeleton and then is less encumbranced by it. Therefore, becaming more agile. The imbrication of dorsal armor assists the limb-driven locomotion of many crocodyliform by reducing the flexibility of the dorsal spine during the high-walk (erect stance). Therefore the long and stout limb bones, overhanging crest of the illium and the light weighted armor, also allowed to B. salgadoensis to have the limb-driven locomotion without this pattern of osteoderms. These anatomical data may indicate how the Baurusuchidae had a wide distribution in Gondwanaland as they were able to move across large distances
Modulation of near-field heat transfer between two gratings
We present a theoretical study of near-field heat transfer between two
uniaxial anisotropic planar structures. We investigate how the distance and
relative orientation (with respect to their optical axes) between the objects
affect the heat flux. In particular, we show that by changing the angle between
the optical axes it is possible in certain cases to modulate the net heat flux
up to 90% at room temperature, and discuss possible applications of such a
strong effect
- …