The deformation and wear events that underlie microwear and macrowear signals commonly used for dietary reconstruction in fossil animals can be replicated and quantified by controlled laboratory tests on extracted tooth specimens in conjunction with fundamental micromechanics analysis. Key variables governing wear relations include angularity, stiffness (modulus), and size of the contacting particle, along with material properties of enamel. Both axial and sliding contacts can result in the removal of tooth enamel. The degree of removal, characterized by a (...) “wear coefficient,” varies strongly with particle content at the occlusal interface. Conditions leading to a transition from mild to severe wear are discussed. Measurements of wear traces can provide information about contact force and particle shape. The potential utility of the micromechanics methodology as an adjunct for investigating tooth durability and reconstructing diet is explored. (shrink)

Seeing one’s laptop to be missing, hearing silence and smelling fresh air; these are all examples of perceptual experiences of absences. In this paper I discuss an example of absence perception in the tactual sense modality, that of tactually perceiving a tooth to be absent in one’s mouth, following its extraction. Various features of the example challenge two recently-developed theories of absence perception: Farennikova’s memory-perception mismatch theory and Martin and Dockic’s meta-cognitive theory. I speculate that the mechanism underlying (...) the experience is a body schema that has failed to update itself. (shrink)

Beginning in the nineteenth century, scientists speculated that the Pleistocene megafauna—species such as the giant ground sloth, wooly mammoth, and saber-tooth cat—perished because of rapid climate change accompanying the end of the most recent Ice Age. In the 1950s, a small network of ecologists challenged this view in collaboration with archeologists who used the new tool of radiocarbon dating. The Pleistocene overkill hypothesis imagined human hunting, not climate change, to be the primary cause of megafaunal extinction. This article situates (...) the Pleistocene overkill hypothesis in a broader history of the emergence of historical ecology as a distinct sub-discipline of paleoecology. Tracing the work of the Yale Geochronometric Laboratory and an interdisciplinary research network that included Paul Sears, Richard Foster Flint, Edward Deevey, Kathryn Clisby, and Paul S. Martin, it reveals how both the methods and the meaning of studying fossil pollen shifted between the 1910s and 1960s. First used as a tool for fossil fuel extraction, fossil pollen became a means of envisioning climatic history, and ultimately, a means of reimagining global ecological history. First through pollen stratigraphy and then through radiocarbon dating, ecologists reconstructed past biotic communities and rethought the role of humans in these communities. By the 1980s, the discipline of historical ecology would reshape physical environments through the practice of ecological restoration. (shrink)

