This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the (...) fields of theoretical and experimental computer science as well as the many relevant application areas. (shrink)

Information management systems improve the retention of information in large collections. As such they act as memory prostheses, implying an ideal basis in human memory models. Since humans process information by association, and situate it in the context of space and time, systems should maximize their effectiveness by mimicking these functions. Since human attentional capacity is limited, systems should scaffold cognitive efforts in a comprehensible manner. We propose the Principles of Mnemonic Associative Knowledge (P-MAK), which describes a framework for semantically (...) identifying, organizing, and retrieving information, and for encoding episodic events by time and stimuli. Inspired by prominent human memory models, we propose associative networks as a preferred representation. Networks are ideal for their parsimony, flexibility, and ease of inspection. Networks also possess topological properties—such as clusters, hubs, and the small world—that aid analysis and navigation in an information space. Our cognitive perspective addresses fundamental problems faced by information management systems, in particular the retrieval of related items and the representation of context. We present evidence from neuroscience and memory research in support of this approach, and discuss the implications of systems design within the constraints of P-MAK’s principles, using text documents as an illustrative semantic domain. (shrink)

A volunteer effort by Artificial Intelligence researchers has shown it can deliver significant research outcomes rapidly to help tackle COVID-19. Within two months, CLAIRE’s self-organising volunteers delivered the World’s first comprehensive curated repository of COVID-19-related datasets useful for drug-repurposing, drafted review papers on the role CT/x-ray scan analysis and robotics could play, and progressed research in other areas. Given the pace required and nature of voluntary efforts, the teams faced a number of challenges. These offer insights in how better to (...) prepare for future volunteer scientific efforts and large scale, data-dependent AI collaborations in general. We offer seven recommendations on how to best leverage such efforts and collaborations in the context of managing future crises. (shrink)

We report the identification of a recurrent, 520-kb 16p12.1 microdeletion associated with childhood developmental delay. The microdeletion was detected in 20 of 11,873 cases compared with 2 of 8,540 controls and replicated in a second series of 22 of 9,254 cases compared with 6 of 6,299 controls. Most deletions were inherited, with carrier parents likely to manifest neuropsychiatric phenotypes compared to non-carrier parents. Probands were more likely to carry an additional large copy-number variant when compared to matched controls. The clinical (...) features of individuals with two mutations were distinct from and/or more severe than those of individuals carrying only the co-occurring mutation. Our data support a two-hit model in which the 16p12.1 microdeletion both predisposes to neuropsychiatric phenotypes as a single event and exacerbates neurodevelopmental phenotypes in association with other large deletions or duplications. Analysis of other microdeletions with variable expressivity indicates that this two-hit model might be more generally applicable to neuropsychiatric disease. © 2010 Nature America, Inc. All rights reserved. (shrink)

In this paper, I will give a presentation of Bradley's two main arguments against the reality of relations. Whereas one of his arguments is highly specific to Bradley's metaphysical background, his famous regress argument seems to pose a serious threat not only for ontological pluralism, but especially for states of affairs as an ontological category. Amongst the proponents of states-of-affairs ontologies two groups can be distinguished: One group holds states of affairs to be complexes consisting of their particular and universal (...) constituents alone, the other holds that there has to be a "unifying relation" of some sort to establish the unity of a given state of affairs. Bradley's regress is often conceived to be a compelling argument against the first and for the latter. I will argue that the latter approaches have no real advantage over the simpler theories—neither in the light of Bradley's regress nor in other respects. (shrink)

Summary While historians have dealt with the origins of the concept of drug receptors in the work of Paul Ehrlich (1854–1915) and John N. Langley (1852–1925) as well as with some of its applications in modern pharmaceutical research, the history of the receptor theory as such has been neglected. Discussing major developments and conceptual changes in receptor theory between about 1910 and 1960 (including relevant contributions by A. V. Hill, A. J. Clark, J. H. Gaddum, E. J. Ariëns and others), (...) this paper attempts to fill this gap in historiography. It provides a case study of the unfolding of research under a new paradigm, but it considers also contemporary criticism and scepticism. By the early 1960s, quantitative investigations of drug action and interpretations of the experimental findings in terms of the receptor concept had become constitutive of the emerging field of ‘molecular pharmacology’. Even then, however, receptors were still hypothetical entities. (shrink)

This supplement serves a double purpose. It presents, on the one hand, a selection of papers devoted to the title question “How much philosophy in the philosophy of science?”. On the other hand, it signalizes the newly established cooperation between the German Society for the Philosophy of Science and the Journal for General Philosophy of Science .The GWP was founded in Hannover in 2011 and had its inaugural conference in March 2013 [for a report on the “GWP.2013” by H. Lyre (...) see EPSA Newsletter 2 2013]. The society was launched for several reasons. Albeit the German community of philosophers of science is quite large , it is at the same time a rather distributed and dispersed community. This has to do with the university landscape in Germany, which is dispersed rather t .. (shrink)

