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 (...) class='Hi'>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)

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)

This paper examines the availability and adequacy of schools’ infrastructural facilities for implementation of the Universal Basic Education program in Nigeria. Adopting the ex post facto design, the researchers used existing school data on physical facilities, including a survey of key stakeholders in the education sector. Data analysed revealed inadequacy of physical facilities for effective implementation of the UBE program. It was accordingly recommended that government at the national, state and local levels show better commitment to (...) the implementation of the Universal Basic Education program. (shrink)

This paper acknowledges the paucity of attention regarding the development of ethics programs within an academic environment and describes in a case study how the Duquesne University schools of business attempted to introduce, integrate and promote its own ethics program. The paper traces the business school’s attention to mission statements, curriculum development, ethics policy, program oversight and outcome assessment. Lessons learned are offered as suggestions for others seeking to develop and implement an ethics program in their school.

Another theme of the book is compilation techniques to boost performance. The field of static analysis for logic programs is a rapidly developing field that deserves a volume on its own. Implementations of Logic Programming Systems serves as an excellent reference and may be used as a text for a course on the subject.

The opioid epidemic demands the development, implementation, and evaluation of innovative, research-informed practices such as diversion programs. Aritürk et al. have articulated important bioethical considerations for implementing diversion programs in resource-constrained service environments. In this commentary, we expand and advance Aritürk et al.’s discussion by discussing existing resources that can be utilized to implement diversion programs that prevent or otherwise minimize the issues of autonomy, non-maleficence, beneficence, and justice identified by Aritürk et al.

Background: In recent decades, the amount of research on social and emotional learning programs in schools has increased significantly, showing a great number of positive student outcomes, including greater ability to perceive, understand and manage emotions, better attitudes about self and others, less aggressive and/or disruptive behavior, higher levels of psychological well-being and improvement in academic performance among others. The purpose of this research was the design and implementation of the OKAPI emotional education program. A multidimensional program (...) based on cooperative learning methodology. Methods: 86 students of Primary Education, from 3rd to 5th grade (45 students in the experimental unit and 41 in the control group). Results: The implementation of the OKAPI has a positive impact in academic achievement. Conclusion: This program shows the convenience of incorporating programs that can be integrated into the school life and can be applied by the teaching staff using both social emotional learning and school climate approaches. (shrink)

PurposeThe purpose of this study is to describe the implementation and outcomes of an Eye Movement and Desensitization Reprocessing treatment-program for women with posttraumatic stress disorder after childbirth.MethodsA prospective cohort-study with pre- and post-measurements was carried out in the setting of an academic hospital in the Netherland. Included were women who gave birth to a living child at least 4 weeks ago, with a diagnosis of PTSD, or severe symptoms of PTSD combined with another psychiatric diagnosis. All received (...) up to 8 sessions of EMDR-therapy. The posttraumatic stress disorder Checklist for DSM-5 was administered before and after treatment. Trauma history was assessed before treatment with the Life Events Checklist for the DSM-5, the Childhood Trauma Questionnaire and the Childbirth Perception Scale. Descriptive statistics were used.ResultsForty-four women were referred, 26 met the inclusion criteria. After treatment, none of the women met the criteria for diagnosis of PTSD after on average 5 weekly sessions of EMDR- therapy. These outcomes are promising, as they were achieved in women with relatively high levels of psychiatric comorbidity and high rates of previous mental health treatment.ConclusionImplementing an EMDR-treatment program for women with PTSD after childbirth in the setting of an academic hospital is feasible and effective. Key factors for success include a close collaboration between the relevant hospital departments and a thorough case conceptualization addressing the etiology of the PTSD. (shrink)

Graduate nursing students should have a strong ethical theoretical foundation to identify and explore scientific and technological ethical issues impacting nursing care, to assume leadership positions in practice and education, and to conduct research contributing to nursing’s knowledge base. This paper reports the implementation and evaluation of a new ethics course at Turkish doctoral nursing programs. The first section describes course design and implementation. The second section evaluates the course and discusses results. Students’ evaluations indicated that the concept (...) of caring in key ethical theories, particularly care ethics, was vital to course content. The most preferred teaching method was case analysis. Students suggested increase in course length and credits, content inclusion of feminist ethics, and real-world knowledge application by other teaching strategies such as clinical practice visits and hospital ethics committee member participation. (shrink)

Inequities in HIV pre-exposure prophylaxis (PrEP) use persist in the United States. Although scientific advancement in delivery options and social acceptance of PrEP has occurred in the past decade, gaps remain in ensuring that this sexual health program is available to all. Components of what a national PrEP program for all would look like are discussed.

