%{search_type} search results

• FPCA-II Opening Comments
• Astronomical Publishing: Yesterday, Today, and Tomorrow (A. Heck/Strasbourg Obs.)
• The Emergin Scholarly Brain (M.J. Kurtz/CfA)
• Communicating Astronomy Beyond IYA2009 (R.T. Fienberg/AAS)
• Trends in Scientific Publishing at Springer (G. Eichhorn/Springer)
• Astronomy Journal Publishing: Serving the Community (R. Boucher/Wiley-Blackwell)
• Publishing in Greater Depth: Article of the Future and Beyond (D. Clark/Elsevier)
• Publishing Astronomy and Astrophysics: Article Numbering, Electronic First (M.L. Chaix/EDP Sciences)
• The Future of the ASP Conference Series (J. Jensen et al./ASP)
• Astronomical Publication Rates in the US, UK, and Europe (H.A. Abt/KPNO)
• Fully Digital: Policy and Process Implications for the AAS (Chr. Biemesderfer/AAS)
• The Present and Future of The Astrophysical Journal (E. Vishniac/McMaster Univ.)
• Open Access: Current Status, AAS Perspectives (K. Marvel and Chr. Biemesderfer/AAS)
• Open Access Publishing in High-Energy Physics: The SCOAP3 Initiative (S. Mele/CERN)
• Astronomy Librarians
• Quo Vadis? (J.¡Lagerstrom/STScI and U. Grothkopf/ESO)
• Telescope Bibliometrics 101 (U. Grothkopf/ESO and J. Lagerstrom/STScI)
• Progress on the 'Declaration Concerning the Evolving Role of Libraries in Research Centres' (T.J. Mahoney/IAC)
• Finding Your Literature Match
• A Recommender System (E.A. Henneken et al./SAO)
• Linking Literature and Data: Status Report and Future Efforts (A. Accomazzi/CfA)
• FPCA-II Concluding Remarks (M.J. Kurtz/CfA).

The present volume gathers together the talks presented at the colloquim "Future Professional Communication II (FPCA-II), " held at the Harvard-Smithsonian Center for Astrophysics (Cambridge, MA) on 13-14 April 2010. Motivated by a convergence of facts and trends in the world of publishing, as well as by interrogations from within the astronomy community, the FPCA meetings are quietly¡ making history as they are convening all major partners, publishers, editors, archive managers, officers of learned societies, as well as scientists involved in professional communication processes. The contributions presented in this volume describe their activities, projects and questions on the future

• Engineering review of the whitespace radio standards.- Whitespace radio: Lifting the digital divide from Africa.- Measurements of TV bands in Southern Africa.- Channel sounding in TV bands: methodologies and results.- White RHINO: A software defined radio hardware development board to support whitespace communication.- Whitespace measurements round the world by Google.
• (source: Nielsen Book Data)

This monograph presents the major developments towards the implementation of whitespace radio. Whitespace communication is a new standard for digital communication technology which based on the existing analog TV bands. The standards have been released introducing cognitive communication. Since the introduction of the standards, this has gathered a lot of research and development efforts. The main reason for the popularity of Whitespace technologies are two fold. First of all it can support much wider cells and hence can be used in sparsely populated areas. Secondly, it leverages well upon the two major fields of current communication research, viz. cognitive radio and software defined radio. Whitespace is deemed to be a technology of choice for sparsely populated developing countries. In this aspect it is expected to be a solution for Africa In that manner, the rural area treatment of the subject in the book makes it very practical oriented.
(source: Nielsen Book Data)

• Pattern mining
• Social network and social media
• Classification
• Graph and network mining
• Applications
• Privacy preserving.

The two-volume set LNAI 8443 + LNAI 8444 constitutes the refereed proceedings of the 18th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2014, held in Tainan, Taiwan, in May 2014. The 40 full papers and the 60 short papers presented within these proceedings were carefully reviewed and selected from 371 submissions. They cover the general fields of pattern mining; social network and social media; classification; graph and network mining; applications; privacy preserving; recommendation; feature selection and reduction; machine learning; temporal and spatial data; novel algorithms; clustering; biomedical data mining; stream mining; outlier and anomaly detection; multi-sources mining; and unstructured data and text mining.

