%{search_type} search results

Annotation The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a goal. The information, that an agent may need, is acquired and stored in the DL model. Thus, the HDL is used as the main knowledge base system for the agent. In this work, a novel approach which amalgamates Description Logic (DL) reasoning with Hierarchical Task Network (HTN) planning is introduced. An analysis of the performance of the approach has been conducted and the results show that this approach yields significantly smaller planning problem descriptions than those generated by current representations in HTN planning.

• Part I Introduction.- 1 Introduction and Overview.- 2 List of Symbols.- 3 Short History of Performance Theory.- 4 Oniontology.- Part II Structure Theory.- 5 What Is Structure Theory?- 6 Tempo Curves.- 7 Tuning, Intonation, and Dynamics.- 8 Combining Tempo, Tuning, and Dynamics.- 9 Articulation.- 10 General Performance Fields.- 11 The Category of Performance Cells and Hierarchies
• Part III Expressive Theory.- 12 What Is Expressive Theory?- 13 Emotional Expression.- 14 Gestural Expression.- 15 Analytical Expression.- 16 Analytical Weights.- 17 Shaping Operators.- 18 Two Generic Models and the Challenge of Improvisation.- 19 String Quartet Theory
• Part IV Rubato: Model and Software.- 20 Performance Scores.- 21 Stemma Theory.- 22 Case Studies.- 23 Statistics.- Part V Inverse Performance.- 24 What Is Inverse Performance Theory?- 25 The Technical Setup.- 26 Schumann's Traumerei: Argerich vs. Horowitz.- 27 Rethinking Music Critique.- Part VI Epilogue.- 28 Summary of Performance Theory.- 29 Future Developments.- Part VII Bibliographic References, Music Examples, and Index.- References Bibliography.- Music Examples.
• (source: Nielsen Book Data)

This book is a first sketch of what the overall field of performance could look like as a modern scientific field but not its stylistically differentiated practice, pedagogy, and history. Musical performance is the most complex field of music. It comprises the study of a composition's expression in terms of analysis, emotion, and gesture, and then its transformation into embodied reality, turning formulaic facts into dramatic movements of human cognition. Combining these components in a creative way is a sophisticated mix of knowledge and mastery, which more resembles the cooking of a delicate recipe than a rational procedure. This book is the first one aiming at such comprehensive coverage of the topic, and it does so also as a university text book. We include musicological and philosophical aspects as well as empirical performance research. Presenting analytical tools and case studies turns this project into a demanding enterprise in construction and experimental setups of performances, especially those generated by the music software Rubato. We are happy that this book was written following a course for performance students at the School of Music of the University of Minnesota. Their education should not be restricted to the canonical practice. They must know the rationale for their performance. It is not sufficient to learn performance with the old-fashioned imitation model of the teacher's antetype, this cannot be an exclusive tool since it dramatically lacks the poetical precision asked for by Adorno's and Benjamin's micrologic. Without such alternatives to intuitive imitation, performance risks being disconnected from the audience.
(source: Nielsen Book Data)

• Collecting Things Together: Sets.- Comparing Things: Relations.- Associating One Item with Another: Functions.- Recycling Outputs as Inputs: Induction and Recursion.- Counting Things: Combinatorics.- Weighing the Odds: Probability.- Squirrel Math: Trees.- Yea and Nay: Propositional Logic.- Something about Everything: Quantificational Logic.
• (source: Nielsen Book Data)

This book equips the student with essential intellectual tools that are needed from the very beginning of university studies in computing. These consist of abilities and skills - to pass from a concrete problem to an abstract representation, reason with the abstract structure coherently and usefully, and return with booty to the specific situation. The most basic and useful concepts needed come from the worlds of sets (with also their employment as relations & functions), structures (notably trees & graphs), & combinatorics (alias principles of counting, with their application in the world of probability). Recurring in all these are 2 kinds of instrument of proof - logical (notably inference by suppositions, reductio ad absurdum, & proof by cases), & mathematical (notably induction on the positive integers & on well-founded structures).From this book the student can assimilate the basics of these worlds & set out on the paths of computing with understanding & a platform for further study as needed.
(source: Nielsen Book Data)

• Foundations of Modeling Agent-based modeling ABMs using Repast and Java Differential Equations Other Stochastic Methods and Prism Simulating Biochemical Systems Modeling: General Strategies and Ockham's Razor.
• (source: Nielsen Book Data)

