Based on the experiences of two high profile voluntary data collection programs for engineered nanomaterials, this article considers the merit of an international online registry for scientific data on engineered nanomaterials and environmental, health and safety (EHS) data. Drawing on the earlier experiences from the pharmaceutical industry, the article considers whether a registry of nanomaterials at the international level is practical or indeed desirable, and if so, whether such an initiative—based on the current state of play—should be voluntary (...) or mandatory. The article commences with an examination of the success and failures of voluntary reporting schemes in the UK and the US, as well as the International Council of Nanotechnology’s EHS Database and the OECD’s Working Party on Manufactured Nanomaterials. The article then examines the history of clinical trials registries, including the key motivations behind their creation, the role of self-regulation, and the perceived benefits thereof. Key lessons of the rise of clinical trials registration are highlighted, as are crucial considerations that must be addressed by policy makers should a multi-lateral public registry for data on nanoscale materials and EHS research be perceived to be a desirable option. The article concludes by arguing that while the creation of a registry to record information generated on nanomaterials is not straightforward, this reason alone should not deter industry from taking a proactive approach to the dissemination of fundamental data and research findings. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, (...) deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. This (...) update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

This essay examines the debate surrounding New York City’s controversial diabetes registry program. Exploring the tensions between public health officials and privacy advocates, the article explores how diabetes is imagined in the public sphere. Although rhetorics underscoring privacy may seem the more progressive discourse, I argue New York City’s Department of Health and Mental Hygiene has the more forward-looking plan, attempting to reconstitute diabetes not as a chronic condition necessitating individual management but as a disease that requires systemic (...) intervention. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...) Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

"An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by (...) one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

To investigate the effects of two different modes of physical activity on body composition, physical fitness, cardiometabolic risk, and psychological responses in female adolescents participating in a multi-disciplinary program. The 12-week randomized intervention included 25-adolescents with overweight divided into two groups: sports practice-SPG and functional training-FTG. The SPG intervention was divided into three sports: basketball, handball, and futsal. SPG participants performed one sport 3-times/week, over the course of 1 month. The FTG performed concurrent exercises 3-times/week. This study was registered (...) in Clinical Trials Registry Platform under number: RBR-45ywtg and registered in Local Ethics Committee number: 2,505.200/2018. The intensity of physical exercises-PE was matched between groups by the rating of perceived exertion. The primary outcome was body composition, and secondary outcomes were physical fitness, cardiometabolic risk, and psychological responses. There was a significant time-effect for body mass, body mass index, and low-density lipoprotein, all being reduced. There were increases over time for musculoskeletal mass, aerobic fitness, and high-density lipoprotein. There was a group time interaction with body fat percentage being lower post-intervention in the SPG. No significant differences were observed for the other variables. Both physical activity models were effective in improving a subset of obesity-related health parameters. The findings should be extended by further investigation using more sophisticated measures of energy expenditure.Clinical Trial Registration:https://ensaiosclinicos.gov.br/, identifier: RBR-45ywtg. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Organ Transplant AllocationPat Milmoe McCarrick (bio)The introduction of the antibiotic, cyclosporin, which enhances the success rate of transplantation surgery, has resulted in the steady growth of organ transplantation since the mid-1980s. This growth increasingly focuses ethical interest on both the procurement and the allocation of human organs. Not everyone who might benefit from organ transplants can receive them since the number of patients in need of organs far exceeds (...) the number of organs available. Each year the waiting list for transplants increases by 20 percent, but the number of donated organs has remained stable for the past five years (Lawry 1994).Organ transplantation surgery performed on rock stars, sports heroes, politicians, and television celebrities brings questions about the fair allocation of scarce resources to the attention of everyone. Abigail Trafford, editor of Washington Post Health, wonders whether "new livers for hard livers" can be deserved when not enough organs are available for everyone who needs them. Writing about the dilemma of just allocation of organs, she calls famous recipients "poster patients" or "health care celebrities of medical catastrophe" (Trafford 1994). Personal responsibility—the viewpoint that "medical treatment should not be an entitlement program for profligate living"—is an emerging moral consideration according to Trafford. Deciding whose standards and values should apply to the allocation of organs raises many questions. Popular arguments for keeping the current criteria for allocation include: these patients are sick and therefore should be treated, regardless of the cause of their illness; former substance abusers should be able to benefit from their present abstention; physicians should treat anyone who is ill; and although many human illnesses may be caused by individual behavior, such behavior is not always used as a reason to deny care (Trafford 1995).Prior to 1984, when the government established regulations governing organ transplantation, organs routinely were given to the patients of the surgeons who excised them (Prottas 1994). In an effort to achieve a more equitable method of distribution, Congress passed the National Organ Transplant Act of 1984 (Pub. [End Page 365] L. No. 98-507, amended by Pub. L. No. 100607 and Pub. L. No. 101-616), which established a national Organ Procurement and Transplantation Network (OPTN) to improve the effectiveness of organ procurement, organ distribution, and transplant activities. The United Network for Organ Sharing (UNOS) received the federal government contract to be the OPTN.UNOS and its 66 regional organ procurement organizations (OPOs) around the nation have carried out the mandate since 1986. It requires hospitals that receive Medicare or Medicaid funds and perform transplants to belong to the network and to allocate organs according to network policies. UNOS maintains the national computer registry to match donor organs with individual recipients. In distributing organs, UNOS is required by law to use a fair and equitable system based on accepted medical criteria. UNOS regularly reevaluates its policies to ensure that organ donation and recipient selection meet criteria of efficiency and equity (UNOS Update 11 (8), 1995).At the end of June 1995, 278 transplant centers were in operation in the United States: almost all of them (247 centers) transplanted kidneys; 167 did hearts; 119, pancreases; 114, livers; 93, heart-lung; 88, lungs; 26, intestines; and only 19 centers performed pancreas islet cell transplants (UNOS Update 11 (8): 28, 1995). The number of patients waiting for organ transplants in July 1995 totalled 41,075: 29,274 were waiting for a kidney transplant; 4,937, liver; 3,298, heart; 1,816, lung; 1,223 kidney-pancreas; 240, pancreas; and 211, heart-lung (UNOS Update 11 (8): 40-41, 1995).OPOs are located in different geographic areas across the country, each with different organ needs, lengths of waiting lists, or with lists in areas with large older populations making it more difficult to find suitable donors. Black recipients often wait longer due to complex reasons including sensitization or rarer blood and antigen types (UNOS 11 (8): 31-32, 1995). When an organ becomes available, the OPO involved identifies a potential recipient from the UNOS list and offers it to the patient's surgeon. If no match can be made locally, the organ is next offered within a UNOS region, and finally, to... (shrink)