Overview * Part I: Introduction * Philip Appleman, Darwin: On Changing the Mind * Part II: Darwin’s Life * Ernst Mayr, Who Is Darwin? * Part III: Scientific Thought: Just before Darwin * Sir Gavin de Beer, Biology before the Beagle * Thomas Robert Malthus, An Essay on the Principle of Population * William Paley, Natural Theology * Jean Baptiste Pierre Antoine de Monet Lamarck, Zoological Philisophy * Charles Lyell, Principles of Geology * John Herschell, The Study of Natural Philosophy (...) * William Whewell, Astronomy and General Physics Considered with Reference to Natural Theology * Alfred Russel Wallace, On the Tendency of Varieties to Depart Indefinitely from the Original Type * Part IV: Selections from Darwin’s Work * The Voyage of the Beagle * o Chapter I. St. Jago-Cape de Verd Island o Chapter XVII. Galapagos Archipelago * On the Tendency of Species to Form Varieties; and On the Perpetuation of Varieties and Species by Natural Means of Selection * o I. Extract from an unpublished Work on Species, by C. Darwin, Esq.... o II.of Letter from C. Darwin, Esq., to Prof. Asa Gray, Boston, U.S., dated Down, September 5th, 1857 * An Historical Sketch of the Progress of Opinion on the Origin of Species, previously to the : Publication of This Work The Origin of Species * o Introduction o Chapter I. Variation under Domestication o Chapter II. Variation under Nature o Chapter III. Struggle for Existence o Chapter IV. Natural Selection o Chapter VI. Difficulties on Theory o Chapter IX. On the Imperfections of the Geological Record o Chapter XIII. Mutual Affinities of Organic Beings: Morphology: Embryology: Rudimentary Organs o Chapter XIV. Recapitulation and Conclusion * The Descent of Man * o Introduction o Chapter I. The Evidence of the Descent of Man from Some Lower Form o Chapter II. On the Manner of Development of Man from Some Lower Form o Chapter III. Comparison of the Mental Powers of Man and the Lower Animals o Chapter VI. On the Affinities and Genealogy of Man o Chapter VIII. Principles of Sexual Selection o Chapter XIX. Secondary Sexual Characters of Man o Chapter XX. Secondary Sexual Characters of Man-continued o Chapter XXI. General Summary and Conclusion * Part V: Darwin’s Influence on Science * THE VICTORIAN OPPOSITION TO DARWIN * o David L. Hull, Darwin and His Critics o Adam Sedgwick, Objections to Mr. Darwin’s Theory of the Origin of Species o Sir Richard Owen, Darwin on the Origin of Species o Fleeming Jenkin, Review of the Origin of Species * VICTORIAN SUPPORTERS OF DARWIN * o Joseph Dalton Hooker, Flora Tasmaniae o Thomas Henry Huxley, On the Relations of Man to the Lowe Animals o Charles Lyell, Principles of Geology o Alfred Russel Wallace, The Debt of Science to Darwin * DARWIN AND THE SHAPING OF MODERN SCIENCE * o Scientific Method in Evolution o National Academy of Sciences, Evolution and the Nature of Science o Richard Dawkins, Explaining the Very Improbable o Lewis Thomas, On the Uncertainty of Science o Noretta Koetge, Postmodernisms and the Problem of Scientific Literary o Richard Dawkins, Science and Sensibility o The Neo-Darwinian Synthesis o Peter Bowler, The Evolutionary Synthesis o The Human Genealogy o Adam Kuper, The Chosen Primate o Ian Tattersall, Out of Africa Again... and Again? o Stephen Jay Gould, The Human Difference o Punctuated Equilibrium o Stephen Jay Gould, [On Punctuated Equilibrium] o Niles Eldredge, The Great Stasis Debate o Rethinking Taxonomy o Kevin Padian, Darwin’s Views of Classification o David L. Hull, Cladistic Analysis o Kevin Padian and Luis M. Chiappe, Cladistics in Action: The Origin of Birds and Their Flight o Evolution as Observable Fact o James L. Gould and William T. Keeton with Carol Grant Gould, How Natural Selection Operates o Peter r. Grant, Natural Selection and Darwin’s Finches o John A. Endler, Natural Selection in the Wild * Part VI: Darwinian Patterns in Social Thought * COMPETITION AND COOPERATION * o Richard Hofstadter, The Vogue of Spencer o Andrew Carnegie, The Gospel of Wealth o Peter Kropotkin, Mutual Aid o Martin A. Nowak, Robert M. May, and Karl Sigmund, The Arithmetics of Mutual Help * NATURE AND NURTURE * o Edward O. Wilson, Sociobiology: The New Synthesis o Stephen Jay Gould, Biological Potentiality vs. Biological Determination o Barbara Ehrenreich and Janet McIntosh, The New Creationism: Biology under Attack * EVOLUTION AND GENDER * o Elizabeth Cady Stanton, The Woman’s Bible o Nancy Makepeace Tanner, On Becoming Human o Evelleen Richards, Darwin and the Descent of Woman o James Eli Adams, Woman Red in Tooth and Claw * EVOLUTION AND OTHER DISCIPLINES * o Edward O. Wilson, [On Consilience] o Randolph H. Nesse and George C. Williams, Evolution and the Origin of Disease o Steven Pinker, How the Mind Works o Steve Jones, The Set within the Skull * Part VII: Darwinian Influences in Philosophy and Ethics * John Dewey, The Influence of Darwin on Philosophy * Daniel C. Dennett, Darwin’s Dangerous Idea: Natural Selection as an Algorithmic Process * Michael Ruse Darwinian Epistemology * Thomas Henry Huxley, Evolution and Ethics * Julian Huxley, Evolutionary Ethics * Michael Ruse and Edward O. Wilson, The Evolution of Ethics * Frans de Waal, Good Natured: The Origin of Right and Wrong in Humans and Other Animals * Matt Ridley, The Origins of Virtue * Part VIII: Evolutionary Theory and Religious Theory * MAINSTREAM RELIGIOUS SUPPORT FOR EVOLUTION * o Pope John Paul II, Message to the Pontifical Academy of Sciences o Central Conference of American Rabbis, On Creationism in School Textbooks o United Presbyterian Church in the U.S.A., Evolution and Creationsim o The Lutheran World Federation, [Statement on Evolution] o The General Convention of the Episcopal Church, Resolution on Evolutionism and Creationism o Unitariuan Universalist Association, Resolution Opposing "Scientific Creationism" * FUNDAMENTALIST CREATIONISM * o Eugene C. Scott, Antievolution and Creationism in the United States o The Scopes Trial o Thomas McIver, Orthodox Jewish Creationists o Harun Yahya, [Islamic Creationism] o Seami Srila Prabhupada, [A Hare Krishna on Darwinian Evolution] o Institute for Creation Research, Tenets of Creationism o Henry M. Morris, Scientific Creationism o Thomas J. Wheeler, Review of Morris o Richard D. Sjolund and Betty McCollister, Evolution at the Grass Roots o Richard D. Sjolund, [Creationism versus Biotechnology] o Betty McCollister, [The Politics of Creationism] o Molleen Matsumara, What Do Christians Really Believe about Evolution? o National Center for Science Education, Seven Significant Court Decisions Regarding Evolution/Creation Issues * PERSONAL INCREDULITY AND ANTIEVOLUTIONISM * o Richard Dawkins, [The Argument from Personal Incredulity] o Phillip E. Johnson, Darwin on Trial o Eugenie C. Scott, Review of Johnson o Michael Behe, Darwin’s Black Box o Robert Dorit, Review of Behe o Michael Ruse, Darwin’s New Critics on Trial * SCIENTISTS’ OPPOSITION TO CREATIONISM * o American Association for the Advancement of Science, Forced Teaching of Creationist Beliefs in Public School Science Education o American Institute of Biological Sciences, Resolution Oposing Creationism in Science Courses o National Association of Biology Teachers, Statement on Teaching Evolution o National Academy of Sciences, Frequently Asked Questions about Evolution and the Nature of Science * FUNDAMENTALIST CREATIONISM AND THE VALUE OF SATIRE * o Michael Shermer, Genesis Revisted: A Scientific Creation Story o Philip Appleman, Darwin’s Ark * Part IX: Darwin and the Literary Mind * DARWIN’S LITERARY SENSIBILITY * o Charles Darwin, Autobiography o L. Robert Stevens, Darwin’s Humane Reading o George Levine, Darwin and Pain: Why Science Made Shakespeare Nauseating o Gillian Beer, Darwin’s Plots * DARWIN’S INFLUENCE ON LITERATURE * o Lionel Stevenson, Darwin among the Poets o George Levine, Darwin among the Novelists o Joseph Wood Krutch, The Tragic Fallacy o Herbert J. Muller, Modern Tragedy o Philip Appleman, Darwin-Sightings in Recent Literature. (shrink)

