Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD LANGUAGE AND LANGUAGES *END*INIT* use /tmp/qspiwww.webspi1/21226.1 QRY 131.225.70.96 . find keyword language and languages ( in books using www Cover
Image
Call number:9781449323615:ONLINE Show nearby items on shelf
Title:Python for Data Analysis : Data Wrangling with Pandas, NumPy, and IPython
Author(s): Wes McKinney
Date:2012
Publisher:O'Reilly Media
Size:469 p
Contents:Preliminaries -- Introductory examples -- IPython : an interactive computing development environment -- NumPy basics : arrays and vectorized computation -- Getting started with pandas -- Data loading, storage, and file formats -- Data wrangling : clean, transform, merge, reshape -- Plotting and visualization -- Data aggregation and group operations -- Time series -- Financial and economic data applications -- Advanced NumPy
ISBN:9781449319793
Series:eBooks
Keywords: Data mining , Programming languages (Electronic computers) , Python (Computer program language)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9789462390676:ONLINE Show nearby items on shelf
Title:Constraints Meet Concurrency [electronic resource]
Author(s): Jacopo Mauro
Date:2014
Publisher:Paris : Atlantis Press : Imprint: Atlantis Press
Size:1 online resource
Note:This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power ofconcurrent languages fr om a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separatelines of development. Firstly the expressive pow er of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language which make it Turing powerfulare shown. Then a framework is proposed to solve constraint problems t hat is intended to be deployed on a concurrent system. For the development of this framework the concurrent language Jolie following the Service Oriented paradigm isused. Based on this experience, an extension to Service Oriented Languages is also propose d in order to overcome some of their limitations and to improve the development of concurrent applications
Contents:Introduction
Constraints
Concurrency
Constraint Handling Rules
Non Turing powerful fragments of CHR
Expressive power of priorities in CHR
Constraints in Clouds
A Classification
based Approach to Manage a Solver Portfolio
Broadcast messages in Jolie
Interruptible request responses in Jolie
Conclusions
References
Proofs
ISBN:9789462390676
Series:eBooks
Series:SpringerLink
Series:Atlantis Studies in Computing, 2212-8557 : v5
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783642453724:ONLINE Show nearby items on shelf
Title:The Welsh Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2014
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Contents:1.Executive Summary
2.Languages at risk: a challenge for Language Technology
3.The Welsh Language in the European Information Society
4.Language Technology Support for Welsh
5.About META
NET
References
META
NET Members
The META
NET White Papers Series
ISBN:9783642453724
Series:eBooks
Series:SpringerLink
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783642317941:ONLINE Show nearby items on shelf
Title:Foundations of Geometric Algebra Computing [electronic resource]
Author(s): Dietmar Hildenbrand
Date:2013
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The author defines Geometric Algebra Computing as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of this book is to lay thefoundations for the widespread use of geometric algebra as a powerful, intuitive mathematical language for engineering applications in academia and industry. The related technology is driven by the invention of conformal geometricalgebra as a 5D extension of the 4D projective geometric alg ebra and by the recent progress in parallel processing, and with the specific conformal geometric algebra there is a growing community in recent years applying geometricalgebra to applications in computer vision, computer graphics, and robotics. This book is organized into three parts: in Part I the author focuses on the mathematical foundations in Part II he explains the interactive handling ofgeometric algebra and in Part III he deals with computing technology for high-performance implementations based on geometric algebra as a domain-specific language in standard programming languages such as C++ and OpenCL. The book iswritten in a tutorial style and readers should gain experience with the associated freely available software packages and applications. The book is suitable for students, engineers, and researchers in computer science, computationalengineering, and mathematics
Note:Springer eBooks
Contents:Chap. 1 Introduction
Chap. 2 Mathematical Introduction
Chap. 3 The Conformal Geometric Algebra
Chap. 4 Maple and the Identification of Quaternions and Other Algebras
Chap. 5 Fitting of Planes or Spheres into Point Sets
Chap. 6 Geometric Algebra Tutorial Using CLUCalc
Chap. 7 Inverse Kinematics of a Simple Robot
Chap. 8 Robot Grasping an Object
Chap. 9 Efficient Computer Animation Application in CGA
Chap. 10 Using Gaalop for Performant Geometric Algebra Computing
Chap. 11 Collision Detection Using the Gaalop Precompiler
Chap. 12 Gaalop Precompiler for GPGPUs
ISBN:9783642317941
Series:e-books
Series:SpringerLink (Online service)
Series:Geometry and Computing, 1866-6795 : v8
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Computer vision , Geometry , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461478676:ONLINE Show nearby items on shelf
Title:Introduction to Tensor Analysis and the Calculus of Moving Surfaces [electronic resource]
Author(s): Pavel Grinfeld
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This text is meant to deepen its readers understanding of vector calculus, differential geometry and related subjects in applied mathematics. Designed for advanced undergraduate and graduate students, this text invites itsaudience to take a fresh loo k at previously learned material through the prism of tensor calculus. Once the framework is mastered, the student is introduced to new material which includes differential geometry on manifolds, shapeoptimization, boundary perturbation, and dynamic fluid film equations. Tensor calculus is a powerful tool that combines the geometric and analytical perspectives and enables us to take full advantage of the computational utility ofcoordinate systems. The tensor approach can be of benefit to members of all te chnical sciences including mathematics and all engineering disciplines. If calculus and linear algebra are central to the readers scientific endeavors,tensor calculus is indispensable. The language of tensors, originally championed by Einstein, is as fund amental as the languages of calculus and linear algebra and is one that every technical scientist ought to speak. The tensortechnique, invented at the turn of the 20th century, is now considered classical. Yet, as the author shows, it remains remarkably v ital and relevant. The authors skilled lecturing capabilities are evident by the inclusion ofinsightful examples and a plethora of exercises. A great deal of material is devoted to the geometric fundamentals, the mechanics of change of variables, the prop er use of the tensor notation, and the discussion of the interplaybetween algebra and geometry. The early chapters have many words and few equations. The definition of a tensor comes only in Chapter 6 when the reader is ready for it. While this text main tains a reasonable level of rigor, it takesgreat care to avoid formalizing the subject. The last part of the textbook is devoted to the calculus of moving surfaces. It is the first textboo
Note:Springer eBooks
Contents:Preface
Why Tensor Calculus?
1. Rules of the Game
2. Coordinate Systems and the Role of Tensor Calculus
3. Change of Coordinates
4. Tensor Description of Euclidean Spaces
5. The Tensor Property
6. Covariant Differentiation
7. Determinants and the Levi
Civita Symbol
8. Tensor Description of Surfaces
9. Covariant Derivative of Tensors with Surface Indices
10. The Curvature Tensor
11. Covariant Derivative of Tensors with Spatial Indices
12. Integration and Gauss's Theorem
13. Intrinsic Features of Embedded Surfaces
14. Further Topics in Differential Ge
ISBN:9781461478676
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Matrix theory , Global differential geometry , Mathematical optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461467977:ONLINE Show nearby items on shelf
Title:Nonlinear Optimization Applications Using the GAMS Technology [electronic resource]
Author(s): Neculai Andrei
Date:2013
Publisher:Boston, MA : Springer US : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Nonlinear Optimization Applications Using the GAMS Technology develops a wide spectrum of nonlinear optimization applications expressed in the GAMS (General Algebraic Modeling System) language. The book is highly self-containedand is designed to pres ent applications in a general form that can be easily understood and quickly updated or modified to represent situations from the real world. The book emphasizes the local solutions of the large-scale, complex,continuous nonlinear optimization application s, and the abundant examples in GAMS are highlighted by those involving ODEs, PDEs, and optimal control. The collection of these examples will be useful for software developers andtesters. Chapter one presents aspects concerning the mathematical modeling process in the context of mathematical modeling technologies based on algebraic-oriented modeling languages. The GAMS technology is introduced in Chapter 2,mainly as a system for formulating and solving a large variety of general optimization models. The bulk of the82 nonlinear optimization applications is given in Chapter 3. This book is primarily intended to serve as a reference forgraduate students and for scientists working in various disciplines of industry/mathematical programming that use optimizat ion methods to model and solve problems. It is also well suited as supplementary material for seminars inoptimization, operations research, and decision making, to name a few
Note:Springer eBooks
Contents:Preface
List of Figures
List of Applications
1. Mathematical Modeling Using Algebraic Oriented Languages
2. Introduction to GAMS Technology
3. Nonlinear Optimization Applications in GAMS Technology
References
Subject Index
Author Index
ISBN:9781461467977
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Optimization and Its Applications, 1931-6828 : v81
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Mathematical optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461454687:ONLINE Show nearby items on shelf
Title:Astrolinguistics [electronic resource] : Design of a Linguistic System for Interstellar Communication Based on Logic
Author(s): Alexander Ollongren
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:In linguistics, one of the main areas of modern research involves the capabilities and possibilities of there being a lingua cosmica, a LINCOS, a universal language that could be used to communicate with non-humanintelligences. This book touches on t he area of the development and use of a lingua universalis for interstellar communication, but it also presents concepts that cover a broad area of linguistics. Chomsky's paradigm on universalproperties of natural languages, for a long time a leading gene ral theory of natural languages, includes the strong assumption that humans are born with some kind of universals stored in their brains. Are there universals of this kindof language used by intelligent beings and societies elsewhere in the universe? We d o not know whether such languages exist. It seems to be impossible to determine, simply because the universe is too large for an exhaustive search.Even verification will be hard to obtain, without quite a bit of luck. This book uses astrolinguistic princi ples in message construction and is helpful in clarifying and giving perspective to discussions on existential questions suchas these
Note:Springer eBooks
Contents:Preface by Prof. D. Vakoch
Paart I: Calculus of Constructions
Chapter 1.1: Types and declarations
Chapter 1.2: Functions and induction
Chapter 1.3.: Hypotheses
Chapter 1.4: Higher orders and inductive structures
Part II: Facts
Chapter 2.1: Simple Facts
Chapter 2.2: Compounds
Chapter 2.3: Aristotelian Theater
Chapter 2.4: Wittgenstein's Theater
Part III: Annotation in LINCOS
Chapter 3.1: Logical contents of texts
Chapter 3.2: An astrolinguistic experiment
Chapter 3.3: Aspects of Truth
Chapter 3.4: Human altruism
Part IV: Interpretation of LINCOS
ISBN:9781461454687
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Linguistics Philosophy , Astrophysics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9789491216565:ONLINE Show nearby items on shelf
Title:Code Generation with Templates [electronic resource]
Author(s): Jeroen Arnoldus
Mark van den Brand
A Serebrenik
J.J Brunekreef
Date:2012
Publisher:Paris : Atlantis Press : Imprint: Atlantis Press
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the increase of dynamic web applications. Templates are a tool for programmers, andimplementations of t emplate engines are most times based on practical experience rather than based on a theoretical background. This book reveals the mathematical background of templates and shows interesting findings for improvingthe practical use of templates. First, a fr amework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. Anon-Turing-complete metalanguage enforces separation of concerns between the vi ew and model. Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the syntactical correctness ofthe template metalanguage and the output language. Third, case studies show that the achieved goals are applicable in practice. It is even shown that syntactical correctness helps to prevent cross-site scripting attacks in webapplications. The target audience of this book is twofold. The first group exists of researcher interested in the mathematical b ackground of templates. The second group exists of users of templates. This includes designers oftemplate engines on one side and programmers and web designers using templates on the other side
Note:Springer eBooks
Contents:Introduction
Preliminaries
The Unparser
The Metalanguage
Syntax
Safe Templates
Repleo: Syntax
Safe Template Evaluation
Case Studies
Conclusions
ISBN:9789491216565
Series:e-books
Series:SpringerLink (Online service)
Series:Atlantis Studies in Computing, 2212-8557 : v1
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Software engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642314339:ONLINE Show nearby items on shelf
Title:The Norwegian Language in the Digital Age [electronic resource] Nynorskversjon
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642314339
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642313899:ONLINE Show nearby items on shelf
Title:The Norwegian Language in the Digital Age [electronic resource] Bokmalsversjon
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642313899
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642308826:ONLINE Show nearby items on shelf
Title:The Croatian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642308826
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642308765:ONLINE Show nearby items on shelf
Title:The Latvian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642308765
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642308413:ONLINE Show nearby items on shelf
Title:The Spanish Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642308413
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642308321:ONLINE Show nearby items on shelf
Title:The Swedish Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642308321
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642308116:ONLINE Show nearby items on shelf
Title:The Polish Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642308116
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307997:ONLINE Show nearby items on shelf
Title:The Galician Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642307997
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307966:ONLINE Show nearby items on shelf
Title:The Basque Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
ISBN:9783642307966
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307850:ONLINE Show nearby items on shelf
Title:The Estonian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Estonian Language in the Information Society
Language Technology Support for Estonian
About META
NET
ISBN:9783642307850
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307768:ONLINE Show nearby items on shelf
Title:The Italian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Italian Language in the Information Society
Language Technology Support for Italian
About META
NET
ISBN:9783642307768
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307614:ONLINE Show nearby items on shelf
Title:The French Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The French Language in the Information Society
Language Technology Support for French
About META
NET
ISBN:9783642307614
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307584:ONLINE Show nearby items on shelf
Title:The Lithuanian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Lithuanian Language in the Information Society
Language Technology Support for Lithuanian
About META
NET
ISBN:9783642307584
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307553:ONLINE Show nearby items on shelf
Title:The Serbian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Serbian Language in the Information Society
Language Technology Support for Serbian
About META
NET
ISBN:9783642307553
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307065:ONLINE Show nearby items on shelf
Title:The Czech Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Czech Language in the Information Society
Language Technology Support for Czech
About META
NET
ISBN:9783642307065
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416 : v15
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642307034:ONLINE Show nearby items on shelf
Title:The Romanian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Romanian Language in the Information Society
Language Technology Support for Romanian
About META
NET
ISBN:9783642307034
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416 : v16
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642306846:ONLINE Show nearby items on shelf
Title:The English Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The English Language in the Information Society
Language Technology Support for English
About META
NET
ISBN:9783642306846
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642306815:ONLINE Show nearby items on shelf
Title:The Maltese Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centers from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Maltese Language in the Information Society
Language Technology Support for Maltese
About META
NET
ISBN:9783642306815
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642306785:ONLINE Show nearby items on shelf
Title:The Catalan Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Catalan Language in the Information Society
Language Technology Support for Catalan
About META
NET
ISBN:9783642306785
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642306365:ONLINE Show nearby items on shelf
Title:The Slovene Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020.
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Slovene Language in the Information Society
Language Technology Support for Slovene
About META
NET
ISBN:9783642306365
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642306273:ONLINE Show nearby items on shelf
Title:The Danish Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:_
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Danish Language in the Information Society
Language Technology Support for Danish
About META
NET
ISBN:9783642306273
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642305580:ONLINE Show nearby items on shelf
Title:The Irish Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Irish Language in the Information Society
Language Technology Support for Irish
About META
NET
ISBN:9783642305580
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642303791:ONLINE Show nearby items on shelf
Title:The Hungarian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Hungarian Language in the Information Society
Language Technology Support for Hungarian
About META
NET
ISBN:9783642303791
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642303708:ONLINE Show nearby items on shelf
Title:The Slovak Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:_
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Slovak Language in the Information Society
Language Technology Support for Slovak
About META
NET
ISBN:9783642303708
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416 : v5
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642301742:ONLINE Show nearby items on shelf
Title:The Icelandic Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Portuguese Language in the Information Society
Language Technology Support for Portuguese
About META
NET
ISBN:9783642301742
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642301681:ONLINE Show nearby items on shelf
Title:The Bulgarian Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:_
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Portuguese Language in the Information Society
Language Technology Support for Portuguese
About META
NET
ISBN:9783642301681
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416 : v4
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642295935:ONLINE Show nearby items on shelf
Title:The Portuguese Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:_
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Portuguese Language in the Information Society
Language Technology Support for Portuguese
About META
NET
ISBN:9783642295935
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642289361:ONLINE Show nearby items on shelf
Title:The Greek Language in the Digital Age [electronic resource]
Author(s): Georg Rehm
Hans Uszkoreit
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of languagetechnology in Europe vari es between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors,such as the complexity of a given language an d the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysisfocused on the 23 official European languages as well as other importa nt national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailedexpert analysis and assessment of the current situation will help maximise the impact of add itional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders fromcommercial businesses, government agencies, industry, research organisations, software companies, technology provide rs and European universities. Together, they are creating a common technology vision while developing a strategicresearch agenda that shows how language technology applications can address any research gaps by 2020
Note:Springer eBooks
Contents:Executive Summary
Languages at Risk: a Challenge for Language Technology
The Greek Language in the Information Society
Language Technology Support for Greek
About META
NET
ISBN:9783642289361
Series:e-books
Series:SpringerLink (Online service)
Series:White Paper Series, 2194-1416
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Translators (Computer programs) , Computational linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9781461417439:ONLINE Show nearby items on shelf
Title:Analysis of Phylogenetics and Evolution with R [electronic resource]
Author(s): Emmanuel Paradis
Date:2012
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The increasing availability of molecular and genetic databases coupled with the growing power of computers gives biologists opportunities to address new issues, such as the patterns of molecular evolution, and re-assess old ones,such as the role of a daptation in species diversification. In the second edition, the book continues to integrate a wide variety of data analysis methods into a single and flexible interface: the R language. This open source languageis available for a wide range of computer s ystems and has been adopted as a computational environment by many authors of statistical software. Adopting R as a main tool for phylogenetic analyses will ease the workflow in biologists'data analyses, ensure greater scientific repeatability, and enhanc e the exchange of ideas and methodological developments. The second edition is completely updated, covering the full gamut of R packages for this area that have beenintroduced to the market since its previous publication five years ago. There is also a ne w chapter on the simulation of evolutionary data. Graduate students and researchers in evolutionary biology can use this book as areference for data analyses, whereas researchers in bioinformatics interested in evolutionary analyses will learn how to impl ement these methods in R. The book starts with a presentation of different R packages and gives a shortintroduction to R for phylogeneticists unfamiliar with this language. The basic phylogenetic topics are covered: manipulation of phylogenetic data, phyl ogeny estimation, tree drawing, phylogenetic comparative methods, and estimation ofancestral characters. The chapter on tree drawing uses R's powerful graphical environment. A section deals with the analysis of diversification with phylogenies, one of the author's favorite research topics. The last chapter is devotedto the development of phylogenetic methods with R and interfaces with other languages (C and C++). Some exercises conclude these chap
Note:Springer eBooks
Contents:Introduction
First Steps in R for Phylogeneticists
Phylogenetic Data in R
Plotting Phylogenies
Phylogeny Estimation
Analysis of Macroevolution with Phylogenies
Simulating Phylogenies and Evolutionary Data
Developing and Implementing Phylogenetic Methods in R
Short Course on Regular Expressions
ISBN:9781461417439
Series:e-books
Series:SpringerLink (Online service)
Series:Use R!
Series:Mathematics and Statistics (Springer-11649)
Keywords: Life sciences , Bioinformatics , Evolution (Biology) , Statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9783642191992:ONLINE Show nearby items on shelf
Title:Quantum Mechanics in the Geometry of Space-Time [electronic resource] : Elementary Theory
Author(s): Roger Boudet
Date:2011
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book continues the fundamental work of Arnold Sommerfeld and David Hestenes formulating theoretical physics in terms of Minkowski space-time geometry. We see how the standard matrix version of the Dirac equation can bereformulated in terms of a real space-time algebra, thus revealing a geometric meaning for the number i in quantum mechanics. Next, it is examined in some detail how electroweak theory can be integrated into the Dirac theory andthis way interpreted in terms of space-time geometry. Finally, some implications for quantum electrodynamics are considered.The presentation of real quantum electromagnetism is expressed in an addendum. The book covers both the use ofthe complex and the real languages and allows the reader acquainted with th e first language to make a step by step translation to the second one
Note:Springer eBooks
Contents:Introduction
Comparison between Complex and Real Algebraic Languages
The Clifford Algebra Associated with the Minkowski Space
Time M
Comparison between Real and Complex Languages
The U(1) Gauge in Complex and Real Languages
Geometrical Properties and Relation with the Spin and the Energy of a Particle of Spin 1/2
Geometrical Properties of the U(1) Gauge
Relation between the U(1) Gauge, the Spin and the Energyof a Particle of Spin 1/2
Geometrical Properties of the Dirac Theory of the Electron
The Dirac Theory of the Electron in the Real Language
The Invariant Form o
ISBN:9783642191992
Series:e-books
Series:SpringerLink (Online service)
Series:SpringerBriefs in Physics
Series:Physics and Astronomy (Springer-11651)
Keywords: Mathematical physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9781441960894:ONLINE Show nearby items on shelf
Title:E.T. Talk [electronic resource] : How Will We Communicate with Intelligent Life on Other Worlds?
Author(s): Fernando J Ballesteros
Date:2010
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Although we have done extensive studies of the Solar System and thus far found over 300 extrasolar planets planets outside our Solar System we have not yet found life, even primitive life, on any planet other than Earth.Might there be life on some of these newly discovered extrasolar planets? Not likely, as most are gas giants or are too close or too far from their sun. However, of late we are finding more and more Earthlike planets. It is nowestimated that about 15 percent of the planets in the ga laxy are Earthlike, and many of these will likely orbit their suns at the right distance to support life as we know it. No one knows yet if radio searches or other means ofdetection will reveal that we are not alone in the universe. But if we do discover intelligent life elsewhere, how will we communicate with it? Are there some universal methods of communication we can use? Is music or mathematicsa universal language? Are there alien intelligences right here on Earth we can use to help us figure out ways of communicating? The answers may surprise you. All of these issues and more are covered in this exciting, readable, andauthoritative book on a subject that is not mere idle speculation anymore. We are certainly getting closer to finding out who, if anyb ody, is out there. This book will not only inform you about the search and the likelihood of findinglife, it will also actually teach you how to talk to aliens!
Note:Springer eBooks
Contents:Foreword
Preface
Part I: With Whom? Finding Life in the Universe
Chapter 1: A Place for Life
Chapter 2: The Miracle of Life
Chapter 3: Life in the Solar System?
Part II: With What?: The Search for Extraterrestrial Intelligence
Chapter 4: The Search Starts
Chapter 5: Where to Look
Chapter 6: The Searching Strategies
Part III: How?: The Language of Communication
Chapter 7: Different Languages
Chapter 8: Different World Views
Chapter 9: How Do We Know If There's a Message?
Chapter 10: Searching for a Common Language
Chapter 11: Is Anybody Out There?
ISBN:9781441960894
Series:e-books
Series:SpringerLink (Online service)
Series:Astronomers' Universe, 1614-659X
Series:Physics and Astronomy (Springer-11651)
Keywords: Astronomy , Mathematics , Astronautics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9781441913180:ONLINE Show nearby items on shelf
Title:R for Stata Users [electronic resource]
Author(s): Robert A Muenchen
Joseph Hilbe
Date:2010
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Stata is the most flexible and extensible data analysis package available from a commercial vendor. R is a similarly flexible free and open source package for data analysis, with over 3,000 add-on packages available. This bookshows you how to extend the power of Stata through the use of R. It introduces R using Stata terminology with which you are already familiar. It steps through more than 30 programs written in both languages, comparing and contrastingthe two packages' different approaches. When f inished, you will be able to use R in conjunction with Stata, or separately, to import data, manage and transform it, create publication quality graphics, and perform basic statisticalanalyses. A glossary defines over 50 R terms using Stata jargon and aga in using more formal R terminology. The table of contents and index allow you to find equivalent R functions by looking up Stata commands and vice versa. Theexample programs and practice datasets for both R and Stata are available for download. Robert A. Muenchen is the author of the book, R for SAS and SPSS Users, and is a consulting statistician with 29 years of experience. He has servedon the advisory boards of SAS Institute, SPSS Inc., and the Statistical Graphics Corporation. He currently manages Res earch Computing Support at The University of Tennessee. Joseph M. Hilbe is Solar System Ambassador with NASA/JetPropulsion Laboratory, California Institute of Technology, an adjunct professor of statistics at Arizona State, and emeritus professor at the U niversity of Hawaii. He is a Fellow of the American Statistical Association and electedmember of the International Statistical Institute. Hilbe was the first editor of the Stata Technical Bulletin, (later named the Stata Journal) and is author of a number of textbooks, including Logistic Regression Models and NegativeBinomial Regression
Note:Springer eBooks
Contents:Introduction
Installing and Updating R
Running R
Help and Documentation
Programming Language Basics
Data Acquisition
Selecting Variables
Selecting Observations
Selecting Variables and Observations
Data Management
Enhancing Your Output
Generating Data
Managing Your Files and Workspace
Graphics Overview
Traditional Graphics
Graphics with ggplot2
Statistics
Conclusion
ISBN:9781441913180
Series:e-books
Series:SpringerLink (Online service)
Series:Statistics and Computing, 1431-8784
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9780387729268:ONLINE Show nearby items on shelf
Title:Semantics-Oriented Natural Language Processing [electronic resource] : Mathematical Models and Algorithms
Author(s): Vladimir Fomichov A.
Date:2010
Edition:First
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book examines key issues in designing semantics-oriented natural language (NL) processing systems. One of the key features is an original strategy for transforming the existing World Wide Web into a new generation SemanticWeb (SW-2) and the basi c formal tools for its realization, which are proposed. The principal distinguishing feature of the proposed SW-2 is the well-developed ability of NL processing. A broad conceptual framework for describingstructured meanings of NL-texts (sentences and arb itrarily complex discourses) is obtained by introducing a mathematical model describing 10 interrelated partial operations on conceptual structures. A new class of formal languagescalled standard knowledge languages (SK-languages) is defined. Readers will gain knowledge of these languages and learn a way of building semantic representations using them. Additionally, a broadly applicable mathematical model of alinguistic database is constructed. A useful for practice and strongly structured multi-lingual a lgorithm of semantic-syntactic analysis of NL-texts is described by means of original formal concepts the input texts can be sentences inEnglish, Russian, and German. With extensive use of examples and illustrations to clarify complex material and demonst rate practical applications, many historical and bibliographical notes, end-of-chapter exercises, and glossaries,this book can serve as a graduate-level textbook, as well as a good reference for researchers and practitioners who deal with the various prob lems involving semantics of natural language texts, ontologies, Semantic Web, semantic dataintegration in e-science, and content languages in multi-agent systems, in particular, in e-commerce and e-health
Note:Springer eBooks
Contents:Preface
Acronyms
Part I: A Comprehensive Mathematical Framework for the Development of Semantic Technologies
Mathematical Models for Designing Natural Language Processing Systems as a New Field of Study for Systems Science
Introduction to Integral Formal Semantics of Natural Language
A Mathematical Model for Describing a System of Primary Units of Conceptual Level Used by Applied Intelligent Systems
A Mathematical Model for Describing Structured Meanings of Natural Language Sentences and Discourses
A Study of the Expressive Possibilities of SK
Languages
The Significance
ISBN:9780387729268
Series:e-books
Series:SpringerLink (Online service)
Series:IFSR International Series on Systems Science and Engineering, 1574-0463 : v27
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computational complexity , Information systems , Translators (Computer programs) , Systems theory , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9781848825390:ONLINE Show nearby items on shelf
Title:Dude, Can You Count? [electronic resource] : Stories, Challenges, and Adventures in Mathematics
Author(s): Christian Constanda
Date:2009
Publisher:London : Springer London
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Imagine algebra class meets The Hitchhikers Guide to the Galaxy Meet JJ, an unusual character with a unique vantage position from which he can measure and monitor humanitys progress. Armed with a device that compels allaround it to tell the truth, JJ offers a satirical evaluation of our attitudes to numeracy and logic, touching upon several aspects of life on Earth along the way, from the criminal justice system and peoples use of language tohighway driving and modern art. A collection of mathematica lly-flavored stories and jokes, interlaced with puzzles, paradoxes and problems, fuse together in an entertaining, free-flowing narrative that will engage and amuse anyone withan interest in the issues confronting society today. JJ demonstrates how a lack of elementary mathematical knowledge can taint our work and general thinking and reflects upon the importance of what is arguably our most valuable weaponagainst ignorance: a sound mathematical education. What is JJs prognosis for our future? Theres only one way to find out... Numbers, logic, human behavior and aliens: this unique book blends them all into a captivatingnarrative of serious talk and satire, where wit and scholarly details are counterpointed by instructive puzzles and mathematical fun. A m ust read for anybody who appreciates humor and culture. Stanislav Potapenko, Department ofCivil and Environmental Engineering, University of Waterloo, Canada ... a real delight. Constanda has managed to intertwine stories, puzzles, logic and some very ric h mathematics concepts into a very readable, enjoyable novel... Ibelieve this book should be in the personal library of every high school mathematics teacher. Tom Becvar, St Louis University High School, USA a highly readable, unique and fascinating combi nation of humor, mathematics andsocial commentary that is factual, educational and, more importantly, understandable. Given what is taking place in todays society, J.J
Note:Springer eBooks
Contents:JJ and the MICQ
The Mathematical Commandments
The Public School System
The School Mathematical Education
Language, Grammar, and Punctuation
Foreign Languages
Foreign Countries and Foreigners
Mathematics and the Public
The Question of Calculus
Political Correctness
TV Advertising
Highway Driving
Units of Measurement
Percentages and Living on Debt
Modern Art
Averages and Buying Cars
The Public Media
The Criminal Legal System
Civil Litigation
Statistics and Probability
Academic Politics
Antisocial Behavior
Mathematicians Versus Eng
ISBN:9781848825390
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra , Geometry , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9781848009400:ONLINE Show nearby items on shelf
Title:A Course in Formal Languages, Automata and Groups [electronic resource]
Author(s): Ian M Chiswell
Date:2009
Publisher:London : Springer London
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Based on the authors lecture notes for an MSc course, this text combines formal language and automata theory and group theory, a thriving research area that has developed extensively over the last twenty-five years. The aim ofthe first three chapters is to give a rigorous proof that various notions of recursively enumerable language are equivalent. Chapter One begins with languages defined by Chomsky grammars and the idea of machine recognition, contains adiscussion of Turing Machines, and includes w ork on finite state automata and the languages they recognise. The following chapters then focus on topics such as recursive functions and predicates recursively enumerable sets of naturalnumbers and the group-theoretic connections of language theory, inc luding a brief introduction to automatic groups. Highlights include: A comprehensive study of context-free languages and pushdown automata in Chapter Four, inparticular a clear and complete account of the connection between LR(k) languages and determinist ic context-free languages. A self-contained discussion of the significant Muller-Schupp result on context-free groups. Enriched withprecise definitions, clear and succinct proofs and worked examples, the book is aimed primarily at postgraduate students in mathematics but will also be of great interest to researchers in mathematics and computer science who want tolearn more about the interplay between group theory and formal languages. A solutions manual is available to instructors via www.springer.com
Note:Springer eBooks
Contents:Preface
Contents
1. Grammars and Machine Recognition
2. Recursive Functions
3. Recursively Enumerable Sets and Languages
4. Context
free language
5. Connections with Group Theory
A. Results and Proofs Omitted in the Text
B. The Halting Problem and Universal Turing Machines
C. Cantor's Diagonal Argument
D. Solutions to Selected Exercises
References
Index
ISBN:9781848009400
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Algebra , Group theory , Algebraic topology , Cell aggregation Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9780387981857:ONLINE Show nearby items on shelf
Title:Functional Data Analysis with R and MATLAB [electronic resource]
Author(s): James Ramsay
Giles Hooker
Spencer Graves
Date:2009
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Scientists often collect samples of curves and other functional observations, and develop models where parameters are also functions. This volume in the UseR! Series is aimed at a wide range of readers, and especially those whowould like apply these techniques to their research problems. It complements Functional Data Analysis, Second Edition and Applied Functional Data Analysis: Methods and Case Studies by providing computer code in both the R and Matlablanguages for a set of data analyses that show case functional data analysis techniques. The authors make it easy to get up and running in new applications by adapting the code for the examples, and by being able to access the detailsof key functions within these pages. This book is accompanied by add itional web-based support at http://www.functionaldata.org for applying existing functions and developing new ones in either language. The companion 'fda' package forR includes script files to reproduce nearly all the examples in the book including all bu t one of the 76 figures. Jim Ramsay is Professor Emeritus at McGill University and is an international authority on many aspects of multivariateanalysis. He was President of the Statistical Society of Canada in 2002-3 and holds the Societys Gold Medal for his work in functional data analysis. His statistical work draws on his collaboration with researchers in biomechanics,chemical engineering, climatology, ecology, economics, human biology, medicine and psychology. Giles Hooker is Assistant Professor of B iological Statistics and Computational Biology at Cornell University. His research interests includestatistical inference in nonlinear dynamics, machine learning and computational statistics. Spencer Graves is an engineer with a PhD in Statistics and over 15 years experience using S-Plus and R to analyze data in a broad range ofapplications. He has made substantive contributions to several CRAN packages including fda and DierckxSpline.
Note:Springer eBooks
Contents:Introduction to functional data analysis
Essential comparisons of the Matlab and R languages
How to specify basis systems for building functions
How to build functional data objects
Smoothing: Computing curves from noisy data
Descriptions of functional data
Exploring variation: Functional principal and canonical components analysis
Registration: Aligning features for samples of curves
Functional linear models for scalar responses
Linear models for functional responses
Functional models and dynamics
ISBN:9780387981857
Series:e-books
Series:SpringerLink (Online service)
Series:Use R
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Data mining , Statistical methods , Mathematical statistics , Marketing , Psychometrics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9781848002739:ONLINE Show nearby items on shelf
Title:Codes: An Introduction to Information Communication and Cryptography [electronic resource]
Author(s): N.L Biggs
Date:2008
Publisher:London : Springer London
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integratedintroduction to the mathema tics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons fordoing this: economy, reliability, and security, a nd each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be statedcarefully, but without unnecessary abstraction. Other features include: clear a nd careful exposition of fundamental concepts, including optimal coding, data compression, and public-key cryptography concise but complete proofs ofresults coverage of recent advances of practical interest, for example in encryption standards, authentica tion schemes, and elliptic curve cryptography numerous examples and exercises, and a full solutions manual available tolecturers from www.springer.com This modern introduction to all aspects of coding is suitable for advanced undergraduate or postgraduate courses in mathematics, computer science, electrical engineering, or informatics. It is alsouseful for researchers and practitioners in related areas of science, engineering and economics
Note:Springer eBooks
Contents:Coding and its uses
Prefix
free codes
Economical coding
Data compression
Noisy channels
The problem of reliable communication
The noisy coding theorems
Linear codes
Algebraic coding theory
Coding natural languages
The development of cryptography
Cryptography in theory and practice
The RSA cryptosystem
Cryptography and calculation
Elliptic curve cryptography
Answers to odd
numbered exercises
Index
ISBN:9781848002739
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Undergraduate Mathematics Series, 1615-2085
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Data structures (Computer science) , Coding theory , Combinatorics , Number theory , Telecommunication
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780387777900:ONLINE Show nearby items on shelf
Title:Morphometrics with R [electronic resource]
Author(s): Julien Claude
Date:2008
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Quantifying shape and size variation is essential in evolutionary biology and in many other disciplines. Since the morphometric revolution of the 90s, an increasing number of publications in applied and theoreticalmorphometrics emerged in the new dis cipline of statistical shape analysis. The R language and environment offers a single platform to perform a multitude of analyses from the acquisition of data to the production of static andinteractive graphs. This offers an ideal environment to analyze s hape variation and shape change. This open-source language is accessible for novices and for experienced users. Adopting R gives the user and developer several advantagesfor performing morphometrics: evolvability, adaptability, interactivity, a single and comprehensive platform, possibility of interfacing with other languages and software, custom analyses, and graphs. The book explains how to use R formorphometrics and provides a series of examples of codes and displays covering approaches ranging from tr aditional morphometrics to modern statistical shape analysis such as the analysis of landmark data, Thin Plate Splines, andFourier analysis of outlines. The book fills two gaps: The gap between theoreticians and students by providing worked examples from the acquisition of data to analyses and hypothesis testing. The gap between user and developers byproviding and explaining codes for performing all the steps necessary for morphometrics rather than providing a manual for a given software or package. Stude nts and scientists interested in shape analysis can use the book as areference for performing applied morphometrics, while prospective researchers will learn how to implement algorithms or interfacing R for new methods. In addition, adopting the R philoso phy will enhance exchanges within and outsidethe morphometrics community. Julien Claude is evolutionary biologist and palaeontologist at the University of Montpellier 2 where he got his Ph.D. in 200
Note:Springer eBooks
Contents:Contributors
Abbreviations and notations
Introduction
Acquiring and manipulating morphometric data
Traditional statistics for morphometrics
Modern morphometrics based on configurations of landmarks
Statistical analysis of shape using modern morphometrics
Going further with R
Appendix A: functions developed in this text
Appendix B: packages used in this text
ISBN:9780387777900
Series:e-books
Series:SpringerLink (Online service)
Series:Use R
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9780387351001:ONLINE Show nearby items on shelf
Title:Analysis of Phylogenetics and Evolution with R [electronic resource]
Author(s): Emmanuel Paradis
Date:2006
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The increasing availability of molecular and genetic databases coupled with the growing power of computers gives biologists opportunities to address new issues, such as the patterns of molecular evolution, and re-assess old ones,such as the role of a daptation in species diversification. This book integrates a wide variety of data analysis methods into a single and flexible interface: the R language. This open source language is available for a wide range ofcomputer systems and has been adopted as a c omputational environment by many authors of statistical software. Adopting R as a main tool for phylogenetic analyses will ease the workflow in biologists' data analyses, ensure greaterscientific repeatability, and enhance the exchange of ideas and method ological developments. Graduate students and researchers in evolutionary biology can use this book as a reference for data analyses, whereas researchers inbioinformatics interested in evolutionary analyses will learn how to implement these methods in R. T he book starts with a presentation of different R packages and gives a short introduction to R for phylogeneticists unfamiliar withthis language. The basic phylogenetic topics are covered: manipulation of phylogenetic data, phylogeny estimation, tree draw ing, phylogenetic comparative methods, and estimation of ancestral characters. The chapter on tree drawing usesR's powerful graphical environment. A section deals with the analysis of diversification with phylogenies, one of the author's favorite research topics. The last chapter is devoted to the development of phylogenetic methods with R andinterfaces with other languages (C and C++). Some exercises conclude these chapters. Emmanuel Paradis is an evolutionary biologist at the Centre National de la Reche rche Scientifique (CNRS) and the Institut de Recherche pour leDveloppement (IRD) in Montpellier. He received his Doctorate Diploma in population biology and ecology in 1993 at the University of Montpe
Note:Springer eBooks
Contents:First Steps in R for Phylogeneticists
Phylogenetic Data in R
Plotting Phylogenies
Phylogeny Estimation
Analysis of Macroevolution with Phylogenies
Developing and Implementing Phylogenetic Methods in R
ISBN:9780387351001
Series:e-books
Series:SpringerLink (Online service)
Series:Use R
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Bioinformatics , Evolution (Biology)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2005-9780387272702:ONLINE Show nearby items on shelf
Title:Emergent Computation [electronic resource] : Emphasizing Bioinformatics
Author(s): Matthew Simon
Date:2005
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Emergent Computation is concerned with recent applications of Mathematical Linguistics or Automata Theory. This subject has a primary focus upon Bioinformatics (the Genome and arising interest in the Proteome), but theclosing chapter also examines ap plications in Biology, Medicine, Anthropology, etc. The book is composed of an organized examination of DNA, RNA, and the assembly of amino acids into proteins. Rather than examine these areas from apurely mathematical viewpoint (that excludes much of the biochemical reality), the author uses scientific papers written mostly by biochemists based upon their laboratory observations. Thus while DNA may exist in its double strandedform, triple stranded forms are not excluded. Similarly, while bases exist in W atson-Crick complements, mismatched bases and abasic pairs are not excluded, nor are Hoogsteen bonds. Just as there are four bases naturally found in DNA,the existence of additional bases is not ignored, nor amino acids in addition to the usual complement of 20. Can there be more than 64 possible codons? RNA is examined from the point of view of Nussinov plots. All information ispresented from the point of view of regular, context-free, and context sensitive languages, as well as Turing machines and Seque ntial Machines (and their corresponding semi-groups). Relationships to other subjects of mathematics suchas Complex numbers, Quaternions, Algebraic-Topology, and Knot Theory are also mentioned. An examination is made of Splicing Systems as well as Dominoe s. Shortcomings illustrating the dangers of mathematical abstractions that ignorebiochemistry are pointed out. The papers examine the subjects of interest from the point of view of applying language theory to search for new results, but also as biological -automatons (implementations or machines) to do calculations.This book will be of value to those studying Bioinformatics, Biochemistry, Computer-Science, Mathematical Linguistics, and Biology, as we
Note:Springer eBooks
Contents:Emergent Computation: Bioinformatics
A Review of Chemistry
A Review of Aspects of Automata Theory
The Beginning Numbers
Regular Languages: DNA and RNA
Context
Free Languages: DNA and RNA
Context
Sensitive Languages: DNA, RNA, Proteins
Turing Machines and Sub
Turing Machines
Splicing Systems, H Systems
tRNA Structure
Semigroups and Bioinformatics
Automata Theory and Disciplines Other than Bioinformatics
Automata Theory: Non
Bioinformatics Emergent Computation
ISBN:9780387272702
Series:e-books
Series:SpringerLink (Online service)
Series:Biological and Medical Physics Biomedical Engineering, 1618-7210
Series:Physics and Astronomy (Springer-11651)
Keywords: Biochemical engineering , Biomedical engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781461302155:ONLINE Show nearby items on shelf
Title:Modeling Languages in Mathematical Optimization
Author(s):
Date:2004
Size:1 online resource (408 p.)
Note:10.1007/978-1-4613-0215-5
Contents:I Theoretical and Practical Concepts of Modeling Languages -- 1 Mathematical Optimization and the Role of Modeling Languages -- 2 Models and the History of Modeling -- 3 Mathematical Model Building -- 4 Theoretical Concepts and Design
of Modeling Languages -- 5 The Importance of Modeling Languages for Solving Real-World Problems -- II The Modeling Languages in Detail -- 6 The Modeling Language AIMMS -- 7 Design Principles and New Developments in the AMPL Modeling
Language -- 8 General Algebraic Modeling System (GAMS) -- 9 The LINGO Algebraic Modeling Language -- 10 The LPL Modeling Language -- 11 The MINOPT Modeling Language -- 12 Mosel: A Modular Environment for Modeling and Solving
Optimization Problems -- 13 The MPL Modeling System -- 14 The Optimization Systems MPSX and OSL -- 15 The NOP-2 Modeling Language -- 16 The OMNI Modeling System -- 17 The OPL Studio Modeling System -- 18 PCOMP: A Modeling Language for
Nonlinear Programs with Automatic Differentiation -- 19 The Tomlab Optimization Environment -- III The Future of Modeling Systems -- 20 The Future of Modeling Languages and Modeling Systems -- References
ISBN:9781461302155
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 88
Keywords: Mathematics , Programming languages (Electronic computers) , Numerical analysis , Computer science , Mathematical models , Mathematical optimization , Mathematics , Mathematical Modeling and Industrial Mathematics , Optimization , Symbolic and Algebraic Manipulation , Numeric Computing , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781461201717:ONLINE Show nearby items on shelf
Title:Automata Theory and its Applications
Author(s): Bakhadyr Khoussainov
Date:2001
Size:1 online resource (432 p.)
Note:10.1007/978-1-4612-0171-7
Contents:1. Basic Notions -- 1.1 Sets -- 1.2 Sequences and Tuples -- 1.3 Functions, Relations, Operations -- 1.4 Equivalence Relations -- 1.5 Linearly Ordered Sets -- 1.6 Partially Ordered Sets -- 1.7 Graphs -- 1.8 Induction -- 1.9 Trees and
König’s Lemma -- 1.10 Countable and Uncountable Sets -- 1.11 Algorithms -- 2 Finite Automata -- 2.1 Two Examples -- 2.2 Finite Automata -- 2.3 Closure Properties -- 2.4 The Myhill—Nerode Theorem -- 2.5 The Kleene Theorem -- 2.6
Generalized Finite Automata -- 2.7 The Pumping Lemma and Decidability -- 2.8 Relations and Finite Automata -- 2.9 Finite Automata with Equations -- 2.10 Monadic Second Order Logic of Strings -- 3 Büchi Automata -- 3.1 Two Examples --
3.2 Büchi Automata -- 3.3 The Büchi Theorem -- 3.4 Complementation for Büchi Automata -- 3.5 The Complementation Theorem -- 3.6 Determinism -- 3.7 Müller Automata -- 3.8 The McNaughton Theorem -- 3.9 Decidability -- 3.10 Büchi Automata
and the Successor Function -- 3.11 An Application of the McNaughton Theorem -- 4 Games Played on Finite Graphs -- 4.1 Introduction -- 4.2 Finite Games -- 4.3 Infinite Games -- 4.4 Update Games and Update Networks -- 4.5 Solving Games
-- 5 Rabin Automata -- 5.1 Rabin Automata -- 5.2 Special Automata -- 5.3 Game Automata -- 5.4 Equivalence of Rabin and Game Automata -- 5.5 Terminology: Arenas, Games, and Strategies -- 5.6 The Notion of Rank -- 5.7 Open Games -- 5.8
Congruence Relations -- 5.9 Sewing Theorem -- 5.10 Can Mr. (?) Visit C Infinitely Often? -- 5.11 The Determinacy Theorem -- 5.12 Complementation and Decidability -- 6 Applications of Rabin Automata -- 6.1 Structures and Types -- 6.2
The Monadic Second Order Language -- 6.3 Satisfiability and Theories -- 6.4 Isomorphisms -- 6.5 Definability in T and Decidability of S2S -- 6.6 The Structure with ? Successors -- 6.7 Applications to Linearly Ordered Sets -- 6.8
Application to Unary Algebras -- 6.9 Applications to Cantor’s Discontinuum -- 6.10 Application to Boolean Algebras
ISBN:9781461201717
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 21
Keywords: Mathematics , Software engineering , Computers , Mathematical logic , Artificial intelligence , Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Theory of Computation , Computation by Abstract Devices , Mathematical Logic and Formal Languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401593090:ONLINE Show nearby items on shelf
Title:What is Negation?
Author(s):
Date:1999
Size:1 online resource (335 p.)
Note:10.1007/978-94-015-9309-0
Contents:I Models, Relevance and Impossibility -- Negation: Two Points of View -- A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation -- Negation in Relevant Logics (How I stopped worrying and
learned to love the Routley Star) -- Negation in the Light of Modal Logic -- II Paraconsistency, Partiality and Logic Programming -- Negation and Contradiction -- What not? A Defence of Dialetheic Theory of Negation -- Partial Logics
with Two Kinds of Negation as a Foundation for Knowledge-based Reasoning -- From Here to There: Stable Negation in Logic Programming -- III Absurdity, Falsity and Refutability -- Antirealism and Falsity -- Negation, Absurdity and
Contrariety -- Negation as Falsity: a Reply to Tennant -- IV Negations, Natural Language and the Liar -- Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis -- Negation, Denial and Language Change in
Philosophical Logic -- What is that Item Designated Negation?
ISBN:9789401593090
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 13
Keywords: Philosophy , Logic , Language and languages , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Philosophy of Language
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401592048:ONLINE Show nearby items on shelf
Title:Foundations of Rational Agency
Author(s):
Date:1999
Size:1 online resource (302 p.)
Note:10.1007/978-94-015-9204-8
Contents:Foundations of Rational Agency -- Rationality and Intelligence -- What Sort of Architecture is Required for a Human-like Agent? -- Planning Agents -- Toward Rational Interactions in Multiagent Domains -- Know-How -- An Integrated
Modal Approach to Rational Agents -- Speech Acts for Dialogue Agents -- Communication among Rational Agents -- The Evolution of SharedPlans -- A Survey of Agent-Oriented Programming -- A Situation Calculus Approach to Modeling and
Programming Agents
ISBN:9789401592048
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 14
Keywords: Philosophy , Logic , Language and languages , Artificial intelligence , Game theory , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Game Theory, Economics, Social and Behav. Sciences , Philosophy of Language
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401145749:ONLINE Show nearby items on shelf
Title:Logic, Language and Reasoning Essays in Honour of Dov Gabbay
Author(s):
Date:1999
Size:1 online resource (429 p.)
Note:10.1007/978-94-011-4574-9
Contents:Dov Gabbay: “I am a logic” -- Research Themes of Dov Gabbay -- Proofs, Labels and Dynamics in Natural Language -- What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers -- Imperative History: Two-dimensional
Executable Temporal Logic -- Diagrammatic Reasoning in Projective Geometry -- On Sentences of the Kind “Sentence ‘p’ is About Topic t” -- Two Traditions in the Logic of Belief: Bringing them Together -- Elimination of Predicate
Quantifiers -- Labelled Natural Deduction -- A General Reasoning Scheme for Underspecified Representations -- Deductive Systems and Categories in Linguistics -- Towards a Procedural Model of Natural-language Interpretation Crossover: A
Case Study -- Transformation Methods in LDS -- Labelled Deduction in the Composition of Form and Meaning -- Formalisms for Non-formal Languages -- Names Index
ISBN:9789401145749
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 5
Keywords: Philosophy , Logic , Computer science , Artificial intelligence , Mathematical logic , Computational linguistics , Philosophy , Logic , Computational Linguistics , Mathematical Logic and Foundations , Symbolic and Algebraic Manipulation , Artificial Intelligence (incl. Robotics)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401142670:ONLINE Show nearby items on shelf
Title:Software Prototyping in Data and Knowledge Engineering
Author(s): Giovanni Guida
Date:1999
Size:1 online resource (408 p.)
Note:10.1007/978-94-011-4267-0
Contents:1 The Prototyping Approach to Software Development -- 1.1 Linear Software Development -- 1.2 Software Prototyping -- 1.3 Iterative Software Development -- 1.4 The Evolutionary Perspective of Software Development -- 1.5 User-Centered
Software Design and Development -- 1.6 Software Prototyping Approaches -- 1.7 Classification of Software Prototypes -- 1.8 Software Prototyping and Prototypes. -- 1.9 Goals of Software Prototyping. -- 1.10 Prototyping and Software
Evaluation. -- 1.11 Involvement and Role of Users in Software Prototyping -- 1.12 Misconceptions about Software Prototyping -- 1.13 Rules of Software Prototyping -- 1.14 Requirements for Software Prototyping Environments -- 1.15
Object-Oriented Programming and Prototyping -- 1.16 Object-Oriented CASE Tools for Prototyping -- 2 Overview of Database Technology -- 2.1 Extended Relational Databases -- 2.2 Deductive Databases -- 2.3 Object Databases -- 2.4 Active
Databases -- 2.5 Temporal Databases -- 2.6 Spatial Databases -- 2.7 Multimedia Databases. -- 2.8 Data Warehousing. -- 2.9 Data Mining -- 3 Overview of Knowledge-Based Technology -- 3.1 Knowledge-Based Systems. -- 3.2 The Challenge of
Knowledge-Based Systems. -- 3.3 Knowledge-Based Technology: Techniques, Tools and Methodologies -- 3.4 KBS Techniques -- 3.5 KBS Tools -- 3.6 KBS Methodologies -- 3.7 Beyond Knowledge-Based Technology: A knowledge Management
Perspective -- 4 Data and Knowledge Intensive Systems -- 4.1 Computer Problem-Solving -- 5 The Prototyping Hierarchy -- 5.1 Approach and Architecture -- 5.1.1 Star Architecture -- 5.2 Reference Application. -- 6 The Relational Layer --
6.1 Relational Paradigm -- 6.2 Relational Prototyping Language -- 6.3 Prototyping by Relational Techniques -- 6.4 Prototyping the Relational Layer -- 7 The Extended Relational Layer -- 7.1 Extended Relational Paradigm -- 7.2 Extended
Relational Prototyping Language. -- 7.3 Prototyping by Extended Relational Techniques -- 7.4 Prototyping the Extended Relational Layer -- 8 The Deductive Layer -- 8.1 Deductive Paradigm -- 8.2 Deductive Prototyping Language -- 8.3
Prototyping by Deductive Techniques -- 8.4 Prototyping the Deductive Layer -- 9 The Object Layer -- 9.1 Object Paradigm -- 9.2 Object Prototyping Language. -- 9.3 Prototyping by Object Techniques -- 9.4 Prototyping the Object Layer. --
10 The Active Layer -- 10.1 Active Paradigm -- 10.2 Active Prototyping Language -- 10.3 Prototyping by Active Techniques -- 10.4 Prototyping the Active Layer -- 11 Prototyping Techniques Integration -- 11.1 Integrated Paradigm -- 11.2
Integrated Prototyping Language -- 12 Mapping Prototypes to Relational Databases -- 12.1 Transforming Passive Rules into Active Rules -- 12.2 Mapping Schemas. -- 12.3 Mapping Declarative Expressions -- 12.4 Mapping Procedural Code --
12.5 Mapping Nonrecursive Passive Rules -- 12.6 Mapping Active Rules -- References
ISBN:9789401142670
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 497
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Computer Science , Data Structures, Cryptology and Information Theory , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9781461214168:ONLINE Show nearby items on shelf
Title:Mathematical Control Theory
Author(s):
Date:1999
Size:1 online resource (360 p.)
Note:10.1007/978-1-4612-1416-8
Contents:1 Path Integrals and Stability -- 1.1 Introduction -- 1.2 Path Independence -- 1.3 Positivity of Quadratic Differential Forms -- 1.4 Lyapunov Theory for High-Order Differential Equations -- 1.5 The Bezoutian -- 1.6 Dissipative Systems
-- 1.7 Stability of Nonautonomous Systems -- 1.8 Conclusions -- 1.9 Appendixes -- 2 The Estimation Algebra of Nonlinear Filtering Systems -- 2.1 Introduction -- 2.2 The Filtering Model and Background -- 2.3 Starting from the Beginning
-- 2.4 Early Results on the Homomorphism Principle -- 2.5 Automorphisms that Preserve Estimation Algebras -- 2.6 BM Estimation Algebra -- 2.7 Structure of Exact Estimation Algebra -- 2.8 Structure of BM Estimation Algebras -- 2.9
Connection with Metaplectic Groups -- 2.10 Wei-Norman Representation of Filters -- 2.11 Perturbation Algebra and Estimation Algebra -- 2.12 Lie-Algebraic Classification of Maximal Rank Estimation Algebras -- 2.13 Complete
Characterization of Finite-Dimensional Estimation Algebras -- 2.14 Estimation Algebra of the Identification Problem -- 2.15 Solutions to the Riccati P.D.E -- 2.16 Filters with Non-Gaussian Initial Conditions -- 2.17 Back to the
Beginning -- 2.18 Acknowledgement -- 3 Feedback Linearization -- 3.1 Introduction -- 3.2 Linearization of a Smooth Vector Field -- 3.3 Linearization of a Smooth Control System by Change-of-State Coordinates -- 3.4 Feedback
Linearization -- 3.5 Input-Output Linearization -- 3.6 Approximate Feedback Linearization -- 3.7 Normal Forms of Control Systems -- 3.8 Observers with Linearizable Error Dynamics -- 3.9 Nonlinear Regulation and Model Matching -- 3.10
Backstepping -- 3.11 Feedback Linearization and System Inversion -- 3.12 Conclusion -- 4 On the Global Analysis of Linear Systems -- 4.1 Introduction -- 4.2 The Geometry of Rational Functions -- 4.3 Group Actions and the Geometry of
Linear Systems -- 4.4 The Geometry of Inverse Eigenvalue Problems -- 4.5 Nonlinear Optimization on Spaces of Systems -- 5 Geometry and Optimal Control -- 5.1 Introduction -- 5.2 From Queen Dido to the Maximum Principle -- 5.3
Invariance, Covariance, and Lie Brackets -- 5.4 The Maximum Principle -- 5.5 The Maximum Principle as a Necessary Condition for Set Separation -- 5.6 Weakly Approximating Cones and Transversality -- 5.7 A Streamlined Version of the
Classical Maximum Principle -- 5.8 Clarke’s Nonsmooth Version and the ?ojasiewicz Improvement -- 5.9 Multidifferentials, Flows, and a General Version of the Maximum Principle -- 5.10 Three Ways to Make the Maximum Principle Intrinsic
on Manifolds -- 5.11 Conclusion -- 6 Languages, Behaviors, Hybrid Architectures, and Motion Control -- 6.1 Introduction -- 6.2 MDLe: A Language for Motion Control -- 6.3 Hybrid Architecture -- 6.4 Application of MDLe to Path Planning
with Nonholonomic Robots -- 6.5 PNMR: Path Planner for Nonholonomic Mobile Robots -- 6.6 Conclusions -- 7 Optimal Control, Geometry, and Mechanics -- 7.1 Introduction -- 7.2 Variational Problems with Constraints and Optimal Control --
7.3 Invariant Optimal Problems on Lie Groups -- 7.4 Sub-Riemannian Spheres—The Contact Case -- 7.5 Sub-Riemannian Systems on Lie Groups -- 7.6 Heavy Top and the Elastic Problem -- 7.7 Conclusion -- 8 Optimal Control, Optimization, and
Analytical Mechanics -- 8.1 Introduction -- 8.2 Modeling Variational Problems in Mechanics and Control -- 8.3 Optimization -- 8.4 Optimal Control Problems and Integrable Systems -- 9 The Geometry of Controlled Mechanical Systems -- 9.1
Introduction -- 9.2 Second-Order Generalized Control Systems -- 9.3 Flat Systems and Systems with Flat Inputs -- 9.4 Averaging Lagrangian and Hamiltonian Systems with Oscillatory Inputs -- 9.5 Stability and Flatness in Mechanical
Systems with Oscillatory Inputs -- 9.6 Concluding Remarks
ISBN:9781461214168
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Calculus of variations , Mathematics , Calculus of Variations and Optimal Control Optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9789401156387:ONLINE Show nearby items on shelf
Title:Logic, Language and Computation
Author(s):
Date:1997
Size:1 online resource (253 p.)
Note:10.1007/978-94-011-5638-7
Contents:1. Recent Issues in Logic, Language and Computation -- 2. Restricted Quantification -- 3. The Epsilon Calculus’ Problematic -- 4. Definite Descriptions and Choice Functions -- 5. Spatio-Temporal Structure in Text -- 6. DRT and
Many-Valued Logics -- 7. On Constructive Modality -- 8. Displaying as Temporalizing: Sequent Systems for Subintuitistic Logics -- 9. Quantification and Dependence Logics -- 10. Relevant Conditionals, and Relevant Application Thereof
ISBN:9789401156387
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 5
Keywords: Philosophy , Logic , Language and languages , Computational linguistics , Semantics , Philosophy , Logic , Computational Linguistics , Semantics , Philosophy of Language
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9789401586320:ONLINE Show nearby items on shelf
Title:Fallacies Arising from Ambiguity
Author(s): Douglas Walton
Date:1996
Size:1 online resource (293 p.)
Note:10.1007/978-94-015-8632-0
Contents:1 Ambiguity and Fallacies -- 2 Equivocation -- 3 Amphiboly -- 4 Accent -- 5 Figure of Speech -- 6 Innuendo -- 7 Bias -- 8 a Pragmatic Synthesis
ISBN:9789401586320
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 1
Keywords: Philosophy , Logic , Language and languages , Social sciences , Philosophy , Logic , Philosophy of Language , Social Sciences, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9789400708587:ONLINE Show nearby items on shelf
Title:Advanced Relational Programming
Author(s): Filippo Cacace
Date:1996
Size:1 online resource (394 p.)
Note:10.1007/978-94-007-0858-7
Contents:1. Introduction -- 1.1. Brief History of Database Technology -- 1.2. The Relational Approach -- 1.3. Data-Intensive Application Domains -- 1.4. Requirements of New Data-Intensive Applications -- 2. Overview Of Recent Evolution In
Database Technology -- 2.1. Semantic Data Models -- 2.2. Functional Data Models -- 2.3. Temporal Databases -- 2.4. Extended Relational Databases -- 2.5. Deductive Databases -- 2.6. Object-Oriented Databases -- 2.7. Active Databases --
3. Theory Of The Nested Relational Model -- 3.1. The Relational Data Model -- 3.2. Relational Algebra -- 3.3. Relational Calculus -- 3.4. Nested Relational Data Model -- 3.5. Extended Relational Algebra -- 3.6. Equivalence of Extended
Relational Algebra Expressions -- 3.7. Extended Relational Calculus -- 3.8. Expressive Power: Comparing Algebra and Calculus -- 3.9. Taxonomy of Nested Relations -- 3.10. Further Extensions to the Nested Relational Model -- 4. Algres,
An Extended Relational Database Programming Language -- 4.1. A Tour of Aigres -- 4.2. Rationale of Aigres Design -- 5. Programming In Algres -- 5.1. Constants, Identifiers, and Objects -- 5.2. Groups and Persistency -- 5.3. Operations
-- 5.4. The Quantification Mechanism -- 5.5. Input-Output -- 5.6. Control structures and blocks -- 5.7. Subprograms -- 5.8. Links -- 5.9. Built in functions -- 5.10. Program Structure -- 6. Alice, The Application Program Interface Of
Algres -- 6.1. A Tour of Alice -- 6.2. Guidelines for Writing Alice Programs -- 6.3. Programming in Alice -- 7. Algraph, The Graphical Interface Of Algres -- 7.1. Graphical Display -- 7.2. Graphical Read -- 7.3. Motif Interface for
Input-Output -- 7.4. Schema Editor -- Appendix A: Syntax Of Algres -- Appendix B: Syntax Of Alice Operators -- Appendix C: Algres And Alice Keywords -- Appendix D: Installing And Using The Algres System -- Getting a Free Copy of the
Aigres System -- Installing Aigres -- Using Aigres Commands -- Compiling and Executing Aigres Programs -- Compiling and Executing Alice Applications -- Editing Aigres Objects
ISBN:9789400708587
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 371
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Computer science , Text processing (Computer science) , Computer Science , Document Preparation and Text Processing , Programming Languages, Compilers, Interpreters , Data Structures, Cryptology and Information Theory , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461223221:ONLINE Show nearby items on shelf
Title:An Introduction to Programming with Mathematica®
Author(s): Richard J Gaylord
Date:1996
Edition:Second Edition
Size:1 online resource (452 p.)
Note:10.1007/978-1-4612-2322-1
Contents:1 Preliminaries -- 1.1 Introduction -- 1.2 Using Mathematica -- 1.3 The Mathematica Language -- 1.4 The Mathematica Interface -- 2 A Brief Overview of Mathematica -- 2.1 Numerical and Symbolic Computations -- 2.2 Functions -- 2.3
Graphics -- 2.4 Representation of Data -- 2.5 Programming -- 3 List Manipulation -- 3.1 Introduction -- 3.2 Creating and Measuring Lists -- 3.3 Working With the Elements of a List -- 3.4 Working with Several Lists -- 3.5 Higher-Order
Functions -- 3.6 Applying Functions to Lists Repeatedly -- 3.7 Strings and Characters -- 4 Functions -- 4.1 Introduction -- 4.2 Programs as Functions -- 4.3 User-Defined Functions -- 4.4 Auxiliary Functions -- 4.5 Anonymous Functions
-- 4.6 One-Liners -- 5 Evaluation of Expressions -- 5.1 Introduction -- 5.2 Creating Rewrite Rules -- 5.3 Expressions -- 5.4 Patterns -- 5.5 Term Rewriting -- 5.6 Transformation Rules -- 6 Conditional Function Definitions -- 6.1
Introduction -- 6.2 Conditional Functions -- 6.3 Example—Classifying Points -- 7 Recursion -- 7.1 Fibonacci Numbers -- 7.2 List Functions -- 7.3 Thinking Recursively -- 7.4 Recursion and Symbolic Computations -- 7.5 Gaussian
Elimination -- 7.6 Trees -- 7.7 Dynamic Programming -- 7.8 Higher-Order Functions and Recursion -- 7.9 Debugging -- 8 Iteration -- 8.1 Newtons Method -- 8.2 Vectors and Matrices -- 8.3 Passing Arrays to Functions -- 8.4 Gaussian
Elimination Revisited -- 9 Numerics -- 9.1 Types of Numbers -- 9.2 Random Numbers -- 9.3 Precision and Accuracy -- 9.4 Numerical Computations -- 10 Graphics Programming -- 10.1 Graphics Primitives -- 10.2 Graphics Directives and
Options -- 10.3 Built-in Graphics Functions -- 10.4 Graphics Programming -- 10.5 Sound -- 11 Applications -- 11.1 The Random Walk -- 11.2 The Game of Life -- 11.3 Implementing Languages -- 12 Contexts and Packages -- 12.1 Introduction
-- 12.2 Using Packages -- 12.3 Contexts -- 12.4 Packages -- 12.5 Avoiding Name Collisions -- 12.6 The BaseConvert Package -- 12.7 The RandomWalks Package -- References
ISBN:9781461223221
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer software , Mathematics , Mathematical Software , Programming Techniques , Programming Languages, Compilers, Interpreters , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9789401108409:ONLINE Show nearby items on shelf
Title:Learning in Natural and Connectionist Systems Experiments and a Model
Author(s): R. Hans Phaf
Date:1994
Size:1 online resource (294 p.)
Note:10.1007/978-94-011-0840-9
Contents:Preface -- Acknowledgements -- 1: Introduction -- 1.1. The importance of learning -- 1.2. The biological role of learning -- 1.3. Connectionist models as learning systems -- 1.4. Models and languages -- 1.5. Aligning connectionist
learning with natural learning -- 2: A connectionist approach to learning -- 2.1. The connectionist language -- 2.2. Problems with connectionist models -- 2.3. CALM: Categorizing and Learning Module -- 2.4. Single module simulations --
2.5. Multiple module simulations -- 2.6. Discussion -- 3: Psychological constraints on learning -- 3.1. Attention and memory storage -- 3.2. Elaborative shifts during rehearsal -- 3.3. Attention and study-test compatibility as
dissociative factors -- 3.4. Divided attention and implicit and explicit memory tasks -- 3.5. Towards a memory model incorporating attentional effects -- 4: A connectionist model for implicit and explicit memory -- 4.1. ELAN: a family
of models -- 4.2. Architecture of ELAN-1 -- 4.3. Simulations with ELAN-1 -- 4.4. Higher ELAN models -- 5. Evaluation -- 5.1. Comparison to other models -- 5.2. The connectionism vs. symbol-manipulation controversy -- 5.3. Conclusion --
References
ISBN:9789401108409
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Neurology , System theory , Statistical physics , Dynamical systems , Social sciences , Physics , Statistical Physics, Dynamical Systems and Complexity , Methodology of the Social Sciences , Systems Theory, Control , Neurology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9783642580802:ONLINE Show nearby items on shelf
Title:The Dynamics of Ambiguity
Author(s): Giuseppe Caglioti
Date:1992
Size:1 online resource (170 p.)
Note:10.1007/978-3-642-58080-2
Contents:Insert Synergetics -- One Ambiguity in the Cultural Relationship Between Man and Natural Structures -- Insert Symmetry, Simplicity, Order -- Two Natural Structures -- 1. Atomic Modules Constituting Molecular and Crystalline Structures
-- 2. Binary Structures: Chemical Bond of the Electrons in Molecules -- 3. Binary Structures: Dynamics of Electrons in Molecules -- 4. Binary Structures and the Bit of Information -- Insert Symmetry, Information and Ambiguity in
Quantum Physics and Design -- Three Symmetry and Broken Symmetry in Science, in Perception and in Art -- 1. Symmetry, Conservation and Constants of Motion: The Privileged Role of the Energy Operator -- 2. Perturbation-Induced Breakings
of Symmetry and Restructuring of the Dynamic Architecture of Atoms and Molecules -- Four Entropy and Information -- 1. Entropy and the Principles of Thermodynamics -- 2. Statistical Significance of Entropy: Disorder and Disinformation
-- 3. More About Entropy, Order, Information and Symmetry -- 4. Information in Languages, in Musical Language and Genetic Language -- Five The Dynamics of Ambiguity -- 1. Dynamics of the Perception of Ambiguous Structures -- 2.
Symmetry as Persistence of Significance as the Result of Structural Transformations, and the Role of Symmetry Breaking in Poetry, Music and the Visual Arts -- Inserts The Musicality in Virgil -- Exchange Symmetry -- The Game of Broken
Symmetries in the Industrial Trademark -- Selfsimilarity in Nature and Culture: The Fractals -- Six Conclusions
ISBN:9783642580802
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9781461569961:ONLINE Show nearby items on shelf
Title:First Leaves: A Tutorial Introduction to Maple V
Author(s): Bruce W Char
Date:1992
Note:10.1007/978-1-4615-6996-1
Contents:One Interactive Use of Maple -- 1.1 The user interface and the computational engine -- 1.2 Getting started -- 1.3 Starting a Maple session: how Maple behaves interactively -- 1.4 Simple arithmetic in Maple -- 1.5 Fixing mistakes --
1.6 help yourself to more of Maple -- 1.7 Parentheses and the priority of arithmetic operations -- 1.8 Ending a Maple session -- 1.9 Maple variables -- 1.10 Built-in commands for mathematical computation -- 1.11 Introducing Maple’s
mathematical commands -- 1.12 Using Maple as a numerical calculator -- 1.13 Graphing and plotting functions on screen and on paper -- 1.14 More about syntax errors -- 1.15 You ask too much! (Run-time errors) -- 1.16 Interrupting a
Maple computation -- 1.17 Printing values: print and lprint -- 1.18 Defining simple functions in Maple -- 1.19 Automatic simplification -- 1.20 Simplifying expressions with simplify -- 1.21 Maple’s commands for calculus -- 1.22
Computing sums -- 1.23 Solving recurrence relations with rsolve -- 1.24 Other commands for solving, and other mathematical functions -- Two Less Simple Maple -- 2.1 A few words to experienced programmers -- 2.2 Programming variables
and mathematical symbols -- 2.3 More on simplification: specialized simplification commands -- 2.4 Full and delayed evaluation -- 2.5 Quotation and unevaluation -- 2.6 Using quoted variables as function arguments -- 2.7 Concatenation —
forming new names from old -- 2.8 Looking at parts of expressions — op, nops, coeff -- 2.9 Expression sequences, sets, and lists -- 2.10 Tables and arrays — indexed collections of data -- 2.11 Converting from one structure to another
-- 2.12 The map function: performing the same operation on all elements of a data structure -- 2.13 Linear algebra in Maple -- 2.14 alias for changing the names of built-in functions and mathematical symbols -- 2.15 Saving the state of
your Maple session -- 2.16 Recording results in files in human-readable format -- 2.17 Access to additional library procedures -- 2.18 Other formats for output: fortran, latex, and eqn -- Three The Maple Programming Language -- 3.1
Repetition while you wait -- 3.2 Repetition for each one -- 3.3 Conditional execution with if-then-else-fi -- 3.4 break and next: control within for-while loops -- 3.5 Simple Maple procedures -- 3.6 Maple procedures — multiple
statements, local variables, RETURN -- 3.7 Using error — exiting several procedures at once -- 3.8 Checking types: writing safer programs -- 3.9 Nested types and structured types -- 3.10 Remembering function values -- 3.11 Functional
operators -- 3.12 Packages in Maple -- 3.13 Your Maple initialization file -- 3.14 Creating help for your procedures -- 3.15 Creating your own library -- 3.16 Creating and debugging Maple programs -- 3.17 Viewing Maple library source
code -- 3.18 Calling Maple from programs written in other languages -- Four Advanced Graphics -- 4.1 More on plot -- 4.2 Plotting in three dimensions: graphing surfaces -- 4.3 Plotting functional expressions with plot and plot3d --
Five Measuring and improving performance -- 5.1 Monitoring time and space consumed during a computation -- 5.2 Garbage collection and gc -- 5.3 Querying the state of the system through status -- 5.4 Profiling the performance of Maple
programs -- 5.5 Using option remember to improve performance -- 5.6 Faster floating-point computation -- Six Advanced Examples -- 6.1 Introduction -- 6.2 Balancing chemical reactions -- 6.3 Maxwell’s formula for the velocity of a gas
sample -- 6.4 Critical length of a rod -- 6.5 Zeros of Bessel functions -- 6.6 Stock market analysis through linear algebra -- 6.7 Primitive trinomials -- 6.8 Computations on the 3n +1 conjecture -- 6.9 A numerical approximation
problem -- 6.10 Reading more about Maple problem-solving techniques -- Seven Global access to Maple information -- 7.1 New users’ problems -- 7.2 The community of Maple users -- 7.3 What to do when the answer seems wrong -- 7.4
Electronic access to user-contributed Maple software -- 7.5 Maple publications -- Conclusion -- A Bibliography -- B Books and articles for Maple users -- B.1 Some books for Maple users -- B.2 Some research articles on Maple and its
usage
ISBN:9781461569961
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algorithms , Mathematics , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9783642762659:ONLINE Show nearby items on shelf
Title:Parallel Algorithms in Computational Science
Author(s):
Date:1991
Size:1 online resource (183 p.)
Note:10.1007/978-3-642-76265-9
Contents:1. Introduction -- 2. Computer Simulation Methods -- 2.1 Essential Features of Simulation Methods -- 2.2 The Monte Carlo Algorithm -- 2.3 Molecular Dynamics -- 2.4 Hybrid Molecular Dynamics -- 2.5 Accuracy Considerations and
Finite-Size Problems -- 2.6 Monte Carlo Algorithm for the Ising Model -- 3. Physics and Parallelism -- 4. Concepts of Parallelism -- 4.1 Some Basic Definitions -- 4.2 The Complexity of Computation -- 4.3 More on Models and Methods --
4.4 Performance Measurements -- 5. Parallel Machines and Languages -- 5.1 General Purpose Parallel Computers -- 5.2 Parallel Machines for Special Physics Problems -- 5.3 Languages for Parallel Computers -- 5.4 The Matching Problem --
6. Replication Algorithms -- 7. Geometrically Parallel Algorithms -- 7.1 Geometric Parallelization -- 7.2 Strips, Squares and Checker-Boards -- 7.3 Non-local and Cluster Algorithms -- 7.4 Parallel Molecular Dynamics Algorithms -- 7.5
Hybrid Molecular Dynamics -- 7.6 Polymers on the Lattice -- 7.7 Off-Lattice Polymers -- 7.8 Hybrid Molecular Dynamics for Polymers -- 7.9 Limits of Geometric Parallelization -- 8. Data Parallel Algorithms -- 8.1 Data Parallel Algorithm
for Long-Range Interactions -- 8.2 Polymers -- 9. Introduction to a Parallel Language -- 9.1 Transputer-Based Parallel Machines -- 9.2 Parallel Programming in Occam -- Appendices -- A. A Parallel Ising Model Program -- B. Random Number
Generator -- C. A Parallel Molecular Dynamics Program -- References
ISBN:9783642762659
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 24
Keywords: Physics , Chemistry, Physical and theoretical , Bioinformatics , Computational biology , Thermodynamics , Statistical physics , Dynamical systems , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Thermodynamics , Statistical Physics, Dynamical Systems and Complexity , Theoretical and Computational Chemistry , Computer Appl. in Life Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9783642840173:ONLINE Show nearby items on shelf
Title:Relative Information Theories and Applications
Author(s): Guy Jumarie
Date:1990
Size:1 online resource (258 p.)
Note:10.1007/978-3-642-84017-3
Contents:1. Relative Information — What For? -- 1.1 Information Theory, What Is It? -- 1.1.1 Summary of the Story -- 1.1.2 Communication and Information -- 1.2 Information and Natural Language -- 1.2.1 Syntax, Semantics, Lexeme -- 1.2.2
Information, Learning, Dislearning -- 1.3 Prerequisites for a Theory of Information -- 1.3.1 Relativity of Information -- 1.3.2 Negative Information -- 1.3.3 Entropy of Form and Pattern -- 1.3.4 Information and Thermodynamics -- 1.3.5
Information and Subjectivity -- 1.4 Information and Systems -- 1.4.1 A Model of General Systems -- 1.4.2 A Model of Relative Information -- 1.4.3 A Few Comments -- 1.5 How We Shall Proceed -- 1.5.1 Aim of the Book -- 1.5.2 Subjective
Information and Relative Information -- 1.5.3 Minkowskian Observation of Events -- 1.5.4 A Unified Approach to Discrete Entropy and Continuous Entropy -- 1.5.5 A Word of Caution to the Reader -- 2. Information Theory — The State of the
Art -- 2.1 Introduction -- 2.2 Shannon Measure of Uncertainty -- 2.2.1 The Probabilistic Framework -- 2.2.2 Shannon Informational Entropy -- 2.2.3 Entropy of Random Variables -- 2.3 An Intuitive Approach to Entropy -- 2.3.1 Uniform
Random Experiments -- 2.3.2 Non Uniform Random Experiments -- 2.4 Conditional Entropy -- 2.4.1 Framework of Random Experiments -- 2.4.2 Application to Random Variables -- 2.5 A Few Properties of Discrete Entropy -- 2.6 Prior
Characterization of Discrete Entropy -- 2.6.1 Properties of Uncertainty -- 2.6.2 Some Consequences of These Properties -- 2.7 The Concept of Information -- 2.7.1 Shannon Information -- 2.7.2 Some Properties of Transinformation -- 2.7.3
Transinformation of Random Variables -- 2.7.4 Remarks on the Notation -- 2.8 Conditional Transinformation -- 2.8.1 Main Definition -- 2.8.2 Some Properties of Conditional Transinformation -- 2.8.3 Conditional Transinformation of Random
Variables -- 2.9 Renyi Entropy -- 2.9.1 Definition of Renyi Entropy -- 2.9.2 Meaning of the Renyi Entropy -- 2.9.3 Some Properties of the Renyi Entropy -- 2.10 Cross-Entropy or Relative Entropy -- 2.10.1 The Main Definition -- 2.10.2 A
Few Comments -- 2.11 Further Measures of Uncertainty -- 2.11.1 Entropy of Degree c -- 2.11.2 Quadratic Entropy -- 2.11.3 R norm Entropy -- 2.11.4 Effective Entropy -- 2.12 Entropies of Continuous Variables -- 2.12.1 Continuous Shannon
Entropy -- 2.12.2 Some Properties of Continuous Entropy -- 2.12.3 Continuous Transinformation -- 2.12.4 Further Extensions -- 2.13 Hatori’s Derivation of Continuous Entropy -- 2.14 Information Without Probability -- 2.14.1 A Functional
Approach -- 2.14.2 Relative Information -- 2.15 Information and Possibility -- 2.15.1 A Few Prerequisites -- 2.15.2 A Measure of Uncertainty Without Probability -- 2.16 Conclusions -- 3. A Critical Review of Shannon Information Theory
-- 3.1 Introduction -- 3.2 On the Invariance of Measures of Information -- 3.3 On the Modelling of Negative Transinformation -- 3.3.1 Classification of Terms -- 3.3.2 The Problem of Modelling “True” and “False” -- 3.3.3 Error-Detecting
Codes -- 3.4 On the Symmetry of Transinformation -- 3.4.1 A Diverting Example -- 3.4.2 Application of Information Theory -- 3.4.3 On the Symmetry of Transinformation -- 3.4.4 On a Possible Application of Renyi Entropy -- 3.5 Entropy
and the Central Limit Theorem -- 3.5.1 The Central Limit Theorem -- 3.5.2 An Information Theoretical Approach to the Central Limit Theorem -- 3.5.3 Relation with Thermodynamics -- 3.5.4 Continuous Entropy Versus Discrete Entropy -- 3.6
On the Entropy of Continuous Variables -- 3.6.1 The Sign of the Continuous Entropy -- 3.6.2 A Nice Property of Continuous Entropy -- 3.7 Arguments to Support Continuous Entropy -- 3.7.1 On the Negativeness of Continuous Entropy --
3.7.2 On the Non-invariance of Continuous Entropy -- 3.7.3 Channel Capacity in the Presence of Noise -- 3.8 The Maximum Entropy Principle -- 3.8.1 Statement of the Principle -- 3.8.2 Some Examples -- 3.9 Arguments to Support the
Maximum Entropy Principle -- 3.9.1 Information Theoretical Considerations -- 3.9.2 Thermodynamic Considerations -- 3.9.3 Axiomatic Derivation -- 3.9.4 A Few Comments -- 3.10 Information, Syntax, Semantics -- 3.10.1 On the Absolute
Nature of Information -- 3.10.2 Information and Natural Language -- 3.11 Information and Thermodynamics -- 3.11.1 Informational and Thermodynamic Entropy -- 3.11.2 Thermodynamic Entropy of Open Systems -- 3.12 Conclusions -- 4. A
Theory of Relative Information -- 4.1 Introduction -- 4.2 Observation, Aggregation, Invariance -- 4.2.1 Principle of Aggregation -- 4.2.2 Principle of Invariance -- 4.2.3 A Few Comments -- 4.3 Observation with Informational Invariance
-- 4.4 Euclidean Invariance -- 4.4.1 Orthogonal Transformation -- 4.4.2 Application to the Observation of Probabilities -- 4.4.3 Application to the Observation of Classes -- 4.5 Minkowskian Invariance -- 4.5.1 Lorentz Transformation --
4.5.2 Application to the Observation of Probabilities -- 4.5.3 Application to the Observation of Classes -- 4.6 Euclidean or Minkowskian Observation? -- 4.6.1 Selection of the Observation Mode -- 4.6.2 Application to the [Uncertainty,
Information] Pair -- 4.7 Information Processes and Natural Languages -- 4.7.1 On the Absoluteness of Information -- 4.7.2 The Information Process -- 4.7.3 Natural Language -- 4.7.4 Information and Natural Language -- 4.8 Relative
Informational Entropy -- 4.8.1 Introduction to the Relative Observation -- 4.8.2 Informational Invariance of the Observation -- 4.8.3 Relative Entropy -- 4.8.4 Comments and Remarks -- 4.9 Conditional Relative Entropy -- 4.9.1 Relative
Entropy of Product of Messages -- 4.9.2 Composition Law for Cascaded Observers -- 4.9.3 Relative Entropy Conditional to a Given Experiment -- 4.9.4 Applications to Determinacy -- 4.9.5 Comparison of H(?/?) with Hr(?/?) -- 4.10 On the
Meaning and the Estimation of the Observation Parameter -- 4.10.1 Estimation of the Observation Parameter -- 4.10.2 Practical Meaning of the Observation Parameter -- 4.10.3 On the Value of the Observation Parameter u(R) -- 4.11
Relative Transinformation -- 4.11.1 Derivation of Relative Transinformation -- 4.11.2 Some Properties of the Relative Transinformation -- 4.11.3 Relative Entropy and Information Balance -- 4.11.4 Application to the Encoding Problem --
4.12 Minkowskian Relative Transinformation -- 4.12.1 Definition of Minkowskian Relative Transinformation -- 4.12.2 Some Properties of Minkowskian Relative Transinformation -- 4.12.3 Identification via Information Balance -- 4.13 Effect
of Scaling Factor in an Observation with Informational Invariance -- 4.14 Comparison with Renyi Entropy -- 4.14.1 Renyi Entropy and Relative Entropy -- 4.14.2 Transinformation of Order c and Relative Transinformation -- 5. A Theory of
Subjective Information -- 5.1 Introduction -- 5.2 Subjective Entropy -- 5.2.1 Definition of Subjective Entropy -- 5.2.2 A Few Remarks -- 5.3 Conditional Subjective Entropy -- 5.3.1 Definition of Conditional Subjective Entropy -- 5.3.2
Application to Determinacy -- 5.3.3 A Basic Inequality -- 5.4 Subjective Transinformation -- 5.4.1 Introduction -- 5.4.2 Subjective Transinformation -- 5.4.3 A Few Properties of Subjective Transinformation -- 5.4.4 Application to
Independent Random Experiments -- 5.5 Conditional Subjective Transinformation -- 5.5.1 Definition -- 5.5.2 A Few Properties of Subjective Conditional Transinformation -- 5.6 Information Balance -- 5.6.1 Optimum Conditions for
Information Balance -- 5.6.2 Non-optimum Conditions for Information Balance -- 5.7 Explicit Expression of Subjective Transinformation -- 5.7.1 Discrete Probability -- 5.7.2 Continuous Probability -- 5.8 The General Coding Problem --
5.8.1 Preliminary Remarks -- 5.8.2 The General Coding Problem -- 5.8.3 On the Problem of Error Correcting Codes Revisited -- 5.9 Capacity of a Channel -- 5.9.1 The General Model -- 5.9.2 Channel with Noise -- 5.9.3 Channel with Noise
and Filtering -- 5.10 Transinformation in the Presence of Fuzziness -- 5.10.1 On the Entropy of a Fuzzy Set -- 5.10.2 Application of Subjective Transinformation -- 5.10.3 The Brillouin Problem -- 5.11 On the Use of Renyi Entropy --
5.11.1 Renyi Entropy and Subjective Entropy -- 5.11.2 Transinformation of Order c and Shannon Transinformation -- 6. A Unified Approach to Discrete and Continuous Entropy -- 6.1 Introduction -- 6.2 Intuitive Derivation of “Total
Entropy” -- 6.2.1 Preliminary Definitions and Notation -- 6.2.2 Physical Derivation of He (X) -- 6.3 Mathematical Derivation of Total Entropy -- 6.3.1 The Main Axioms -- 6.3.2 Derivation of Total Entropy -- 6.3.3 On the Expression of
the Total Entropy -- 6.4 Alternative Set of Axioms for the Total Entropy -- 6.4.1 Generalization of Shannon Recurrence Equation -- 6.4.2 A Model via Uniform Interval of Definition -- 6.5 Total Entropy with Respect to a Measure -- 6.6
Total Renyi Entropy -- 6.6.1 Preliminary Remarks About Renyi Entropy -- 6.6.2 Axioms for Total Renyi Entropy -- 6.6.3 Total Renyi Entropy -- 6.6.4 Total Renyi Entropy with Respect to a Measure -- 6.7 On the Practical Meaning of Total
Entropy -- 6.7.1 General Remarks -- 6.7.2 Total Entropy and Relative Entropy -- 6.7.3 Total Entropy and Subjective Entropy -- 6.8 Further Results on the Total Entropy -- 6.8.1 Some Mathematical Properties of the Total Entropy -- 6.8.2
On the Entropy of Pattern -- 6.9 Transinformation and Total Entropy -- 6.9.1 Total Entropy of a Random Vector -- 6.9.2 Conditional Total Entropy -- 6.9.3 On the Definition of Transinformation -- 6.9.4 Total Kullback Entropy -- 6.10
Relation Between Total Entropy and Continuous Entropy -- 6.10.1 Total Shannon Entropy and Continuous Entropy -- 6.10.2 Total Renyi Entropy and Continuous Renyi Entropy -- 6.10.3 Application to an Extension Principle -- 6.11 Total
Entropy and Mixed Theory of Information -- 6.11.1 Background to Effective Entropy and Inset Entropy -- 6.11.2 Inset Entropy is an Effective Entropy -- 7. A Unified Approach to Informati
ISBN:9783642840173
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Synergetics: 47
Keywords: Physics , Coding theory , Acoustics , Statistical physics , Dynamical systems , Physics , Acoustics , Coding and Information Theory , Statistical Physics, Dynamical Systems and Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9783642500961:ONLINE Show nearby items on shelf
Title:Compstat Proceedings in Computational Statistics, 9th Symposium held at Dubrovnik, Yugoslavia, 1990
Author(s):
Date:1990
Size:1 online resource (336 p.)
Note:10.1007/978-3-642-50096-1
Contents:Classification -- Stochastic Algorithms for Clustering -- A Classification Algorithm for Binary Observations Based on Euclidean Representations of Hypergraphs -- Agglomerative Hierarchical Multicriteria Clustering using Decision Rules
-- GLIMTREE:RECPAM Trees with the Generalized Linear Model -- Algorithms and statistical software -- BOJA: A Program for Bootstrap and Jackknife -- Prototyping Dynamic Graphics Functions in S -- Programming Languages for Statistical
Computation -- Expert systems in statistics -- Statistical Knowledge-Based Systems — Critical Remarks and Requirements for Approval -- New Approach To GUHA-Method from the Reliability Viewpoint -- Classifying Documents: A Discriminant
Analysis and an Expert System Work Together -- Estimation Procedures for Language Context: Poor Estimates are Worse than None -- Knowledge Modelling for Statistical Consultation Systems Two Empirical Studies -- An Expert System
Strategy for Selecting Interesting Results -- Computer Assisted Interpretation of Conditional Independence Graphs -- WAMASTEX — Heuristic Guidance for Statistical Analysis -- Multivariate data analysis and model building -- On Model
Search Methods -- Principal Components Analysis with Respect to Instrumental Variables via Univariate Splines -- Selecting the Best Subset of Variables in Principal Component Analysis -- Interesting Projections of Multidimensional Data
by Means of Generalized Principal Component Analyses -- Maximum Likelihood Estimation of Mixed Linear and Multiplicative Models for Contingency Tables Using Distan -- Alternate Forms of Graphical Modelling — A Comparison -- Exact
Significance Testing by the Method of Control Variates -- Testing Collapsibility of Hierarchical Loglinear Models for Contingency Tables -- The Generalised Biplot: Software Potential -- Exploratory Approach and Maximum Likelihood
Estimation of Models for Non Symmetrical Analysis of Two-Way Multiple Contingency Tables -- An Orthogonal Procrustes Rotation Procedure for Multiple Correspondence Analysis -- Optimization techniques and nonlinear models --
Optimization in Statistics — Recent Trends -- Fitting Non Linear Models with Two Components of Error -- Computing for robust statistics -- Some Proposals for Fast HBD Regression -- Robust Selection of Variables in the Discriminant
Analysis Based on MVE and MCD Estimators -- Interactively Computing Robust Covariance Matrices -- Sensitivity Analysis in Factor Analysis: Methods and Software -- Influence Functions of Eigenvalues and Eigenvectors in Multidimensional
Data Analysis -- Algorithms for Non-Linear Huber Estimation -- Statistics and database management -- Co-Operative Processing — A Challenge for Statistics and Database Management -- A Structured Language for Modelling Statistical Data
-- Time dependent models -- Spectral Analysis of Non-Stationary Time Series -- ARMA Simulator for Testing Methods of Process Diagnostic -- Statistical Inference in an Extremal Markovian Model -- Interpretation of Spectral Estimation
Results for Nonstationary Signals -- An Automated Method for Trend Analysis -- Analysis of spatial data -- A Test of Spatial Isotropy -- Computational inference -- Characteristics of Sequential Sampling Plans for Attributes: Algorithms
for Exact Computing -- Exact Experimental Designs via Stochastic Optimization for Nonlinear Regression Models -- A Comparison of Algorithms for Combination of Information in Generally Balanced Designs -- A Comparison of Non-Negative
Estimators for Ratios of Variance Components -- Optimal Fit in Non-Parametric Modelling via Computationally Intensive Inference -- Notes about new developments in statistical software -- Statistical Models in S -- GLIM4 — Developments
in Model Fitting -- Address list of authors
ISBN:9783642500961
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Operations research , Decision making , Probabilities , Statistics , Economic theory , Mathematics , Probability Theory and Stochastic Processes , Economic Theory/Quantitative Economics/Mathematical Methods , Statistics, general , Operation Research/Decision Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1988-9783642469008:ONLINE Show nearby items on shelf
Title:Compstat Proceedings in Computational Statistics 8th Symposium held in Copenhagen 1988
Author(s):
Date:1988
Size:1 online resource (451 p.)
Note:10.1007/978-3-642-46900-8
Contents:Keynote Papers -- Parallel Linear Algebra in Statistical Computations -- Three Examples of Computer-Intensive Statistical Inference -- Non-Parametric Estimation -- Efficient Nonparametric Smoothing in High Dimensions Using Interactive
Graphical Techniques -- A Boundary Modification of Kernel Function Smoothing, with Application to Insulin Absorption Kinetics -- A Roughness Penalty Regression Approach for Statistical Graphics -- Projection Pursuit -- Detecting
Structures by Means of Projection Pursuit -- Confidence Regions for Projection Pursuit Density Estimates -- A Robustness Property of the Projection Pursuit Methods in Sampling from Separably Dependent Random Vectors -- Graphical
Techniques -- Graphical Modelling with Large Numbers of Variables: An Application of Principal Components -- Some Graphical Displays for Square Tables -- Data Plotting Methods for Checking Multivariate Normality and Related Ideas --
Computer-aided Illustration of Regression Diagnostics -- Computer Guided Diagnostics -- Expert Systems -- How should the Statistical Expert System and its User see Each Other? -- Towards a Probabilistic Analysis of MYCIN-like Expert
Systems -- An Expert System Accepting Knowledge in a form of Statistical Data -- Building a Statistical Expert System with Knowledge Bases of Different Levels of Abstraction -- An Expert System for the Interpretation of Results of
Canonical Covariance Analysis -- Building a Statistical Knowledge Base: A Discussion of the Approach used in the Development of THESEUS, a Statistical Expert System -- Prince: An Expert System for Nonlinear Principal Components
Analysis -- Expert Systems for Non-Linear Modelling: Progress and Prospects -- Inside a Statistical Expert System: Statistical Methods Employed in the ESTES System -- An Implementation of an EDA Expert System in Prolog Environment --
Automatic Acquisition of Knowledge Base from Data without Expert: ESOD (Expert Sytem from Observational Data) -- Experiments with Probabilistic Consultation Systems -- Statistical Consultants and Statistical Expert Systems -- On
Inference Process -- Identification Keys, Diagnostic Tables and Expert Systems -- Languages and Packages -- Adding new Statistical Techniques to Standard Software Systems: A Review -- Funigirls: A Prototype Functional Programming
Language for the Analysis of Generalized Linear Models -- Blinwdr: An APL-function Library for Interactively Solving the Problem of Robust and Bounded Influence Regression -- Computational Intensive Methods -- Exact Non-Parametric
Significance Tests -- Resampling Tests of Statistical Hypotheses -- Clustering Based on Neural Network Processing -- Decision Tree Classifier for Speech Recognition -- Algorithms -- Efficient Sampling Algorithms and Balanced Samples --
Recursive Partition in Biostatistics: Stability of Trees and Choice of the Most Stable Classification -- Generating Rules by Means of Regression Analysis -- A New Algorithm for Matched Case-Control Studies with Applications to Additive
Models -- An Algorithm for the Approximation of N-Dimensional Distributions -- Further Recursive Algorithms for Multidimensional Table Computation -- Statistical Methods -- Nonlinear Regression: Methodological and Software Aspects --
Comparing Sensitivity of Models to Missing Data in the GMANOVA -- A Modelling Approach to Multiple Correspondence Analysis -- Multidimensional Scaling on the Sphere -- A Monte Carlo Evaluation of the Methods for Estimating the
Parameters of the Generalized Lambda Distribution -- Statistical Guidance for Model Modification in Covariance Structure Analysis -- Similarities Functions -- Robust Bayesian Regression Analysis with HPD-Regions -- Time Series --
Estimation of ARMA Process Parameters and Noise Variance by Means of a Non-Linear Filtering Algorithm -- Autoregressive Models with Latent Variables -- An Algorithm for Time Series Decomposition Using StateSpace Models with Singular
Transition Matrix -- Statistical Data Bases and Survey Processing -- New Perspectives in Computer Assisted Survey Processing -- Multiple Imputation for Data-Base Construction -- Grasp: A Complete Graphical Conceptual Language for
Definition and Manipulation of Statistical Databases -- Experimental Design -- New Algorithmic and Software Tools for D-Optimal Design Computation in Nonlinear Regression -- Econometric Computing -- Model-Building on Micro Computers:
Spreadsheets or Specific Software -- Late Arrivals -- Three Examples of Computer-Intensive Statistical Inference -- New Computer Procedures for Generating Optimal Mixture Designs on Finite Design Spaces -- Screening Based Exclusively
on Experts Opinions -- Address list of Authors
ISBN:9783642469008
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Probabilities , Mathematics , Probability Theory and Stochastic Processes
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1988-9781461387978:ONLINE Show nearby items on shelf
Title:Algebra for Computer Science
Author(s): Lars Gårding
Date:1988
Size:1 online resource (198 p.)
Note:10.1007/978-1-4613-8797-8
Contents:1 Number theory -- 1.1 Divisibility -- 1.2 Congruences -- 1.3 The theorems of Fermat, Euler and Wilson -- 1.4 Squares and the quadratic reciprocity theorem -- 1.5 The Gaussian integers -- 1.6 Algebraic numbers -- 1.7 Appendix.
Primitive elements and a theorem by Gauss -- Literature -- 2 Number theory and computing -- 2.1 The cost of arithmetic operations -- 2.2 Primes and factoring -- 2.3 Pseudo-random numbers -- Literature -- 3 Abstract algebra and modules
-- 3.1 The four operations of arithmetic -- 3.2 Modules -- 3.3 Module morphisms. Kernels and images -- 3.4 The structure of finite modules -- 3.5 Appendix. Finitely generated modules -- Literature -- 4 The finite Fourier transform --
4.1 Characters of modules -- 4.2 The finite Fourier transform -- 4.3 The finite Fourier transform and the quadratic reciprocity law -- 4.4 The fast Fourier transform -- Literature -- 5 Rings and fields -- 5.1 Definitions and simple
examples -- 5.2 Modules over a ring. Ideals and morphisms -- 5.3 Abstract linear algebra -- Literature -- 6 Algebraic complexity theory -- 6.1 Polynomial rings in several variables -- 6.2 Complexity with respect to multiplication --
6.3 Appendix. The fast Fourier transform is optimal -- Literature -- 7 Polynomial rings, algebraic fields, finite fields -- 7.1 Divisibility in a polynomial ring -- 7.2 Algebraic numbers and algebraic fields -- 7.3 Finite fields --
Literature -- 8 Shift registers and coding -- 8.1 The theory of shift registers -- 8.2 Generalities about coding -- 8.3 Cyclic codes -- 8.4 The BCH codes and the Reed-Solomon codes -- 8.5 Restrictions for error-correcting codes --
Literature -- 9 Groups -- 9.1 General theory -- 9.2 Finite groups -- Literature -- 10 Boolean algebra -- 10.1 Boolean algebras and rings -- 10.2 Finite Boolean algebras -- 10.3 Equivalence classes of switching functions -- Literature
-- 11 Monoids, automata, languages -- 11.1 Matrices with elements in a non-commutative algebra -- 11.2 Monoids and languages -- 11.3 Automata and rational languages -- 11.4 Every rational language is accepted by a finite automaton --
Literature -- References
ISBN:9781461387978
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1983-9789400970199:ONLINE Show nearby items on shelf
Title:Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
Author(s):
Date:1983
Size:1 online resource (374 p.)
Note:10.1007/978-94-009-7019-9
Contents:Program Construction by Transformations: A Family Tree of Sorting Programs -- Issues in the Methodical Design of Concurrent Programs -- An Analysis of Choice in Program Design -- The Design of Very High Level Languages --
Implementation Considerations in Very High Level Languages -- A Study of Prolog -- Program Synthesis from Examples of Behavior -- Deductive Synthesis of the Unification Algorithm -- The Synthesis of Implementations for Abstract Data
Types, A Program Transformation Tactic -- Natural Language Programming -- Author Index
ISBN:9789400970199
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 95
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1982-9781461257493:ONLINE Show nearby items on shelf
Title:A Programming Approach to Computability
Author(s): A. J Kfoury
Date:1982
Size:1 online resource (251 p.)
Note:10.1007/978-1-4612-5749-3
Contents:1 Introduction -- 1.1 Partial Functions and Algorithms -- 1.2 An Invitation to Computability Theory -- 1.3 Diagonalization and the Halting Problem -- 2 The Syntax and Semantics of while-Programs -- 2.1 The Language of while-Programs
-- 2.2 Macro Statements -- 2.3 The Computable Functions -- 3 Enumeration and Universality of the Computable Functions -- 3.1 The Effective Enumeration of while-Programs -- 3.2 Universal Functions and Interpreters -- 3.3
String-Processing Functions -- 3.4 Pairing Functions -- 4 Techniques of Elementary Computability Theory -- 4.1 Algorithmic Specifications -- 4.2 The s-m-n Theorem -- 4.3 Undecidable Problems -- 5 Program Methodology -- 5.1 An
Invitation to Denotational Semantics -- 5.2 Recursive Programs 110 5.3* Proof Rules for Program Properties -- 6 The Recursion Theorem and Properties of Enumerations -- 6.1 The Recursion Theorem -- 6.2 Model-Independent Properties of
Enumerations -- 7 Computable Properties of Sets (Part 1) -- 7.1 Recursive and Recursively Enumerable Sets -- 7.2 Indexing the Recursively Enumerable Sets -- 7.3 Gödel’s Incompleteness Theorem -- 8 Computable Properties of Sets (Part 2)
-- 8.1 Rice’s Theorem and Related Results -- 8.2 A Classification of Sets -- 9 Alternative Approaches to Computability -- 9.1 The Turing Characterization -- 9.2 The Kleene Characterization -- 9.3 Symbol-Manipulation Systems and Formal
Languages -- References -- Notation Index -- Author Index
ISBN:9781461257493
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Computers , Applied mathematics , Engineering mathematics , Mathematics , Applications of Mathematics , Computation by Abstract Devices , Software Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1980-9789400990913:ONLINE Show nearby items on shelf
Title:Spoken Language Generation and Understanding Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 26 – July 7, 1979
Author(s):
Date:1980
Size:1 online resource (600 p.)
Note:10.1007/978-94-009-9091-3
Contents:§ 1. An Overview, with an Emphasis on Psychology -- Spoken Language Generation and Understanding by Machine: A Problems and Applications Oriented Overview -- Speech Understanding as a Psychological Process -- What the Engineers Would
Like to Know from the Psychologists -- Perceptual Studies of Speech Rhythm: Isochrony and Intonation -- Estimation of Articulatory Motion from Speech Waves and Its Application for Automatic Recognition -- § 2. Acoustic and Phonemic --
Speech Signal Processing and Feature Extraction -- Pattern Recognition Techniques for Speech Recognition -- Automatic Mapping of Acoustic Features into Phonemic Labels -- Automatic Phoneme Recognition in Continuous Speech: A Syntactic
Approach -- Syntactic Approach to Pattern Recognition -- Phoneme Recognition Using a Cochlear Model -- Pitch Determination of Speech Signals — A Survey -- Speech Analysis Using Syntactic Methods and a Pitch Synchronous Formant Detector
on the Direct Signal -- Variability of Vowel Formant Frequency in Different Speech Styles -- § 3. Lexicon, Syntax and Semantic -- The Representation and Use of a Lexicon in Automatic Speech Recognition and Understanding -- Control of
Syntax and Semantics in Continuous Speech Understanding -- A Classification Method Based on Fuzzy Naming Relations over Finite Languages -- § 4. Speech Synthesis -- Speech Synthesis from Text -- An Over-view of Speech Synthesis --
Speech Synthesis for an Unlimited Vocabulary, a Powerful Tool for Inquiry and Information Services -- Time-Domain Formant-Wave-Function Synthesis -- A Programmable, Digital Speech Synthesiser -- An Intelligent Speech Prosthesis with a
Lexical Memory -- § 5. Sysytems and Applications -- Industrial Applications of Speech Recognition -- Some Points Concerning Speech Communication with Computers -- Secure Speech Communication over a CCITT-Speech Channel -- Speech
Compression/Recognition with Robust Features -- A Real-Time System for Speech Recognition -- Speech Training of Deaf Children Using the Sirene System: First Results and Conclusions -- The KEAL Speech Understanding System -- The LOCUST
System -- The MYRTILLE II Speech Understanding System -- Index of Names
ISBN:9789400990913
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 59
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1979-9789400994638:ONLINE Show nearby items on shelf
Title:Combinatorial Complexes A Mathematical Theory of Algorithms
Author(s): Peter H Sellers
Date:1979
Size:1 online resource (184 p.)
Note:10.1007/978-94-009-9463-8
Contents:0. Introduction -- 0.1. Finding Algorithms -- 0.2. Programs Represent Algorithms -- 0.3. Programming Languages -- 0.4. List-making Algorithms -- 0.5. The Theory in a Nutshell -- I. Programming -- I.1. To Make a List -- I.2. Elementary
Programming Languages -- I.3. To Specify a Program Inductively -- I.4. Graphical Programming Languages -- I.5. Chain Complexes -- I.6. Programming Complexes -- I.7. Complexes which are Not Free -- I.8. Language Isomorphisms -- I.9. To
Find an Algorithm -- II. Monomials -- II.1. The Language -- II.2. The Interpretation ? -- II.3. The Interpretation ? -- II.4. The Interpretation ? -- II.5. Language Isomorphisms -- II.6. A Program for Monomials -- II.7. Sample Programs
-- III. Factorizations -- III.1. The Language -- III.2. The Interpretation ? -- III.3. The Interpretation ? -- III.4. The Interpretation ? -- III.5. Language Isomorphisms -- III.6. A Program for Factorizations -- III.7. Sample Programs
-- IV. Transpositions -- IV.1. The Language -- IV.2. The Interpretation ? -- IV.3. The Interpretation ? -- IV.4. The Interpretation ? -- IV.5. Language Isomorphisms -- IV.6. A Program for Sequences -- IV.7. Sample Programs -- V.
Bracketings -- V.1. The Language -- V.2. The Interpretation ? -- V.3. The Interpretation ? -- V.4. The Interpretation ? -- V.5. Language Isomorphisms -- V.6. A Program for Bracketings -- V.7. Sample Programs -- VI. Clustering --
VI.1.The Language -- VI.2. The Interpretation ? -- VI.3. The Interpretation ? -- VI.4. The Interpretation ? -- VI.5. Language Isomorphisms -- VI.6. A Program of Clusterings -- VI.7. Sample Program -- Appendix. Flowcharts -- Flowchart
1. Elementary Languages -- Flowchart 2. Languages in General -- References
ISBN:9789400994638
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 2
Keywords: Computer science , Numerical analysis , Computer Science , Numeric Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1978-9781461590774:ONLINE Show nearby items on shelf
Title:Language Interpretation and Communication
Author(s):
Date:1978
Size:1 online resource (428 p.)
Note:10.1007/978-1-4615-9077-4
Contents:Section 1. Conference Interpretation — an Introduction -- 1. Language Interpretation and Communication: Introduction to the Proceedings -- 2. How Conference Interpretation Grew -- 3. Selection and Training of Conference Interpreters
-- 4. Reflections on the Training of Simultaneous Interpreters: A metalinguistic approach -- 5. Intercultural Communication and the Training of Interpreters at the Monterey Institute of Foreign Studies -- 6. An Integrated Programme for
Training Interpreters -- Section 2. Sign Language and Sign Language Interpretation -- 7. The Role of Oral Language in the Evolution of Manual Language -- 8. Sign Language Interpretation: The State of the Art -- 9. Research in Sign
Language Interpreting at California State University, Northridge -- 10. Sign Language and Psycholinguistic Process: Fact, Hypotheses and Implications for Interpretation -- 11. Sign Language Interpretation and General Theories of
Language, Interpretation and Communication -- Section 3. Bilingualism, Translation and Interpretation -- 12. Linguistic Abilities in Translators and Interpreters -- 13. Psychological Approaches to Bilingualism, Translation and
Interpretation -- 14. True Bilingualism and Second Language Learning -- 15. Translating as an Innate Skill -- 16. Four Generations of Machine Translation Research and Prospects for the Future -- Section 4. Linguistic, Sociolinguistic
and Social Approaches -- 17 On the Distinction between Linguistics and Pragmatics -- 18. Language Meaning and Message Meaning: Towards a Sociolinguistic Approach to Translation -- 19. Contributions of Cross-Cultural Orientation
Programs and Power Analysis to Translation/Interpretation -- 20. Interpreter Roles and Interpretation Situations: Cross-Cutting Typologies -- 21. Behavioral Aspects of Liaison Interpreters in Papua New Guinea: Some Preliminary
Observations -- Section 5. Psychological Approaches -- 22. On the Representations of Experience -- 23. The Bilingual’s Performance: Language Dominance, Stress, and Individual Differences -- 24. Summary and Recall of Text in First and
Second Languages: Some Factors Contributing to Performance Differences -- 25. Psychosemantics and Simultaneous Interpretation -- 26. An Information-Processing Model of Understanding Speech -- Section 6. Theory and Research in
Conference Interpretation -- 27. Human Factors Approach to Simultaneous Interpretation -- 28. Simultaneous Interpretation — Units of Meaning and Other Features -- 29. Language and Cognition -- 30. Syntactic Anticipation in
German-English Simultaneous Interpreting -- 31. Simultaneous Interpretation: A Hypothetical Model and its Practical Application -- 32. Adult Simultaneous Interpretation: A Functional Analysis of Linguistic Categories and a Comparison
with Child Development -- Section 7. Conclusion -- 33. The Contribution of Cognitive Psychology to the Study of Interpretation -- Appendix A. Discussion Report -- Appendix B. List of Participants -- Name Index
ISBN:9781461590774
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Conference Series : 6
Keywords: Linguistics , Applied linguistics , Linguistics , Applied Linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1978-9781461394228:ONLINE Show nearby items on shelf
Title:Introduction to College Mathematics with A Programming Language
Author(s): Edward J LeCuyer
Date:1978
Size:1 online resource (420 p.)
Note:10.1007/978-1-4613-9422-8
Contents:1 Set theory -- 1.1 Sets -- 1.2 Operations with Sets -- 1.3 A set theory drill and practice program (optional) -- 1.4 Boolean algebra -- 1.5 The number of elements in a set -- 2 Logic -- 2.1 Statements and logical operations -- 2.2
Conditional statements -- 2.3 Logical equivalence -- 2.4 Arguments -- 3 Vectors and matrices -- 3.1 Vectors -- 3.2 Operations with vectors -- 3.3 Matrices -- 3.4 Operations with matrices -- 3.5 Properties of matrices -- 4 Systems of
linear equations -- 4.1 Linear equations -- 4.2 Two-by-two systems of linear equations -- 4.3 Elementary row operations -- 4.4 Larger systems of linear equations -- 4.5 Row reduced form -- 4.6 The inverse of a matrix -- 4.7 Inverses in
APL -- 4.8 Applications -- 5 Determinants -- 5.1 Definition of a determinant -- 5.2 A Program for evaluation of determinants -- 5.3 Cofactors -- 5.4 Adjoints and inverses -- 5.5 Cramer’s rule -- 6 Functions and graphing -- 6.1
Definition of a function -- 6.2 Graphing -- 6.3 Linear functions -- 6.4 Quadratic functions -- 6.5 Polynomials -- 6.6 Rational functions -- 7 Exponential and logarithmic functions -- 7.1 Exponential functions -- 7.2 Applications of
exponential functions -- 7.3 Logarithmic functions -- 7.4 Properties and applications of logarithms -- 8 Differential calculus -- 8.1 The limit of a function -- 8.2 Slope of a curve and the definition of derivative at a point -- 8.3
Differentiating polynomials -- 8.4 Applications of derivatives -- 8.5 More rules of differentiation (optional) -- 8.6 Theory of maxima, minima -- 8.7 Applied maxima, minima -- 8.8 Curve sketching using derivatives -- 9 Integral
calculus -- 9.1 Antidifferentiation -- 9.2 Some formulas for antidifferentiation -- 9.3 Area under a curve -- 9.4 The definite integral -- 9.5 The fundamental theorem of calculus -- 9.6 More applications of integration -- 10
Probability -- 10.1 Axioms of probability -- 10.2 More rules of probability -- 10.3 Permutations and combinations -- 10.4 The hypergeometric distribution -- 10.5 The binomial distribution -- 10.6 The Poisson distribution -- 11
Statistics -- 11.1 Random samples and frequency distributions -- 11.2 Measures of central tendency -- 11.3 Measures of dispersion -- 11.4 The normal distribution -- 11.5 The sampling distribution of the mean -- 12 The trigonometric
functions -- 12.1 Angles -- 12.2 The trigonometric functions -- 12.3 The trigonometric functions in APL -- 12.4 Graphs of the trigonometric functions -- 12.5 The inverse trigonometric functions -- 12.6 Solving right triangles -- 12.7
Solving oblique triangles -- A.0 Using APL on a computer terminal -- A.1 Introduction to APL -- A.2 Program definition -- A.3 Branching -- A.4 Program revision and editing procedures -- A.5 The trace command -- Solutions to exercises
-- Program index
ISBN:9781461394228
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer science , Computer mathematics , Mathematics , Mathematical Applications in Computer Science , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1975-9783540380221:ONLINE Show nearby items on shelf
Title:⊨ISILC Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Author(s):
Date:1975
Size:1 online resource (651 p.)
Note:10.1007/BFb0079414
Contents:An observation on the product of Silver's forcing -- Recursively unsolvable algorithmic problems and related questions reexamined -- Lectures on large cardinal axioms -- Indescribability properties and small large cardinals --
Marginalia to a theorem of Silver -- Computation theories: An axiomatic approach to recursion on general structures -- Closed models and hulls of theories -- Axioms of choice in Morse-Kelley class theory -- First-order logic and its
extensions -- Set theory in infinitary languages -- Sur la méthode en histoire de la logioue -- The model theory of local fields -- Quantifier elimination -- Intensional semantics for natural language -- On extendability of models of
ZF set theory to the models of Kelley-Morse theory of classes -- Many-valued algorithmic logic -- The least ? 2 1 and ? 2 1 reflecting ordinals -- Data types as lattices
ISBN:9783540380221
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 499
Keywords: Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1971-9781468499155:ONLINE Show nearby items on shelf
Title:Introduction to Axiomatic Set Theory
Author(s): Gaisi Takeuti
Date:1971
Size:1 online resource (251 p.)
Note:10.1007/978-1-4684-9915-5
Contents:1 Introduction -- 2 Language and Logic -- 3 Equality -- 4 Classes -- 5 The Elementary Properties of Classes -- 6 Functions and Relations -- 7 Ordinal Numbers -- 8 Ordinal Arithmetic -- 9 Relational Closure and the Rank Function -- 10 Cardinal Numbe rs -- 11 The Axiom of Choice, the Generalized Continuum Hypothesis and Cardinal Arithmetic -- 12 Models -- 13 Absoluteness -- 14 The Fundamental Operations -- 15 The Gödel Model -- 16 The Arithmetization of Model Theory -- 17 Cohen’s Method -- 18 Forci ng -- 19 Languages, Structures, and Models -- Problem List -- Index of Symbols
ISBN:9781468499155
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Graduate Texts in Mathematics: 1
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1967-9783642869372:ONLINE Show nearby items on shelf
Title:Handbook for Automatic Computation Volume I · Part b
Author(s): A. A Grau
Date:1967
Size:1 online resource (403 p.)
Note:10.1007/978-3-642-86937-2
Contents:1. Introduction -- 2. Principles of Algol translation -- 2.1. Basic linguistic definitions -- 2.2. The Backus normal form -- 2.3. The analyzing process -- 2.4. The method of the “Klammergebirge” -- 2.5. Recursive sequential methods and push down lists -- 2.6. Example for the use of two push down lists and of precedence rules -- 2.7. The concept of recursive translation -- 2.8. Organization of the translator -- 3. Languages involved in the translation process -- 3.1. Source language -- 3.2. Targe t language -- 3.3. Meta-language for describing the translator -- 4. Correspondence between elements of source and target language -- 4.1. Declarations in general -- 4.2. Declaration of variables and arrays and data storage allocation in the main program -- 4.3. Handling of types -- 4.4. Assignment statements -- 4.5. Boolean expressions -- 4.6. Conditional statements and expressions -- 4.7. For statements -- 4.8. Go to statement and switch declaration -- 4.9. Procedures and dynamic storage --
4.10. Procedure calls and declarations -- 5. Recursive address calculation -- 5.1. Introduction -- 5.2. Assumptions necessary for the use of recursive address calculation -- 5.3. Use of recursive address calculation for one loop -- 5.4. Nested loops -- 5.5. Loops with more than one list element -- 5.6. Further optimization possibilities -- 6. Run time organization -- 6.1. The instruction storage allocation -- 6.2. The instruction procedure call -- 6.3. The instruction formal procedure call -- 6.4. T he instruction normal procedure exit -- 6.5. The instruction jump to -- 6.6. The instruction formal procedure exit -- 6.7. The instructions name address and name call -- 6.8. The instruction name procedure exit -- 7. Model translator. Description -- 7.1. Introduction -- 7.2. Pass 1. The preparatory pass -- 7.3. Pass 2. The implementation of recursive address calculation -- 7.4. Pass 3. Decomposition and production of target program -- 7.5. Editorial functions -- 7.6. Run time system. The
target language program interpreter -- 8. Algol 60 model translator. Formal part -- Pass 1: preparatory pass -- Pass 2: recursive address calculation pass -- Pass 3: decomposition and generation pass -- Check routine: check procedure calls and subst itutions of formal parameters by actuals -- Check routine: check agreeability of actual parameter and specification -- Run time system: target language program interpreter -- START TRANSLATION -- Appendix: Correspondence matrix for actual and formal param eters
ISBN:9783642869372
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete: 137
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover Image
Call number:QA76.9.T48F75::2006 Show nearby items on shelf
Title:Mastering regular expressions
Author(s): Jeffrey E.F. Friedl
Date:2006
Publisher:O'Reilly
Note:Regexes
Note:A regular expression (regex) is a pattern that describes a set of strings.
Contents:Introduction to Regular Expressions, Extended Introductory Examples, Overview of Regular Expression Features and Flavors, The Mechanics of Expression Processing, Practical Regex Techniques, Crafting an Efficient Expression, Perl, Java, NET, PHP
ISBN:0596528124
Keywords: Text processing (Computer science) , Perl (Computer program language) , Computer programming. , Programming languages (Electronic computers) , Electronic data processing , String matching
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover
Image
Call number:QA76.76.O63MW5.W55158::2008 Show nearby items on shelf
Title:Windows PowerShell Scripting Guide
Author(s): Ed Wilson
Date:2008
Publisher:Microsoft Press
Note:CD is lost
ISBN:9780735622791
Keywords: Windows PowerShell (Computer Program Language) , Microsoft Windows (Computer File) , Scripting Languages (Computer Science) , Operating Systems (Computers)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.73.W56J664::2017 Show nearby items on shelf
Title:Learn Windows PowerShell in a month of lunches
Author(s): Jeffery Hicks Don Jones
Date:2017
Edition:Third edition.
Publisher:Shelter Island : Manning
Size:360 p
ISBN:9781617294167
Keywords: Windows PowerShell (Computer program language) , Command languages (Computer science) , Scripting languages (Computer science) , Operating systems (Computers) , Systems programming (Computer science)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.73.P98M42::2013 Show nearby items on shelf
Title:Python for data analysis
Author(s): Wes McKinney
Julie Steele (ed.)
Meghan Blanchette (ed.)
Date:2013
Publisher:Beijing: O'Reilly
Contents:Preliminaries -- Introductory examples -- IPython : an interactive computing and development environment -- NumPy basics : arrays and vectorized computation -- Getting started with pandas -- Data loading, storage, and file formats -- Data wrangling : clean, transform, merge, reshape -- Plotting and visualization -- Data aggregation and group operations -- Time series -- Financial and economic data applications -- Advancded NumPy
ISBN:9781449319793
Keywords: Python (Computer program language) , Programming languages (Electronic computers) , Data mining.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.73.P98M33::2009 Show nearby items on shelf
Title:Scientific Scripting with Python
Author(s): Drew (Drew Alexander) McCormack
Date:2009
Publisher:[Morrisvill, NC] : www.lulu.com (Self-Published)
ISBN:9780557187225
Keywords: Python (Computer Program Language) , Programming Languages , Science - Data Processing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.73.P98I3::2014 Show nearby items on shelf
Title:Python data analysis: learn how to apply powerful data analysis techniques with popular open source Python modules
Author(s): Ivan Idris
Date:2014
Publisher:Birmingham, UK: Packt Publishing Ltd
Size:329 p
Contents:Getting started with Python libraries -- NumPy arrays -- Statistics and linear algebra -- pandas primer -- Retrieving, processing, and storing data -- Data visualization -- Signal processing and time series -- Working with databases -- Analyzing tex tual data and social media -- Predictive analytics and machine learning -- Environments outside the Python ecosystem and cloud computing -- Performance tuning, profiling, and concurrency -- Appendix A : key concepts -- Appendix B : useful functions -- App endix C : online resources.
ISBN:9781783553358
Keywords: Python (Computer program language) , Programming languages (Electronic computers)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: MAIN

Cover
Image
Call number:QA76.7.S38::2009 Show nearby items on shelf
Title:Programming Language Pragmatics - THIRD EDITION
Author(s): Michael Lee Scott 1959-
Date:2009
Publisher:Elsevier/Morgan Kaufmann Pub.
Note:Comes with 1 CD-Rom
ISBN:9780123745149
Keywords: Programming Languages (Electronic Computers)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Call number:PC5333.M58 Show nearby items on shelf
Title:Concise dictionary of the Portuguese and English languages, including technical expressions of commerce and industry, of sciences and arts. With appendices of new words.
Author(s): Henriette Michaelis b 1849
Date:1955
Publisher:F. Ungar Pub. Co, New York
Size:21
Keywords: English language Dictionaries
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
Location: MAIN

Return to the Fermilab Library catalog