• Recommendation
• Feature selection and reduction
• Machine learning
• Temporal and spatial data
• Novel algorithms
• Clustering
• Biomedical data mining
• Stream mining
• Outlier and anomaly detection
• Multi-sources mining
• Unstructured data and text mining.

The two-volume set LNAI 8443 + LNAI 8444 constitutes the refereed proceedings of the 18th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2014, held in Tainan, Taiwan, in May 2014. The 40 full papers and the 60 short papers presented within these proceedings were carefully reviewed and selected from 371 submissions. They cover the general fields of pattern mining; social network and social media; classification; graph and network mining; applications; privacy preserving; recommendation; feature selection and reduction; machine learning; temporal and spatial data; novel algorithms; clustering; biomedical data mining; stream mining; outlier and anomaly detection; multi-sources mining; and unstructured data and text mining.

• 1 A Web of Data: Towards the Idea of the Semantic Web.- 2 The Building Block for the Semantic Web: RDF.- 3 Other RDF-related Technologies: Microformats, RDFa and GRDDL.- 4 RDFS and Ontology.- 5 OWL: Web Ontology Language.- 6 SPARQL: Querying the Semantic Web.- 7 FOAF: Friend of A Friend.- 8 DBpedia.- 9 Linked Open Data.- 10 Schema.org and Semantic Markup.- 11 Social Network and the Semantic Web.- 12 Other Recent Applications: Data.gov and Wikidata.- 13 Getting Started: Change Your Data into Structured Data.- 14 Building the Foundation for Development on the Semantic Web.- 15 Example: Using Jena For Development on the Semantic Web.- 16 Follow Your Nose: A Basic Semantic Web Agent.- 17 A Search Engine that Supports Rich Snippets.- 18 More Application Examples on the Semantic Web.
• (source: Nielsen Book Data)

The Semantic Web represents a vision for how to make the huge amount of information on the Web automatically processable by machines on a large scale. For this purpose, a whole suite of standards, technologies and related tools have been specified and developed over the last couple of years and they have now become the foundation for numerous new applications. A Developer's Guide to the Semantic Web helps the reader to learn the core standards, key components and underlying concepts. It provides in-depth coverage of both the what-is and how-to aspects of the Semantic Web. From Yu's presentation, the reader will obtain not only a solid understanding about the Semantic Web, but also learn how to combine all the pieces to build new applications on the Semantic Web. The second edition of this book not only adds detailed coverage of the latest W3C standards such as SPARQL 1.1 and RDB2RDF, it also updates the readers by following recent developments. More specifically, it includes five new chapters on schema.org and semantic markup, on Semantic Web technologies used in social networks and on new applications and projects such as data.gov and Wikidata and it also provides a complete coding example of building a search engine that supports Rich Snippets. Software developers in industry and students specializing in Web development or Semantic Web technologies will find in this book the most complete guide to this exciting field available today. Based on the step-by-step presentation of real-world projects, where the technologies and standards are applied, they will acquire the knowledge needed to design and implement state-of-the-art applications.
(source: Nielsen Book Data)

• Introduction
• Production Simulation Platform
• Production Workflow Optimizations
• Predictions of Process-Execution Time and Process-Execution Status
• Optimization of Order-Admission Policies
• Conclusion.

This book provides a comprehensive set of optimization and prediction techniques for an enterprise information system. Readers with a background in operations research, system engineering, statistics, or data analytics can use this book as a reference to derive insight from data and use this knowledge as guidance for production management. The authors identify the key challenges in enterprise information management and present results that have emerged from leading-edge research in this domain. Coverage includes topics ranging from task scheduling and resource allocation, to workflow optimization, process time and status prediction, order admission policies optimization, and enterprise service-level performance analysis and prediction. With its emphasis on the above topics, this book provides an in-depth look at enterprise information management solutions that are needed for greater automation and reconfigurability-based fault tolerance, as well as to obtain data-driven recommendations for effective decision-making.

