CAViT: a Consistency Maintenance Framework based on Transformation Contracts [PDF]
, 2005 Design by contract is a software correctness methodology for procedural and object-oriented software. It relies on logical assertions to detect implementation mistakes at run-time or to proof the absence thereof at compile-time.
Janssens, Dirk, Van Gorp, Pieter
core +1 more source
Parallel grid library for rapid and flexible simulation development
, 2012 We present an easy to use and flexible grid library for developing highly scalable parallel simulations. The distributed cartesian cell-refinable grid (dccrg) supports adaptive mesh refinement and allows an arbitrary C++ class to be used as cell data ...
Honkonen, I. +4 more
core +1 more source
The Fermi GBM Gamma-Ray Burst Spectral Catalog: Four Years Of Data
, 2014 In this catalog we present the updated set of spectral analyses of GRBs detected by the Fermi Gamma-Ray Burst Monitor (GBM) during its first four years of operation. It contains two types of spectra, time-integrated spectral fits and spectral fits at the
A. Goldstein +39 more
core +2 more sources
Fluttering energy harvesters in the wind: A review [PDF]
, 2016 The growing area of harvesting energy by aerodynamically induced flutter in a fluid stream is reviewed. Numerous approaches were found to understand, demonstrate and [sometimes] optimise harvester performance based on Movement-Induced or Extraneously ...
Deivasigamani, A +3 more
core +1 more source
Guidelines for pre-operative cardiac risk assessment and perioperative cardiac management in non-cardiac surgery : the Task Force for Preoperative Cardiac Risk Assessment and Perioperative Cardiac Management in Non-cardiac Surgery of the European Society of Cardiology (ESC) and endorsed by the European Society of Anaesthesiology (ESA) [PDF]
, 2009 Non-cardiac surgery; Pre-operative cardiac risk assessment; Pre-operative cardiac testing; Pre-operative coronary artery revascularization; Perioperative cardiac management; Renal disease; Pulmonary disease; Neurological disease; Anaesthesiology; Post ...
Don Poldermans +299 more
core +3 more sources
Criminalizing Normal Adolescent Behavior in Communities of Color: The Role of Prosecutors in Juvenile Justice Reform [PDF]
, 2012 There is little dispute that racial disparities pervade the contemporary American juvenile justice system. The persistent overrepresentation of youth of color in the system suggests that scientifically supported notions of diminished culpability of youth
Henning, Kristin N.
core +3 more sources
Recruiting for values in healthcare: a preliminary review of the evidence [PDF]
, 2016 Displaying compassion, benevolence and respect, and preserving the dignity of patients are important for any healthcare professional to ensure the provision of high quality care and patient outcomes.
Cousans, F. +5 more
core +1 more source
“Regulatory Daubert”: A Proposal to Enhance Judicial Review of Agency Science by Incorporating Daubert Principles into Administrative Law [PDF]
, 2003 In Daubert v. Merrell Dow Pharmaceuticals Inc, the US Supreme Court empowered federal judges to reject irrelevant or unreliable scientific evidence. Daubert provides a suitable framework for reviewing the quality of agency science and the soundness of ...
Dwyer, Julie Zampa, Raul, Alan Charles
core +1 more source
Wait Up!: Attachment and Sovereign Power. [PDF]
, 2014 Sociologists and feminist scholars have, over many decades, characterised attachment as a social construction that functions to support political and gender conservatism.
A Liberman +62 more
core +3 more sources
On the structure of cortical microcircuits inferred from small sample sizes [PDF]
, 2017 The structure in cortical microcircuits deviates from what would be expected in a purely random network, which has been seen as evidence of clustering.
Perin, Rodrigo +2 more
core +2 more sources