Mathematical modeling can be a useful tool for researchers in the biological scientists. Yet in biological modeling there is no one modeling technique that is suitable for all problems. Instead, different problems call for different approaches. Furthermore, it can be helpful to analyze the same system using a variety of approaches, to be able to exploit the advantages and drawbacks of each. In practice, it is often unclear which modeling approaches will be most suitable for a particular biological question, a problem which requires researchers to know a reasonable amount about a number of techniques, rather than become experts on a single one. "Introduction to Modeling for Biosciences" addresses this issue by presenting a broad overview of the most important techniques used to model biological systems. In addition to providing an introduction into the use of a wide range of software tools and modeling environments, this helpful text/reference describes the constraints and difficulties that each modeling technique presents in practice, enabling the researcher to quickly determine which software package would be most useful for their particular problem. Topics and features: introduces a basic array of techniques to formulate models of biological systems, and to solve them; intersperses the text with exercises throughout the book; includes practical introductions to the Maxima computer algebra system, the PRISM model checker, and the Repast Simphony agent modeling environment; discusses agent-based models, stochastic modeling techniques, differential equations and Gillespie's stochastic simulation algorithm; contains appendices on Repast batch running, rules of differentiation and integration, Maxima and PRISM notation, and some additional mathematical concepts; supplies source code for many of the example models discussed, at the associated website http://www.cs.kent.ac.uk/imb/. This unique and practical guide leads the novice modeler through realistic and concrete modeling projects, highlighting and commenting on the process of abstracting the real system into a model. Students and active researchers in the biosciences will also benefit from the discussions of the high-quality, tried-and-tested modeling tools described in the book. Dr. David J. Barnes is a lecturer in computer science at the University of Kent, UK, with a strong background in the teaching of programming. Dr. Dominique Chu is a lecturer in computer science at the University of Kent, UK. He is an internationally recognized expert in agent-based modeling, and has also in-depth research experience in stochastic and differential equation based modeling.
(source: Nielsen Book Data)

• Basics and Technology - Navigation and User Interface - Supply Chain Management - Trade and Logistics - Manufacturing - Financial Management.
• (source: Nielsen Book Data)

Precise descriptions and instructions enable users, IT officers and consultants to easily understand Microsoft Dynamics AX. Microsoft offers Dynamics AX as its premium ERP solution to supply midsize and larger organizations with a complete business management solution, which is easy to use. Going through a simple but comprehensive case study -- the sample company 'Anso Tenchnologies Inc.' -- this book provides the required knowledge to handle all basic business processes in Dynamics AX. Exercises allow to train the processes and functionality described, which makes this book also a good choice for self-study.
(source: Nielsen Book Data)

• On 5-Gons and 5-Holes / Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber
• On Reversibility among Parallelohedra / Jin Akiyama, Ikuro Sato and Hyunwoo Seong
• A History of Flips in Combinatorial Triangulations / Prosenjit Bose and Sander Verdonschot
• Tangled Thrackles / János Pach, Radoš Radoičić and Géza Tóth
• Open Guard Edges and Edge Guards in Simple Polygons / Csaba D. Tóth, Godfried T. Toussaint and Andrew Winslow
• String-Wrapped Rotating Disks / Joseph O'Rourke
• The Chromatic Number of the Convex Segment Disjointness Graph / Ruy Fabila-Monroy and David R. Wood
• Continuous Flattening of Convex Polyhedra / Jin-ichi Itoh, Chie Nara and Costin Vîlcu
• Convexifying Monotone Polygons while Maintaining Internal Visibility / Oswin Aichholzer, Mario Cetina, Ruy Fabila-Monroy, Jesús Leaños and Gelasio Salazar, et al.
• On the Number of Radial Orderings of Colored Planar Point Sets / José M. Díaz-Báñez, Ruy Fabila-Monroy and Pablo Pérez-Lantero
• Notes on the Twisted Graph / Elsa Omaña-Pulido and Eduardo Rivera-Campo
• Locating a Service Facility and a Rapid Transit Line / José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero and Inmaculada Ventura
• Simultaneously Flippable Edges in Triangulations / Diane L. Souvaine, Csaba D. Tóth and Andrew Winslow.