This article reviews some of the merging ethical issues in restorative dentistry. This is a branch of healthcare concerned with quality of life, since retention of functioning teeth is important in allowing a healthy diet to be consumed. Yet the supply of dentists is such that, in many of the world’s poorest countries, extraction is the only viable option for treating tooth decay. Available repair materials present various ethical problems. Silver amalgam is being phased out in much of (...) the world, because of environmental concerns with mercury, yet it is cheap and reliable. Alternatives have been developed, influenced by the West’s preoccupation with appearance, yet these materials are difficult to place and are less durable than amalgam. These concerns lead to significant ethical problems, which are explored in this article. It concludes by proposing a way to deal with the emerging ethical problems. (shrink)

Teeth are one of the most fascinating innovations of vertebrates. Their diversity of shape, size, location, and number in vertebrates is astonishing. If the molecular mechanisms underlying the morphogenesis of individual teeth are now relatively well understood, thanks to the detailed experimental work that has been performed in model organisms (mainly mouse and zebrafish), the mechanisms that control the organization of the dentition are still a mystery. Mammals display simplified dentitions when compared to other vertebrates with only a single (...) class='Hi'>tooth row positioned in the anterior part of the mouth, whereas other vertebrates exhibit tooth rows in many locations. As proposed 60 years ago, tooth rows can be formed sequentially from an initiator tooth. Recent results in zebrafish have now largely confirmed this hypothesis. Here this observation is generalized upon and it is suggested that in most vertebrates tooth rows could form sequentially from a single initiator tooth. (shrink)

Most non-human animals live in the wild and it is probable that suffering predominates in their lives due to natural events. Humans may at some point be able to engage in paradise engineering, or the modification of nature and animal organisms themselves, to improve the well-being of wild animals. We may, in other words, make nature 'red in tooth and claw' no more. We argue that this creates a tension between environmental ethics and animal ethics which is likely insurmountable. (...) First, we argue that concern for the environment can be compatible with helping individual wild animals but should see redesigning nature as morally impermissible. Second, we argue that if we are concerned with animal well-being, we may reject that we have a duty to help wild animals even to the point of redesigning nature, but we must nevertheless concede that it is permissible to do so under certain circumstances. We show how this permissibility can be derived from three animal rights views: Tom Regan's, a novel account inspired by Thomas Pogge and a libertarian approach to animal rights. (shrink)