La formación profesional tiene un carácter contextualizado que responde a las exigencias que la época, la sociedad y el país reclaman a las universidades. La Estomatología en Cuba no se encuentra al margen de estos preceptos por lo que desarrolla un plan de estudio que acentúa la flexibilidad para realizar modificaciones necesarias y pertinentes. El estudiante al culminar la carrera debe brindar una atención estomatológica integral donde las anomalías dentomaxilofaciales constituyen la tercera línea de trabajo. Estas ocasionan afectaciones estéticas que (...) repercuten en la autoestima y adaptación social de niños y adolescentes por lo que se necesita de una orientación sicoeducativa, acción para la cual el profesional deberá estar preparado. A partir de las insuficiencias detectadas en el proceso formativo del estomatólogo, el objetivo del presente trabajo es proponer un curso propio sobre la temática para favorecer la graduación de un profesional capaz de resolver los problemas que afectan el complejo estomatognático con un enfoque biosicosocial. Los métodos empleados fueron el histórico-lógico y análisis-síntesis. Professional training has a contextualized nature which reflects the demands that the time, society and the country require from universities. In Cuba, Stomatology is not out of these precepts and therefore it carries out a syllabus that emphasizes flexibility to make necessary and appropriate changes. When students graduate, they must provide a complete stomatological care where dental maxillofacial anomalies are the third line of work. They cause aesthetic harm that affects children and teenagers' self-esteem and social adaptation which makes psych educational guidance necessary; a situation professional must be prepared for. Starting from the weak points discovered in the training process of stomatologists, a crash course in the subject is suggested in order to favor the graduation of professionals who are able to solve problems that affect the stomatognatic complex with a biopsychosocial approach, through the use of required methods, techniques and procedures. (shrink)

Although there are differences among critical thinking (hereafter CT) theorists about aspects of critical thinking, there is consensus about its importance in education. Several Saudi scholars argue that there is a lack of CT among Saudi students at high school which is attributed to the lack of teacher knowledge and practice of CT. This qualitative case study based on Paul’s theoretical framework (1992) investigates the implementation of CT at two secondary preservice teacher education programs in Saudi Arabia. The results (...) reveal that none of the lecturers taught CT, either explicitly or implicitly. While they all acknowledged the importance of CT, most maintained that they have never been instructed, advised or encouraged to teach CT. This study aims to build on the CT literature and address the gap in this literature in the Saudi context. (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)

Communication strategies to shape public opinion can be applied to the philosophical program of conceptual engineering. I propose to look for answers to the implementation challenge for conceptual engineering on similar challenges that arise in other contexts, such as that of social movements. I claim that conceptual engineering is successfully practiced in other areas with direct consequences on the political landscape, and that we can apply to philosophy what we might learn from those successful practices. With that end (...) in mind, I explain the psychological approach to conceptual engineering. I present what has been called “the implementation challenge”, which is the problem that emerges from the possibility of control over the content of our concepts. The challenge consists in that if there is not such a control, conceptual engineering is not implementable. Then, I review some of the reactions that have been given to that challenge, and I defend the feasibility of conceptual engineering appealing to the collective action frames that social movements endorse as an instance of a successful kind of conceptual engineering and derive some strategies that might be of use for conceptual engineering in philosophy. Finally, I reply to some anticipated objections to my proposal. (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)

This article draws on an empirical investigation of how Australia’s cervical screening program came to be the way it is. The study was carried out using grounded theory methodology and primarily uses interviews with experts involved in establishing, updating or administering the program. We found strong differences in experts’ normative evaluations of the program and beliefs about optimal ways of achieving the same basic outcome: a reduction in morbidity and mortality caused by invasive cervical cancer. Our analysis (...) demonstrates how variations in values and preferences associated with key concepts underpinning public health such as benefit, harm and burden led to different perspectives on the purpose of an organized cervical screening program. These variations were largely driven by different bases of professional experience. Differently conceived purposes in turn led to conflict over how the program should be operationalized. Following Frith’s model of empirical bioethics, the results of the study both draw on and inform the existing public health and screening ethics literature. (shrink)