Inhalt: TEIL I Dominik SCHMIDIG: Sprachliche Vermittlung philosophischer Einsichten nach Fichtes Frühphilosophie. Thomas Sören HOFFMANN: Die Grundlage der gesamten Wissenschaftslehre und das Problem der Sprache bei Fichte. Jere Paul SURBER: Fichtes Sprachphilosophie und der Begriff einer Wissenschaftslehre. Holger JERGIUS: Fichtes »geometrische« Semantik. TEIL II Günter MECKENSTOCK: Beobachtungen zur Methodik in Fichtes Grundlage der gesammten Wissenschaftslehre. Hartmut TRAUB: Wege zur Wahrheit. Zur Bedeutung von Fichtes wissenschaftlich- und populär-philosophischer Methode. Jürgen STAHL: System und Methode - Zur methodologischen Begründung transzendentalen Philosophierens in (...) Fichtes »Begriffsschrift«. Kunihiko NAGASAWA: Eine neue Möglichkeit der Philosophie nach der Grundlage der gesammten Wissenschaftslehre. Teil III Katsuaki OKADA: Der erste Grundsatz und die Bildlehre. Hisang RYUE: Die Differenz zwischen »Ich bin« und «Ich bin Ich«. Christian KLOTZ: Der Ichbegriff in Fichtes Erörterung der Substantialität. Alois K. SOLLER: Fichtes Lehre vom Anstoß. Nicht-Ich und Ding an sich in der Grundlage der gesamten Wissenschaftslehre. Eine kritische Erörterung. Heinz EIDAM: Fichtes Anstoß. Anmerkungen zu einem Begriff der Wissenschaftslehre von 1794. Virginia LÓPEZ-DOMÍNGUEZ: Die Deduktion des Gefühls in der Grundlage der gesammten Wissenschaftslehre. Reinhard LOOCK: Gefühl und Realität. Fichtes Auseinandersetzung mit Jacobi in der Grundlage der Wissenschaft des Praktischen. TEIL IV Marek SIEMEK: Wissen und Tun. Zur Handlungsweise der transzendentalen Subjektivität in der ersten Wissenschaftslehre Fichtes. Daniel BREAZEALE: Der fragwürdige »Primat der praktischen Vernunft« in Fichtes Grundlage der gesamten Wissenschaftslehre. Marcin POREBA: Das Problem der transzendentalen Freiheit in semantischer Formulierung. Giuseppe DUSO: Absolutheit und Widerspruch in der Grundlage der gesamten Wissenschaftslehre. Manuel JIMÉNEZ-REDONDO: Der Begriff des Grundes in Fichtes Wissenschaftslehre. TEIL V Helmut GIRNDT: Das »Ich« des ersten Grundsatzes der Grundlage der gesamten Wissenschaftslehre in der Sicht der Wissenschaftslehre von 18042. Josef BEELER-PORT: Zum Stellenwert der Grundlage aus der Sicht von 1804. Eine Interpretation des Wechsels von analytisch-synthetischer und genetischer Methode in 5 der Grundlage. (shrink)

Platonic Patterns is a reprint collection of many of Holger Thesleff's studies in Plato—spanning from 1967 to 2003. It includes three books, four articles and a new introduction by the author, which sets the general outline of his interpretation of Plato. Whereas much of the scholarship on Plato has tended to operate within the frame of one language and/or a single school of thought, Thesleff constructively combines several discoveries and theories of various scholars with his own research, focusing on (...) how Plato can be understood in his own context. The work represents small but significant breakthroughs in research on Plato from an internationally inclusive standpoint. Having previously been published mainly in Finland by scholarly societies, availability outside the Nordic countries has, up until now, been minimal. Thesleff employs his singular expertise of Greek language and literature to make innovative contributions to the study and interpretation of Plato. He thematically stresses the significance of the less overt elements found in Plato's dialogues, such as Plato's use of humor and his linguistic expression, while taking into account the chronology and/or the intended audience. (shrink)

Drawing on recent work in developmental and comparative psychology, this paper argues that demonstratives function to coordinate the interlocutors' joint focus of attention, which is one of the most basic functions of human communication. The communicative importance of demonstratives is reflected in a number of properties that together characterize them as a particular word class: In contrast to other closed-class expressions, demonstratives are universal, they are generally so old that their roots cannot be traced back to other linguistic items, they (...) are among the earliest words that children learn, and they are closely tied to a particular gesture. Moreover, demonstratives play an important role in the organization of discourse and the diachronic evolution of grammar, which arguably is also motivated by their communicative function to establish joint attention. (shrink)

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

This is a study of the nature of time. In it, redeploying an argument first presented by McTaggart, the author argues that although time itself is real, tense is not. He accounts for the appearance of the reality of tense - our sense of the passage of time, and the fact that our experience occurs in the present - by showing how time is indispensable as a condition of action. Time itself is further analysed, and Dr Mellor gives answers to (...) most of the metaphysical questions it provokes, concerning the relation of time to space, the dissection of time, and its relation to change and causation. (shrink)

