|
|
|
 Free Download Richard Swedberg, "Interest (Concepts in the Social Sciences)" English | 2005 | pages: 137 | ISBN: 0335216145, 0335216153 | PDF | 0,7 mb A fascinating study of interest in a variety of fields  Free Download Rossana Deplano, "Interdisciplinary Research Methods in EU Law: A Handbook " English | ISBN: 1802205845 | 2024 | 384 pages | PDF | 3 MB This comprehensive Handbook provides a critical and analytical guide to the application of interdisciplinary research methods in EU law and explores the advancement of the EU legal landscape from an interdisciplinary research perspective. Venturing beyond doctrinal legal scholarship, it reflects on the cognitive synergies between EU law and other disciplines, and advances the debate on contemporary trends in EU law research.  Free Download Matt Kaufmann, Lawrence C. Paulson, "Interactive Theorem Proving" English | 2010 | pages: 504 | ISBN: 3642140513 | PDF | 5,2 mb This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part of the Federated Logic Conference (FLoC, July 9-21, 2010) alongside the other FLoC conferences and workshops. ITP combines the communities of two venerable meetings: the TPHOLs c- ference and the ACL2 workshop. The former conference originated in 1988 as a workshop for users of the HOL proof assistant. The ?rst two meetings were at the University of Cambridge, but afterwards they were held in a variety of venues. By 1992, the workshop acquired the name Higher-Order Logic Theorem Proving and Its Applications. In 1996, it was christened anew as Theorem Pr- ing in Higher-Order Logics, TPHOLs for short, and was henceforth organizedas a conference. Each of these transitions broadened the meeting's scope from the original HOL system to include other proof assistants based on forms of high- order logic, including Coq, Isabelle and PVS. TPHOLs has regularly published research done using ACL2 (the modern version of the well-known Boyer-Moore theorem prover), even though ACL2 implements a unique computational form of ?rst-order logic. The ACL2 community has run its own series of workshops since1999. BymergingTPHOLswith the ACL2workshop,weinclude a broader community of researchers who work with interactive proof tools. With our enlarged community, it was not surprising that ITP attracted a record-breaking 74 submissions, each of which was reviewed by at least three Programme Committee members.
 Free Download Interactive Storytelling: 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings By Byung-Chull Bae, Yun-Gyung Cheong, Daniel Vella (auth.), Hartmut Koenitz, Tonguc Ibrahim Sezen, Gabriele Ferri, Mads Haahr, Digdem Sezen, Güven C̨atak (eds.) 2013 | 288 Pages | ISBN: 3319027557 | PDF | 9 MB This book constitutes the refereed proceedings of the 6th International Conference on Interactive Storytelling, ICIDS 2013, Istanbul, Turkey, November 2013. The 14 revised full papers presented together with 10 short papers were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on theory and aesthetics; authoring tools and applications; evaluation and user experience reports; virtual characters and agents; new storytelling modes; workshops.
 Free Download Marina Hassapopoulou, "Interactive Cinema: The Ambiguous Ethics of Media Participation (Electronic Mediations) " English | ISBN: 1517915228 | 2024 | 324 pages | EPUB, PDF | 2 MB + 4 MB Connecting interactive cinema to media ethics and global citizenship  Free Download Thorsten Fögen, "Interactions between Animals and Humans in Graeco-Roman Antiquity" English | ISBN: 3110544164 | 2017 | 506 pages | EPUB | 40 MB The seventeen contributions to this volume, written by leading experts, show that animals and humans in Graeco-Roman antiquity are interconnected on a variety of different levels and that their encounters and interactions often result from their belonging to the same structures, 'networks' and communities or at least from finding themselves together in a certain setting, context or environment - wittingly or unwittingly. Papers explore the concrete categories of interaction between animals and humans that can be identified, in what contexts they occur, and what types of evidence can be productively used to examine the concept of interactions. Articles in this volume take into account literary, visual, and other types of evidence. A comprehensive research bibliography is also provided.
 Free Download Intelligent Data Engineering and Automated Learning - IDEAL 2013: 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings By Li Ying, Li Fan-jun (auth.), Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao (eds.) 2013 | 639 Pages | ISBN: 3642412777 | PDF | 15 MB This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2013, held in Hefei, China, in October 2013. The 76 revised full papers presented were carefully reviewed and selected from more than 130 submissions. These papers provided a valuable collection of latest research outcomes in data engineering and automated learning, from methodologies, frameworks and techniques to applications. In addition to various topics such as evolutionary algorithms, neural networks, probabilistic modelling, swarm intelligent, multi-objective optimisation, and practical applications in regression, classification, clustering, biological data processing, text processing, video analysis, including a number of special sessions on emerging topics such as adaptation and learning multi-agent systems, big data, swarm intelligence and data mining, and combining learning and optimisation in intelligent data engineering.  Free Download Orkhan Mir-Kasimov, "Intellectual Interactions in the Islamic World: The Ismaili Thread " English | ISBN: 1838604855 | 2019 | 528 pages | EPUB | 4 MB How has the Ismaili branch of Shi'i Islam interacted with other Islamic communities throughout history? The groups and movements that make up Islamic civilisation are diverse and varied yet, while scholarship has analysed many branches of Islam in isolation, the exchanges and mutual influences between them has not been sufficiently recognised. This book traces the interactions between Ismaili intellectual thought and the philosophies of other Islamic groups to shed light on the complex and interwoven nature of Islamic civilisation.  Free Download Aude Attuel-Hallade, "Intellectual History of Liberal Catholicism in Western Europe, 1789-1870, An" English | ISBN: 1350371076 | 2024 | 230 pages | PDF | 3 MB This volume probes and deciphers the tensions and contradictions that underlie modern European Liberal Catholicism. Beginning with the French revolution and looking at dialogues between European 'public moralists', the book discusses the ways in which liberal Catholics loosened their bonds with religion, all the while relying on it. It reflects on how and why they promoted a post-revolutionary state and society based on religious dogma and morality, and what new liberal order and socio-political and religious models they proposed. Beyond the analysis of the work of these Catholic intellectuals, the question of their conceiving a specific liberal approach through Catholicism is also investigated. More generally, it prompts a vital reappraisal of the political, ideological and philosophical pressures that the religious question caused in the redefinition of Western European post-revolutionary liberalism.  Free Download Integrative Biology of Women's Health By Dawn A. Lowe Ph.D., Sarah M. Greising (auth.), Espen E. Spangenburg (eds.) 2013 | 212 Pages | ISBN: 1461486297 | PDF | 4 MB Defining and understanding cellular and molecular mechanisms that are relevant to women's health has become a critical area of scientific pursuit. Until recently, very little effort has been place on defining or understanding critical differences between women and men that may be critical to the overall health of the woman. In 1990, the National Institutes of Health recognized this gap in knowledge resulting in the creation of the Office of Research on Women's Health. One of the purposes of this office was to advance the understanding of health issues from the women's perspective from both a basic and clinical scientific perspective. From a scientific evolution of understanding, the existence of this office is new and thus there has not been enough time for new information to integrate itself in our current scientific thought process. This book will seek to capture and disseminate our current understanding of scientific advancements relevant to women's health and provide the information to a broad audience. The purpose of this work is to discuss recent advancements in basic science across three areas of concern for women's health. In addition, the book will provide "translational" chapters that attempt to place the basic science work in context within our current understanding of the human. Although it is well acknowledge that gender differences exist across organ function which translates into differences in whole body function, until recently little effort has been made to define basic mechanisms within various tissues within the woman. This work will focus on recent scientific findings that are relevant to women's health and to provide novel and relevant information to interested scientists and clinicians. |
: 