Descargar Libros y Ebooks (PDF / EPUB)

La mejor selección de ebooks gratis en español

Busca tu ebook....

Hemos encontrado un total de 39 libros disponibles para descargar
Interior Provocations

Interior Provocations

Autor: Anca I. Lasc , Deborah Schneiderman , Keena Suh , Karin Tehve , Alexa Griffith Winton , Karyn Zieve

Número de Páginas: 206

Interior Provocations: History, Theory, and Practice of Autonomous Interiors addresses the broad cultural, historical, and theoretical implications of interiors beyond their conventionally defined architectural boundaries. With provocative contributions from leading and emerging historians, theorists, and design practitioners, the book is rooted in new scholarship that expands traditional relationships between architecture and interiors and that reflects the latest theoretical developments in the fields of interior design history and practice. This collection contains diverse case studies from the late eighteenth century to the twenty-first century including Alexander Pope’s Memorial Garden, Design Indaba, and Robin Evans. It is an essential read for researchers, practitioners, and students of interior design at all levels.

Age of System

Age of System

Autor: Hunter Heyck

Número de Páginas: 271

In the years after World War II, a new generation of scholars redefined the central concepts and practices of social science in America. Before the Second World War, social scientists struggled to define and defend their disciplines. After the war, “high modern” social scientists harnessed new resources in a quest to create a unified understanding of human behavior—and to remake the world in the image of their new model man. In Age of System, Hunter Heyck explains why social scientists—shaped by encounters with the ongoing “organizational revolution” and its revolutionary technologies of communication and control—embraced a new and extremely influential perspective on science and nature, one that conceived of all things in terms of system, structure, function, organization, and process. He also explores how this emerging unified theory of human behavior implied a troubling similarity between humans and machines, with freighted implications for individual liberty and self-direction. These social scientists trained a generation of decision-makers in schools of business and public administration, wrote the basic textbooks from which millions learned how the economy,...

The Thinker's Toolkit

The Thinker's Toolkit

Autor: Morgan D. Jones

Número de Páginas: 385

An invaluable resource for any manager or professional, this book offers a collection of proven, practical methods for simplifying any problem and making faster, better decisions every time.

Herbert A. Simon

Herbert A. Simon

Autor: Hunter Crowther-heyck

Número de Páginas: 444

In this informed and discerning study, Crowther-Heyck explores Simon's contributions to science and their influences on modern life and thought. For historians of science, social science, technology, and twentieth-century American intellectual and cultural history, this account of Herbert Simon's life and work provides a rich and valuable perspective. Rarely does the world see as versatile a figure as Herbert Simon. He was a Nobel laureate in economics; an accomplished political scientist; winner of a lifetime achievement award from the American Psychological Association; and founder of the department of computer science at Carnegie Mellon University. In all his work in all these fields, he pursued a single goal - to create a science that could map the bounds of human reason and so enlarge its role in human affairs. Hunter Crowther-Heyck uses the career of this unique individual to examine the evolution of the social sciences after World War II, particularly Simon's creation of a new field, systems science, which joined together two distinct, powerful approaches to human behavior, the sciences of choice and control. Simon sought to develop methods by which human behavior:...

Philosophico-Methodological Analysis of Prediction and its Role in Economics

Philosophico-Methodological Analysis of Prediction and its Role in Economics

Autor: Wenceslao J. Gonzalez

Número de Páginas: 375

This book develops a philosophico-methodological analysis of prediction and its role in economics. Prediction plays a key role in economics in various ways. It can be seen as a basic science, as an applied science and in the application of this science. First, it is used by economic theory in order to test the available knowledge. In this regard, prediction has been presented as the scientific test for economics as a science. Second, prediction provides a content regarding the possible future that can be used for prescription in applied economics. Thus, it can be used as a guide for economic policy, i.e., as knowledge concerning the future to be employed for the resolution of specific problems. Third, prediction also has a role in the application of this science in the public arena. This is through the decision-making of the agents — individuals or organizations — in quite different settings, both in the realm of microeconomics and macroeconomics. Within this context, the research is organized in five parts, which discuss relevant aspects of the role of prediction in economics: I) The problem of prediction as a test for a science; II) The general orientation in methodology of...

