277 research outputs found
Forum. Stratigraphic Fit to Phylogenies: A Proposed Solution
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73634/1/j.1096-0031.1998.tb00333.x.pd
Step-Indexed Normalization for a Language with General Recursion
The Trellys project has produced several designs for practical dependently
typed languages. These languages are broken into two
fragments-a_logical_fragment where every term normalizes and which is
consistent when interpreted as a logic, and a_programmatic_fragment with
general recursion and other convenient but unsound features. In this paper, we
present a small example language in this style. Our design allows the
programmer to explicitly mention and pass information between the two
fragments. We show that this feature substantially complicates the metatheory
and present a new technique, combining the traditional Girard-Tait method with
step-indexed logical relations, which we use to show normalization for the
logical fragment.Comment: In Proceedings MSFP 2012, arXiv:1202.240
New Specimens of Nemegtomaia from the Baruungoyot and Nemegt Formations (Late Cretaceous) of Mongolia
Two new specimens of the oviraptorid theropod Nemegtomaia barsboldi from the Nemegt Basin of southern Mongolia are described. Specimen MPC-D 107/15 was collected from the upper beds of the Baruungoyot Formation (Campanian-Maastrichtian), and is a nest of eggs with the skeleton of the assumed parent of Nemegtomaia on top in brooding position. Much of the skeleton was damaged by colonies of dermestid coleopterans prior to its complete burial. However, diagnostic characters are recovered from the parts preserved, including the skull, partial forelimbs (including the left hand), legs, and distal portions of both feet. Nemegtomaia represents the fourth known genus of oviraptorid for which individuals have been found on nests of eggs. The second new specimen, MPC-D 107/16, was collected a few kilometers to the east in basal deposits of the Nemegt Formation, and includes both hands and femora of a smaller Nemegtomaia individual. The two formations and their diverse fossil assemblages have been considered to represent sequential time periods and different environments, but data presented here indicate partial overlap across the Baruungoyot-Nemegt transition. All other known oviraptorids from Mongolia and China are known exclusively from xeric or semi-arid environments. However, this study documents that Nemegtomaia is found in both arid/aeolian (Baruungoyot Formation) and more humid/fluvial (Nemegt Formation) facies
The nature of frontier orbitals under systematic ligand exchange in pseudo octahedral Fe II complexes
Understanding and controlling properties of transition metal complexes is a crucial step towards tailoring materials for sustainable energy applications. In a systematic approach, we use resonant inelastic X ray scattering to study the influence of ligand substitution on the valence electronic structure around an aqueous iron II center. Exchanging cyanide with 2 20 bipyridine ligands reshapes frontier orbitals in a way that reduces metal 3d charge delocalization onto the ligands. This net decrease of metal ligand covalency results in lower metal centered excited state energies in agreement with previously reported excited state dynamics. Furthermore, traces of solvent effects were found indicating a varying interaction strength of the solvent with ligands of different character. Our results demonstrate how ligand exchange can be exploited to shape frontier orbitals of transition metal complexes in solution phase chemistry; insights upon which future efforts can built when tailoring the functionality of photoactive systems for light harvesting application
Dependently-Typed Formalisation of Typed Term Graphs
We employ the dependently-typed programming language Agda2 to explore
formalisation of untyped and typed term graphs directly as set-based graph
structures, via the gs-monoidal categories of Corradini and Gadducci, and as
nested let-expressions using Pouillard and Pottier's NotSoFresh library of
variable-binding abstractions.Comment: In Proceedings TERMGRAPH 2011, arXiv:1102.226
Dealing with daily emotions—supportive activities for the elderly in a municipal care setting
There are diverse descriptions of supportive activities in nursing to be found in the literature. What they have in common is their association with good care outcomes, but they may differ depending on the context in which the care is given. In a Swedish municipal elderly care setting, registered nurses (RN) work in a consultative way and they describe a part of their tasks as comprising supportive activities without specifying what kind of supportive activities they mean. The aim of the study was to explore the main concern of the support given by RN to a group of patients in an elderly home care setting. The study was conducted using Grounded Theory. Data were collected using nonparticipant observations regarding the supportive activities of 12 RN at the home of 36 patients between the ages of 80 and 102. Most of the home visit lasted about 40 min but some lasted for 90 min. The central category was about dealing with daily emotions. This was done by encouraging the situation and reducing the patient's limitations, but situations also occurred in which there was a gap of support. Support was about capturing the emotions that the patient expressed for a particular moment, but there were also situations in which RN chose not to give support. To develop a holistic eldercare, more knowledge is needed about the factors causing the RN to choose not to provide support on some occasions
A New Troodontid Theropod, Talos sampsoni gen. et sp. nov., from the Upper Cretaceous Western Interior Basin of North America
Troodontids are a predominantly small-bodied group of feathered theropod dinosaurs notable for their close evolutionary relationship with Avialae. Despite a diverse Asian representation with remarkable growth in recent years, the North American record of the clade remains poor, with only one controversial species--Troodon formosus--presently known from substantial skeletal remains.Here we report a gracile new troodontid theropod--Talos sampsoni gen. et sp. nov.--from the Upper Cretaceous Kaiparowits Formation, Utah, USA, representing one of the most complete troodontid skeletons described from North America to date. Histological assessment of the holotype specimen indicates that the adult body size of Talos was notably smaller than that of the contemporary genus Troodon. Phylogenetic analysis recovers Talos as a member of a derived, latest Cretaceous subclade, minimally containing Troodon, Saurornithoides, and Zanabazar. MicroCT scans reveal extreme pathological remodeling on pedal phalanx II-1 of the holotype specimen likely resulting from physical trauma and subsequent infectious processes.Talos sampsoni adds to the singularity of the Kaiparowits Formation dinosaur fauna, which is represented by at least 10 previously unrecognized species including the recently named ceratopsids Utahceratops and Kosmoceratops, the hadrosaurine Gryposaurus monumentensis, the tyrannosaurid Teratophoneus, and the oviraptorosaurian Hagryphus. The presence of a distinct troodontid taxon in the Kaiparowits Formation supports the hypothesis that late Campanian dinosaurs of the Western Interior Basin exhibited restricted geographic ranges and suggests that the taxonomic diversity of Late Cretaceous troodontids from North America is currently underestimated. An apparent traumatic injury to the foot of Talos with evidence of subsequent healing sheds new light on the paleobiology of deinonychosaurians by bolstering functional interpretations of prey grappling and/or intraspecific combat for the second pedal digit, and supporting trackway evidence indicating a minimal role in weight bearing
- …