Epithelial stem cells have been identified in integumental structures such as hairs and continuously growing teeth of various rodents, and in the gut. Here we propose the involvement of epithelial stem cells in the continuous tooth replacement that characterizes non‐mammalian vertebrates, as exemplified by the zebrafish. Arguments are based on morphological observations of tooth renewal in the zebrafish and on the similarities between molecular control of hair and tooth formation. Dissection of the molecular cascades underlying the regulation (...) of the epithelial stem cell niche might open perspectives for new regenerative treatment strategies in clinical dentistry. BioEssays 26:665–671, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

One of the themes that has been widely addressed in both the implicit learning and statistical learning literatures is that of rule learning. While it is widely agreed that the extraction of regularities from the environment is a fundamental facet of cognition, there is still debate about the nature of rule learning. Rey and colleagues show that the comparison between human and non‐human primates can contribute important insights to this debate.

We ask what type of neutralization techniques corporations apply to allegations of human rights abuses. We proceed by undertaking a Qualitative Content Analysis of 162 responses by ten extractives-sector firms over a period of 14 years. The firms were responding to accusations of human rights impacts documented by the Business and Human Rights Resource Centre. We use Garrett et al.’s :507–520, 1989) framework of neutralization techniques consisting of denial, justification, concession and excuse to examine the responses. During our QCA, we (...) observed emerging themes around self-promotion and evasive tactics. We contribute to existing literature by proposing ‘evasion’ as a novel neutralization technique, particularly in circumstances of corporate responses to accusations of wrongdoing. We argue that evasion occurs when firms refuse to engage in the debate brought forward in an accusation. In addition, we enrich our understanding of neutralization techniques by proposing subneutralization techniques in our analysis to diverge from that of other studies. We conclude by discussing the implications of the predominance of corporate narcissism and evasive neutralization techniques to the business and human rights movement and other international corporate responsibility standards. (shrink)

The possibility of extraction across awh-island is usually assumed to be dependent on whether or not the constituent in question can undergo “long” (i.e., nonlocal) Ā-movement across the island. However, the question of how to make a principled distinction between those elements which can violate locality and those which cannot is still rather controversial. I will propose that there are no well-formed locality violations in these cases, and that the grammaticality patterns observed derive from a semantic filter on the (...) escape hatch used to bypass the island. In other words, if a phrase is extracted across awh-island, it must adjoin to the island in order to get by. This adjunction site is restricted by the interpretive component: only traces which are interpreted as variables of typee can occur in this position, while higher-order variables are not allowed. This restriction is shown to capture the known facts aboutwh-island violations, as well as some less known phenomena, such as the absence of functional (and pair-list) readings acrosswh-islands. (shrink)

Much recent philosophical work argues that power constrains speech—pornography silences women, testimonial injustice thwarts a speaker’s transmission of knowledge, bias distorts the performative force of subordinated speech. Though the constraints that power places on speech are serious, power also enables some speech. Power doesn’t just keep us from speaking—it also makes us speak. In this paper I explore how power produces, rather than constrains, speech. I discuss a kind of speech I call extracted speech: speech that is unjustly elicited from (...) an agent. I discuss examples of coerced confession, intimidated “consent,” and mandatory self-disclosure as instances of extracted speech, and theorize a bit about what significance this speech has more generally for philosophy of language and political philosophy. (shrink)

This paper concerns an information extraction process for building a dynamic legislation network from legal documents. Unlike supervised learning approaches which require additional calculations, the idea here is to apply information extraction methodologies by identifying distinct expressions in legal text in order to extract network information. The study highlights the importance of data accuracy in network analysis and improves approximate string matching techniques to produce reliable network data-sets with more than 98% precision and recall. The applications and the (...) complexity of the created dynamic legislation network are also discussed and challenged. (shrink)

In this paper, we showcase our research on the use of ontologies and information extraction for the purpose of modeling damages incurred on car bodies. With the increasing use of technology in the automotive industry, it is important to have a standardized and efficient way of documenting and analyzing car damage reports. Most existing reports are unstructured, and there is a lack of standardization in describing the damage. To address this issue, we have developed a domain ontology for car (...) damage modeling (OCD),11 industryportal.enit.fr/ontologies/OCD,22 github.com/OntologyCarDamage/OCD and proposed an end-to-end system to extract information from French automotive reports. The information extraction process involves using named entity recognition (NER) and relationship extraction (RE) techniques to identify and extract relevant information from the reports. Then, the extracted information is used to populate the OCD ontology, allowing a structured and standardized representation of the damage information. The proposed system was tested on a real dataset of automotive reports and showed promising results. (shrink)