Introduction to Petroleum Seismology, second edition

Introduction to Petroleum Seismology, second edition

Autor: Luc T. Ikelle , Lasse Amundsen

Número de Páginas: 1403

Introduction to Petroleum Seismology, second edition (SEG Investigations in Geophysics Series No. 12) provides the theoretical and practical foundation for tackling present and future challenges of petroleum seismology especially those related to seismic survey designs, seismic data acquisition, seismic and EM modeling, seismic imaging, microseismicity, and reservoir characterization and monitoring. All of the chapters from the first edition have been improved and/or expanded. In addition, twelve new chapters have been added. These new chapters expand topics which were only alluded to in the first edition: sparsity representation, sparsity and nonlinear optimization, near-simultaneous multiple-shooting acquisition and processing, nonuniform wavefield sampling, automated modeling, elastic-electromagnetic mathematical equivalences, and microseismicity in the context of hydraulic fracturing. Another major modification in this edition is that each chapter contains analytical problems as well as computational problems. These problems include MatLab codes, which may help readers improve their understanding of and intuition about these materials. The comprehensiveness of this book makes...

The Age of Spiritual Machines

The Age of Spiritual Machines

Autor: Ray Kurzweil

Número de Páginas: 404

NATIONAL BESTSELLER • Bold futurist Ray Kurzweil, author of The Singularity Is Near, offers a framework for envisioning the future of machine intelligence—“a book for anyone who wonders where human technology is going next” (The New York Times Book Review). “Kurzweil offers a thought-provoking analysis of human and artificial intelligence and a unique look at a future in which the capabilities of the computer and the species that invented it grow ever closer.”—BILL GATES Imagine a world where the difference between man and machine blurs, where the line between humanity and technology fades, and where the soul and the silicon chip unite. This is not science fiction. This is the twenty-first century according to Ray Kurzweil, the “restless genius” (The Wall Street Journal), “ultimate thinking machine” (Forbes), and inventor of the most innovative and compelling technology of our era. In his inspired hands, life in the new millennium no longer seems daunting. Instead, it promises to be an age in which the marriage of human sensitivity and artificial intelligence fundamentally alters and improves the way we live. More than just a list of predictions, Kurzweil’s ...

Numerical Approximation of Hyperbolic Systems of Conservation Laws

Numerical Approximation of Hyperbolic Systems of Conservation Laws

Autor: Edwige Godlewski , Pierre-arnaud Raviart

Número de Páginas: 846

This monograph is devoted to the theory and approximation by finite volume methods of nonlinear hyperbolic systems of conservation laws in one or two space variables. It follows directly a previous publication on hyperbolic systems of conservation laws by the same authors. Since the earlier work concentrated on the mathematical theory of multidimensional scalar conservation laws, this book will focus on systems and the theoretical aspects which are needed in the applications, such as the solution of the Riemann problem and further insights into more sophisticated problems, with special attention to the system of gas dynamics. This new edition includes more examples such as MHD and shallow water, with an insight on multiphase flows. Additionally, the text includes source terms and well-balanced/asymptotic preserving schemes, introducing relaxation schemes and addressing problems related to resonance and discontinuous fluxes while adding details on the low Mach number situation.

Political Process

Political Process

Autor: Donald J. Boudreaux , Christopher J. Coyne , Brian Kogelmann

Número de Páginas: 287

Political Process: New Perspectives on the Virginia and Bloomington Schools explores political process as emphasized by the Virginia and Bloomington schools of political economy. Though the Virginia school of public choice and Bloomington school of institutional analysis have risen to prominence through the works of James Buchanan, Gordon Tullock, and Elinor Ostrom; their joint emphasis on political process has been neglected. The chapters in this volume explore the idea of political process through a multi-disciplinary perspective and to better situate both schools in this discussion. Approximately half the chapters make theoretical contributions, proposing new frameworks for understanding how people come together to make collective decisions. The other half examine applied case studies through a process-oriented framework.