• Spiral Serpentine Polygonization of a Planar Point Set / Justin Iwerks and Joseph S.B. Mitchell
• The 1-Center and 1-Highway Problem / José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero and Inmaculada Ventura
• Compact Grid Representation of Graphs / José Cáceres, Carmen Cortés, Clara Isabel Grima, Masahiro Hachimori and Alberto Márquez, et al.
• On the Heaviest Increasing or Decreasing Subsequence of a Permutation, and Paths and Matchings on Weighted Point Sets / Toshinori Sakai and Jorge Urrutia
• A Generalization of the Source Unfolding of Convex Polyhedra / Erik D. Demaine and Anna Lubiw
• Large Angle Crossing Drawings of Planar Graphs in Subquadratic Area / Patrizio Angelini, Giuseppe Di Battista, Walter Didimo, Fabrizio Frati and Seok-Hee Hong, et al.
• Connecting Red Cells in a Bicolour Voronoi Diagram / Manuel Abellanas, Antonio L. Bajuelos, Santiago Canales, Mercè Claverol and Gregorio Hernández, et al.
• Covering Islands in Plane Point Sets / Ruy Fabila-Monroy and Clemens Huemer
• Rectilinear Convex Hull with Minimum Area / Carlos Alegría-Galicia, Tzolkin Garduño, Areli Rosas-Navarrete, Carlos Seara and Jorge Urrutia
• Separated Matchings and Small Discrepancy Colorings / Viola Mészáros
• A Note on the Number of Empty Triangles / Alfredo García
• Meshes Preserving Minimum Feature Size / Greg Aloupis, Erik D. Demaine, Martin L. Demaine, Vida Dujmović and John Iacono
• Geometric Graphs in the Plane Lattice / Mikio Kano and Kazuhiro Suzuki.

This Festschrift volume is published in honor of Ferran Hurtado on the occasion of his 60th birthday; it contains extended versions of selected communications presented at the XIV Spanish Meeting on Computational Geometry, held at the University of Alcala, Spain, in June 2011. Ferran Hurtado has played a central role in the Spanish community of Computational Geometry since its very beginning, and the quantity and quality of the international participants in the conference is an indisputable proof of his relevance in the international level. The 26 revised full papers were carefully reviewed and selected from numerous submissions. The papers present original research in computational geometry, in its broadest sense. Topics included are discrete and combinatorial geometry, linear programming applied to geometric problems, geometric algorithms and data structures, theoretical foundations of computational geometry, questions of interest in the implementation of geometric algorithms, and applications of computational geometry.
(source: Nielsen Book Data)

This book contains the refereed proceedings of the 14th International Conference on Business Information Systems, BIS 2011, held in Poznań, Poland, in June 2011. The 25 revised full papers were carefully reviewed and selected from 57 submissions. Following this year's conference theme of "Towards Flexible, Personalized and Adaptive Business Applications, " the contributions were grouped into eight sections on business rules, business process verification, business process variants and composition, business process improvement, data modeling and integration, Internet science, modern enterprises, and specific business information systems issues.

