Download or read book Formalisation des fautes de circuits num riques et v rification de la s ret de fonctionnement des circuits num riques en pr sence de fautes written by and published by . This book was released on 2007 with total page 219 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'objectif de ce travail de thèse consiste à fournir une démarche formelle pour la vérification de circuits numériques conçus en sécurité, c'est-à-dire qui sont prévus pour gérer certaines de leurs défaillances. Par démarche formelle, nous entendons le fait de pouvoir associer une signification mathématique et précise aux comportements des circuits numériques tant en mode normal, en l'absence de défaillance, qu'en mode dégradé, en présence de défaillances. Le but de ce travail est de permettre de déterminer dans quel contexte de défaillances un circuit numérique est sûr de fonctionnement. Le travail réalisé consiste, dans un premier temps, à enrichir un langage de spécification et de description des circuits numériques afin d'exprimer que des fautes - c'est-à-dire les causes de leurs défaillances - s'appliquent dessus et comment elles modifient le comportement des circuits numériques. Le premier objectif de cette thèse correspond donc à la formalisation des fautes de circuits numériques. Le second objectif correspond à l'élaboration d'un processus de vérification des circuits numériques en présence de fautes. Plus précisément, il s'agit de vérifier si leurs comportements sont sûrs de fonctionnement. Cet objectif est atteint en étendant les techniques de vérification existantes pour les circuits numériques.
Download or read book Terra 2008 written by Leslie Rainer and published by Getty Publications. This book was released on 2011-06-14 with total page 438 pages. Available in PDF, EPUB and Kindle. Book excerpt: Earthen architecture constitutes one of the most diverse forms of cultural heritage and one of the most challenging to preserve. It dates from all periods and is found on all continents but is particularly prevalent in Africa, where it has been a building tradition for centuries. Sites range from ancestral cities in Mali to the palaces of Abomey in Benin, from monuments and mosques in Iran and Buddhist temples on the Silk Road to Spanish missions in California. This volume's sixty-four papers address such themes as earthen architecture in Mali, the conservation of living sites, local knowledge systems and intangible aspects, seismic and other natural forces, the conservation and management of archaeological sites, research advances, and training.
Download or read book Application of the Single Failure Criterion written by International Atomic Energy Agency and published by . This book was released on 1990 with total page 82 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Doing Business 2020 written by World Bank and published by World Bank Publications. This book was released on 2019-11-21 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: Seventeen in a series of annual reports comparing business regulation in 190 economies, Doing Business 2020 measures aspects of regulation affecting 10 areas of everyday business activity.
Download or read book Revisiting Moroccan Migrations written by Mohammed Berriane and published by Routledge. This book was released on 2018-02-02 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the 20th century, Morocco has become one of the world’s major emigration countries. But since 2000, growing immigration and settlement of migrants from sub-Saharan Africa, the Middle East, and Europe confronts Morocco with an entirely new set of social, cultural, political and legal issues. This book explores how continued emigration and increasing immigration is transforming contemporary Moroccan society, with a particular emphasis on the way the Moroccan state is dealing with shifting migratory realities. The authors of this collective volume embark on a dialogue between theory and empirical research, showcasing how contemporary migration theories help understanding recent trends in Moroccan migration, and, vice-versa, how the specific Moroccan case enriches migration theory. This perspective helps to overcome the still predominant Western-centric research view that artificially divide the world into ‘receiving’ and ‘sending’ countries and largely disregards the dynamics of and experiences with migration in countries in the Global South. This book was previously published as a special issue of The Journal of North African Studies.
Download or read book Rule of Law Common Values and Illiberal Constitutionalism written by Tímea Drinóczi and published by Routledge. This book was released on 2020-09-08 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book challenges the idea that the Rule of Law is still a universal European value given its relatively rapid deterioration in Hungary and Poland, and the apparent inability of the European institutions to adequately address the illiberalization of these Member States. The book begins from the general presumption that the Rule of Law, since its emergence, has been a universal European value, a political ideal and legal conception. It also acknowledges that the EU has been struggling in the area of value enforcement, even if the necessary mechanisms are available and, given an innovative outlook and more political commitment, could be successfully used. The authors appreciate the different approaches toward the Rule of Law, both as a concept and as a measurable indicator, and while addressing the core question of the volume, widely rely on them. Ultimately, the book provides a snapshot of how the Rule of Law ideal has been dismantled and offers a theory of the Rule of Law in illiberal constitutionalism. It discusses why voters keep illiberal populist leaders in power when they are undeniably acting contrary to the Rule of Law ideal. The book will be of interest to academics and researchers engaged with the foundational questions of constitutionalism. The structure and nature of the subject matter covered ensure that the book will be a useful addition for comparative and national constitutional law classes. It will also appeal to legal practitioners wondering about the boundaries of the Rule of Law.
Download or read book CIKM 13 written by CIKM 13 Conference Committee and published by . This book was released on 2013-10-27 with total page 938 pages. Available in PDF, EPUB and Kindle. Book excerpt: CIKM'13: 22nd ACM International Conference on Information and Knowledge Management Oct 27, 2013-Nov 01, 2013 San Francisco, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Download or read book Geometric Theory of Information written by Frank Nielsen and published by Springer Science & Business Media. This book was released on 2014-05-08 with total page 397 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book brings together geometric tools and their applications for Information analysis. It collects current and many uses of in the interdisciplinary fields of Information Geometry Manifolds in Advanced Signal, Image & Video Processing, Complex Data Modeling and Analysis, Information Ranking and Retrieval, Coding, Cognitive Systems, Optimal Control, Statistics on Manifolds, Machine Learning, Speech/sound recognition and natural language treatment which are also substantially relevant for the industry.
Download or read book Monte Carlo and Quasi Monte Carlo Methods written by Bruno Tuffin and published by Springer Nature. This book was released on 2020-05-01 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the 13th International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of Rennes, France, and organized by Inria, in July 2018. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceedings include articles based on invited lectures as well as carefully selected contributed papers on all theoretical aspects and applications of Monte Carlo and quasi-Monte Carlo methods. Offering information on the latest developments in these very active areas, this book is an excellent reference resource for theoreticians and practitioners interested in solving high-dimensional computational problems, arising, in particular, in finance, statistics and computer graphics.
Download or read book Geosimulation written by Itzhak Benenson and published by John Wiley & Sons. This book was released on 2004-08-20 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Geosimulation is hailed as ‘the next big thing’ in geographic modelling for urban studies. This book presents readers with an overview of this new and innovative field by introducing the spatial modelling environment and describing the latest research and development using cellular automata and multi-agent systems. Extensive case studies and working code is available from an associated website which demonstrate the technicalities of geosimulation, and provide readers with the tools to carry out their own modelling and testing. The first book to treat urban geosimulation explicitly, integrating socio-economic and environmental modelling approaches Provides the reader with a sound theoretical base in the science of geosimulation as well as applied material on the construction of geosimulation models Cross-references to an author-maintained associated website with downloadable working code for readers to apply the models presented in the book Visit the Author's Website for further information on Geosimulation, Geographic Automata Systems and Geographic Automata Software http://www.geosimulationbook.com
Download or read book The African Shore written by Rodrigo Rey Rosa and published by Yale University Press. This book was released on 2013-10-22 with total page 159 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published as La Orilla Africana. F&G Editores.
Download or read book Evaluating Second Language Education written by J. Charles Alderson and published by Cambridge University Press. This book was released on 1992-02-27 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Counter Responsibility for planning language teaching programs now carries with it a strong element of accountability. Evaluation of the whole process of course design, development, and implementation is therefore a necessary area of activity for course designers, language planners, and researchers. This book brings together accounts of recent work in this increasingly important field and will be a valuable resource both for those already engaged in evaluation and for those in training. Part One presents a review of the literature, covering past developments in the wider field of educational evaluation, as well as specifically in second language education. Part Two contains a series of eight original case-studies, written by scholars involved in evaluations in widely divergent settings. The focus in each case is on how the evaluator addresses the difficulties central to each study, and the findings are also included. The final Part Three provides practical guidance for evaluators, offering suggestions about how to set up and carry out evaluations in any given setting."--Publisher's website.
Download or read book Strategies of Medieval Communal Identity written by Wout Jac. van Bekkum and published by . This book was released on 2004 with total page 206 pages. Available in PDF, EPUB and Kindle. Book excerpt: The leading theme of this collection of essays and studies is the diversity of aspects of medieval communal identity. While the authors were selected for the very diversity of their interests, their final papers do tend to cohere around some recurrent themes. All of the studies in this volume touch upon one or more of the complex issues that lie at the heart of religious identity in the Middle Ages. They do so through concrete study of the very real practices by which medieval Jews, Christians and Muslims could police the perimeters of their spiritual communities. The authors were especially urged to note instances where religious identity was shaped without reference to dogmas, creeds, or sacred law. In no case are any of these papers satisfied with normative, legal definitions of Jew, Christian, or Muslim in medieval times. Sometimes small and subtle, sometimes explicit, dire, and violent, the techniques that emerge from these studies testify to the diversity of strategies of medieval communal identity over space and their changes over time.
Download or read book Judicial Review in the Contemporary World written by Mauro Cappelletti and published by . This book was released on 1971 with total page 144 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Technology and Teaching English Language Learners written by Mary Ellen Butler-Pascoe and published by Pearson. This book was released on 2003 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: This unprecedented book introduces the latest use of technology to support second language acquisition, combining the application of technology with language acquisition theory and practice in the modern classroom. This book is coherently organized around the teaching concepts and approaches such as communicative, content-based, skills-based and inquiry base teaching. The authors provide an extensive, up-to-date coverage of issues such as the use of technology for communicative language teaching, using technology to teach oral communication skills and reading and writing. For anyone interested in learning ways to integrate technology in the teaching of English Language.
Download or read book Traditional Conservation Practices in Africa written by Thierry Joffroy and published by . This book was released on 2005 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Complex Systems Engineering written by Shannon Flumerfelt and published by . This book was released on 2019 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Presents state-of-the-art thought leadership on system complexity for aerospace and aviation, where breakthrough paradigms and strategies are sorely needed. The breadth of topics covered provide an enriched view of all types of systems-technical, machine, and human systems - to both practitioners and academics.
