First occurrence of a frog-like batrachian (Amphibia) in the Late Triassic Fleming Fjord Group, central

This research benefited from the GeoBioTec-GeoBioSciences, GeoTechnologies and GeoEngineering NOVA [GeoBioCiências, GeoTecnologias e GeoEngenharias], grant UIDB/04035/2020 by the Fundação para a Ciência e Tecnologia. This study could not have been possible without the team that uncovered this specimen, Farish A Jenkins Jr., William W. Amaral, William R. Downs III, Stephen M. Gatesy, Neil H. Shubin Niels Bonde and Lars B. Clemmensen. We thank Harvard University and Bent Lindow from the Natural History Museum of Denmark. Thanks to Alexandre Guillaume and Vincent Cheng for reviewing and bringing improvements to the original manuscript and Carla Tomás for laboratory support. Alfred Lemierre and an anonymous reviewer are thanked for their comments on the manuscript.During the Triassic, Batrachia diverged into ancestors of frogs (Salientia) and salamanders (Caudata). Fossils of Triassic batrachians are rare and found only in a few outcrops, such as the Middle Sakamena Formation of Madagascar (Induan). Only three Triassic taxa have been described, the two early frogs Triadobatrachus and Czatkiobatrachus and the early salamander Triassurus. Here we describe a right ilium, collected in 1991, attributed to the first batrachian from the Late Triassic Carlsberg Fjord Member (Ørsted Dal Formation, Fleming Fjord Group) in the Jameson Land Basin, located in central East Greenland. The fossil specimen only displays the proximal part of a right ilium, missing its shaft. After a thorough comparison with several clades (lizards, temnospondyls, salamanders and frogs), we consider the specimen as a lissamphibian sharing feature with salientians and anurans: squarish acetabular region, deeply concave acetabular surface, laterally projecting acetabular rim, flat mesial surface. It is the youngest Triassic specimen of Batrachia to date and one of the northernmost of the Late Triassic.publishersversionpublishersversionpublishe

Bivalirudin started during emergency transport for primary PCI.

BACKGROUND: Bivalirudin, as compared with heparin and glycoprotein IIb/IIIa inhibitors, has been shown to reduce rates of bleeding and death in patients undergoing primary percutaneous coronary intervention (PCI). Whether these benefits persist in contemporary practice characterized by prehospital initiation of treatment, optional use of glycoprotein IIb/IIIa inhibitors and novel P2Y12 inhibitors, and radial-artery PCI access use is unknown. METHODS: We randomly assigned 2218 patients with ST-segment elevation myocardial infarction (STEMI) who were being transported for primary PCI to receive either bivalirudin or unfractionated or low-molecular-weight heparin with optional glycoprotein IIb/IIIa inhibitors (control group). The primary outcome at 30 days was a composite of death or major bleeding not associated with coronary-artery bypass grafting (CABG), and the principal secondary outcome was a composite of death, reinfarction, or non-CABG major bleeding. RESULTS: Bivalirudin, as compared with the control intervention, reduced the risk of the primary outcome (5.1% vs. 8.5%; relative risk, 0.60; 95% confidence interval [CI], 0.43 to 0.82; P=0.001) and the principal secondary outcome (6.6% vs. 9.2%; relative risk, 0.72; 95% CI, 0.54 to 0.96; P=0.02). Bivalirudin also reduced the risk of major bleeding (2.6% vs. 6.0%; relative risk, 0.43; 95% CI, 0.28 to 0.66; P<0.001). The risk of acute stent thrombosis was higher with bivalirudin (1.1% vs. 0.2%; relative risk, 6.11; 95% CI, 1.37 to 27.24; P=0.007). There was no significant difference in rates of death (2.9% vs. 3.1%) or reinfarction (1.7% vs. 0.9%). Results were consistent across subgroups of patients. CONCLUSIONS: Bivalirudin, started during transport for primary PCI, improved 30-day clinical outcomes with a reduction in major bleeding but with an increase in acute stent thrombosis. (Funded by the Medicines Company; EUROMAX ClinicalTrials.gov number, NCT01087723.)

Motivation, participation, and engagement in human work Interaction design literature

This position paper is aimed at presenting as discussion material at the CoPDA 2016 Workshop the preliminary results of a short review of the literature published by the HWID community in the last 10 years in four books. Specifically, the attention is posed on understanding the importance of motivation, participation, and engagement in Interaction Design projects for smart and pervasive workplaces

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Learning HCI Across Institutions, Disciplines and Countries: A Field Study of Cognitive Styles in Analytical and Creative Tasks

Human-computer interaction (HCI) is increasingly becoming a subject taught in universities around the world. However, little is known of the interactions of the HCI curriculum with students in different types of institutions and disciplines internationally. In order to explore these interactions, we studied the performance of HCI students in design, technology and business faculties in universities in UK, India, Namibia, Mexico and China who participated in a common set of design and evaluation tasks. We obtained participants’ cognitive style profiles based on Allinson and Hayes scale in order to gain further insights into their learning styles and explore any relation between these and performance. We found participants’ cognitive style preferences to be predominantly in the adaptive range, i.e. with combined analytical and intuitive traits, compared to normative data for software engineering, psychology and design professionals. We further identified significant relations between students’ cognitive styles and performance in analytical and creative tasks of a HCI professional individual. We discuss the findings in the context of the distinct backgrounds of the students and universities that participated in this study and the value of research that explores and promotes diversity in HCI education