• Target Detection in Agriculture Field by Eigenvector Reduction Method of Cem
• Application of 3S Techniques in the Study of Wetland Environment of Dong Ting Lake
• A Classification of Remote Sensing Image Based on Improved Compound Kernels of Svm
• Monitoring Method of Cow Anthrax Based on Gis and Spatial Statistical Analysis
• The Research on Natural Vegetation's Response to Agriculture in Tarim River Basin in Recent 50 Years Using Multi-Source Remote Sensing Data
• The Service Architecture of Agricultural Informatization
• A Forecast Model of Agricultural and Livestock Products Price
• A Network-Based Management Information System for Animal Husbandry in Farms
• Research of Animal Disease Information System Based on GIS Technology
• Modern Agricultural Digital Management Network Information System of Heilongjiang Reclamation Area Farm
• Case Analysis of Farm Agriculture Machinery Informatization Management Network System
• Study on Retrieval Technique of Content-Based Agricultural Scientech Multimedia Data
• A Design of an Experimental System for Trapping Pressure of Agricultural Gear Pump
• CropIrri: A Decision Support System for Crop Irrigation Management
• Collection of Group Characteristics of Pleurotus Eryngii Using Machine Vision
• The Design of Flower Ecological Environment Monitoring System Based on ZigBee Technology
• Zigbee Wireless Sensor Network Nodes Deployment Strategy for Digital Agricultural Data Acquisition
• Research on 3G Technologies-Based Agricultural Information Resource Integration and Service
• Research on Agricultural Surveillance Video of Intelligent Tracking
• Expert Control Based on Neural Networks for Controlling Greenhouse Environment
• A Review of Non-destructive Detection for Fruit Quality
• Automatic Grading of the Post-Harvest Fruit: A Review
• A Voice Processing Technology for Rural Specific Context
• A New On-Line Detecting Apparatus of the Residual Chlorine in Disinfectant for Fresh-Cut Vegetables
• The Design of the Automatic Control System of the Gripping-Belt Speed in Long-Rootstalk Traditional Chinese Herbal Harvester
• A Virtual Prototyping Technology for Design of Pressing Equipment of Dried Tofu
• Headland Turning Control Method Simulation of Autonomous Agricultural Machine Based on Improved Pure Pursuit Model
• Design of Plant Eco-physiology Monitoring System Based on Embedded Technology
• Motion Law Analysis and Structural Optimization of the Ejection Device of Tray Seeder
• Nozzle Fuzzy Controller of Agricultural Spraying Robot Aiming Toward Crop Rows
• Design of Intelligent Hydraulic Excavator Control System Based on PID Method
• A Control System for Tobacco Shred Production Line Based on Industrial Ethernet
• Intelligent Controlling System of Aquiculture Environment
• Development of a Semi-controller for a Variable Rate Fertilizer Applicator
• Design of Intelligent Conductivity Meter Based on MSP430F149
• Intelligent Control Technology for Natural Ventilation Used in Greenhouse
• An Application of RFID in Monitoring Agricultural Material Products
• The Development Model Electronic Commerce of Regional Agriculture
• Food Traceability System Tending to Maturation in China
• Study on Intelligent Multi-concentrates Feeding System for Dairy Cow
• Construction of Traceability System for Quality Safety of Cereal and Oil Products
• The Study and Implementation of Text-to-Speech System for Agricultural Information
• General Framework for Animal Food Safety Traceability Using GS1 and RFID
• The Function Analysis of Informationization in New Rural Cooperatives Medical Service Management
• Current Situation and Countermeasures of Agricultural Information Construction in Jiamusi Area
• Fuzzy Comprehensive Evaluation of Rural Information Poverty in China ---- Case Study of Hebei Province
• Realization of the Regional Advantageous Agricultural Industries Analysis System
• Research of Development of Agricultural Knowledge Service in China
• A Study on the Digital Integrated Platform of China Participatory Rural Community Informationization
• Multipath for Agricultural and Rural Information Services in China
• The Design and Development of Test Platform for Wheat Precision Seeding Based on Image Processing Techniques
• Using L-M BP Algorithm Forecase the 305 Days Production of First-Breed Dairy
• The Fuzzy Model for Diagnosis of Animal Disease
• Texture Detect on Rotary-Veneer Surface Based on Semi-Fuzzy Clustering Algorithm
• Three-Dimension Visualization for Primary Wheat Diseases Based on Simulation Model
• Digital Modeling and Testing Research on Digging Mechanism of Deep Rootstalk Crops
• In Internet-Based Visualization System Study about Breakthrough Applet Security Restrictions
• Study of the Quality of Bee Product Tracking and Traceability System Based on Agent Technology
• RFID Based Grain and Oil Products Traceability and Its Computer Implementation
• Studies on the Pasting and Rheology of Rice Starch with Different Protein Residual
• Research on Time and Spatial Variability of Soil pH in Sanmenxia Planted Tobacco Area
• Web N.0, the New Development Trend of Internet
• Study and Improvement for Slice Smoothness in Slicing Machine of Lotus Root
• The Research of Key Technologies of Streaming Media Digital Resources Transmission Based on CDN and P2P
• Influence of Sound Wave Stimulation on the Growth of Strawberry in Sunlight Greenhouse
• Seeding Element Polarity Arrangement on Drum-Type Magnetic Precision Seeder
• Problems and Countermeasures on the Development of Precision Agriculture in Heilongjiang Province
• Research on Regional Spatial Variability of Soil Moisture Based on GIS
• A Study on Using AD5933 to Realize Soft-Sensing Measurement of Conductance and Capacitance
• Wireless Sensor Networks Applied on Environmental Monitoring in Fowl Farm
• Research on Non-destructive Comprehensive Detection and Grading of Poultry Eggs Based on Intelligent Robot
• A Pvdf Sensor for Monitoring Grain Loss in Combine Harvester
• Quantification Model for Estimating Temperature Field Distributions of Apple Fruit
• A Wireless Real-Time Monitoring Node of the Physiological Signals for Unrestrained Dairy Cattle Using Wireless Sensor Network
• The Application of Wireless Sensor Networks in Management of Orchard
• Research of Rice-Quality Based on Computer Vision and Near Infrared Spectroscopy
• Soil Suitability Evaluation for Tobacco Based on Grey Cluster Analysis
• Animal Disease Diagnoses Expert System Based on SVM
• The Research and Application of Virtual Reality (VR) Technology in Agriculture Science
• Research on Vegetation Dynamic Change Simulation Based on Spatial Data Mining of ANN-CA Model Using Time Series of Remote Sensing Images.