Over the last one hundred and fifty years, the extraction and processing of non-renewable resources has provided the basis for the three industrial revolutions that have led to the modern economies of the developed world. In the process, the nature of resource extraction firms has also changed dramatically, from small-scale operations exploiting easily accessible deposits to large, vertically integrated, capital intensive transnational corporations characterized by oligopolistic competition. In the last ten to fifteen years, coinciding with processes of economic (...) globalization, another major change has been occurring as resource extraction industries have been shifting their operations from developed to developing countries. This shift has greatly impacted the populations of these countries and raises a variety of ethical issues. This article investigates the nature of these changes and the ethical issues that arise, focusing in particular on the development impact of the activities of these industries and the potential adequacy of different policy approaches to regulating them. (shrink)

On some occasions of self-reference there can be two equally viable forms available to speakers: individual self-reference and collective self-reference. This means that selection of one or the other in talk-in-interaction can — akin to the selection of terms for reference to non-present persons — be guided by such considerations as recipient design and action formation. As a strategy for investigating the selection of self-reference terms, this article examines repairs to self-reference that change the form of reference from individual to (...) collective and vice versa. We first identify two repair operations found in the domain of self-reference: aggregation and extraction and then we track the use of both operations across a range of positions in the repair initiation opportunity space. Finally we consider some of the interactional uses of aggregation and extraction repairs in resolving sources of troubles associated with speaker epistemic authority and responsibility for described actions. (shrink)

This article aims to explore representation of the content knowledge of historical Malay manuscripts by extracting the event features using an event ontology framework. The manuscript used during the testing is Sulalatus Salatin by Abdul Ahmad Samad and it was published at University of Malaya Digital Library database. In aligning to a domain-specific ontology, the Simple Event Model model is adopted and an event-based ontology for historical Malay manuscripts is designed. Information extraction approach is done manually to extract events (...) from the manuscript and mapped into Protégé editor. Competency questions were constructed and submitted to the Protégé editor using SPARQL to check the ontology capability of providing answers as well as to examine its correctness. Event-based ontology model assists in discovering and representing the content knowledge of historical Malay manuscripts and supports organisation of knowledge. All the main concepts are extracted from selected Malay manuscript and 17 concepts used to develop the event-based ontology model. The knowledge was verified by three domain experts in Malay manuscript. In the findings, the interrater reliability for Event and Actor instances is 84%, which means 16% of instances and its type are incorrect and need amendment. For Place, interrater reliability is 95% and 99% for Role. Meanwhile, the experts achieved 100% agreement for Time. In addition, the experts agreed that the concepts, properties and instances for Malay Manuscript Ontology and complied with the criteria of consistency, completeness, conciseness, expandability and ease of use. The development of the event-based model of an ontology-based system with a high level of semantic granularity reflects the various cultural riches and intellectual aspect stored in Malay manuscripts. This will enable systematic research of the knowledge embedded in the manuscripts and make it widely and easily accessible by everyone. (shrink)

Introduction : music and abstraction -- Music and fantasy -- German romanticism and music -- Negative poetics : on skepticism and the lyric voice -- Rethinking the scale of literary history -- Mozart, Bach, and musical abjection -- Moods at mid-century : Handel and English literature, 1740-1760 -- Passion and love : anacreontic song and the roots of romantic lyric -- Haydn's whimsy : poetry, sexuality, repetition -- Non Giovanni : Mozart with Hegel.

“Nature, Red in Tooth and Claw” explores Adorno’s ideas about our mediated relationship with nature. The first section of the paper examines the epistemological significance of his thesis about the preponderance of the object while describing the Kantian features in his notion of mediation. Adorno’s conception of nature will also be examined in the context of a review of J. M. Bernstein’s and Fredric Jameson’s attempts to characterize it. The second section of the paper deals with Adorno’s Freudian account (...) of internal nature. While arguing against Joel Whitebook’s view that Adorno needs a concept of sublimation, I contend that Adorno’s genetic account of the relationship between nature and mind enables him to respond to the Freudian injunction to displace the id with the ego with a view to fostering autonomy. In the final section of the paper, problems with Adorno’s ideas about external and internal nature are briefly discussed. (shrink)