• Knowledge Discovery and Data Mining in Biomedical Informatics: The Future Is in Integrative, Interactive Machine Learning Solutions
• Visual Data Mining: Effective Exploration of the Biological Universe
• Darwin or Lamarck? Future Challenges in Evolutionary Algorithms for Knowledge Discovery and Data Mining
• On the Generation of Point Cloud Data Sets: Step One in the Knowledge Discovery Process
• Adapted Features and Instance Selection for Improving Co-training
• Knowledge Discovery and Visualization of Clusters for Erythromycin Related Adverse Events in the FDA Drug Adverse Event Reporting System
• On Computationally-Enhanced Visual Analysis of Heterogeneous Data and Its Application in Biomedical Informatics
• A Policy-Based Cleansing and Integration Framework for Labour and Healthcare Data
• Interactive Data Exploration Using Pattern Mining
• Resources for Studying Statistical Analysis of Biomedical Data and R
• A Kernel-Based Framework for Medical Big-Data Analytics
• On Entropy-Based Data Mining
• Sparse Inverse Covariance Estimation for Graph Representation of Feature Structure
• Multi-touch Graph-Based Interaction for Knowledge Discovery on Mobile Devices: State-of-the-Art and Future Challenges
• Intelligent Integrative Knowledge Bases: Bridging Genomics, Integrative Biology and Translational Medicine
• Biomedical Text Mining: State-of-the-Art, Open Problems and Future Challenges
• Protecting Anonymity in Data-Driven Biomedical Science
• Biobanks
• A Source of Large Biological Data Sets: Open Problems and Future Challenges
• On Topological Data Mining.

One of the grand challenges in our digital world are the large, complex, and often weakly structured data sets and massive amounts of unstructured information. This 'big data' challenge is most evident in biomedical informatics: The trend toward precision medicine has resulted in an explosion in the amount of biomedical data sets generated. Despite the fact that human experts are very good at pattern recognition in three dimensions or less, most of the data are high-dimensional, which makes manual analysis often impossible and neither the medical doctor nor the biomedical researcher can memorize all these facts. A synergistic combination of the methodologies and approaches of two fields offer ideal conditions for unraveling these problems: human-computer interaction (HCI) and knowledge discovery/data mining (KDD), with the goal of supporting human capabilities with machine learning. This state-of-the-art survey is an output of the HCI-KDD expert network and features 19 carefully selected and reviewed papers related to seven hot and promising research areas: (1) data integration, data pre-processing, and data mapping; (2) data mining algorithms; (3) graph-based data mining; (4) entropy-based data mining; (5) topological data mining; (6) visualization; (7) privacy, data protection, safety, and security.

• 1 PERDURABLE
• A Real Time Commit Protocol
• 2 Dimension Table Selection Strategies to Referential Partition a Fact Table of Relational Data Warehouses.- 3 Obsever-based Adaptive Fuzzy Control of a Class of Nonlinear Time-delay Systems with Input Nonlinearity and Its Application to Chaos Synchronization
• 4 Evolution Management of Data Integration Systems by the Means of Ontological Continuity Principle
• 5 Automated Learning for Assessment of School Readiness: Effectiveness of Reusing Information from Child's Social Network
• 6 From Simple Management of Defects to Knowledge Discovery to Optimize Maintenance
• 7 Rules for Effective Mapping between two Data Environments: Object Database Language and XML
• 8 Feature Selection for Highly Imbalanced Software Measurement Data
• 9 Long-Term Time Series Prediction using k-NN Based LS-SVM Framework with Multi-Value Integration
• 10 Semantic Management of Digital Contents for the Cultural Domain
• 11 Mediated Data Integration Systems using Functional Dependencies Embedded in Ontologies.- 12 Algorithms for Spatial Data Integration .- 13 Integrating Geographic and Meteorological data for Storm Surge Planning
• 14 A Supervised Machine Learning Approach of Extracting and Ranking Published Papers Describing Coexpression Relationships among Genes
• 15 Music Artist Similarity Aggregation
• 16 Tag Grid: supporting collaborative and fuzzy multidimensional queries of tagged datasets
• 17 A Service-Based Approach for Next-Generation Product Lifecycle Management
• 18 Retrieving Reusable Software Components Using Enhanced Representation of Domain Knowledge
• 19 The Utility of Inconsistencies in Information Security and Digital Forensics.