Faculty members in science, technology, engineering, and mathematics disciplines are typically expected to pursue grant funding and publish to support their research or teaching agendas. Providing effective professional development programs on grant preparation and management and on research publications is crucial. This study shares the design and implementation of such a program for Native STEM faculty from two tribal colleges and one public, non-tribal, Ph.D. granting institution during a 3-year period. The overall development and implementation of the (...) program is centered on the six R’s Indigenous framework – Respect, Relationship, Representation, Relevance, Responsibility, and Reciprocity. The role of NAF-STEM and their interactions with the program, as members of the community formed by their participation, impacted the program. Their practices and the program co-emerged over time, each providing structure and meaning for the other. Through such reciprocity, NAF-STEM and the program research team continually refined the program through their mutual engagement. They took on the shared responsibility of the program while they participated in and shaped its practices. The process and results of formative and summative assessment and the impact of COVID-19 on the program are reported. Results of the program offer lessons on the implementation of six R’s framework in professional development at institutions of higher education. (shrink)

Positive Psychology has turned its attention to the study of emotions in a scientific and rigorous way. Particularly, to how emotions influence people’s health, performance, or their overall life satisfaction. Within this trend, Flow theory has established a theoretical framework that helps to promote the Flow experience. Flow state, or optimal experience, is a mental state of high concentration and enjoyment that, due to its characteristics, has been considered desirable for the development of the performing activity of performing musicians. Musicians (...) are a population prone to health problems, both psychological and physical, owing to different stressors of their training and professional activity. One of the most common problems is Musical Performance Anxiety. In this investigation, an electronic intervention program was carried out for the development of psychological self-regulation skills whose main objective was to trigger the Flow response in performing musicians and the coping mechanism for Musical Performance Anxiety. A quasi-experimental design was used with a control group in which pre- and post-measures of Flow State, Musical Performance Anxiety and, also, Social Skills were taken. Sixty-two performing musicians from different music colleges in Spain participated in the program. Results indicated that the intervention significantly improved Flow State, and Sense of Control, and decreased Music Performance Anxiety, and self-consciousness of the participants in the EG but not CG. The changes in the EG after the program showed the inverse relationship between Flow and Anxiety. Two important theoretical factors of both variables, such as worry and the feeling of lack of control, could be involved. The results are under discussion and future lines of research are proposed. (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)

Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, this would present serious difficulties for computationalist analyses of consciousness (or, indeed, of any domain with properties that supervene on actual activity). I argue that the computationalist can avoid the Superfluous Structure Problem (SSP) by moving to a dispositional theory of implementation. On a dispositional theory, the activity of computation depends entirely on changes in the intrinsic properties (...) of implementing material. As extraneous structure is not required for computation, a system can implement a program running on some but not all possible inputs. Dispositional computationalism thus permits episodes of computational activity that correspond to potential episodes of conscious awareness. The SSP cannot be motivated against this account, and so computationalism may be preserved. (shrink)

Imam Hatip schools (religious vocational schools) in Turkey have been taught teaching Arabic for many years. However, the objectives of learning Arabic have not yet been realized. The Education Council of the Ministry of Education prepares educational plans and programs for Arabic lessons in order to increase the quality of Arabic language teaching, the first of these programs was in 1973. This research is a field study carried out in 2016 on how to implement the educational programs prepared in 2011 (...) for Arabic lessons in Imam Hatip schools, and the problems facing the teacher in practical reality. The scope of the research is limited to Tekirdağ Anadolu Religious High School for boys, Süleymanpaşa Anadolu Religious High School for girls, Süleymanpaşa Religious Secondary school, and the teachers working in these schools. The research was based on the views of those educators as to how the educational programmes for Arabic lessons and the problems they faced during their exercise were implemented. The research was formulated through interviews with teachers. The results of the research according to the data received from the teachers were processed in the statistical program SPSS and then converted to frequency values and percentage values. These values were presented in tabular form. As a result of the findings, it was seen that most of the teachers did not read the Arabic lesson teaching program they were practicing, and they were unaware of the program’s vision, approach and goals; and they did not understand the program’s approach, vision, and objectives. Moreover, it was understood that the minds of the teachers were not clear about whether the Arabic language was a foreign language lesson or a religious vocational lesson, that the teaching practices and behaviors of teachers are incompatible with the educational program and they also had one view that the goals of the Arab lesson were largely unfulfilled. After the main results have been revealed and discussed, finally, following the disputed results, some suggestions were made to increase the quality of teaching Arabic such as making Arabic an effective, active and influential element in the lives of students and teachers through various awards and scholarships and the examination of Arabic as a foreign language in the university entrance examinations as an element of motivation and quality. In addition, in order to improve the quality of the Arabic teacher, we have made the Arabic exams as periodic, an increase in salaries according to the teachers’ receivables score, the continuation of in-service trainings, etc. (shrink)