Aim: Participation in classroom physical activity breaks may improve children’s cognition, but few studies have involved adolescents. The primary aim of this study was to examine the effects of classroom-based resistance training with and without cognitive training on adolescents’ cognitive function.Methods: Participants were 97 secondary school students. Four-year 10 classes from one school were included in this four-arm cluster randomized controlled trial. Classes were randomly assigned to the following groups: sedentary control with no cognitive training, sedentary with cognitive training, resistance (...) training without cognitive training, and resistance training with cognitive training. Sessions varied in levels of both cognitive demand and resistance training and were administered three times per week for 4 weeks. Inhibition, cognitive flexibility, episodic memory, on-task behavior, and muscular fitness were assessed at baseline and post-test. Linear mixed models were used to examine changes within and between groups.Results: In comparison with the control group, episodic memory improved significantly in the resistance training without cognitive training group. There were no group-by-time effects for inhibition or cognitive flexibility. Classroom activity breaks both with and without cognitive demand improved participants’ on-task behavior in comparison with the control and sedentary group. The resistance training programs did not lead to improvements in muscular fitness.Conclusion: Participation in body weight resistance training without cognitive training led to selective improvements in episodic memory. No training effects were found for inhibition or cognitive flexibility. A longer study period may be necessary to induce improvements in muscular fitness and associated changes in inhibition and cognitive flexibility.Clinical Trial Registration:https://www.anzctr.org.au/ACTRN12621001341819.aspx, Australian New Zealand Clinical Trials Registry—ACTRN12621001341819. (shrink)