A Hunter-Gatherer's Guide to the 21st Century

A Hunter-Gatherer's Guide to the 21st Century

Autor: Heather Heying , Bret Weinstein

Número de Páginas: 321

A bold, provocative history of our species finds the roots of civilization’s success and failure in our evolutionary biology. We are living through the most prosperous age in all of human history, yet people are more listless, divided and miserable than ever. Wealth and comfort are unparalleled, and yet our political landscape grows ever more toxic, and rates of suicide, loneliness, and chronic illness continue to skyrocket. How do we explain the gap between these two truths? What's more, what can we do to close it? For evolutionary biologists Heather Heying and Bret Weinstein, the cause of our woes is clear: the modern world is out of sync with our ancient brains and bodies. We evolved to live in clans, but today most people don't even know their neighbors’ names. Traditional gender roles once served a necessary evolutionary purpose, but today we dismiss them as regressive. The cognitive dissonance spawned by trying to live in a society we're not built for is killing us. In this book, Heying and Weinstein cut through the politically fraught discourse surrounding issues like sex, gender, diet, parenting, sleep, education, and more to outline a provocative, science-based...

Homo Solver

Homo Solver

Autor: Àlex Rovira , Francesc Miralles

Número de Páginas: 238

Només hi ha un QR entre tu i l'Àlex Rovira i el Francesc Miralles: fes clic! Quan ens enfrontem a un desafiament que de vegades sembla irresoluble i hi trobem una solució, estem desplegant la nostra intel·ligència. En aquest sentit, atesa la complexitat del món actual, necessitem transcendir l'HOMO SAPIENS, l'ésser humà que sap, i elevar-lo a l'HOMO SOLVER, el que soluciona. Perquè no n'hi ha prou amb conèixer les dificultats del món i les de la nostra vida, sinó que el que marcarà la diferència és com les resolguem. Àlex Rovira i Francesc Miralles han partit d'aquest concepte revolucionari per construir una guia pràctica que ajudarà els lectors a resoldre els 15 desafiaments que tots haurem d'afrontar en algun moment de la nostra vida. Des de la identitat, l'autoestima, el maneig de la multitasca, el fracàs, l'elecció d'un propòsit de vida, la pèrdua d'éssers estimats o la por al canvi, fins a gestionar l'amor, la manera de trobar l'equilibri entre la vida professional i la personal, com mantenir la serenitat en un món en constant moviment o l'equilibri entre ser més amable amb el món sense deixar de ser-ho amb un mateix. Vols preparar-te per resoldre...

Minds and Gods

Minds and Gods

Autor: Todd Tremlin

Número de Páginas: 243

Around the world and throughout history, in cultures as diverse as ancient Mesopotamia and modern America, human beings have been compelled by belief in gods and developed complex religions around them. But why? What makes belief in supernatural beings so widespread? And why are the gods of so many different people so similar in nature? This provocative book explains the origins and persistence of religious ideas by looking through the lens of science at the common structures and functions of human thought. The first general introduction to the "cognitive science of religion," Minds and Gods presents the major themes, theories, and thinkers involved in this revolutionary new approach to human religiosity. Arguing that we cannot understand what we think until we first understand how we think, the book sets out to study the evolutionary forces that modeled the modern human mind and continue to shape our ideas and actions today. Todd Tremlin details many of the adapted features of the brain -- illustrating their operation with examples of everyday human behavior -- and shows how mental endowments inherited from our ancestral past lead many people to naturally entertain religious...

The Nano Age of Digital Immunity Infrastructure Fundamentals and Applications

The Nano Age of Digital Immunity Infrastructure Fundamentals and Applications

Autor: Rocky Termanini

Número de Páginas: 511

Present anti-virus technologies do not have the symmetrical weaponry to defeat massive DDoS attacks on smart cities. Smart cities require a new set of holistic and AI-centric cognitive technology, such as autonomic components that replicate the human immune system, and a smart grid that connects all IoT devices. The book introduces Digital Immunity and covers the human immune system, massive distributed attacks (DDoS) and the future generations cyber attacks, the anatomy and critical success factors of smart city, Digital Immunity and the role of the Smart Grid, how Digital Immunity defends the smart city and annihilates massive malware, and Digital Immunity to combat global cyber terrorism.

