This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (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)

How to explain the existence of evil if being by its very nature is good? My paper examines an interesting and perhaps signifi cant parallel between two exponents of the metaphysical tradition usually thought to stand widely apart, Thomas Aquinas and Hegel. I argue that Hegel’s system shares certain features of Aquinas’ convertibility thesis, that upon closer inspection will yield a set of interesting refl ections not only about the problem of evil, but also about the limits and possibilities of (...) metaphysical method. I discuss Aquinas’ thesis of the convertibility of being and good and how it determines his treatment of evil. I then construct a Hegelian version of convertibility and argue that Hegel’s system fails for similar reasons to provide a satisfactory account of the problem of evil. This leads to my central question: should the inadequacy of traditional approaches to evil call for a reversal or abandonment of metaphysics, or invite a deeper refl ection about reality that would not subsume the world’s darkness under what Hans Blumenberg once called “metaphysics of light”? (shrink)

How to explain the existence of evil if being by its very nature is good? My paper examines an interesting and perhaps significant parallel between two exponents of the metaphysical tradition usually thought to stand widely apart, Thomas Aquinas and Hegel. I argue that Hegel's system shares certain features of Aquinas' convertibility thesis, that upon closer inspection will yield a set of interesting reflections not only about the problem of evil, but also about the limits and possibilities of metaphysical method. (...) I discuss Aquinas' thesis of the convertibility of being and good and how it determines his treatment of evil. I then construct a Hegelian version of convertibility and argue that Hegel's system fails for similar reasons to provide a satisfactory account of the problem of evil. This leads to my central question: should the inadequacy of traditional approaches to evil call for a reversal or abandonment of metaphysics, or invite a deeper reflection about reality that would not subsume the world's darkness under what Hans Blumenberg once called "metaphysics of light"? (shrink)

How to explain the existence of evil if being by its very nature is good? My paper examines an interesting and perhaps significant parallel between two exponents of the metaphysical tradition usually thought to stand widely apart, Thomas Aquinas and Hegel. I argue that Hegel's system shares certain features of Aquinas' convertibility thesis, that upon closer inspection will yield a set of interesting reflections not only about the problem of evil, but also about the limits and possibilities of metaphysical method. (...) I discuss Aquinas' thesis of the convertibility of being and good and how it determines his treatment of evil. I then construct a Hegelian version of convertibility and argue that Hegel's system fails for similar reasons to provide a satisfactory account of the problem of evil. This leads to my central question: should the inadequacy of traditional approaches to evil call for a reversal or abandonment of metaphysics, or invite a deeper reflection about reality that would not subsume the world's darkness under what Hans Blumenberg once called "metaphysics of light"? (shrink)

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem (...) encodings, industrial applications, specific tools, case studies, and empirical results. (shrink)