Na preleção de verão de 1923, intitulada “Ontologia: hermenêutica da facticidade”, Martin Heidegger estabelece seu programa filosófico em termos de uma investigação fundamental, nomeada por ele como hermenêutica fenomenológica da facticidade. De acordo com esta, a interpretação da vida fática não se realiza sem que se tome o ser e o falar como fenômenos privilegiados, ou seja, sem que se recupere o vínculo essencial em que nós, seres humanos existentes, já nos descobrimos sendo no mundo como seres capazes de fala. (...) Tendo em vista que é a partir do constructo ser-no-mundo que o filósofo alemão consegue dar um passo atrás no esquema sujeito-objeto, não é por acaso então que ele busca encontrar, desde muito cedo, modos de dizer o ser que não mais o entifiquem, com o intuito de pensá-lo para além do registro da referência e, portanto, da objetivação. É com base nessa situação que se torna premente que sua análise tenha início a partir do horizonte do ente privilegiado, uma vez que é para este que o sentido do ser se torna um problema. Assim, este artigo parte da hipótese de que a hermenêutica da facticidade se constitui por conta da tentativa de Heidegger de ater-se ao problema do ser que compreende ser, tendo como premissa uma ampla problematização em torno da significação da palavra vida. Palavras-chave: Heidegger; hermenêutica; facticidade.: In the summer lecture of 1923, entitled Ontology: The Hermeneutics of Facticity, Martin Heidegger established his philosophical program in terms of a fundamental research, named by him as phenomenological hermeneutics of facticity. According to this, the interpretation of the factical life is not achieved without taking the being and the speaking as privileged phenomena, i.e., without recovering the essential bond in which we, existent human beings, have already discovered ourselves being in the world as being capable of speaking. Given the fact that it is from the construct being-in-the-world that the German philosopher is able to step back on subject-object scheme, it is not by accident that he tries to find, since the beginning, ways of expressing being that no longer turn it into an entity, with the intention of thinking it beyond the scheme and, therefore, any objectualization registry. It is based on this situation that it is pressing that his analysis starts from the horizon of a privileged entity, since it is for this the sense of being becomes a problem. In fact, this paper starts from the hypothesis that hermeneutics of facticity is constituted due to Heidegger’s attempt on holding to the problem of being that understands being, with the premise of a wide problematization regarding the significance of the word life. Keywords: Heidegger; hermeneutics; facticity. (shrink)

This paper provides an overview of the societal impact of a rising dementia population and examines the legal and ethical implications posed by voluntary registries as a community-oriented solution to improve interactions between law enforcement and individuals with dementia. It provides a survey of active voluntary registries across the United States, with a focus on Arizona, which has the highest projected growth for individuals living with dementia in the country.

Much biomedical research cannot be performed without recruiting human subjects. Increasingly, volunteer registries are being developed to assist researchers with this challenging task. Yet, volunteer registries raise confidentiality issues. Having recently developed a registry of volunteers, the authors searched for normative guidance on how to implement the principle of confidentiality. The authors found that the protection of confidentiality in registries are based on the 10 key elements which are elaborated in detail in the Canadian Standards Association Model Code. This (...) paper describes how these 10 detailed key principles can be used during the developmental stages of volunteer registries. (shrink)

In 2017 Ploug and Holm argued that anonymizing individuals in the Danish circumcision registry was insufficient to protect these individuals from what they regard as the potential harms of being in the registry. We argue that Ploug and Holm’s fears in each of the areas are misguided, not supported by the evidence, and could interfere with the gathering of accurate data. The extent of the risks and harms associated with ritual circumcision is not well known. The anonymized personal (...) health data supplemented with the circumcision registry will enable more precise research into the medical consequences of ritual circumcision, and allow parents to make more fully informed decisions about circumcision with minimal, if any, adverse consequences. (shrink)

We argue that voluntary mental health registries integrated into the 9-1-1 system, where patients and caregivers can establish a repository of this information, will help fill this information gap by enabling first responders to quickly understand the context of a call for service with a mental health component, and to make better informed decisions. Despite valid concerns about privacy, stigma, and the potential misuse of protected health information, such registries, if carefully designed and administered, can improve the health outcomes of (...) 9-1-1 calls for service involving mental health-related crises. (shrink)

In recent years it has been demonstrated that the use of the traditional property registry models involves the risk of corruption along with long waiting times. This paper points out the main problems associated with conventional models and makes a survey of the new ones that are based on blockchain technology. This type of model is already being developed as a proof of concept by different countries. With the use of this technology in land registry systems, it is (...) possible to improve the transparency of the processes as well as optimize costs and execution time. To show the theoretical results of this study, the Spanish land registry has been taken as an example of a use case scenario. (shrink)

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

Some properties are causally relevant for a certain effect, others are not. In this paper we describe a problem for our understanding of this notion and then offer a solution in terms of the notion of a program explanation.