AI for Sports

AI for Sports

Autor: Chris Brady , Karl Tuyls , Shayegan Omidshafiei

Número de Páginas: 90

It seems that artificial intelligence (AI) is always just five years away, but it never arrives. Recently, however. developments have made the practical utility of game theory a genuine reality. Will sport provide the petri dish in which AI will prove itself? What do domain specialists like managers and coaches want to know that they can’t currently find out, and can AI provide the answer? What competitive advantages might AI provide for recruitment, performance and tactics, health and fitness, pedagogy, broadcasting, eSports, gambling and stadium design in the future? Written by leading experts in both sports management and AI, AI for Sports begins to answer these and many other questions on the future of AI for sports.

Numerical Solutions of the Euler Equations for Steady Flow Problems

Numerical Solutions of the Euler Equations for Steady Flow Problems

Autor: Albrecht Eberle , Arthur Rizzi , Ernst Heinrich Hirschel

Número de Páginas: 456

The last decade has seen a dramatic increase of our abilities to solve numerically the governing equations of fluid mechanics. In design aerodynamics the classical potential-flow methods have been complemented by higher modelling-level methods. Euler solvers, and for special purposes, already Navier-Stokes solvers are in use. The authors of this book have been working on the solution of the Euler equations for quite some time. While the first two of us have worked mainly on algorithmic problems, the third has been concerned off and on with modelling and application problems of Euler methods. When we started to write this book we decided to put our own work at the center of it. This was done because we thought, and we leave this to the reader to decide, that our work has attained over the years enough substance in order to justify a book. The problem which we soon faced, was that the field still is moving at a fast pace, for instance because hyper sonic computation problems became more and more important.

Organization Design

Organization Design

Autor: John Joseph , Oliver Baumann , Richard M. Burton , Kannan Srikanth

Número de Páginas: 354

Advances in Strategic Management is dedicated to communicating innovative, new research that advances theory and practice in Strategic Management. This volume focuses on organization design and collaborative ways of working.

Models of Simon

Models of Simon

Autor: Kumaraswamy Vela Velupillai

Número de Páginas: 218

Herbert Simon (1916-2001) is mostly celebrated for the theory of bounded rationality and satisficing. This book of essays on Models of Simon tackles these topics that the he broached in a professional career spanning more than 60 years. Expository material on the fundamental concepts he introduced are re-interpreted in terms of the theory of computability. This volume frames the behavioural issues of concern for economists, such as: hierarchy, causality, near-diagonal linear dynamical systems, discovery, the contrasts between the notion of heuristics, and the Church-Turing Thesis of Computability Theory. There is, consistently, an emphasis on the historical origins of the concepts Simon worked with, in emphasising Human Problem Solving and Decision Making – by rational individuals and institutions (like Organizations). The main feature of the results in the book are its emphasis on the procedural aspects of human problem solving, decision making and the remarkable way Simon harnessed many tools of mathematical logic, mathematics, cognitive sciences, economics and econometrics. This long-awaited volume is an important read for those who study economic theory and philosophy,...

Pattern Recognition Applications and Methods

Pattern Recognition Applications and Methods

Autor: Maria De Marsico , Gabriella Sanniti Di Baja , Ana Fred

Número de Páginas: 150

This book contains revised and extended versions of selected papers from the 9th International Conference on Pattern Recognition, ICPRAM 2020, held in Valletta, Malta, in February 2020. The 7 full papers presented were carefully reviewed and selected from 102 initial submissions. The papers describe applications of pattern recognition techniques to real-world problems, interdisciplinary research, experimental and theoretical studies yielding new insights that advance pattern recognition methods are especially encouraged.

Biomedical Image Registration

Biomedical Image Registration

Autor: Bernd Fischer

Número de Páginas: 292