Epigenetic modifications, such as DNA methylation and post‐translation modifications of histones, have been shown to play an important role in chromatin structure, promoter activity, and cellular reprogramming. Large protein complexes, such as Polycomb and trithorax, often harbor multiple activities which affect histone tail modification. Nevertheless, the mechanisms underlying the deposition of these marks, their propagation during cell replication, and the alteration on their distribution during transformation still require further study. Here we review recent data on those processes in both normal (...) and cancer cells, and we propose that the unscheduled expression of oncogenic transcription factors causes reprogramming of normal cells into cancer stem cells. (shrink)

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

This research examines the ethical orientations of students (ethical idealism, ethical relativism and Machiavellianism) towards their attitude to plagiarize. It also examines the moderating effect of religious orientation on the relationship of the independent variables toward students’ attitude towards plagiarism. Data was collected from 160 business diploma and undergraduate students from a local private college and a local public university in Malaysia. Results from the hierarchical regression analysis showed that ethical relativism and Machiavellianism had a positive relationship with students’ attitude (...) towards plagiarism whilst ethical idealism was negatively related to students’ attitude towards plagiarism. Religious orientation was found to have no moderating effect on the relationship between the three independent variables: ethical idealism, ethical relativism and Machiavellianism and the dependent variable, students’ attitude towards plagiarism. (shrink)

"First published by Oxford University Press, 1916."--Title page verso.

Global Cumulative Treatment Analysis is a novel clinical research model combining expert knowledge, and treatment coordination based upon global information-gain, to treat every patient optimally while efficiently searching the vast space that is the realm of cancer research.

The European Commission has suggested that the use of joint audits should lead to improved auditor skepticism and—by extension—audit quality, through increased accountability. However, archival research does not find support for improved audit quality in a joint audit setting. To better understand the relationship between accountability in different review regimes and auditors’ judgments, we examine the behavioral effect of implementing a joint audit relative to other review regimes based on a 1 × 3 experimental design. Forty-seven senior auditors and partners (...) from a Big Four firm performed a going concern evaluation task under one of three review regimes: the joint audit, the internal review, and the no review regime. Notwithstanding the difference in the audiences to which auditors are accountable, there is no difference in the judgment process. In terms of their judgment outcome, however, auditors in the joint audit setting were the least skeptical in their judgment of the going concern assumption. Overall, we suggest that the joint audit may lead to unintended behavioral consequences. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

We aim to devise a Ramsey test analysis of actual causation. Our method is to define a strengthened Ramsey test for causal models. Unlike the accounts of Halpern and Pearl ([2005]) and Halpern ([2015]), the resulting analysis deals satisfactorily with both over- determination and conjunctive scenarios.

Most recent accounts of personal autonomy acknowledge that the social environment a person lives in, and the personal relationships she entertains, have some impact on her autonomy. Two kinds of conceptualizing social conditions are traditionally distinguished in this regard: Causally relational accounts hold that certain relationships and social environments play a causal role for the development and on-going exercise of autonomy. Constitutively relational accounts, by contrast, claim that autonomy is at least partly constituted by a person’s social environment or standing. (...) The central aim of this paper is to raise the question how causally and constitutively relational approaches relate to the fact that we exercise our autonomy over time. I argue that once the temporal scope of autonomy is opened up, we need not only to think differently about the social dimension of autonomy. We also need to reconsider the very distinction between causally and constitutively relational accounts, because it is itself a synchronic (and not a diachronic) distinction. (shrink)

Inference has long been a concern in epistemology, as an essential means by which we extend our knowledge and test our beliefs. Inference is also a key notion in influential psychological or philosophical accounts of mental capacities, from perception via utterance comprehension to problem-solving. Consciousness, on the other hand, has arguably been the defining interest of philosophy of mind over recent decades. Comparatively little attention, however, has been devoted to the significance of consciousness for the proper understanding of the nature (...) and role of inference. It is commonly suggested that inference may be either conscious or unconscious. Yet how unified are these various supposed instances of inference? Does either enjoy explanatory priority in relation to the other? In what ways or senses, can an inference be conscious, or fail to be conscious, and how does this matter? This book brings together original essays from established scholars and emerging theorists that illustrate how several current debates in epistemology, philosophy of psychology, and philosophy of mind can benefit from reflections on these and related questions about the significance of consciousness for inference. Contributors include: Kirk Ludwig and Wade Munroe; Michael Rescorla; Federico Bongiorno and Lisa Bortolotti; Berit Brogaard; Nicholas Allott; Jake Quilty-Dunn and Eric Mandelbaum; Corine Besson; Anders Nes; David Henderson, Terry Horgan, and Matjaž Potrč; Elijah Chudnoff; and Ram Neta. (shrink)

This paper offers a review of research on demonstratives from an interdisciplinary perspective. In particular, we consider the role of demonstratives in current research on language universals, language evolution, language acquisition, multimodal communication, signed language, language and perception, language in interaction, spatial imagery, and discourse processing. Traditionally, demonstratives are analyzed as a particular class of spatial deictics. Yet, a number of recent studies have argued that space is largely irrelevant to deixis and that demonstratives are primarily used for social and (...) interactive purposes. Synthesizing findings in the literature, we conclude that demonstratives are a very special class of linguistic items that are foundational to both spatial and social aspects of language and cognition. (shrink)