The present text aims at helping the reader to maximize the reuse of information. Topics covered include tools and services for creating simple, rich, and reusable knowledge representations to explore strategies for integrating this knowledge into legacy systems. The reuse and integration are essential concepts that must be enforced to avoid duplicating the effort and reinventing the wheel each time in the same field. This problem is investigated from different perspectives. in organizations, high volumes of data from different sources form a big threat for filtering out the information for effective decision making. the reader will be informed of the most recent advances in information reuse and integration.

• Computer Network Defence.- Efficient Sampling of the Structure of Crypto Generators' State Transition Graphs.- Mandatory Access Control applications to web hosting.- Outsourcing Security Services for Low Performance Portable Devices.- Public Verifiable Multi-sender Identity Based Threshold Signcryption.- A Discussion on the Role of Deception in Information Operations for the Defence of Computer Networks.- A New Approach to Understanding Information Assurance.- Robust Public Key Cryptography - A New Cryptosystem Surviving Private Key Compromise.- Digital Forensics & Incident Analysis.- Review of Forensic Tools for Smartphones.- Oscar - Using Byte Pairs to Find File Type and Camera Make of Data Fragments.- An empirical methodology derived from the analysis of information remaining on second hand hard disks.- Towards Trustable Digital Evidence with PKIDEV: PKI Based Digital Evidence Verification Model.- Professionalism in Computer Forensics.
• (source: Nielsen Book Data)

This book contains the proceedings of the Second European Conference on Computer Network Defence, which took place in December 2006. The conference focused on the protection of computer networks and attracted participants from national and international organisations. The papers collected in this book include contributions from leading figures in the field and are a valuable source of reference for both researcher and practitioner.
(source: Nielsen Book Data)

• A table of contents is not available for this title.
• (source: Nielsen Book Data)

* Deep, thorough coverage of all SRS 2005 technologies related to professional-level business reports * Supported and technically validated by the MS team * Especially (but not exclusively) applicable to readers in the US medical sector.
(source: Nielsen Book Data)

• Temporal Models and Calculation Methods.- From Time Data to Temporal Information.- Time Calculation and Temporal Logic Method.- Temporal Extension of Relational Algebra.- Database Based on Temporal Information.- Temporal Data Model and Temporal Database Systems.- Spatio-Temporal Data Model and Spatio-Temporal Databases.- Temporal Extension of XML Data Model.- Data Operations Based on Temporal Variables.- Temporal Index Technologies.- Temporal Indexes Supporting Valid Time.- Indexes for Moving-Objects Data.- Temporal XML Index Schema.- Temporal Database Management Systems.- Implementation of Temporal Database Management Systems.- Improvement and Extension to ATSQL2.- Design and Implementation of TempDB.- Temporal Application and Case Study.- Research on Temporal Extended Role Hierarchy.- Temporal Workflow Modeling and Its Application.- Temporal Knowledge Representation and Reasoning.- Temporal Application Modes and Case Study.
• (source: Nielsen Book Data)

"Temporal Information Processing Technology and Its Applications" systematically studies temporal information processing technology and its applications. The book covers following subjects: 1) time model, calculus and logic; 2) temporal data models, semantics of temporal variable 'now' temporal database concepts; 3) temporal query language, a typical temporal database management system: TempDB; 4) temporal extension on XML, workflow and knowledge base; and, 5) implementation patterns of temporal applications, a typical example of temporal application. The book is intended for researchers, practitioners and graduate students of databases, data/knowledge management and temporal information processing. Dr. Yong Tang is a professor at the Computer School, South China Normal University, China.
(source: Nielsen Book Data)

• Big data benchmarks
• Applications and scenarios
• Tools
• Systems.- Surveys.