Welcome to the proceedings of the 4th Workshop on Biomedical Image R- istration (WBIR). Previous WBIRs took place in Bled, Slovenia (1999), at the UniversityofPennsylvania, USA(2003)andinUtrecht, TheNetherlands(2006). This year, WBIR was hosted by the Institute Mathematics and Image Proce- ing and the Fraunhofer Project Group on Image Registration and it was held in Lub · eck, Germany. It provided the opportunity to bring together researchers from all over the world to discuss some of the most recent advances in image registration and its applications. We had an excellent collection of papers that were reviewed by at least three reviewers each from a 35-member Program Committee assembled from a wor- wide community of registration experts. This year 17 papers were accepted for oral presentation, while another 7 papers were accepted as poster papers. We believe all of the conference papers were of excellent quality. Registration is a fundamental task in image processing used to match two or more pictures taken, for example, at di?erent times, from di?erent sensors, or from di?erent viewpoints. Establishing the correspondence of structures within medical images is fundamental to...

Eve

Eve

Autor: Cat Bohannon

Número de Páginas: 625

A NEW YORK TIMES BESTSELLER “A page-turning whistle-stop tour of mammalian development that begins in the Jurassic Era, Eve recasts the traditional story of evolutionary biology by placing women at its center…. The book is engaging, playful, erudite, discursive and rich with detail." —The New York Times “A smart, funny, scientific deep-dive into the power of a woman’s body, Eve surprises, educates, and emboldens.” —Bonnie Garmus, #1 New York Times best-selling author of Lessons in Chemistry An ambitious, eye-opening, myth-busting and groundbreaking history of the evolution of the female body, by a brilliant new researcher and writer. Why do women live longer than men? Why do women have menopause? Why are women more likely to get Alzheimer’s? Why do girls score better at every academic subject than boys until puberty, when suddenly their scores plummet? And does the female brain really exist? In Eve, Cat Bohannon answers questions scientists should have been addressing for decades. With boundless curiosity and sharp wit, she covers the past 200 million years to explain the specific science behind the development of the female sex. Eve is not only a sweeping revision ...

Extraterrestrials

Extraterrestrials

Autor: E. Regis

Número de Páginas: 292

With current interest in extraterrestrials at a peak, this book is a collection of original and reprinted articles advancing the latest scientific ideas as to the possible existence and nature of extraterrestrial intelligent life. Usually this subject is treated only in popular media, such as science fiction novels, movies, and television. Recently, however, scientists and researchers have begun to consider in earnest whether extraterrestrials really exist, whether they have evolved from simpler forms of life, whether they have evolved intelligence, and if so whether their modes of understanding the world are comparable to and congruent with our own. The contributors to this volume cover these topics, and also consider how we might communicate with aliens, and whether we would be able to understand the alien messages we might receive. Finally the authors, who include distinguished scientists, speculate whether the aliens might have a moral code, and what might be our moral obligations in the event any extraterrestrials were ever discovered.

The Sports and Pastimes of the people of England ... New edition ... by W. Hone, etc

The Sports and Pastimes of the people of England ... New edition ... by W. Hone, etc

Autor: Joseph Strutt (engraver.)

Número de Páginas: 498
ECAI 2023

ECAI 2023

Autor: K. Gal , A. Nowé , G.j. Nalepa

Número de Páginas: 3328

Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers...

Computer-Based Testing and the Internet

Computer-Based Testing and the Internet

Autor: Dave Bartram , Ron Hambleton

Número de Páginas: 272

No topic is more central to innovation and current practice in testing and assessment today than computers and the Internet. This timely publication highlights four main themes that define current issues, technical advances and applications of computer-based testing: Advances in computer-based testing -- new test designs, item selection algorithms, exposure control issues and methods, and new tests that capitalize on the power of computer technology. Operational issues -- systems design, test security, and legal and ethical matters. New and improved uses -- for tests in employment and credentialing. The future of computer-based testing -- identifying potential issues, developments, major advances and problems to overcome. Written by internationally recognized contributors, each chapter focuses on issues of control, quality, security and technology. These issues provide the basic structure for the International Test Commission's new Guidelines on Computer-Based Testing and Testing on the Internet. The contributions to this book have played a key role in the development of these guidelines. Computer-Based Testing and the Internet is a comprehensive guide for all professionals,...