I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Computing Te- nologies in Agriculture and the Third Symposium on Development of Rural Infor- tion (CCTA 2009) held in China, during October 14-17, 2009. This conference was hosted by the CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University), China National En- neering Research Center for Information Technology in Agriculture, Asian Conf- ence on Precision Agriculture, International Federation for Information Processing, Chinese Society of Agricultural Engineering, Beijing Society for Information Te- nology in Agriculture, and the Chinese Society for Agricultural Machinery. The pla- num sponsor includes the Ministry of Science and Technology of China, Ministry of Agriculture of China, Ministry of Education of China, among others. The CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University) focuses on research and development of advanced and practical technologies applied in agriculture and on promoting international communi- tion and cooperation. It has successfully held three International Conferences on C- puter and Computing Technologies in Agriculture, namely CCTA 2007, CCTA 2008 and CCTA 2009. Sustainable agriculture is the focus of the whole world currently, and therefore the application of information technology in agriculture is becoming more and more - portant. 'Informatized agriculture' has been sought by many countries recently in order to scientifically manage agriculture to achieve low costs and high incomes.

• * Getting Up to Speed with the Office Applications * Learning Common Tools Across the Office Suite * Working with Text * Using Pictures and Shapes in Your Documents * Customizing Office to Suit You * Entering Text and Using Views * Adding Style: Formatting Your Documents * Creating Complex Documents and Layouts * Creating Business Documents with Mail Merge * Revising and Reviewing Documents * Printing, Securing, and Sharing Documents * Creating Workbooks and Entering Data * Formatting Your Worksheets * Creating Powerful and Persuasive Charts * Crunching Numbers with Formulas and Functions * Creating Simple Databases and Solving Business Problems * Manipulating Data with PivotTables * Starting to Build a Presentation in PowerPoint * Creating Clear and Compelling Slides * Adding Life and Interest to a Presentation * Delivering a Presentation Live or Online * Using E-mail Effectively * Keeping Your Contacts in Order * Managing Your Calendar * Working with Tasks and Notes.
• (source: Nielsen Book Data)

Office for Mac remains the leading productivity suite for Mac, with Apple's iWork and the free OpenOffice.org trailing far behind. Now, it's been updated with a cleaner interface and more compatibility with Exchange and SharePoint. Learn Office 2011 for Mac OS X offers a practical, hands-on approach to using Office 2011 applications to create and edit documents and get work done efficiently. You'll learn how to customize Office, design, create, and share documents, manipulate data in a spreadsheet, and create lively presentations. You'll also discover how to organize your email, contacts, and tasks with the new Outlook for Mac. Conveying information quickly and concisely, the book brings you from beginner or intermediate to an experienced and confident user. This book provides the best combination of accessible and focused coverage of the Office 2011 applications. Rather than cover every seldom-used feature, the book covers real-world usage, putting emphasis on practical tasks and troubleshooting common problems, such as sharing documents with Windows users and older versions of Office.
(source: Nielsen Book Data)

• * Getting Up to Speed with the Office Applications * Learning Common Tools Across the Office Suite * Working with Text * Using Pictures and Shapes in Your Documents * Customizing Office to Suit You * Entering Text and Using Views * Adding Style: Formatting Your Documents * Creating Complex Documents and Layouts * Creating Business Documents with Mail Merge * Revising and Reviewing Documents * Printing, Securing, and Sharing Documents * Creating Workbooks and Entering Data * Formatting Your Worksheets * Creating Powerful and Persuasive Charts * Crunching Numbers with Formulas and Functions * Creating Simple Databases and Solving Business Problems * Manipulating Data with PivotTables * Starting to Build a Presentation in PowerPoint * Creating Clear and Compelling Slides * Adding Life and Interest to a Presentation * Delivering a Presentation Live or Online * Using E-mail Effectively * Keeping Your Contacts in Order * Managing Your Calendar * Working with Tasks and Notes.
• (source: Nielsen Book Data)

Office for Mac remains the leading productivity suite for Mac, with Apple's iWork and the free OpenOffice.org trailing far behind. Now, it's been updated with a cleaner interface and more compatibility with Exchange and SharePoint. Learn Office 2011 for Mac OS X offers a practical, hands-on approach to using Office 2011 applications to create and edit documents and get work done efficiently. You'll learn how to customize Office, design, create, and share documents, manipulate data in a spreadsheet, and create lively presentations. You'll also discover how to organize your email, contacts, and tasks with the new Outlook for Mac. Conveying information quickly and concisely, the book brings you from beginner or intermediate to an experienced and confident user. This book provides the best combination of accessible and focused coverage of the Office 2011 applications. Rather than cover every seldom-used feature, the book covers real-world usage, putting emphasis on practical tasks and troubleshooting common problems, such as sharing documents with Windows users and older versions of Office.
(source: Nielsen Book Data)

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions.¡ The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.

• pt. 1. Models
• pt. 2. Tools and techniques
• pt. 3. Case studies
• pt. 4. Alternative perspective.