Let ${2-\textsf{RAN}}$ be the statement that for each real X a real 2-random relative to X exists. We apply program extraction techniques we developed in Kreuzer and Kohlenbach (J. Symb. Log. 77(3):853–895, 2012. doi:10.2178/jsl/1344862165), Kreuzer (Notre Dame J. Formal Log. 53(2):245–265, 2012. doi:10.1215/00294527-1715716) to this principle. Let ${{\textsf{WKL}_0^\omega}}$ be the finite type extension of ${\textsf{WKL}_0}$ . We obtain that one can extract primitive recursive realizers from proofs in ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN}}$ , i.e., if ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + (...) 2-\textsf{RAN} \, {\vdash} \, \forall{f}\, {\exists}{x} A_{qf}(f,x)}$ then one can extract from the proof a primitive recursive term t(f) such that ${A_{qf}(f,t(f))}$ . As a consequence, we obtain that ${{\textsf{WKL}_0}+ \Pi^0_1 - {\textsf{CP}} + 2-\textsf{RAN}}$ is ${\Pi^0_3}$ -conservative over ${\textsf{RCA}_0}$. (shrink)

Half a million species of plants could be existing in the world. Classification of plants based on leaf features is a critical job as feature extraction from binary images of leaves may result in duplicate identification. However, leaves are an effective means of differentiating plant species because of their unique characteristics like area, diameter, perimeter, circularity, aspect ratio, solidity, eccentricity, and narrow factor. This paper presents the extraction of plant leaf gas alongside other features from the camera images (...) or a dataset of images by applying a convolutional neural network. The extraction of leaf gas enables identification of the actual level of chlorophyll and nitrogen which may help to interpret future predictions. Our contribution includes the study of texture and geometric features, analyzing ratio of Ch and N in both healthy and dead leaves, and the study of color-based methods via CNN. Several steps are included to obtain the results: image preprocessing, testing, training, enhancement, segmentation, feature extraction, and aggregation of results. A vital contrast of the results can be seen by considering the kind of image, whether a healthy or dead leaf. (shrink)

Medical law and Biopolitics shed specific light on the relationship of subject and power/violence in legal contexts. For our species, medicine is an essential endeavour vis-à-vis nature which is „red in tooth and claw“. Medicine, however, is driven by autopoietic systemic imperatives and marked by relations of domination. Guaranteeing robust individual rights and legal powers is a remedy against both.

Problems of and explanations for evil -- Neo-cartesianism -- Animal suffering and the fall -- Nobility, flourishing, and immortality : animal pain and animal well-being -- Natural evil, nomic regularity, and animal suffering -- Chaos, order, and evolution -- Combining CDs.

The combination of corporate-community conflicts and oil transnational corporations' (TNCs) rhetoric about being socially responsible has meant that the issue of community development and poverty reduction have recently moved from the periphery to the heart of strategic business thinking within the Nigerian oil industry. As a result, oil TNCs have increasingly responded to this challenge by adopting partnership strategies as a means to contribute to poverty reductions in their host communities as well as secure their social licence to operate. This (...) paper critically examines the strengths and weaknesses of the different community development partnership (CDPs) initiatives employed by Shell, Exxon Mobil and Total to contribute to poverty reduction within their host communities in the Niger Delta, Nigeria. Drawing on empirical data and critical analysis, the paper argues that while the CDP initiatives by SPDC, MPN and EPNL have the potential to contribute to community development, the failure to integrate negative injunction duties into existing partnerships means that the partnerships make no difference to how oil TNCs conduct their core business operation. Consequently, CDPs have had limited positive impact on poverty reduction in the Niger Delta. The paper concludes by examining the implications of the emerging issues for partnership and poverty reduction. (shrink)

The decidability of the logic of pure ticket entailment means that the problem of inhabitation of simple types by combinators over the base { B, B′, I, W } is decidable too. Type-assignment systems are often formulated as natural deduction systems. However, our decision procedure for this logic, which we presented in earlier papers, relies on two sequent calculi and it does not yield directly a combinator for a theorem of ${T_\to}$. Here we describe an algorithm to extract an inhabitant (...) from a sequent calculus proof—without translating the proof into another proof system. (shrink)

Both RalA and RalB interact with the ubiquitous calcium sensor, calmodulin (CaM). New structural and biophysical characterisation of these interactions strongly suggests that, in the native membrane‐associated state, only RalA can be extracted from the membrane by CaM and this non‐canonical interaction could underpin the divergent signalling roles of these closely related GTPases. The isoform specificity for RalA exhibited by CaM is hypothesised to contribute to the disparate signalling roles of RalA and RalB in mitochondrial dynamics. This would lead to (...) CaM shuttling RalA to the mitochondrial membrane but leaving RalB localisation unperturbed, and in doing so triggering mitochondrial fission pathways rather than mitophagy. (shrink)

