- Simple Search
- Advance Search
Total Books: 919 - 936 / 3461
Total Books: 919 - 936 / 3461
Mac OS X Leopard : Beyond the Manual
Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what they want to know when they put it down. For each reader this could be very different; therefore, a book that suits one person may not be the best for another. Mac OS X Leopard: Beyond the Manual makes some assumptions too, ones that tend to differ from other Mac OS X books. First of all, we assume that you have used a computer in that past: that you know how to use a mouse and you know the proper place to stick a DVD to get it to play in your computer. We won't be showing you these things. (We will, however, demonstrate to our Mac converts how to “right click” on a trackpad with only one button!).
2008
English
Computer Science
Long-Term Preservation of Digital Documents : Principles and Practices
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly advancing from vulnerable physical solutions to superior, digital media, preserving and using data over the long term involves complicated research challenges and organization efforts. Uwe Borghoff and his coauthors address the problem of storing, reading, and using digital data for periods longer than 50 years. They briefly describe several markup and document description languages like TIFF, PDF, HTML, and XML, explain the most important techniques such as migration and emulation, and present the OAIS (Open Archival Information System) Reference Model. To complement this background information on the technology issues the authors present the most relevant international preservation projects, such as the Dublin Core Metadata Initiative, and experiences from sample projects run by the Cornell University Library and the National Library of the Netherlands. A rated survey list of available systems and tools completes the book.
2006
English
Computer Science
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
2008
English
Computer Science
Logical Data Modeling : What it is and How to do it
LOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter experts, (2) information technology professionals, (3) advanced students in Computer Science, Management Information Systems, and e-Business. Its purpose is to outline the basics of logical data modeling—specifically, data modeling for relational database management systems—in simple, practical terms and in a business context. The focus on relational data modeling is consciously made because it is superior in modeling real business activities.
2005
English
Computer Science
Logical Aspects of Computational Linguistics ; 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.
2005
English
Computer Science
Logical and Relational Learning
This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming (ILP), multirelational data mining (MRDM) and (statistical) relational learning (SRL). These subfields of data mining and machine learning are concerned with the analysis of complex and structured data sets that arise in numerous applications, such as bio- and chemoinformatics, network analysis, Web mining, natural language processing, within the rich representations offered by relational databases and computational logic.
2008
English
Computer Science
Logic Programming with Prolog
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence. This book does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to arrive at the point where quite powerful programs can be written in the language. It is intended both as a textbook for an introductory course and as a self-study book. On completion the reader will know enough to use Prolog in their own research or practical projects. Each chapter has self-assessment exercises so that the reader may check their own progress. A glossary of the technical terms used completes the book.
2005
English
Computer Science
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
2008
English
Computer Science
Logging in Java with the JDK 1.4 Logging API and Apache log4j
In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs are the greatest source of information about running a program. Pro Apache Log4j, Second Edition provides best practices guidelines and comprehensive coverage of the most recent release. Step by step, the book explains core concepts, from basic to advanced. Code samples are in Java and include guidelines for different application-specific needs. You'll also learn how to extend the API to write custom components and best practices for using the feature-rich log4j API. This book concludes with enterprise Java applications using log4j with JSP and J2EE.
2005
English
Computer Science
Location, Transport and Land-Use : Modelling Spatial-Temporal Information
Shows the use of statistical tools for forecasting and analyzing implications of land-use decisions. The idea is that la- use on a map is necessarily a consequence of individual, and often conflicting, siting decisions over time.
2005
English
Computer Science
LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers
LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers fits in the quest for complete CMOS integration of wireless receiver front-ends. With a combined discussion of both RF and ESD performance, it tackles one of the final obstacles on the road to CMOS integration.
2005
English
Computer Science
Literature-based Discovery
When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based discovery (LBD) was born. During the subsequent two decades a steady stream of researchers have published articles about LBD and the field has made steady progress in laying foundations and creating an identity. LBD is an inherently multi-disciplinary enterprise where collaborations between the information and biomedical sciences are readily encountered. It is the hope and intention that this volume will plant a flag in the ground and inspire new researchers to the LBD challenge.
2008
English
Computer Science
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
2005
English
Computer Science
LINQ for Visual C# 2008
Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying and unifying data access from any data source. With LINQ, you can write more elegant and flexible code—not just to access databases and files, but to manipulate data structures and XML. This book is a short, yet comprehensive guide to the major features of LINQ and the significant enhancements introduced with .NET 3.5. There is no better source for getting a head–start on the future of these technologies than this book.
2008
English
Computer Science
LINQ for Visual C# 2005
LINQ for Visual C# 2005 is a short, yet comprehensive guide to the major features of LINQ. It thoroughly covers LINQ to Objects, LINQ to SQL, LINQ to DataSet, and LINQ to XML. It also details significant enhancements to C#, .NET, and ADO.NET.
2007
English
Computer Science
Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.
2014
English
Computer Science
Linguistics for the age of AI
One of the original goals of artificial intelligence research was to endow intelligent agents with human-level natural language capabilities. Recent AI research, however, has focused on applying statistical and machine learning approaches to big data rather than attempting to model what people do and how they do it. In this book, Marjorie McShane and Sergei Nirenburg return to the original goal of recreating human-level intelligence in a machine. They present a human-inspired, linguistically sophisticated model of language understanding for intelligent agent systems that emphasizes meaning—the deep, context-sensitive meaning that a person derives from spoken or written language.
2021
English
Computer Science
Linear Systems, Signal Processing and Hypercomplex Analysis ; Chapman University, November 2017
includes contributions originating from a conference held at Chapman University during November 14-19, 2017. It presents original research by experts in signal processing, linear systems, operator theory, complex and hypercomplex analysis and related topics.
2019
English
Computer Science
Total Books: 919 - 936 / 3461
