Justiça: o que é fazer a coisa certa

- Divulgação dos SUMÁRIOS das obras recentemente incorporadas ao acervo da Biblioteca Ministro Oscar Saraiva do STJ. Em respeito à Lei de Direitos Autorais, não disponibilizamos a obra na íntegra.- Localização na estante: 340.12 S214

Towards a theory of conceptual design for software

Concepts are the building blocks of software systems. They are not just subjective mental constructs, but are objective features of a system's design: increments of functionality that were consciously introduced by a designer to serve particular purposes. This essay argues for viewing the design of software in terms of concepts, with their invention (or adoption) and refinement as the central activity of software design. A family of products can be characterized by arranging concepts in a dependence graph from which coherent concept subsets can be extracted. Just as bugs can be found in the code of a function prior to testing by reviewing the programmer's argument for its correctness, so flaws can be found in a software design by reviewing an argument by the designer. This argument consists of providing, for each concept, a single compelling purpose, and demonstrating how the concept fulfills the purpose with an archetypal scenario called an 'operational principle'. Some simple conditions (primarily in the relationship between concepts and their purposes) can then be applied to reveal flaws in the conceptual design.SUTD-MIT International Design Centre (IDC

Bovine Tuberculosis Policy in England: Would a Virtuous Government Cull Mr Badger?

Bovine tuberculosis (bovine TB) is the most important animal health and welfare policy issue in Britain. Badgers are a wildlife reservoir of disease, although the eight-year Independent Scientific Group (ISG) Randomised Badger Culling Trial concluded with a recommendation against culling. The report advised government that bovine TB could be controlled, and ultimately eradicated, by cattle-based measures alone. Despite the ISG recommendation against culling, the farming and veterinary industries continued to lobby government for a badger cull. The 2005–2010 Labour government followed the ISG advice and decided against a cull. The 2010–2015 Coalition and the 2015-present Conservative governments have followed a badger culling policy. This paper investigates whether a virtuous government would cull badgers. It provides an overview of virtue theory in the context of government animal health and welfare policy. Bovine TB and badger control policy options are then analysed in the context of the virtues of justice, wisdom, integrity, loyalty, curiosity, trust, empathy, compassion and aesthetics. Justice is the first virtue of government, and badger culling is seriously problematic from a virtue perspective given that five badgers are culled per cow that avoids slaughter as a result. Analysis based on other virtues strongly suggests that government should not cull badgers. The paper concludes that a virtuous government would not cull badgers as part of policy to control bovine TB in cattle

Parametric analysis of nightside conductance effects on inner magnetospheric dynamics for the 17 April 2002 storm

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/95027/1/jgra17945.pd

Geographical limits to species-range shifts are suggested by climate velocity

The reorganization of patterns of species diversity driven by anthropogenic climate change, and the consequences for humans, are not yet fully understood or appreciated. Nevertheless, changes in climate conditions are useful for predicting shifts in species distributions at global and local scales. Here we use the velocity of climate change to derive spatial trajectories for climatic niches from 1960 to 2009 (ref. 7) and from 2006 to 2100, and use the properties of these trajectories to infer changes in species distributions. Coastlines act as barriers and locally cooler areas act as attractors for trajectories, creating source and sink areas for local climatic conditions. Climate source areas indicate where locally novel conditions are not connected to areas where similar climates previously occurred, and are thereby inaccessible to climate migrants tracking isotherms: 16% of global surface area for 1960 to 2009, and 34% of ocean for the \u27business as usual\u27 climate scenario (representative concentration pathway (RCP) 8.5)8 representing continued use of fossil fuels without mitigation. Climate sink areas are where climate conditions locally disappear, potentially blocking the movement of climate migrants. Sink areas comprise 1.0% of ocean area and 3.6% of land and are prevalent on coasts and high ground. Using this approach to infer shifts in species distributions gives global and regional maps of the expected direction and rate of shifts of climate migrants, and suggests areas of potential loss of species richness

The Vitamin D Antenatal Asthma Reduction Trial (VDAART): Rationale, design, and methods of a randomized, controlled trial of vitamin D supplementation in pregnancy for the primary prevention of asthma and allergies in children

There is intense interest in the role of vitamin D in the development of asthma and allergies. However, studies differ on whether a higher vitamin D intake or status in pregnancy or at birth is protective against asthma and allergies. To address this uncertainty, the Vitamin D Antenatal Asthma Reduction Trial (VDAART) was developed. VDAART is a randomized, double-blind, placebo-controlled trial of vitamin D supplementation in pregnant women to determine whether prenatal supplementation can prevent the development of asthma and allergies in the women’s offspring. A secondary aim is to determine whether vitamin D supplementation can prevent the development of pregnancy complications, such as preeclampsia, preterm birth, and gestational diabetes. Women were randomized to the treatment arm of 4,000 IU/day of vitamin D3 plus a daily multivitamin that contained 400 IU of vitamin D3 or the placebo arm of placebo plus a multivitamin that contained 400 IU daily of vitamin D3. Women who were between the gestational ages of 10–18 weeks were randomized from three clinical centers across the United States – Boston Medical Center, Washington University in St. Louis, and Kaiser Permanente Southern California Region (San Diego, CA). Supplementation took place throughout pregnancy. Monthly monitoring of urinary calcium to creatinine ratio was performed in addition to medical record review for adverse events. Offspring are being evaluated quarterly through questionnaires and yearly during in-person visits until the 3rd birthday of the child. Ancillary studies will investigate neonatal T-regulatory cell function, maternal vaginal flora, and maternal and child intestinal flora