- Table View
- List View
Locative Social Media: Place in the Digital Age
by L. EvansThis book offers a critical analysis of the effect of usage of locative social media on the perceptions and phenomenal experience of lived in spaces and places. Drawing on users accounts of location-based social networking, a digital post-phenomenology of place is developed to explain how place is mediated in the digital age.
Lockdown Parenting Fails: (Because it's not all f*cking rainbows!)
by Nathan JoyceDid your home haircut make your child look like Friar Tuck?Did you forget to put bananas in your banana bread?Did your primary-schooler have to correct your times tables?Then you were probably one of many people trying your f*cking hardest to parent during lockdown, and so now deserve a medal (or a case of gin).Featuring entries from fellow survivors on the horrors of homeschooling, the nightmares of kitchen experiments, the fallibility of trying to keep your colleagues' respect, the inevitability of putting on all the weight and the joys of considering what you did to make the world punish you so......Lockdown Parenting Fails is a hilarious (and trauma-inducing) collection of the best memories from the worst time in everyone's lives.
Loewy Decomposition of Linear Differential Equations (Texts & Monographs in Symbolic Computation)
by Fritz SchwarzThe central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equations - to linear partial differential equations. Equations for a single function in two independent variables of order two or three are comprehensively discussed. A complete list of possible solution types is given. Various ad hoc results available in the literature are obtained algorithmically. The border of decidability for generating a Loewy decomposition are explicitly stated. The methods applied may be generalized in an obvious way to equations of higher order, in more variables or systems of such equations.
Log on to IT
by Roland Birbal (IT) Michele TaylorDevelop IT skills through an active, accessible approach to theory and practice, providing an ideal foundation for lower secondary students going on to study IT at CSEC® and for building real-life computer skills; fully updated to reflect the new curriculum and new approaches to IT teaching.- Build knowledge with straightforward introductions to theoretical concepts, key practical applications and new topics such as ethical use of computers and multimedia.- Support all learning styles with a range of questions - Multiple Choice, True or False, Short Answer, Research, Project and a fun Crossword puzzle.- Develop critical thinking and research skills with research projects.The answers can be found here: www.hoddereducation.co.uk/Log-on-to-IT-Answers
Log on to IT for CSEC
by Roland Birbal (IT) Michele TaylorBenefit from expert guidance in this new edition of a tried and trusted approach; updated to reflect the new CSEC® IT curriculum, it provides an engaging and accessible approach to theory and practice.- Prepare for SBA with advice and guidance and a full sample SBA project and suggested solution at the end of Chapter 16.- Consolidate learning through a range of question types such as Multiple Choice, True or False, Short Answer, Research, Project and a fun Crossword puzzle.- Confidently cover new topics and emerging technology with straightforward explanations and numerous examples.The answers can be found here: www.hoddereducation.co.uk/Log-on-to-IT-Answers
Logging and Log Management: The Authoritative Guide to Understanding the Concepts Surrounding Logging and Log Management
by Kevin Schmidt Chris Phillips Anton ChuvakinLogging and Log Management: The Authoritative Guide to Understanding the Concepts Surrounding Logging and Log Management introduces information technology professionals to the basic concepts of logging and log management. It provides tools and techniques to analyze log data and detect malicious activity. The book consists of 22 chapters that cover the basics of log data; log data sources; log storage technologies; a case study on how syslog-ng is deployed in a real environment for log collection; covert logging; planning and preparing for the analysis log data; simple analysis techniques; and tools and techniques for reviewing logs for potential problems. The book also discusses statistical analysis; log data mining; visualizing log data; logging laws and logging mistakes; open source and commercial toolsets for log data collection and analysis; log management procedures; and attacks against logging systems. In addition, the book addresses logging for programmers; logging and compliance with regulations and policies; planning for log analysis system deployment; cloud logging; and the future of log standards, logging, and log analysis. This book was written for anyone interested in learning more about logging and log management. These include systems administrators, junior security engineers, application developers, and managers. - Comprehensive coverage of log management including analysis, visualization, reporting and more - Includes information on different uses for logs -- from system operations to regulatory compliance - Features case Studies on syslog-ng and actual real-world situations where logs came in handy in incident response - Provides practical guidance in the areas of report, log analysis system selection, planning a log analysis system and log data normalization and correlation
Logging in Java with the JDK 1.4 Logging API and Apache log4j
by Samudra GuptaSamudra Gupta covers the two most popular and powerful logging APIs for Java based applications in one book. The internals of each API are examined in exhaustive depth, contrasted and compared. Each concept is accompanied by code example written in Java language. The author also provides a guideline on how to extend the existing framework to cater to application specific needs.
Logic: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence” (Intelligent Systems Reference Library #245)
by Lech T. PolkowskiThe book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions. The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
Logic, Action and Cognition: Essays in Philosophical Logic (Trends in Logic #2)
by Eva Ejerhed Sten LindströmThe present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well'as more concrete questions about the usefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.
Logic, Algebra, and Computation: International Summer School (NATO ASI Subseries F: #79)
by F. L. Bauer W. Brauer G. Huet J. A. Robinson H. SchwichtenbergThe Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most recent results to an elite of advanced students - young and most promising people - and prepared to stand their questions, criticism and suggestions. The themes of these Advanced Study In stitutes under the sponsorship of the NATO Scientific Affairs Division varied slightly over the years, oscillating more or less around Programming Methodo logy, as the following list shows: 1970 Data Structures and Computer Systems 1971 Program Structures and Fundamental Concepts of Programming 1973 Structured Programming and Programmed Structures 1975 Language Hierarchies and Interfaces 1978 Program Construction 1981 Theoretical Foundations of Programming Methodology 1984 Control Flow and Data Flow: Concepts of Distributed Programming 1986 Logic of Programming and Calculi of Discrete Design 1988 Constructive Methods in Computing Science 1989 Logic, Algebra, and Computation Logic, Algebra, and Computation is the theme of the summer school to which this volume is devoted. It is the tenth in succession, but it is also the first in a new series (the "blue" series) that is intended to alternate in future with the traditional (the "red" series) arrangement; in fact the tenth summer school in the "red" series with the title "Programming and Mathematical Method" , held in 1990, was the subject of celebrating both its serial number and the twenty years of Marktoberdorf Summer Schools altogether.
Logic and Algebra of Specification (NATO ASI Subseries F: #94)
by Friedrich L. Bauer Wilfried Brauer Helmut SchwichtenbergFor some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-based ones, offer very powerful and useful tools for the computer scientist, which may soon become practical for commercial use, where, in particular, more powerful specification tools are needed for concurrent and distributed systems. This volume contains papers based on lectures by leading researchers which were originally given at an international summer school held in Marktoberdorf in 1991. The papers aim to give a foundation for combining logic and algebra for the purposes of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.
Logic and Algorithms in Computational Linguistics 2018 (Studies in Computational Intelligence #860)
by Roussanka LoukanovaThis book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution.This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.
Logic and Algorithms in Computational Linguistics 2021 (Studies in Computational Intelligence #1081)
by Roussanka Loukanova Peter LeFanu Lumsdaine Reinhard MuskensThis book assesses the place of logic, mathematics, and computer science in present day, interdisciplinary areas of computational linguistics. Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning and the relation between these two) and on the practical level (developing applications for language and speech technology). It is a collection of chapters presenting new and future research. The book focuses mainly on logical approaches to computational processing of natural language and on the applicability of methods and techniques from the study of formal languages, programming, and other specification languages. It presents work from other approaches to linguistics, as well, especially because they inspire new work and approaches.
Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)
by Gabriele Saucier Anne MignotteThis book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis. The book emphasises the most recent technologies in high level synthesis, concentrating on applicative studies and practical constraints or criteria during synthesis. Logic and Architecture Synthesis concentrates on the practical problems involving automatic synthesis of designs. It is essential reading for researchers and CAD Managers working in this area.
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings (Lecture Notes in Computer Science #13040)
by Christoph Benzmüller Yì N. Wáng Pietro BaroniThis book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.
Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings (Lecture Notes in Computer Science #12061)
by Mehdi Dastani Huimin Dong Leon van der TorreThis book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.
Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings (Lecture Notes in Computer Science #14156)
by Andreas Herzig Jieting Luo Pere PardoThis book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
by Richard Lassaigne Michel de RougemontLogic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems. Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic. Recursive functions, Turing computability and decidability are also examined. - Descriptive Complexity - looking at the relationship between definitions of problems, queries, properties of programs and their computational complexity. - Approximation - explaining how some optimization problems and counting problems can be approximated according to their logical form. Logic is important in Computer Science, particularly for verification problems and database query languages such as SQL. Students and researchers in this field will find this book of great interest.
Logic And Declarative Language
by M. DownwardLogic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
Logic And Declarative Language
by M. DownwardLogic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers (Lecture Notes in Computer Science #14213)
by Daisuke Bekki Koji Mineshima Elin McCreadyThis volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing.
Logic and Engineering of Natural Language Semantics: 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14569)
by Daisuke Bekki Koji Mineshima Elin McCreadyThis book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023. The 19 full papers presented were carefully reviewed and selected from 46 submissions. The conference aims to cover the topics at the Intersection of Language and logic, and so Centers Around Linguistics, both Theoretical and Computational; Logic; Philosophy; and other sorts of Formal Approaches to these topics such as Game Theory.
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science #6810)
by Lukasz KaiserThe evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and has inspired numerous research directions. In this book, the author extends this connection between logic and games to the class of automatic structures, where relations are recognized by synchronous finite automata.In model-checking games for automatic structures, two coalitions play against each other with a particular kind of hierarchical imperfect information. The investigation of such games leads to the introduction of a game quantifier on automatic structures, which connects alternating automata with the classical model-theoretic notion of a game quantifier. This study is then extended, determining the memory needed for strategies in infinitary games on the one hand, and characterizing regularity-preserving Lindström quantifiers on the other. Counting quantifiers are investigated in depth: it is shown that all countable omega-automatic structures are in fact finite-word automatic and that the infinity and uncountability set quantifiers are definable in MSO over countable linear orders and over labeled binary trees.This book is based on the PhD thesis of Lukasz Kaiser, which was awarded with the E.W. Beth award for outstanding dissertations in the fields of logic, language, and information in 2009. The work constitutes an innovative study in the area of algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It displays very high technical and presentational quality and originality, advances significantly the field of algorithmic model theory and raises interesting new questions, thus emerging as a fruitful and inspiring source for future research.
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #6700)
by Sylvain Pogodalla Myriam Quatrini Christian RetoréThis book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007. The event was part of the ANR project "Prélude" (Towards Theoretical Pragmatics Based on Ludics and Continuation Theory), the proceedings of which were published in another FoLLI-LNAI volume (LNAI 6505) edited by Alain Lecomte and Samuel Tronçon. The selected papers of this Festschrift volume focus on the scientific areas in which Alain Lecomte has worked and to which he has contributed: formal linguistics, computational linguistics, logic, and cognition.