"Presents state-of-the-art research and practice in intelligence work. Describes novel tools and techniques for counterterrorism and open source intelligence. Provides perspectives on the future uses of open source intelligence. Since the 9/11 terrorist attacks in the United States, serious concerns were raised on domestic and international security issues. Consequently, there has been considerable interest recently in technological strategies and resources to counter acts of terrorism. In this context, this book provides a state-of-the-art survey of the most recent advances in the field of counterterrorism and open source intelligence, demonstrating how various existing as well as novel tools and techniques can be applied in combating covert terrorist networks. A particular focus will be on future challenges of open source intelligence and perspectives on how to effectively operate in order to prevent terrorist activities."--Publisher's website

This book constitutes the refereed proceedings of the Third International Conference on Mathematics and Computation in Music, MCM 2011, held in Paris, France, in June 2011. The 24 revised full papers presented and the 12 short papers were carefully reviewed and selected from 62 submissions. The MCM conference is the flagship conference of the Society for Mathematics and Computation in Music. This year's conference aimed to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. Areas covered were formalization and geometrical representation of musical structures and processes; mathematical models for music improvisation and gestures theory; set-theoretical and transformational approaches; computational analysis and cognitive musicology as well as more general discussions on history, philosophy and epistemology of music and mathematics.
(source: Nielsen Book Data)

• Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk).- Integrating Multiple-Platform Expression Data through Gene Set Features.- Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression.- Mean Square Residue Biclustering with Missing Data and Row Inversions.- Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks.- Querying Protein-Protein Interaction Networks.- Integrative Approach for Combining TNF?-NF?B Mathematical Model to a Protein Interaction Connectivity Map.- Hierarchical Organization of Functional Modules in Weighted Protein Interaction Networks Using Clustering Coefficient.- Bioinformatics Challenges in Translational Research.- Untangling Tanglegrams: Comparing Trees by Their Drawings.- An Experimental Analysis of Consensus Tree Algorithms for Large-Scale Tree Collections.- Counting Faces in Split Networks.- Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns.- Improved Algorithms for Parsing ESLTAGs: A Grammatical Model Suitable for RNA Pseudoknots.- Efficient Algorithms for Self Assembling Triangular and Other Nano Structures.- Motif Construction from High-Throughput SELEX Data.- Rearrangement Phylogeny of Genomes in Contig Form.- Prediction of Contiguous Regions in the Amniote Ancestral Genome.- Pure Parsimony Xor Haplotyping.- A Decomposition of the Pure Parsimony Haplotyping Problem.- Exact Computation of Coalescent Likelihood under the Infinite Sites Model.- Imputation-Based Local Ancestry Inference in Admixed Populations.- Interpreting Population Sequencing Data.- Modeling and Visualizing Heterogeneity of Spatial Patterns of Protein-DNA Interaction from High-Density Chromatin Precipitation Mapping Data.- A Linear-Time Algorithm for Analyzing Array CGH Data Using Log Ratio Triangulation.- Mining of cis-Regulatory Motifs Associated with Tissue-Specific Alternative Splicing.- Analysis of Cis-Regulatory Motifs in Cassette Exons by Incorporating Exon Skipping Rates.- A Class of Evolution-Based Kernels for Protein Homology Analysis: A Generalization of the PAM Model.- Irreplaceable Amino Acids and Reduced Alphabets in Short-Term and Directed Protein Evolution.- A One-Class Classification Approach for Protein Sequences and Structures.- Prediction and Classification of Real and Pseudo MicroRNA Precursors via Data Fuzzification and Fuzzy Decision Trees.
• (source: Nielsen Book Data)

The5th editionof the InternationalSymposium onBioinformaticsResearchand Applications (ISBRA 2009) was held during May 13-16, 2009 at Nova Sou- eastern University in Ft. Lauderdale, Florida. The symposium provides a forum for the exchange of ideas and results among researchers, developers, and prac- tioners working on all aspects of bioinformatics and computational biology and their applications. The technical program of the symposium included 26 contributed papers, selected by the Program Committee from a number of 55 full submissions - ceived in response to the call for papers. The technical program also included contributed papers and abstracts submitted to the Second Workshop on C- putational Issues in Genetic Epidemiology (CIGE 2009), which was held in c- junction with ISBRA 2009. Additionally, the symposium included poster s- sions and featured invited keynote talks by four distinguished speakers: Mikhail Gelfand from the Russian Academy of Sciences and Moscow State University spoke on evolution of regulatory systems in bacteria, Nicholas Tsinoremas from the Miller School of Medicine and the College of Arts and Sciences at the U- versity of Miami spoke on bioinformatics challenges in translational research, Esko Ukkonen from the University of Helsinki spoke on motif construction from high-throughputSELEXdata, andShamil SunyaevfromBrighamand Women's Hospital and Harvard Medical School spoke on interpreting population seque- ing data. We would like to thank the Program Committee members and external - viewers for volunteering their time to review and discuss symposium papers.
(source: Nielsen Book Data)