Companies offer ethics codes and training to increase employees' ethical conduct. These programs can also enhance individual work attitudes because ethical organizations are typically valued. Socially responsible companies are likely viewed as ethical organizations and should therefore prompt similar employee job responses. Using survey information collected from 313 business professionals, this exploratory study proposed that perceived corporate social responsibility would mediate the positive relationships between ethics codes/training and job satisfaction. Results indicated that corporate social responsibility fully or partially mediated the (...) positive associations between four ethics program variables and individual job satisfaction, suggesting that companies might better manage employees' ethical perceptions and work attitudes with multiple policies, an approach endorsed in the ethics literature. (shrink)

Research into personal health data holds great potential not only for improved treatment but also for economic growth. In these years many countries are developing policies aimed at facilitating such research often under the banner of ‘big data’. A central point of debate is whether the secondary use of health data requires informed consent if the data is anonymised. In 2013 the Danish Minister of Health established a new register collecting data about all ritual male childhood circumcisions in Denmark. The (...) main purpose of the register was to enable future research into the consequences of ritual circumcision. This article is a study into the case of the Danish Circumcision Registry. We show that such a registry may lead to various forms of harm such as 1) overreaching social pressure, 2) stigmatization, 3) medicalization of a religious practice, 4) discrimination, and 5) polarised research, and that a person may therefore have a strong and legitimate interest in deciding whether or not such data should be collected and/or used in research. This casts doubt on the claim that the requirement of informed consent could and should be waived for all types of secondary research into registries. We finally sketch a new model of informed consent – Meta consent – aimed at striking a balance between the interests in promoting research and at the same time protecting the individual. Research participants may have a strong and legitimate interest in deciding whether or not their data should be collected and used for registry-based research whether or not their data is anonymised. (shrink)

In 1971, President Richard Nixon declared a “war against cancer,” stating that “the same kind of concentrated effort that split the atom and took man to the moon should be turned toward conquering this dread disease.” Nixon signed the National Cancer Act, and shortly thereafter the first national registry listing all ongoing clinical trials for cancer therapies was published by the National Cancer Institute. The registry was proposed by Mary Lasker (“a patroness and advocate of clinical research”) to (...) help doctors find open trials in which to enroll their patients and to help researchers maintain a steady supply of research participants. The registry appeared to be a win for doctors, patients, researchers, and pharmaceutical companies alike. However, it ended up exposing corrupt practices and tensions between ethics, the corporate need for profits, and public health goals. How did this happen? (shrink)

Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems.Harvey Abramson is Reader in Computer Science at the (...) University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro. (shrink)

Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what kind (...) of thing is it? In this paper, we shall argue that an appropriate conceptualization is furnished by the notion of a technical artifact. (shrink)

One of the main objectives of an ethics program is to improve the ethical culture of an organization. To date, empirical research treats at least one of these concepts as a one-dimensional construct. This paper demonstrates that by conceptualizing both constructs as multi-dimensional, a more in-depth understanding of the relationship between the two concepts can be achieved. Through the employment of the Corporate Ethical Virtues Model, eight dimensions of ethical culture are distinguished. Nine components of an ethics program (...) are identified. To assess the relationship between ethics programs and ethical culture, a survey was conducted of 4,056 members of the U. S. working population. The results show that the relationships between the components of an ethics program and the dimensions of ethical culture differ in strength, nature, and significance. Implications for research and practice are discussed. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

The purpose of this paper is to set forth a sense in which programs can and do explain behavior, and to distinguish from this a number of senses in which they do not. Once we are tolerably clear concerning the sort of explanatory strategy being employed, two rather interesting facts emerge; (1) though it is true that programs are "internally represented," this fact has no explanatory interest beyond the mere fact that the program is executed; (2) programs which are (...) couched in information processing terms may have an explanatory interest for a given range of behavior which is independent of physiological explanations of the same range of behavior. (shrink)

All organizations have ethics programs which consist of both explicit and implicit parts. This paper defines corporate ethics programs and identifies a number of their components. Corporate ethics programs'' structural and behavioral dimensions are proposed which may allow further examination of such program components and their impacts. Finally, fifteen propositions are suggested which describe the influence of founder values, competitive pressures, leadership, and organizational problems on corporate ethics programs and the manageability of such programs.

Board composition, insider participation on compensation committees, and director compensation practices can potentially cause conflicts of interest between directors and shareholders. If these corporate governance structures result in situations where actions beneficial to directors do not also benefit shareholders, then shareholders may suffer.Corporate ethics programs usually address conflicts of interest that may arise in the firm''s activities. Some boards of directors take active roles in their firms'' ethics programs by actively overseeing the programs. This paper empirically examines the relationship between (...) ethics programs and potential conflicts of interest and the relationship between board involvement in a firm''s ethics program and potential conflicts of interest. (shrink)

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.