Abstract.Carrying out a suggestion by Kreisel, we adapt Gödel’s functional interpretation to ordinary first-order predicate logic(PL) and thus devise an algorithm to extract Herbrand terms from PL-proofs. The extraction is carried out in an extension of PL to higher types. The algorithm consists of two main steps: first we extract a functional realizer, next we compute the β-normal-form of the realizer from which the Herbrand terms can be read off. Even though the extraction is carried out in the (...) extended language, the terms are ordinary PL-terms. In contrast to approaches to Herbrand’s theorem based on cut elimination orɛ-elimination this extraction technique is, except for the normalization step, of low polynomial complexity, fully modular and furthermore allows an analysis of the structure of the Herbrand terms, in the spirit of Kreisel ([13]), already prior to the normalization step. It is expected that the implementation of functional interpretation in Schwichtenberg’s MINLOG system can be adapted to yield an efficient Herbrand-term extraction tool. (shrink)

In this paper, a novel approach for word extraction and character segmentation from the handwritten Bangla document images is reported. At first, a modified Run Length Smoothing Algorithm, called Spiral Run Length Smearing Algorithm, is applied for the extraction of words from the text lines of unconstrained handwritten Bangla document images. This technique has helped to overcome some of the drawbacks of standard horizontal and vertical RLSA techniques. SRLSA technique has been applied on the Bangla handwritten document image (...) database CMATERdb1.1.1 and the success rate of the word extraction is found to be 86.01%. In the second part of the work, we have presented a useful solution to the problem on how best word images of handwritten Bangla script can be segmented into constituent characters. Moreover, the technique can segment the words having discontinuity in Matra, a prominent feature of Bangla script. It also optimizes the trade-off between under/over segmentation as Matra region and segmentation points are estimated more precisely. As a result, better word segmentation accuracy is achieved with minimal data loss. Here, a success rate of 92.48% is observed on a dataset of 750 handwritten Bangla words which is 3.35% higher than that of our earlier techniques. (shrink)

This article addresses the problem of automatically extracting legal indices which express the important contents of legal documents. Legal indices are not limited to single-word keywords and compound-word keywords, they are also clause keywords. We approach index extraction using structural information of Japanese sentences, i.e. chunks and clauses. Based on the assumption that legal indices are composed of important tokens from the documents, extracting legal indices is treated as a problem of collecting chunks and clauses that contain as many (...) important tokens as possible. Each token is assigned a weight which is a statistical score, e.g. TF–IDF and Okapi BM25, to indicate its importance. The importance of a chunk or clause is determined based on the average weight of tokens included in that chunk or clause. Then, highly weighted chunks and clauses are recognized as the indices for legal documents. The experimental results on Japanese National Pension Act data show that our proposed method achieves better performance than TextRank, the most popular unsupervised method in extracting single-word and compound-word keywords. In addition, this approach is also applicable to extract clause keywords with high performance. (shrink)

A novel piecewise water flow technique for text line extraction from multi-skewed document images of handwritten text of different scripts is presented here. The basic water flow technique assumes that the hypothetical water flows from both left and right sides of the image frame. This flow of water fills up the gaps between consecutive objects but faces obstruction if any object lies in the path of the flow. All unwetted regions in the document image are then labeled distinctly to (...) extract the text lines. However, the technique fails when two neighboring text lines touch each other, as water gets obstructed by the touching segment. To get rid of this difficulty, we have modified the basic water flow technique by iteratively applying the same over the vertically segmented document images. The main purpose of this vertical segmentation is to localize the text line segment where two text lines get joined. These segments are then horizontally fragmented, and each fragment is placed suitably to the text line in which it actually belongs to. This way, the probable data loss during isolation of the touching text line segment is minimized. Both the techniques have been tested on three different databases, viz., CMATERdb 1.1.1, CMATERdb 1.1.2, and ICDAR2009 handwritten segmentation contest pages, respectively. The test results show that the present technique outperforms the basic one for all three databases. (shrink)

First in-depth analysis of engineers working in resource extraction, focusing particularly on those who viewed social responsibility as fundamental to their profession.

This article reviews existing empirical research on the peak-and-end rule. This rule states that people's global evaluations of past affective episodes can be well predicted by the affect experienced during just two moments: the moment of peak affect intensity and the ending. One consequence of the peak-and-end rule is that the duration of affective episodes is largely neglected. Evidence supporting the peak-and-end rule is robust, but qualified. New directions for future work in this emerging area of study are outlined. In (...) particular, the personal meanings associated with specific moments and with specific emotions should be assessed. It is hypothesised that moments rich with self-relevant information will dominate people's global evaluations of past affective episodes. The article concludes with a discussion of ways to measure and optimise objective happiness. (shrink)