Background Clinical moral case deliberation consists of the systematic reflection on a concrete moral case␣by health care professionals. This paper presents the study of a 4-year moral deliberation project.Objectives The objectives of this paper are to: (a) describe the practice and the theoretical background of moral deliberation, (b) describe the moral deliberation project, (c) present the outcomes of␣the evaluation of the moral case deliberation sessions, and (d) present the implementation process.Methods The implementation process is both monitored and supported (...) by an interactive responsive evaluation design with: (a) in-depth interviews, (b) Maastricht evaluation questionnaires, (c) evaluation survey, and (d) ethnographic participant observation. In accordance with the theory of responsive evaluation, researchers acted both as evaluators and moderators (i.e. ethicists).Results Both qualitative and quantitative results showed that the moral case deliberations, the role of the ethics facilitator, and the train-the-facilitator program were regarded as useful and were evaluated as (very) positive. Health care professionals reported that they improved their moral competencies (i.e. knowledge, attitude and skills). However, the new trained facilitators lacked a clear organisational structure and felt overburdened with the implementation process. The paper ends with both practical and research suggestions for future moral deliberation projects. (shrink)

The need to integrate ethics into professional life, from the grassroots up, has been recognized, and a comprehensive ethics program has been proposed as a model. The model includes the four dimensions of: consensus building, ethics guidelines development and review, education, and implementation. The activities of the International Society for Environmental Epidemiology (ISEE) are presented as examples and compared with the proposed model. Several innovative activities are described and incentives for ethical professional conduct are highlighted. The examples are (...) provided for emulation by other professional organizations in the hope that, thereby, greater protection of the public interest will be achieved. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

Most models of computer programming explain the programmer's behaviour by a single design strategy. This article presents a cognitive architecture that uses cue‐based search to model multiple design strategies including procedural, functional, means‐end or focal, and opportunistic design. The model has been implemented in an artificial intelligence (AI) system that generates Pascal programs from English specifications.Knowledge is represented as nodes that reside in internal or external memory, where a node encodes an action that may range from a line of code (...) to a routine in size. A program is built by linking nodes through a search cue of the form. The cue is broadcast to memory, and any matching node is returned; the cue provides a question to ask, and the return provides the answer. A cue on the newly linked node is then selected as a new focus, and the search process repeated. Each design strategy defines a specific node visiting order that traverses the program structure through its links. (shrink)

This paper focuses on the _ethics of how_ to approach the introduction of MAiD as an organizational ethics challenge, a focus that diverges from the traditional focus in healthcare ethics on the _ethics of why_ MAiD is right or wrong. It describes a method co-designed and implemented by ethics and medical leadership at a tertiary hospital to develop a values-based, grassroots response to the decriminalization of assisted dying in Canada. This organizational ethics engagement method embodied core tenants that drew inspiration (...) from a variety of sources, including poetic ones. These tenants are: make the problem bigger; focus on values; cultivate open moral spaces; and trust emergence. The paper describes how these tenants were put into practice in order to create a rigorous and sustainable MAiD program that delivers high-quality care to patients and families while honoring the moral diversity of the hospital workforce. One of the goals in sharing this method is to provide a roadmap for healthcare organizations in Canada and other jurisdictions around the world that are facing the challenge of responding to patient requests for MAiD following the decriminalization of this care option. (shrink)

Background Despite recent developments aimed at creating international guidelines for ethical global health research, critical disconnections remain between how global health research is conducted in the field and the institutional ethics frameworks intended to guide research practice. Discussion In this paper we attempt to map out the ethical tensions likely to arise in global health fieldwork as researchers negotiate the challenges of balancing ethics committees’ rules and bureaucracies with actual fieldwork processes in local contexts. Drawing from our research experiences with (...) an implementation and evaluation project in Jamaica, we argue that ethical research is produced through negotiated spaces and reflexivity practices that are centred on relationships between researchers and study participants and which critically examine issues of positionality and power that emerge at multiple levels. In doing so, we position ethical research practice in global health as a dialectical movement between the spoken and unspoken, or, more generally, between operationalized rules and the embodied relational understanding of persons. Summary Global health research ethics should be premised not upon passive accordance with existing guidelines on ethical conduct, but on tactile modes of knowing that rely upon being engaged with, and responsive to, research participants. Rather than focusing on the operationalization of ethical practice through forms and procedures, it is crucial that researchers recognize that each ethical dilemma encountered during fieldwork is unique and rooted in social contexts, interpersonal relationships, and personal narratives. (shrink)