This book constitutes the thoroughly refereed joint proceedings of the Third and Fourth Workshop on Big Data Benchmarking. The third WBDB was held in Xi'an, China, in July 2013 and the Fourth WBDB was held in San José, CA, USA, in October, 2013. The 15 papers presented in this book were carefully reviewed and selected from 33 presentations. They focus on big data benchmarks; applications and scenarios; tools, systems and surveys.

• Classification and Clustering.- Issues of robustness and high dimensionality in cluster analysis.- Fuzzy K-medoids clustering models for fuzzy multivariate time trajectories.- Bootstrap methods for measuring classification uncertainty in latent class analysis.- A robust linear grouping algorithm.- Computing and using the deviance with classification trees.- Estimation procedures for the false discovery rate: a systematic comparison for microarray data.- A unifying model for biclustering.- Image Analysis and Signal Processing.- Non-rigid image registration using mutual information.- Musical audio analysis using sparse representations.- Robust correspondence recognition for computer vision.- Blind superresolution.- Analysis of Music Time Series.- Data Visualization.- Tying up the loose ends in simple, multiple, joint correspondence analysis.- 3 dimensional parallel coordinates plot and its use for variable selection.- Geospatial distribution of alcohol-related violence in Northern Virginia.- Visualization in comparative music research.- Exploratory modelling analysis: visualizing the value of variables.- Density estimation from streaming data using wavelets.- Multivariate Analysis.- Reducing conservatism of exact small-sample methods of inference for discrete data.- Symbolic data analysis: what is it?.- A dimensional reduction method for ordinal three-way contingency table.- Operator related to a data matrix: a survey.- Factor interval data analysis and its application.- Identifying excessively rounded or truncated data.- Statistical inference and data mining: false discoveries control.- Is `Which model . . .?' the right question?.- Use of latent class regression models with a random intercept to remove the effects of the overall response rating level.- Discrete functional data analysis.- Self organizing MAPS: understanding, measuring and reducing variability.- Parameterization and estimation of path models for categorical data.- Latent class model with two latent variables for analysis of count data.- Web Based Teaching.- Challenges concerning web data mining.- e-Learning statistics - a selective review.- Quality assurance of web based e-Learning for statistical education.- Algorithms.- Genetic algorithms for building double threshold generalized autoregressive conditional heteroscedastic models of time series.- Nonparametric evaluation of matching noise.- Subset selection algorithm based on mutual information.- Visiting near-optimal solutions using local search algorithms.- The convergence of optimization based GARCH estimators: theory and application.- The stochastics of threshold accepting: analysis of an application to the uniform design problem.- Robustness.- Robust classification with categorical variables.- Multiple group linear discriminant analysis: robustness and error rate.
• (source: Nielsen Book Data)

International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section of the International Statistical Institute. The objectives of the Association are to foster world-wide interest in e?ective statistical computing and to - change technical knowledge through international contacts and meetings - tween statisticians, computing professionals, organizations, institutions, g- ernments and the general public. The IASC organises its own Conferences, IASC World Conferences, and COMPSTAT in Europe. The 17th Conference of ERS-IASC, the biennial meeting of European - gional Section of the IASC was held in Rome August 28 - September 1, 2006. This conference took place in Rome exactly 20 years after the 7th COMP- STAT symposium which was held in Rome, in 1986. Previous COMPSTAT conferences were held in: Vienna (Austria, 1974); West-Berlin (Germany, 1976); Leiden (The Netherlands, 1978); Edimbourgh (UK, 1980); Toulouse (France, 1982); Prague (Czechoslovakia, 1984); Rome (Italy, 1986); Copenhagen (Denmark, 1988); Dubrovnik (Yugoslavia, 1990); Neuch atel (Switzerland, 1992); Vienna (Austria, 1994); Barcelona (Spain, 1996); Bristol(UK, 1998); Utrecht(TheNetherlands, 2000); Berlin(Germany, 2002); Prague (Czech Republic, 2004).
(source: Nielsen Book Data)

• The Jubilarian: Yaacov and His Oeuvre.- Theory of Computation.- Science Computing and Tools for Engineering.- Information Retrieval.
• (source: Nielsen Book Data)

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This first part of the three-volume set covers a range of topics in computer science. The papers are grouped in topical sections on: the jubilaris: Yaacov and his oeuvre; theory of computation; science computing and tools for engineering; information retrieval.
(source: Nielsen Book Data)

• Humanities Computing.- Narratives and Their Formal Representation.- History of Ideas: The Numerate Disciplines.- Law, Computer Law, and Legal Computing.
• (source: Nielsen Book Data)

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This second part of the three-volume set covers a range of topics related to the application of information technology in humanities, law, and narratives. The papers are grouped in topical sections on: humanities computing; narratives and their formal representation; history of ideas: the numerate disciplines; law, computer law, and legal computing.
(source: Nielsen Book Data)

• Natural Language Processing.- Representing the Lexicon.- The Lexicon and Ontologies: Tools.- The Lexicon and Ontologies: Historical Linguistics.- Neologisation.- The Lexicon, Word Formation, and Neologisms.- Zoonymy, Neologised or Nativised.
• (source: Nielsen Book Data)

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This third part of the three-volume set covers a range of topics related to language, ranging from linguistics to applications of computation to language, using linguistic tools. The papers are grouped in topical sections on: natural language processing; representing the lexicon; and neologisation.
(source: Nielsen Book Data)

• Intro; Preface; Organization; Don't Hurt Them: Learning to Rank from Historical Interaction Data (Keynote); Table of Contents; Post OCR Correction of Swedish Patent Text; 1 Introduction; 2 Related Work; 2.1 Post Processing of OCR Data; 2.2 Evaluation; 2.3 Features of Swedish Patents Text; 3 Experiment Set Up; 3.1 Method; 4 Results; 5 Conclusion; References; Combined Language Processing Methods and Mash-Up System for Improving Retrieval in Diabetes Related Patents; 1 Introduction; 1.1 Related Work; 2 Retrieval Processing System; 2.1 Basic Backbone Processing System

• 2.2 Mashed System for Refinement of Searching Diabetes Related Patents3 Evaluation of the Proposed System; 3.1 Total Similarity Measures between Documents; 3.2 User Evaluation Based on QoE Metrics; 4 Conclusion; References; Temporal Context for Authorship Attribution; 1 Introduction; 2 Related Work; 3 Study Design; 3.1 Student Data; 3.2 Classification with Support Vector Machines (SVMs); 3.3 Technical Implementation Details; 4 Findings; 4.1 Initial Experiments; 4.2 Authorship Attribution with Recent Temporal Context; 5 Conclusions; References

• IPC Selection Using Collection Selection Algorithms1 Introduction; 2 International Patent Classification; 3 Collection Selection Algorithms; 3.1 CORI; 3.2 Fusion-Based Methods; 3.3 Multilayer; 4 Experiment; 4.1 Data; 4.2 Results; 5 Conclusion; References; Extracting Nanopublications from IR Papers; 1 Motivation; 2 Manual Nanopublication Extraction; 3 Automating the Nanopublication Extraction; 4 Conclusions and Future Work; References; News Articles Classification Using Random Forests and Weighted Multimodal Features; 1 Introduction; 2 Related Work and Theoretical Background

• 2.1 Document and News Articles Classification2.2 Random Forests; 3 Feature Extraction from News Articles Documents; 3.1 N-Gram Textual Features; 3.2 Visual Features; 4 Proposed Classification Framework; 5 Experimental Results; 5.1 Dataset Description; 5.2 Experimental Setup; 5.3 Results; 6 Summary, Conclusions and Future Work; References; Using Eye-Tracking to Investigate Patent Examiners' Information Seeking Process; 1 Introduction and Motivation; 2 Eye-Tracking Background; 3 Study Description; 4 Findings; 5 Conclusions and Future Work; References

• When Text Authors Lived Using Undated Citations1 Introduction; 2 Related Works; 3 Citation-Based Constraints; 3.1 ""Iron-Clad"" and Heuristic Constraints; 3.2 Greedy Constraints; 3.3 Birth and Death Year Tuning; 4 The Model; 5 Experimental Results; 6 Summary, Conclusions and Future Work; References; Fast Interactive Information Retrieval with Sampling-Based MDS on GPU Architectures; 1 Introduction; 2 Related Work; 3 Sampling-Based MDS on GPU Architectures; 4 Experimental Results; 5 Conclusion; References; Designing Search Usability; 1 Introduction; 2 Tutorial Content; 3 Intended Audience

This book constitutes the proceedings of the 7th International Information Retrieval Facility Conference, IRFC 2014, held in Copenhagen, Denmark, November 2014. The 10 papers presented together with one industry paper were carefully reviewed and selected from 13 submissions. The conference aims at bringing young researchers into contact with the industry at an early stage, emphasizing the applicability of IR solutions to real industry cases and the respective challenges.

• Introduction
• Theoretical Study in CWNs
• Novel Architecture Models in CWNs
• Cognitive Information Awareness and Delivery
• Intelligent Resource Management
• TD-LTE based CWN Test bed
• Standardization Practice
• Conclusion and Future Research Directions.

This brief examines the current research in cognitive wireless networks (CWNs). Along with a review of challenges in CWNs, this brief presents novel theoretical studies and architecture models for CWNs, advances in the cognitive information awareness and delivery, and intelligent resource management technologies. The brief presents the motivations and concepts of CWNs, including theoretical studies of temporal and geographic distribution entropy as well as cognitive information metrics. A new architecture model of CWNs is proposed with theoretical, functional and deployment architectures supporting cognitive information flow and resource flow. Key technologies are identified to achieve the efficient cognitive information awareness and delivery. The brief concludes by validating the effectiveness of proposed theories and technologies using the CWNs testbed and discussing the importance of standardization practices. The context and analysis provided by this text are ideal for researchers and practitioners interested in wireless networks and cognitive information. Cognitive Wireless Networks is also valuable for advanced-level students studying resource management and networking.

• Ontology design patterns
• Cluster-based ontology data
• Data source contextualization
• Emergency vehicle routing
• Contextual Semantics for sentiment analysis of twitter.

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 11th International Conference on the Semantic Web, ESWC 2014, held in Anissaras, Crete, Greece, in May 2014. The volume contains 20 poster and 43 demonstration papers, selected from 113 submissions, as well as 12 best workshop papers selected from 60 papers presented at the workshop at ESWC 2014. Best two papers from AI Mashup Challenge are also included. The papers cover various aspects of the Semantic Web.

• Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools
• Towards Robust Hyperlinks for Web-Based Scholarly Communication
• Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha
• Calculemus
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
• A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata
• Detecting Unknots via Equational Reasoning, I: Exploration
• Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
• Hipster: Integrating Theory Exploration in a Proof Assistant
• Formalization of Complex Vectors in Higher-Order Logic
• A Mathematical Structure for Modeling Inventions
• Digital Mathematics Library
• Search Interfaces for Mathematicians
• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
• PDF/A-3u as an Archival Format for Accessible Mathematics
• Which One Is Better: Presentation-Based or Content-Based Math Search?
• POS Tagging and Its Applications for Mathematics
• Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia
• Mathematical Knowledge Management
• Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
• Realms: A Structure for Consolidating Knowledge about Mathematical Theories
• Matching Concepts across HOL Libraries
• Mining State-Based Models from Proof Corpora
• Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
• Flexary Operators for Formalized Mathematics
• Interactive Simplifier Tracing and Debugging in Isabelle
• Towards an Interaction-based Integration of MKM Services into End-User Applications
• Towards Knowledge Management for HOL Light
• Automated Improving of Proof Legibility in the Mizar System
• A Vernacular for Coherent Logic
• An Approach to Math-Similarity Search
• Systems and Projects
• Digital Repository of Mathematical Formulae
• NNexus Reloaded
• E-books and Graphics with LATExml
• System Description: MathHub.info
• Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
• System Description: A Semantics-Aware LATEX-to-Office Converter
• Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
• SAT-Enhanced Mizar Proof Checking
• A Framework for Formal Reasoning about Geometrical Optics.

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014, and Systems and Projects, S & P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal, and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.