Individuals, Institutions, and Markets

Individuals, Institutions, and Markets

Autor: C. Mantzavinos , Chrysostomos Mantzavinos

Número de Páginas: 336

This book shows how the institutional framework of a society emerges and how markets within institutions work.

Descartes' Medical Philosophy

Descartes' Medical Philosophy

Autor: Richard Burnett Carter

Número de Páginas: 328

Medizin / Philosophie / Geschichte.

Gender Regulation, Violence and Social Hierarchies in School

Gender Regulation, Violence and Social Hierarchies in School

Autor: Victoria Rawlings

Número de Páginas: 310

This book investigates the reasons why the traditional psychological understanding of bullying fails those affected, and deconstructs how bullying is shaped by prominent discourse. By drawing on poststructuralist feminist theory Victoria Rawlings highlights the social and cultural inequalities too often forgotten in analysis of aggressive behaviour in schools, and places particular emphasis on gender and sexuality as facilitating and constraining forces within school environments and bullying discourses. This book provides a necessary assessment as to why current anti-bullying approaches are failing, and offers an alternative explanation as to how and why bullying occurs. This is a timely and authoritative study which is based on qualitative research, including interviews and group sessions which are used to emphasize the real-life experiences of young people in schools today. Interdisciplinary in nature, this book has a broad appeal and will be of special interest to scholars in the fields of gender and sexuality studies, sociology, and education.

Foundations of Computer Software

Foundations of Computer Software

Autor: Radu Calinescu , Ethan Jackson

Número de Páginas: 249

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.

Numerical Mathematics and Advanced Applications ENUMATH 2023, Volume 1

Numerical Mathematics and Advanced Applications ENUMATH 2023, Volume 1

Autor: Adélia Sequeira , Ana Silvestre , Svilen S. Valtchev , João Janela

Número de Páginas: 529

This book gathers outstanding papers presented at the European Conference on Numerical Mathematics and Advanced Applications, ENUMATH 2023. The conference was held in Lisbon, Portugal, in September 2023. Leading experts in the field presented the latest results and ideas regarding the design, implementation and analysis of numerical algorithms, as well as their applications to relevant societal problems. ENUMATH is a series of conferences held every two years to provide a forum for discussing basic aspects and new trends in numerical mathematics and its scientific and industrial applications, all examined at the highest level of international expertise. The first ENUMATH was held in Paris in 1995, with successive installments at various sites across Europe, including Heidelberg (1997), Jyvaskyla (1999), lschia Porto (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011), Lausanne (2013), Ankara (2015), Bergen (2017), and Egmond aan Zee (2019).

Issues in Energy Conversion, Transmission, and Systems: 2013 Edition

Issues in Energy Conversion, Transmission, and Systems: 2013 Edition

Número de Páginas: 1150

Issues in Energy Conversion, Transmission, and Systems: 2013 Edition is a ScholarlyEditions™ book that delivers timely, authoritative, and comprehensive information about Additional Research. The editors have built Issues in Energy Conversion, Transmission, and Systems: 2013 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Additional Research in this book to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Energy Conversion, Transmission, and Systems: 2013 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.

Handbook of Satisfiability

Handbook of Satisfiability

Autor: A. Biere , H. Van Maaren

Número de Páginas: 1486

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional...

Computational Science – ICCS 2025

Computational Science – ICCS 2025

Autor: Michael H. Lees , Wentong Cai , Siew Ann Cheong , Yi Su , David Abramson , Jack J. Dongarra , Peter M. A. Sloot

Número de Páginas: 324

The 4-volume set LNCS constitutes the main proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025. The 64 full papers and 52 short papers presented in these proceedings were carefully reviewed and selected from 162 submissions. The ICCS 2025 main track full papers are organized in volumes 15903–15905 (Parts I to III) and the ICCS 2025 main track short papers are included in volume 15906 (Part IV).

Boundary Elements and Other Mesh Reduction Methods XXX

Boundary Elements and Other Mesh Reduction Methods XXX

Autor: L. Škerget , C. A. Brebbia

