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)

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)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had (...) many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (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.

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)

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)

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.

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)

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)

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)

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)

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)

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)

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.

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)

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)

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

Our program is ambitious, as is any attempt to match life (in our case real science) with virtue (e.g., exactness). We want our semantics to be not only simia mathematicae but also ancilla scientiae: built more geometrico and at the same time relevant, nay useful, to live science. The goal of exactness may sound arrogant but is actually modest, for the more we rigorize the more we are forced to leave out of consideration, at least for the time being. (...) As to the service intention: we should try to be of some help to science because the latter faces semantic problems but has no tools of its own for solving them. If it had such tools scientists would not engage in spirited polemics over matters of sense and reference, as they often do. Witness the debates on whether the relativistic and quantum theories are concerned with sentient observers, whether population genetics refers to populations taken as wholes, whether psychology is actually concerned with the brain, and whether the sense of a theory is excreted by its mathematical formalism or is determined by the way the theory is tested.A semantics of science should help settle these and similar issues. Moreover it should give sound advice as to how to formulate scientific theories so as to avoid such imprecisions and ambiguities as may give rise to debates of the kind. Constructing such a semantics, both exact and relevant to science, should be more rewarding than either manufacturing neat but irrelevant theories or pursuing erratic polemics on meaning and meaning changes. Research supported by a Killam grant awarded by the Canada Council. (shrink)

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)

The paper presents a refined method of extracting reasonable and sometimes unexpected programs from classical proofs of formulas of the form ∀x∃yB . We also generalize previously known results, since B no longer needs to be quantifier-free, but only has to belong to a strictly larger class of so-called “goal formulas”. Furthermore we allow unproven lemmas D in the proof of ∀x∃yB , where D is a so-called “definite” formula.

ABSTRACT:We analyze corporate ethics programs as control systems, arguing that how control is exercised may have pernicious consequences and be morally problematic. In particular, the control cultivated by ethics programs may weaken employees’ ability and motivation to exercise their own moral judgment, especially in novel situations. We develop this argument first by examining how organization theorists analyze control as an instrument of management coordination, and by addressing the political implications of control. We discuss coercive and enabling control as variations that (...) help account for the distinction between compliance-based ethics programs and values-based ethics programs. We then explore three potential drawbacks of ethics programs: the specter of indoctrination, a politicization of ethics, and an atrophy of competence. Ethics programs that rely on coercive control may undermine their own effectiveness at stemming misbehavior. (shrink)

In the article, philosophical and methodological analysis of the program of Hilbert’s formalism as a really working direction for consideration of the bases of modern mathematics is presented. For the professional mathematicians methodological advantages of the program of formalism advanced by David Hilbert, consist primarily in the fact that the highest possible level of theoretical rigor of modern mathematical theories was practically represented there. To resolve the fundamental difficulties of the problem of bases of mathematics, according to Hilbert, (...) the theory of mathematical proof is needed, but contrary to popular belief rigorous formalization of the proof is not a synonym of reliability and rigor of mathematical reasoning from the point of view of the philosophy of the foundations of mathematics. In fact, the consistency of the theories is "more important" than their logical consistency because not every statement, which does not contradict to the reasonable ones, can be attributed to a true statement. However, for working mathematicians, Hilbert is logical and consistent and the axiomatic method and formalism are an essential part of their rules of thinking. (shrink)

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems", particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.

University program dropout is a problem that has important consequences not only for the student that leaves but also for the institution in which the withdrawal occurs. Therefore, higher education institutions must study the problem in greater depth to establish appropriate prevention measures in the future. However, most research papers currently focus primarily on the characteristics of students who leave university, rather than on those who choose to pursue alternative courses of study and therefore fail to take into account (...) the different kinds of abandonment. The aim of this paper is to identify the different types of dropout to define their characteristics and propose some recommendations. Thus, an ex post facto study was carried out on a sample of 1311 freshmen from a university in the north of Spain using data gathered using an ad-hoc designed questionnaire, applied by telephone or an online survey, and completed with data available in the university data warehouse. A descriptive analysis was performed to characterize the sample and identify five different groups, including 1. Students persisting in their initiated degree 2. Students who change of program (within the same university) 3. Students transferring to a different university 4. Students enrolling in non-higher-education studies 5. Students that quit studying. Also, data mining techniques (decision trees) were applied to classify the cases and generate predictive models to aid in the design of differentiated intervention strategies for each of the corresponding groups. (shrink)

Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of (...) logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. (shrink)

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic Programming is included in the Logic Programming series Research (...) Reports and Notes, edited by Ehud Shapiro. (shrink)