• Programming and Reasoning with Equations.- to Haskell.- Equational Reasoning.- Recursion.- Trees.- Logic.- Propositional Logic.- Predicate Logic.- Set Theory.- Set Theory.- Inductively Defined Sets.- Relations.- Functions.- Applications.- The AVL Tree Miracle.- Discrete Mathematics in Circuit Design.
• (source: Nielsen Book Data)

Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context of purely mathematical applications. They have to ?gure out for themselves how to apply the ideas of discrete mathematics to computing problems. It is not easy. Most students fail to experience broad success in this enterprise, which is not surprising, since many of the most important advances in science and engineeringhavebeen, precisely, applicationsofmathematicstospeci?cscience and engineering problems. Tobesure, mostdiscretemathtextbooksincorporatesomeaspectsapplying discrete math to computing, but it usually takes the form of asking students to write programs to compute the number of three-ball combinations there are in a set of ten balls or, at best, to implement a graph algorithm. Few texts ask students to use mathematical logic to analyze properties of digital circuits or computer programs or to apply the set theoretic model of functions to understand higher-order operations. A major aim of this text is to integrate, tightly, the study of discrete mathematics with the study of central problems of computer science.
(source: Nielsen Book Data)

• Computer Education Support Structures in Victorian Schools in the 1980s.- A Case Study: History of Polish Computer Applications in Power System Control.- Olivetti Elea
• 9003: Between Scientific Research and Computer Business.- Cuban Experiences on Computing and Education.- Computer Education in Spain: From Early to Recent Times.- The Emergence of Educational Technology.- History of Computing Education Trends: The Emergence of Competitive Intelligence.- An Open Adaptive Virtual Museum of Informatics History in Siberia.- ICT for Success of Education from an Indian Perspective.- Sinhala Computing in Early Stage -Sri Lanka Experience.- A Brief History of Choosing First Programming Languages.- Programming in Japanese for Literacy Education.
• (source: Nielsen Book Data)

These proceedings derive from an international conference on the history of computing and education. This conference is the third of hopefully a series of conferences that will take place within the International Federation for Information Processing (IFIP) and hence, we describe it as the "Third IFIP Conference on the History of Computing and Education" or simply "History of Computing and Education 3" (HCE3). This volume consists of a collection of articles presented at the HCE3 conference held in association with the IFIP 2008 World Computer Congress in Milano, Italy. Articles range from a wide variety of computing perspectives and they represent activities from six continents. The HCE3 conference is an event of the IFIP Working Group 9.7 on the History of Computing, a working group of IFIP' s Technical Committee 9 (TC9) on the Relationship between Computers and Society. In addition, it is in cooperation with the IFIP Technical Committee 3 (TC3) on Education. The HCE3 conference brings to light a broad spectrum of issues. It illustrates topics in computing as they occurred in the "early days" of computing whose ramifications or overtones remain with us today. Indeed, many of the early challenges remain part of our educational tapestry; most likely, many will evolve into future challenges. Therefore, these proceedings provide additional value to the reader as it will reflect in part the future development of computing and education to stimulate new ideas and models in educational development.
(source: Nielsen Book Data)