How to write a program in Haskell, and how to use the Haskell testing tools . . . QuickCheck is a tool written in the functional programming language Haskell that allows testing of specifications by means of randomly generated tests. QuickCheck is part of the standard Haskell library. Re-implementations of QuickCheck exist for many languages, including Ruby and Scheme. SmallCheck is a similar tool, different from QuickCheck in that it tests properties for all finitely many values of a datatype (...) up to some given depth, with progressive increase of depth. Haskell is a research language: many of the testing tools that were first developed for Haskell later find their way to other languages. These slides discuss QuickCheck (two versions), SmallCheck, and some work in progress. We end with some examples of Alloy specifications. (shrink)

Autonomous vehicles —and accidents they are involved in—attest to the urgent need to consider the ethics of artificial intelligence. The question dominating the discussion so far has been whether we want AVs to behave in a ‘selfish’ or utilitarian manner. Rather than considering modeling self-driving cars on a single moral system like utilitarianism, one possible way to approach programming for AI would be to reflect recent work in neuroethics. The agent–deed–consequence model :3–20, 2014a, Behav Brain Sci 37:487–488, 2014b) provides a (...) promising descriptive and normative account while also lending itself well to implementation in AI. The ADC model explains moral judgments by breaking them down into positive or negative intuitive evaluations of the agent, deed, and consequence in any given situation. These intuitive evaluations combine to produce a positive or negative judgment of moral acceptability. For example, the overall judgment of moral acceptability in a situation in which someone committed a deed that is judged as negative would be mitigated if the agent had good intentions and the action had a good consequence. This explains the considerable flexibility and stability of human moral judgment that has yet to be replicated in AI. This paper examines the advantages and disadvantages of implementing the ADC model and how the model could inform future work on ethics of AI in general. (shrink)

This article generalises the refined A-translation method for extracting programs from classical proofs [U. Berger,W. Buchholz, H. Schwichtenberg, Refined program extraction from classical proofs, Annals of Pure and Applied Logic 114 3–25] to the scenario where additional assumptions such as choice principles are involved. In the case of choice principles, this is done by adding computational content to the ‘translated’ assumptions, an idea which goes back to [S. Berardi, M. Bezem, T. Coquand, On the computational content of the axiom (...) of choice, JSL 63 600–622] and has been further elaborated in [U. Berger, P. Oliva, Modified bar recursion and classical dependent choice, in: M. Baaz, S.D. Friedman, J. Kraijcek , Logic Colloquium ’01, in: Lecture Notes in Logic, vol. 20, Springer, Berlin, 2005, pp. 89–107]. We further investigate the applicability of this extension by means of a small but non-trivial example, and discuss the formalisation as well as some optimisations necessary in order to extract terminating programs. Both formalisation and term extraction have been implemented in the interactive proof assistant Minlog. (shrink)

As a result of these restrictions, an implementation of L [subscript lambda] does not need to implement full higher-order unification. Instead, an extension to first-order unification that respects bound variable names and scopes is all that is required. Such unification problems are shown to be decidable and to possess most general unifiers when unifiers exist. A unification algorithm and logic programming interpreter are described and proved correct. Several examples of using L[subscript lambda] as a meta-programming language are presented.

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.

Implementation of Solar Thermal Technology describes the successes and failures of the commercialization efforts of the U.S. solar thermal energy program, from the oil embargo of 1973 through the demise of the program in the early Reagan administration and its afterlife since then. The emphasis throughout is on lessons learned from the solar experience, with an eye toward applications to other projects as well as toward possible renewal of efforts at commercialization. Part I discusses the history of (...) government involvement in solar development and the parallel development of the market for solar products. Part II looks at the histories of specific commercialization programs for five areas. Parts III-VIII focus in turn on demonstration and construction projects, quality assurance, information dissemination programs, efforts to transfer technology to industry, incentive programs, and organizational support. Solar Heat Technologies: Fundamentals and Applications, Volume 10. (shrink)

Forming implementation intentions has been consistently shown to be a powerful self-regulatory strategy. As the self-regulation of thoughts is important for the experience of involuntariness in the hypnotic context, investigating the effectiveness of implementation intentions on the suppression of thoughts was the focus of the present study. Participants were randomly assigned to one of four conditions . Results showed that participants who received information included in the “Carleton Skill Training Program” and in addition formed implementation intentions (...) improved their hypnotic responsiveness as compared to all of the other three groups on measures of objective responding and involuntary responding. Thus, in line with the nonstate or cognitive social–psychological view of hypnosis stating that an individual’s hypnotic suggestibility is not dispositional but modifiable, our results suggest that hypnotic responsiveness can be heightened by furnishing hypnotic instructions with ad hoc implementation intentions. (shrink)