Número de Páginas: 289

The major motivation behind the Boundary Element Method (BEM) was to reduce the dependency of analysis on the definition of meshes. This has allowed the method to expand naturally into new techniques such as Dual Reciprocity and all other Mesh reduction Methods (MRM). MRM and BEM continue to be very active areas of research with many of the resulting techniques applied to solve increasingly complex problems. This book contains papers presented at the much-acclaimed thirtieth International Conference on Boundary Elements and other Mesh Reductions Methods . The proceedings contain papers on practically all major developments in Boundary Elements, including the most recent MRM techniques, grouped under the following topics: Fluid Flow; Heat Transfer; Electrical Engineering and Electromagnetics; Damage Mechanics and Fracture; Mesh Reduction Techniques; Advanced Computational Techniques

Principles and Practice of Constraint Programming - CP 2001

Principles and Practice of Constraint Programming - CP 2001

Autor: Toby Walsh

Número de Páginas: 803

This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields.

The Ingenuity Gap

The Ingenuity Gap

Autor: Thomas Homer-dixon

Número de Páginas: 495

Is our world becoming too complex and too fast-paced to manage? The challenges facing human societies - from international financial crises and global climate change to pandemics of tuberculosis and AIDS - converge, intertwine, and often remain largely beyond our ken. Most of us suspect that the 'experts' don't really know what's going on and that as a species we have released forces that are neither managed nor manageable. This is the 'ingenuity gap' - the term coined by Thomas Homer-Dixon - the critical gap between our need for practical and innovative ideas to solve complex problems and our actual supply of those ideas. Homer-Dixon shows us how, in our complex world, while poor countries are particularly vulnerable to ingenuity gaps, our own rich countries are no longer immune. When the gap widens political disintegration and violent upheaval can result, reaching into our own economies and daily lives in subtle, unforeseen ways.

Fundamentals of Cognitive Science

Fundamentals of Cognitive Science

Autor: Thomas Hardy Leahey

Número de Páginas: 399

Fundamentals of Cognitive Science draws on research from psychology, philosophy, artificial intelligence, linguistics, evolution, and neuroscience to provide an engaging and student-friendly introduction to this interdisciplinary field. While structured around traditional cognitive psychology topics, from attention, learning theory, and memory to information processing, thinking, and decision making, the book also looks at neural networks, cognitive neuroscience, embodied cognition, and magic to illustrate cognitive science principles. The book is organized around the history of thinking about the mind and its relation to the world. It considers the evolution of cognition and how it demonstrates how our current thinking about cognitive processes is derived from pre-scientific philosophies and common sense, through psychologists’ empirical inquiries into mind and behavior as they pursued a science of cognition and the construction of artificial intelligences. The architectures of cognition are also applied throughout, and the book proposes a synthesis of them, from traditional symbol system architectures to recent work in embodied cognition and Bayesian predictive processing....

Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

Autor: Zahir Tari , Keqiu Li , Hongyi Wu

Número de Páginas: 524

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023. The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The Oxford Handbook of Management Theorists

The Oxford Handbook of Management Theorists

Autor: Morgen Witzel , Malcolm Warner

Número de Páginas: 861

Concurrent with the increasing complexity of the field of management, the need to re-examine the foundations from which its theories have advanced has become ever more important and useful. The Oxford Handbook of Management Theorists examines and evaluates the contributions that seminal figures, past and present, have made to the theory of management by providing in-depth, up-to-date, and detailed scholarly analysis of their ideas and influence. Chapters by leading management and management history scholars explore the origins of each thinker or school of thought and their ideas, and discuss the significance and influence in a broader framework. The Handbook contextualises each theorist and their theories, analysing their actions, interactions, and re-actions to contemporary events and to each other. It is arranged in three parts: pioneers of management thinking from Frederick Taylor to Chester Barnard; post-war theorists, such as the Tavistock Institute and Edith Penrose; and the later phase of Business School theorists, including Alfred Chandler, Michael Porter, and Ikujiro Nonaka. This book will be essential reading for anyone interested in how and why management ideas have...

Últimos libros y autores buscados