• Preface.- Part 1 Euclidean Geometry.- 2D Computational Euclidean Geometry.- Points and Segments.- A Separate Type for Vectors.- Vector Normalization and Directions.- Affine Combinations.- Lines.- Vector Orthogonality and Linear Dependance.-Geomteric Predicates.- Predicate Return Type.- The Turn Predicate.- Side of Circle Predicate.- Order Predicate.- The Geometry of the Euclidean Line E1.- Immutability of Geometric Objects.- Exercises.- 3D Computational Euclidean Geometry.- Points in Euclidean Space.- Vectors and Directions.- Vector Orthogonality and Linear Dependance.- Planes in Space.- Lines in Space.- Sidedness Predicates in 3D.- Dominant Axis.- Exercises.- Affine Transformations.- Affine Transformations in 2D.- Properties of Affine Transformations.- Composition of Affine Transformations.- Affine Transformations Objects.- Viewport Mapping.- Orthogonal Matrices.- Orthogonal Transformations.- Euler Angles and Rotation in Space.- Rank of a Matrix.- Finding the Affine Mapping Given the Points.- Exercises.- Genericity in Geometric Computing.- Numerical Precision.- Part II Non-Euclidean Geometries.- 1D Computational Spherical Geometry.- 2D Computational Spherical Geometry.- Rotations and Quaternions.- Projective Geometry.- Homogenous Coordinates for Projective Geometry.- Barycentric Coordinates.- Oriented Projective Geometry.- Oriented Projective Intersections.- Coordinate-Free Geometry.- Homogeneous Coordinates for Euclidean Geometry.- Coordinate-Free Geometric Computing.- Introduction to CGAL.- Part IV Raster Graphics.- Segment Scan Conversion.- Polygon-Point Containment.- Illumination and Shading.- Raster-Based Visibility.- Ray Tracing.- Graphs.-Tree and Graph Drawing.- Tree Drawing.- Graph Drawing.- Part VI Geometric and Solid Modeling.- Boundary Representations.- The Halfedge Data Structure and Euler Operators.- BSP Trees in Euclidean and Spherical Geometries
• Geometry-Free Geometric Computing.- Constructive Solid Geometry.- Part VII Vector Visibility.- Visibility from Euclidean to Spherical Spaces.- Visibility in Space.- The PostScript Language.- OpenGL.- The GLOW Toolkit.- Bibliography.-Index.
• (source: Nielsen Book Data)

Computing is quickly making much of geometry intriguing not only for philosophers and mathematicians, but also for scientists and engineers. What is the core set of topics that a practitioner needs to study before embarking on the design and implementation of a geometric system in a specialized discipline? This book attempts to find the answer. Every programmer tackling a geometric computing problem encounters design decisions that need to be solved. This book reviews the geometric theory then applies it in an attempt to find that elusive "right" design.
(source: Nielsen Book Data)

• Introduction to Active Sets and Unification / Germano Resconi, Chris Hinde
• Modeling a Teacher in a Tutorial-like System Using Learning Automata / B. John Oommen, M. Khaled Hashem
• Power Network Reliability Computations Using Multi-agent Simulation / Aleš Horák, Miroslav Prýmek, Tadeusz Sikora
• Sequence Automata for Researching Consensus Levels / Henryk Piech
• An Analysis of the Influence of Fundamental Indexing on Financial Markets through Agent-Based Modeling: The Fundamentalist and Fundamental Indexing / Hiroshi Takahashi
• Agent-Driven Integration Architecture for Component-Based Software Development / Sodany Kiv, Yves Wautelet, Manuel Kolp
• Adaptive Tutoring in an Intelligent Conversational Agent System / Annabel Latham, Keeley Crockett
• Biological and Computational Perspectives on the Emergence of Social Phenomena: Shared Understanding and Collective Power / Jan Treur
• Agent-Based Crowd Simulation in Airports Using Games Technology / Olivier Szymanezyk, Tom Duckett
• Approximate Algorithms for Solving O1 Consensus Problems Using Complex Tree Structure / Marcin Maleszka, Ngoc Thanh Nguyen.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eighth issue contains a collection of ten carefully selected and thorougly revised contributions.

• Digital libraries / Maristella Agosti
• Scalability challenges in Web search engines / Berkant Barla Cambazoglu, Ricardo Baeza-Yates
• Spam, opinions, and other relationships: towards a comprehensive view of the Web knowledge discovery / Bettina Berendt
• The user in interactive information retrieval evaluation / Peter Ingwersen
• Aggregated search / Mounia Lalmas
• Quantum mechanics and information retrieval / Massimo Melucci and Keith van Rijsbergen
• Multimedia resource discovery / Stefan Rüger
• Information retrieval in context / Ian Ruthven
• Digital advertising: an information scientist's perspective / James G. Shanahan and Goutham Kurra.

Information retrieval is the science concerned with the effective and efficient retrieval of documents starting from their semantic content. It is employed to fulfill some information need from a large number of digital documents. Given the ever-growing amount of documents available and the heterogeneous data structures used for storage, information retrieval has recently faced and tackled novel applications. In this book, Melucci and Baeza-Yates present a wide-spectrum illustration of recent research results in advanced areas related to information retrieval. Readers will find chapters on e.g. aggregated search, digital advertising, digital libraries, discovery of spam and opinions, information retrieval in context, multimedia resource discovery, quantum mechanics applied to information retrieval, scalability challenges in web search engines, and interactive information retrieval evaluation. All chapters are written by well-known researchers, are completely self-contained and comprehensive, and are complemented by an integrated bibliography and subject index. With this selection, the editors provide the most up-to-date survey of topics usually not addressed in depth in traditional (text)books on information retrieval. The presentation is intended for a wide audience of people interested in information retrieval: undergraduate and graduate students, post-doctoral researchers, lecturers, and industrial researchers.