- Table View
- List View
That Used to Be Us: How America Fell Behind in the World It Invented and How We Can Come Back
by Thomas L. Friedman Michael MandelbaumAmerica is in trouble. We face four major challenges on which our future depends, and we are failing to meet them -- and if we delay any longer, soon it will be too late for us to pass along the American dream to future generations. In That Used to Be Us, Thomas L. Friedman, one of our most influential columnists, and Michael Mandelbaum, one of our leading foreign policy thinkers, offer both a wake-up call and a call to collective action. They analyze the four challenges we face -- globalization, the revolution in information technology, the nation's chronic deficits, and our pattern of excessive energy consumption -- and spell out what we need to do now to sustain the American dream and preserve American power in the world. They explain how the end of the Cold War blinded the nation to the need to address these issues seriously, and how China's educational successes, industrial might, and technological prowess remind us of the ways in which "that used to be us. " They explain how the paralysis of our political system and the erosion of key American values have made it impossible for us to carry out the policies the country urgently needs. And yet Friedman and Mandelbaum believe that the recovery of American greatness is within reach. They show how America's history, when properly understood, offers a five-part formula for prosperity that will enable us to cope successfully with the challenges we face. They offer vivid profiles of individuals who have not lost sight of the American habits of bold thought and dramatic action. They propose a clear way out of the trap into which the country has fallen, a way that includes the rediscovery of some of our most vital traditions and the creation of a new thirdparty movement to galvanize the country. That Used to Be Us is both a searching exploration of the American condition today and a rousing manifesto for American renewal.
That's Not Funny: How the Right Makes Comedy Work for Them
by Matt SienkiewiczA rousing call for liberals and progressives to pay attention to the emergence of right-wing comedy and the political power of humor. "Why do conservatives hate comedy? Why is there no right-wing Jon Stewart?" These sorts of questions launch a million tweets, a thousand op-eds, and more than a few scholarly analyses. That's Not Funny argues that it is both an intellectual and politically strategic mistake to assume that comedy has a liberal bias. Matt Sienkiewicz and Nick Marx take readers––particularly self-described liberals––on a tour of contemporary conservative comedy and the "right-wing comedy complex." In That's Not Funny, "complex" takes on an important double meaning. On the one hand, liberals have developed a social-psychological complex—it feels difficult, even dangerous, to acknowledge that their political opposition can produce comedy. At the same time, the right has been slowly building up a comedy-industrial complex, utilizing the humorous, irony-laden media strategies of liberals such as Jon Stewart, Samantha Bee, and John Oliver to garner audiences and supporters. Right-wing comedy has been hiding in plain sight, finding its way into mainstream conservative media through figures ranging from Fox News's Greg Gutfeld to libertarian podcasters like Joe Rogan. That's Not Funny taps interviews with conservative comedians and observations of them in action to guide readers through media history, text, and technique. You will find many of these comedians utterly appalling, some surprisingly funny, and others just plain weird. They are all, however, culturally and politically relevant—the American right is attempting to seize spaces of comedy and irony previously held firmly by the left. You might not like this brand of humor, but you can't ignore it.
THE ADOBE PHOTOSHOP LAYERS BOOK: Harnessing Photoshop's Most Powerful Tool, Covers Photoshop Cs3
by Richard LynchLayers are the building blocks for working in Photoshop. With the correct use of the Layers Tool, you can edit individual components of your images nondestructively to ensure that your end result is a combination of the best parts of your work. Despite how important it is for successful Photoshop work, the Layers Tool is one of the most often misused and misunderstood features within this powerful software program. This book will show you absolutely everything you need to know to work with layers, including how to use masks, blending, modes and layer management. You'll learn professional techniques as you become completely familiar with the power of layers as an organizational, correction, and revision tool that will quickly become an essential part of your overall Photoshop workflow.
THE FUTURE OF SUPERCOMPUTING: An Interim Report
by Committee on the Future of SupercomputingInformation on THE FUTURE OF SUPERCOMPUTING
Theorems for Electrical Circuits: Theory and Solved Problems (Lecture Notes in Electrical Engineering #485)
by Alfonso Bachiller Soler Ramón Cano González Miguel Angel González CagigalThis book focuses on the practical application of specific theorems in solving electrical circuits. Specifically, it covers the theorems of Superposition, Thevenin, Norton, and Maximum Power Transfer. The theory is kept concise, yet all the necessary concepts are explained, and plentiful problems are solved in detail. A vast amount of figures is used for a more effective learning. All in all, this book helps undergraduate and graduate students to develop the necessary skills to solve a broad range of transient exercises. It offers a unique complementary text to classical electric circuit textbooks, for students and self-study, as well.
Theoremus: A Student's Guide to Mathematical Proofs
by Lito Perez CruzA compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs. Simply written, it introduces the art and science of proving mathematical theorems and propositions and equips students with the skill required to tackle the task of proving mathematical assertions. Theoremus - A Student's Guide to Mathematical Proofs is divided into two parts. Part 1 provides a grounding in the notion of mathematical assertions, arguments and fallacies and Part 2, presents lessons learned in action by applying them into the study of logic itself. The book supplies plenty of examples and figures, gives some historical background on personalities that gave rise to the topic and provides reflective problems to try and solve. The author aims to provide the reader with the confidence to take a deep dive into some more advanced work in mathematics or logic.
Theoretical and Applied Aspects of Systems Biology (Computational Biology #27)
by Fabricio Alves Barbosa da Silva Nicolas Carels Floriano Paes Silva JuniorThis book presents the theoretical foundations of Systems Biology, as well as its application in studies on human hosts, pathogens and associated diseases. This book presents several chapters written by renowned experts in the field. Some topics discussed in depth in this book include: computational modeling of multiresistant bacteria, systems biology of cancer, systems immunology, networks in systems biology.
Theoretical Aspects of Computing – ICTAC 2016
by Augusto Sampaio Farn WangThis book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings (Lecture Notes in Computer Science #11884)
by Robert Mark Hierons Mohamed MosbahThis book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings (Lecture Notes in Computer Science #12545)
by Violet Ka I Pun Volker Stolz Adenilso SimaoThis book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings (Lecture Notes in Computer Science #12819)
by Antonio Cerone Peter Csaba ÖlveczkyThis book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.
Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings (Lecture Notes in Computer Science #13572)
by Helmut Seidl Zhiming Liu Corina S. PasareanuThis book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14446)
by Erika Ábrahám Clemens Dubslaff Silvia Lizeth Tapia TarifaThis book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.
Theoretical Aspects of Computing – ICTAC 2024: 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings (Lecture Notes in Computer Science #15373)
by Chutiporn Anutariya Marcello M. BonsangueThis book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning.
Theoretical Aspects of Computing - ICTAC 2015
by Martin Leucker Camilo Rueda Frank D. ValenciaThis book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.
Theoretical Aspects of Distributed Computing in Sensor Networks
by José D.P. Rolim Sotiris NikoletseasWireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks is a real challenge for abstract modelling, algorithmic design and analysis, but a solid foundational and theoretical background seems to be lacking. This book presents high-quality contributions by leading experts worldwide on the key algorithmic and complexity-theoretic aspects of wireless sensor networks. The intended audience includes researchers and graduate students working on sensor networks, and the broader areas of wireless networking and distributed computing, as well as practitioners in the relevant application areas. The book can also serve as a text for advanced courses and seminars.
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings (Lecture Notes in Computer Science #13299)
by Yamine Aït-Ameur Florin CrăciunThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings (Lecture Notes in Computer Science #14777)
by Wei-Ngan Chin Zhiwu XuThis book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024. The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science #13931)
by Cristina David Meng SunThis book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
Theoretical Aspects of Spatial-Temporal Modeling
by Tomoko Matsui Gareth William PetersThis book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties of recently developed random set methods in space and time otherwise known as the class of probability hypothesis density framework (PHD filters). The second chapter gives an overview of recent advances in Monte Carlo methods for Bayesian filtering in high-dimensional spaces. In particular, the chapter explains how one may extend classical sequential Monte Carlo methods for filtering and static inference problems to high dimensions and big-data applications. The third chapter presents an overview of generalized families of processes that extend the class of Gaussian process models to heavy-tailed families known as alpha-stable processes. In particular, it covers aspects of characterization via the spectral measure of heavy-tailed distributions and then provides an overview of their applications in wireless communications channel modeling. The final chapter concludes with an overview of analysis for probabilistic spatial percolation methods that are relevant in the modeling of graphical networks and connectivity applications in sensor networks, which also incorporate stochastic geometry features.
Theoretical Computer Science: 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers (Communications in Computer and Information Science #1693)
by Zhiping Cai Yijia Chen Jialin ZhangThis book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.
Theoretical Computer Science: 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers (Communications in Computer and Information Science #1494)
by Zhiping Cai Jian Li Jialin ZhangThis book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.
Theoretical Computer Science: 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers (Communications in Computer and Information Science #1944)
by Zhiping Cai Mingyu Xiao Jialin ZhangThis book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.The 16 full papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.
Theoretical Computer Science
by Dingzhu Du Lian Li En Zhu Kun HeThe satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study. Major topics covered in the book include practical and industrial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms. It features: a comprehensive review of SAT research work over the past 25 years; the most recent research results; and a spectrum of algorithmic issues and applications.
Theoretical Computer Science: 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers (Communications in Computer and Information Science #1352)
by Kun He Cheng Zhong Zhiping Cai Yitong YinThis book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020. The 13 full papers presented were carefully reviewed and selected from 28 submissions. They present recent research in the areas of algorithms and complexity, matrix computation; deep learning; network communication and security.