In this paper we study with proof-theoretic methods the function(al) s provably recursive relative to Ramsey's theorem for pairs and the cohesive principle (COH). Our main result on COH is that the type 2 functional provably recursive from $RCA_0 + COH + \Pi _1^0 - CP$ are primitive recursive. This also provides a uniform method to extract bounds from proofs that use these principles. As a consequence we obtain a new proof of the fact that $WKL_0 + \Pi _1^0 - (...) CP + COH$ is $\Pi _1^0 $ -conservative over PRA. Recent work of the first author showed that $\Pi _1^0 + CP + COH$ is equivalent to a weak variant of the Bolzano-Weierstraß principle. This makes it possible to use our results to analyze not only combinatorial but also analytical proofs. For Ramsey's theorem for pairs and two colors $\left( {RT_2^2 } \right)$ we obtain the upper bounded that the type 2 functionals provable recursive relative to $RCA_0 + \sum\nolimits_2^0 {IA + RT_2^2 } $ are in T₁. This is the fragment of Gödel's system T containing only type 1 recursion—roughly speaking it consists of functions of Ackermann type. With this we also obtain a uniform method for the extraction of T₁-bounds from proofs that use RT2..... Moreover, this yields a new proof of the fact that $WKL_0 + \sum\nolimits_2^0 {IA} + RT_2^2 $ is $\Pi _1^0 $ -conservative over $RCA_0 + \sum\nolimits_2^0 { - IA} $ . The results are obtained in two steps: in the first step a term including Skolem functions for the above principles is extracted from a given proof. This is done using Gödel's functional interpretation. After this the term is normalized, such that only specific instances of the Skolem functions are used. In the second step this term is interpreted using $\Pi _1^0 $ -comprehension. The comprehension is then eliminated in favor of induction using either elimination of monotone Skolem functions (for COH) or Howard's ordinal analysis of bar recursion (for $RT_2^2 $. (shrink)

This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.

We report on an experiment examining whether individuals can solve a simple signal extraction problem of the type found in models with imperfect information. In one treatment, subjects must form point predictions based on observing both public and private signals, while in another they receive the same information but must decide on the weight to attach to each signal, which then determines their point prediction. We find that, at the aggregate level, signal extraction provides a good characterization of (...) subjects’ behavior in both treatments, but at the individual level, there is considerable heterogeneity in subjects’ ability to perform signal extraction. (shrink)

This paper studies the feature extraction and middle-level expression of Convolutional Neural Network convolutional layer glass broken and cracked at the scene of road traffic accident. The image pyramid is constructed and used as the input of the CNN model, and the convolutional layer road traffic accident scene glass breakage and crack characteristics at each scale in the pyramid are extracted separately, and then the depth descriptors at different image scales are extracted. In order to improve the discriminative power (...) of the depth descriptor, Hellinger kernel and Principal Component Analysis are used to perform nonlinear and linear transformations. Two aggregation strategies based on depth descriptors are proposed to form a global image representation. The classification experiment of the data set shows that Hellinger kernel, PCA transformation, and two aggregation strategies are all conducive to improving the classification accuracy. In addition, the convolutional layer road traffic accident scene glass breaking and crack feature coding can obtain better classification performance than the fully connected layer feature. We conducted dynamic impact tests on plate glass and Polyvinyl Butyral- laminated glass under different boundary conditions and studied the crack propagation and failure process of the glass under different impact speeds. The results show that there are radial cracks and circular cracks on the glass specimens under the impact load; the glass specimens show partial damage under high-speed impact and the characteristics of glass breaking and cracks at the scene of road traffic accidents; the four-frame plate glass is supported by sharp dagger-like fragments. This paper compares the energy absorption of glass specimens under different boundary conditions. The results show that the energy absorption effect of the four-point supporting glass specimen is generally stronger than that of the four-frame supporting glass. (shrink)

This article describes the fight of transnational civic networks to influence business development strategies and counter the threats to environmental and labor rights posed by the construction and exploitation of the Baku-Tbilisi-Ceyhan (BTC) oil pipeline in Transcaucasia. The article starts by discussing the role of civil society in the global struggle for sustainable development. Then a brief overview of the geopolitical significance of the Transcaucasian-Caspian region in today’s oil and gas markets is presented. The case study looks at how the (...) actions of international and domestic nongovernmental organizations influenced the BTC’s main shareholder and operator company, British Petroleum, as well as host countries’ governments, to switch to more environmentally cognizant and socially responsive practices. The article discusses internationalization of civil society networks in response to the looming environmental crisis in the region, using the BTC case as an illustration. The article concludes by generalizing from this particular case study to the broader issue of transnational civic activism as a risk-mitigating factor in the world dominated by industry-related threats presented by globalization of the extractive technologies. (shrink)