Programmed cell death (PCD) in unicellular organisms is in some instances an altruistic trait. When the beneficiaries are clones or close kin, kin selection theory may be used to explain the evolution of the trait, and when the trait evolves in groups of distantly related individuals, group or multilevel selection theory is invoked. In mixed microbial communities, the benefits are also available to unrelated taxa. But the evolutionary ecology of PCD in communities is poorly understood. Few hypotheses have been offered (...) concerning the community role of PCD despite its far-reaching effects. The hypothesis we consider here is that PCD is a black queen. The Black Queen Hypothesis (BQH) outlines how public goods arising from a leaky function are exploited by other taxa in the community. Black Queen (BQ) traits are essential for community survival, but only some members bear the cost of possessing them, while others lose the trait In addition, BQ traits have been defined in terms of adaptive gene loss, and it is unknown whether this has occurred for PCD. Our conclusion is that PCD fulfils the two most important criteria of a BQ (leakiness and costliness), but that more empirical data are needed for assessing the remaining two criteria. In addition, we hold that for viewing PCD as a BQ, the original BQH needs to include social traits. Thus, despite some empirical and conceptual shortcomings, the BQH provides a helpful avenue for investigating PCD in microbial communities. (shrink)

The clinical introduction of medical devices often occurs with relatively little oversight, regulation and (long-term) follow-up. Some recent controversies underscore the weaknesses of the current regime, such as the complications surrounding the metal-on-metal hip implants and the scandal surrounding the global breast implant scare of silicone implants made by France's Poly Implant Prothese (PIP) Company. The absence of national registries hampered the collection of reliable information on the risks and harms of the PIP breast implants. To warrant long-term safety, a (...) case can be made for mandatory post-marketing surveillance by means of the establishment of compulsory registries. In this edition of Public Health Ethics, Schofield calls for debate on how such a registry system should be initiated and maintained and how it would relate to the ethical requirement of consent. Here we use breast implant registries as a case to discuss whether and when a so-called ‘thick opt-out’ would be an appropriate method to include people in medical device registries. We conclude that a thick opt-out procedure for medical device registries is only justifiable in cases where inclusion does not involve burdens (or very low), when it does not involve a sensitive subject and when the data are stored anonymously (or at least not directly linked to the medical record). Otherwise, inclusion should be sought by means of an opt-in. (shrink)

BackgroundThe amount of research utilizing health information has increased dramatically over the last ten years. Many institutions have extensive biobank holdings collected over a number of years for clinical and teaching purposes, but are uncertain as to the proper circumstances in which to permit research uses of these samples. Research Ethics Boards (REBs) in Canada and elsewhere in the world are grappling with these issues, but lack clear guidance regarding their role in the creation of and access to registries and (...) biobanks.MethodsChairs of 34 REBS and/or REB Administrators affiliated with Faculties of Medicine in Canadian universities were interviewed. Interviews consisted of structured questions dealing with diabetes-related scenarios, with open-ended responses and probing for rationales. The two scenarios involved the development of a diabetes registry using clinical encounter data across several physicians' practices, and the addition of biological samples to the registry to create a biobank.ResultsThere was a wide range of responses given for the questions raised in the scenarios, indicating a lack of clarity about the role of REBs in registries and biobanks. With respect to the creation of a registry, a minority of sites felt that consent was not required for the information to be entered into the registry. Whether patient consent was required for information to be entered into the registry and the duration for which the consent would be operative differed across sites. With respect to the creation of a biobank linked to the registry, a majority of sites viewed biobank information as qualitatively different from other types of personal health information. All respondents agreed that patient consent was needed for blood samples to be placed in the biobank but the duration of consent again varied.ConclusionParticipants were more attuned to issues surrounding biobanks as compared to registries and demonstrated a higher level of concern regarding biobanks. As registries and biobanks expand, there is a need for critical analysis of suitable roles for REBs and subsequent guidance on these topics. The authors conclude by recommending REB participation in the creation of registries and biobanks and the eventual drafting of comprehensive legislation. (shrink)

Source: "This book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita (...) of machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics.". (shrink)

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough (...) introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