After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program (...) is a wrenching metamorphosis that changes a mathematical abstraction into a prescription for concrete actions to be taken by real computers. Therefore, it is verification of program executions (processes) that is needed, not of program texts that are merely the scripts for those processes. In this view, verification is the empirical investigation of: (a) the behavior that programs invoke in a computer system and (b) the larger context in which that behavior occurs. Here, deduction can play no more, and no less, a role than it does in the empirical sciences. (shrink)

The article presents the reasons for which the issue of providing housing to low-income citizens has been a real challenge in Addis Ababa during the recent years and will continue to be, given that its population is growing extremely fast. It examines the tensions between the universal aspirations and the local realities in the case of some of Ethiopia’s most ambitious mass pro-poor housing schemes, such as the “Addis Ababa Grand Housing Program” (AAGHP), which was launched in 2004 and (...) was integrated in the “Integrated Housing Development Program” (IHDP) in 2006. The article argues that the quotidian practices of communities and their socio-economic and cultural characteristics are related to the spatial attributes of co-housing practices. Drawing upon the idea that there is a mutual correspondence between social and spatial structures, it places particular emphasis on the analysis of the IHDP and aims to show that to shape strategies that take into account the social and cultural aspects of daily life of the poor citizens of Addis Ababa, it is pivotal to invite them to take part in the decision-making processes regarding their resettlement. Departing from the fact that a large percentage of the housing supply in Addis Ababa consists of informal unplanned housing, the article also compares the commoning practices in kebele houses and condominium units. The former refers to the legal informal housing units owned by the government and rented to their dwellers, whereas the latter concerns the housing blocks built in the framework of the IHDP for the resettlement of the kebele dwellers. The article analyzes these processes of resettlement, shedding light of the fact that kebele houses were located at the inner city, whereas the condominiums are located in the suburbs. Despite the fact that the living conditions in the condominium units are of a much higher quality than those in the kebele houses, their design underestimated or even neglected the role of the commoning practices. The article highlights the advantages of commoning practices in architecture and urban planning, and how the implementation of participation-oriented solutions can respond to the difficulties of providing housing. It argues that understanding the significance of the endeavors that take into account the opinions of dwellers during the phase of decision-making goes hand in hand with considering commoning practices as a source of architecture and urban planning frameworks for low-cost housing in this specific context. The key argument of the article is that urban planning and architecture solutions in Addis Ababa should be based on the principles of the so-called “negotiated planning” approach, which implies a close analysis of the interconnections between planning, infrastructure, and land. (shrink)

Deep Brain Stimulation (DBS) is an effective treatment for advanced Parkinson’s disease. However, identifying stimulation parameters, such as contact and current amplitudes, is time-consuming based on trial and error. Directional leads add more stimulation options and render this process more challenging with a higher workload for neurologists and more discomfort for patients. In this study, a sweet spot-guided algorithm was developed that automatically suggested stimulation parameters. These suggestions were retrospectively compared to clinical monopolar reviews. A cohort of 24 Parkinson’s disease (...) patients underwent bilateral DBS implantation in the subthalamic nucleus at our center. First, the DBS’ leads were reconstructed with the open-source toolbox Lead-DBS. Second, a sweet spot for rigidity reduction was set as the desired stimulation target for programming. This sweet spot and estimations of the volume of tissue activated were used to suggest (i) the best lead level, (ii) the best contact, and (iii) the effect thresholds for full therapeutic effect for each contact. To assess these sweet spot-guided suggestions, the clinical monopolar reviews were considered as ground truth. In addition, the sweet spot-guided suggestions for best lead level and best contact were compared against reconstruction-guided suggestions, which considered the lead location with respect to the subthalamic nucleus. Finally, a graphical user interface was developed as an add-on to Lead-DBS and is publicly available. With the interface, suggestions for all contacts of a lead can be generated in a few seconds. The accuracy for suggesting the best out of four lead levels was 56%. These sweet spot-guided suggestions were not significantly better than reconstruction-guided suggestions (p = 0.3). The accuracy for suggesting the best out of eight contacts was 41%. These sweet spot-guided suggestions were significantly better than reconstruction-guided suggestions (p < 0.001). The sweet spot-guided suggestions of each contact’s effect threshold had a mean error of 1.2 mA. On an individual lead level, the suggestions can vary more with mean errors ranging from 0.3 to 4.8 mA. Further analysis is warranted to improve the sweet spot-guided suggestions and to account for more symptoms and stimulation-induced side effects. (shrink)