We define a program size complexity function $H^\infty$ as a variant of the prefix-free Kolmogorov complexity, based on Turing monotone machines performing possibly unending computations. We consider definitions of randomness and triviality for sequences in ${\{0,1\}}^\omega$ relative to the $H^\infty$ complexity. We prove that the classes of Martin-Löf random sequences and $H^\infty$-random sequences coincide and that the $H^\infty$-trivial sequences are exactly the recursive ones. We also study some properties of $H^\infty$ and compare it with other complexity functions. In particular, (...) $H^\infty$ is different from $H^A$, the prefix-free complexity of monotone machines with oracle A. (shrink)

Research regarding ethics programs represents an important segment of business ethics literature. In the last thirty years, scientific discourse on ethics programs has flourished. Numerous studies examined their functions, composition, application in organizational practice, and impact on employee ethical behavior and many other organizational variables. However, so far there has been no study that would comprehensively map this particular field. Given that, this paper aims to examine discourse on ethics programs in its complexity within business and management literature. Based on (...) a sophistically composed search protocol in the Scopus database, and after multiple rounds of checks, we extracted a final sample of 287 documents that matched the selection criteria. The sample was thoroughly analyzed by means of advanced bibliometric analytics tools. The results show the quantitative impact of ethics program literature via publication and citation metrics, a network of co-occurring themes and clusters of scientific inquiry, and the evolution of respective discourse over time. This detailed analysis results in a set of conclusions provided in the last part of the paper summarizing the quantitative performance and thematic scope of literature on ethics programs. (shrink)

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.

Several high-profile episodes have recently thrust drug safety and the pharmaceutical industry's practices into the spotlight. Merck's recall of the drug Vioxx, for instance, was a major news event. GlaxoSmithKline's suppression of data linking suicidal behavior among children to Paxil also galvanized tremendous public attention. What differentiates these events from the usual evolving process of scientific knowledge, and marks them with an aura of “scandal,” are questions about the propriety of corporate behavior. Who knew what, and when did they know (...) it? Concerns are growing about the potential for industry sponsors to suppress negative results from clinical trials research. Scientists, medical journal editors, legislators, and the public have called for greater transparency in the conduct of clinical trials and the drug approval process. (shrink)

Several high-profile episodes have recently thrust drug safety and the pharmaceutical industry's practices into the spotlight. Merck's recall of the drug Vioxx, for instance, was a major news event. GlaxoSmithKline's suppression of data linking suicidal behavior among children to Paxil also galvanized tremendous public attention. What differentiates these events from the usual evolving process of scientific knowledge, and marks them with an aura of “scandal,” are questions about the propriety of corporate behavior. Who knew what, and when did they know (...) it? Concerns are growing about the potential for industry sponsors to suppress negative results from clinical trials research. Scientists, medical journal editors, legislators, and the public have called for greater transparency in the conduct of clinical trials and the drug approval process. (shrink)

In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible. For the bulk of programming constructs, however, working with reflexive domains is an unnecessary complication. In this paper we shall use the domains of ordinary classical type logic to provide the semantics of a simple programming language containing choice and recursion. We prove that the rule of {\em Scott Induction\/} holds in this new setting, prove (...) soundness of a Hoare calculus relative to our semantics, give a direct calculus ${\cal C}$ on programs, and prove that the denotation of any program $P$ in our semantics is equal to the union of the denotations of all those programs $L$ such that $P$ follows from $L$ in our calculus and $L$ does not contain recursion or choice. (shrink)

Recently, connectionist models have been developed that seem to exhibit structuresensitive cognitive capacities without executing a program. This paper examines one such model and argues that it does execute a program. The argument proceeds by showing that what is essential to running a program is preserving the functional structure of the program. It has generally been assumed that this can only be done by systems possessing a certain temporalcausal organization. However, counterfactualpreserving functional architecture can be instantiated (...) in other ways, for example geometrically, which are realizable by connectionist networks. (shrink)

Judea Pearl has argued that counterfactuals and causality are central to intelligence, whether natural or artificial, and has helped create a rich mathematical and computational framework for formally analyzing causality. Here, we draw out connections between these notions and various current issues in cognitive science, including the nature of mental “programs” and mental representation. We argue that programs (consisting of algorithms and data structures) have a causal (counterfactual-supporting) structure; these counterfactuals can reveal the nature of mental representations. Programs can also (...) provide a causal model of the external world. Such models are, we suggest, ubiquitous in perception, cognition, and language processing. (shrink)