ppxscal/embedding_network huggingface dataset:
Semantic Interoperability between Functional Ontologies
Authors: Nacima Mellal, Richard Dapoigny, Laurent Foulloy
Venue: Proceeding of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006 (2007)

The specification of distributed engineering systems, can be simplified with the introduction of the well-known service paradigm. Generally, in goal driven-approaches in which services are related to functional goals, the use of concepts through well-formed structures (i.e., ontologies) provide the appropriate functionalities. Nowadays, it is also essential to take into account the crucial aspects of the dynamic services, that is to say their ability to adapt and to be composed in order to complete their task. As a result, we observe a growing need for service composition (i.e., goal composition) together with emerging difficulties such as the selection of appropriate structures describing service functionalities or the problem of semantic heterogeneity resulting from ontology alignment in distributed environments. Therefore, this paper presents a well-founded mathematical approach in which services are expressed in the engineering framework with goal structures. The model builds on channel theory to enable semantic interoperability between functional ontologies. This results into a computationally tractable system in which functional compositionality across cooperative systems can occur in a sound way.
Feasibility study of a rotational haptic display - rotational action and measuring the rotational moment at the wrist -
Authors: Junji Sone, Yuuki Hosono, Tomoaki Nakajima, Katsumi Yamada, Kinya Fujita
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

We are developing a wearable exoskeleton rotational haptic interface that will fit the human body. First, we developed a force sensor to measure the rotational moment of rotational tasks at the wrist and measured the rotational moment of important tasks. Then, we tried to develop a prototype of the exoskeleton rotational haptic interface.
Practical Guide to Interpretive Near-Infrared Spectroscopy, 1st edition
Authors: Jerry Workman, Lois Weyer
Venue:  (2007)

Containing focused, comprehensive coverage, Practical Guide to Interpretive Near-Infrared Spectroscopy gives you the tools necessary to interpret NIR spectra. The authors present extensive tables, charts, and figures with NIR absorption band assignments and structural information for a broad range of functional groups, organic compounds, and polymers. They include visual spectral representation of all major compound functional groupings and NIR frequency ranges. Organized by functional group type and chemical structure, based on standard compound classification, the chapters are easy to follow and understand. The use of Molecular Formula and CAS Number indexing prevents the confusion that can occur when using only common chemical names to identify compounds. Interpretive spectroscopy provides a basis for the establishment of cause-and-effect relationships between spectrometer response and the chemical properties of the samples. While many books available on NIR cover a range of applications and topics from a broad perspective, most of them barely touch on structure correlation and interpretation of spectra. The first, and arguably the only, book to tackle this intriguing and challenging area, Practical Guide to Interpretive Near-Infrared Spectroscopy presents the most detailed discussion of the subject to date.
Toward tactilely transparent gloves: Collocated slip sensing and bibrotactile actuation
Authors: Joseph M. Romano, Steven R. Gray, Nathan T. Jacobs, Katherine J. Kuchenbecker
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Tactile information plays a critical role in the human ability to manipulate objects with one's hands. Many environments require the use of protective gloves that diminish essential tactile feedback. Under these circumstances, seemingly simple tasks such as picking up an object can become very difficult. This paper introduces the SlipGlove, a novel device that uses an advanced sensing and actuation system to return this vital tactile information to the user. Our SlipGlove prototypes focus on providing tactile cues associated with slip between the glove and a contact surface. Relative motion is sensed using optical mouse sensors embedded in the glove's surface. This information is conveyed to the wearer via miniature vibration motors placed inside the glove against the wearer's skin. The collocation of slip sensing and tactile feedback creates a system that is natural and intuitive to use. We report results from a human subject study demonstrating that the SlipGlove allows the wearer to approach the capabilities of bare skin in detecting and reacting to fingertip slip. Users of the SlipGlove also had significantly faster and more consistent reaction to fingertip slip when compared to a traditional glove design. The SlipGlove technology allows us to enhance human perception when interacting with real environments and move toward the goal of a tactilely transparent glove.
Semantic Visual Abstraction for Face Recognition
Authors: Yang Cai, David Kaufer, Emily Hart, Elizabeth Solomon
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

In contrast to the one-dimensional structure of natural language, images consist of two- or three-dimensional structures. This contrast in dimensionality causes the mapping between words and images to be a challenging, poorly understood and undertheorized task. In this paper, we present a general theoretical framework for semantic visual abstraction in massive image databases. Our framework applies specifically to facial identification and visual search for such recognition. It accommodates the by now commonplace observation that, through a graph-based visual abstraction, language allows humans to categorize objects and to provide verbal annotations to shapes. Our theoretical framework assumes a hidden layer between facial features and the referencing of expressive words. This hidden layer contains key points of correspondence that can be articulated mathematically, visually or verbally. A semantic visual abstraction network is designed for efficient facial recognition in massive visual datasets. In this paper, we demonstrate how a two-way mapping of words and facial shapes is feasible in facial information retrieval and reconstruction.
Modularity in Databases
Authors: Christine Parent, Stefano Spaccapietra, Esteban Zimányi
Venue: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization (2009)

Modularization can be sought for as a technique to provide context-dependent perspectives over a given shared information repository. This chapter presents an approach to database modularization where the modules represent application-specific perspectives over the shared database. The approach is meant to support the creation/definition of the modules as part of the conceptual schema definition process, that is to say the modules and the database they are a subset of are simultaneously defined. This is similar to Cyc's approach to ontological microtheories definition. The chapter develops both intuitive and formal definition of the proposed approach. It also shows the basics of how the modules are used by user transactions and of how the overall multiperception database can be implemented on a commercial database management system.
Coherence-driven argumentation to norm consensus
Authors: Sindhu Joseph, Henry Prakken
Venue: Proceedings of the 12th International Conference on Artificial Intelligence and Law (2009)

In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how two coherence-based agents can deliberate on how to regulate a domain of interest. First a deductive coherence model presented, in which the coherence values are derived from the deduction relation of an underlying logic; this makes it possible to identify the reasons for why a proposition is accepted or rejected. Then it is shown how coherence-driven agents can generate candidate norms for deliberation, after which a dialogue protocol for such deliberations is proposed. The resulting model is compared to current logic-based argumentation systems for deliberation over action.
Spyware and Adware, 1st edition
Authors: John Aycock
Venue: Advances In Information Security (2009)

Spyware and Adware introduces detailed, organized, technical information exclusively on spyware and adware, including defensive techniques. This book not only brings together current sources of information on spyware and adware but also looks at the future direction of this field. Spyware and Adware is a reference book designed for researchers and professors in computer science, as well as a secondary text for advanced-level students. This book is also suitable for practitioners in industry.
A pipeline development toolkit in support of secure information flow goals
Authors: Philip Tricca
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

The rapid spread of viruses, worms and undesired software in commercial and private networks has been a driving factor behind computer security research. The subject of preventing rogue software and rogue network traffic has been the focus of a number of research areas, most significantly through monitoring with intrusion detection systems (IDS). These reactive systems speak to our inability as software designers to specify the information flows inherent in our systems. This lack of specification results in computer defenders deploying monitoring technologies to detect and react to known illicit software behavior and network traffic using blacklisting techniques. An opposing approach known as whitelisting is known to be more secure. Network managers are unable however to enumerate all permissible information flows in their systems in order to establish a complete whitelist. In this work we describe a novel software engineering approach to the design, implementation and management of assured software pipeline systems [2] with the specific goal of specifying and confining information flows. We aim to make information flow goals a first class component of system design, addressing and preserving them throughout development. Further we consider the expansion of our work into policy analysis techniques using established model checking and graph analysis techniques.
A new approach to discover interlacing data structures in high-dimensional space
Authors: Tao Ban, Changshui Zhang, Shigeo Abe
Venue: Journal of Intelligent Information Systems (2009)

The discovery of structures hidden in high-dimensional data space is of great significance for understanding and further processing of the data. Real world datasets are often composed of multiple low dimensional patterns, the interlacement of which may impede our ability to understand the distribution rule of the data. Few of the existing methods focus on the detection and extraction of the manifolds representing distinct patterns. Inspired by the nonlinear dimensionality reduction method ISOmap, in this paper we present a novel approach called Multi-Manifold Partition to identify the interlacing low dimensional patterns. The algorithm has three steps: first a neighborhood graph is built to capture the intrinsic topological structure of the input data, then the dimensional uniformity of neighboring nodes is analyzed to discover the segments of patterns, finally the segments which are possibly from the same low-dimensional structure are combined to obtain a global representation of distribution rules. Experiments on synthetic data as well as real problems are reported. The results show that this new approach to exploratory data analysis is effective and may enhance our understanding of the data distribution.
New efficient neural networks for fast record detection in databases
Authors: Hazem M. El-Bakry, Nikos Mastorakis
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

This paper presents a new approach to speed up the operation of time delay neural networks for detecting a record in databases. The entire data are collected together in a long vector and then tested as a one input pattern. The proposed fast time delay neural networks (FTDNNs) use cross correlation in the frequency domain between the tested data and the input weights of neural networks. It is proved mathematically and practically that the number of computation steps required for the presented time delay neural networks is less than that needed by conventional time delay neural networks (CTDNNs). Simulation results using MATLAB confirm the theoretical computations.
Modern Compiler Implementation in Java
Authors: Appel
Venue:  (2007)

Last year you may have seen the Modern Compiler Implementation in C: Basic Techniques (1997) which was the preliminary edition of our new 1998 textbook, Modern Compiler Implementation in C. The new, expanded version of this textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual C header files. The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies. A unique feature of the book is a well designed compiler implementation project in Java, including front-end and 'high-tech' back-end phases, so that students can build a complete working compiler in one semester. Accompanying support software is available. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Space-time spreading-multiplexing for MIMO wireless communication systems using the PARATUCK-2 tensor model
Authors: André L. F. de Almeida, Gérard Favier, João C. M. Mota
Venue: Signal Processing (2009)

In this paper, we present a new space-time spreading-multiplexing model for multiple-input multiple-output (MIMO) wireless communication systems relying on a tensor modeling of the transmitted and received signals. At the transmitter, we exploit the core of a PARATUCK-2 tensor model composed of a precoding matrix and two allocation matrices that allow to control the spreading and multiplexing of the data streams across the space dimension (transmit antennas) and time-dimension (time-slots). Different MIMO schemes combining space-time multiplexing and diversity can be derived from the proposed model. The identifiability and uniqueness of the PARATUCK-2 tensor model for the received signal are discussed and subsequently exploited for a joint blind channel estimation and symbol detection. The bit-error-rate performance of different transmit schemes derived from the proposed tensor model is evaluated by means of computer simulations.
Knowledge Discovery in a Wastewater Treatment Plant with Clustering Based on Rules by States
Authors: Karina Gibert, Gustavo Rodríguez Silva
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

In this work we present the advances in the design of an hybrid methodology that combines tools of Artificial Intelligence and Statistics to extract a model of explicit knowledge in regards to the dynamics of a Wastewater Treatment Plant (WWTP). Our line of work is based in the development of methodologies of AI & Stats to solve problems of Knowledge Discovery of Data (KDD) where an integral vision of the pre-process, the automatic interpretation of results and the explicit production of knowledge play a role as important as the analysis itself. In our current work we approach the knowledge discovery with a focus that we named Clustering Based on Rules by States (ClBRxE), which consists in the analysis of the stages that the water treatment moves through, to integrate the knowledge discovered from each subprocess into a unique model of global operation of the phenomenon.
Microsoft Office 2007: Introductory Concepts and Techniques, Windows Vista Edition, 1st edition
Authors: Gary B. Shelly, Thomas J. Cashman, Misty E. Vermaat
Venue: Shelly Cashman (2007)

In Microsoft Office 2007: Introductory Concepts and Techniques youll find features that are specifically designed to improve retention and prepare readers for future success. Our trademark step-by-step, screen-by-screen approach now encourages users to expand their understanding of the Office 2007 software through experimentation, exploration, and planning ahead.
Using automatic signature generation as a sensor backend
Authors: Daniel Wyschogrod, Jeffrey Dezso
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

The techniques and supporting tools for signature based intrusion detection have reached a high level of maturity. They are well understood by the community and have hardware implementations capable of matching rules at high speed. Their major shortcomings involve handling "zero-day" attacks. Anomaly or protocol-adherence based sensors are capable of detecting zero-day attacks, but with high false alarm rates and at more limited speeds. The design proposed here combines the zero-day detection capabilities already supplied by anomaly detection front ends with the speed, hardware compatability and mature infrastructure of signature based systems. A unique capability of this proposed technology is that false alarm rates of matched rules can be reduced to arbitrarily low levels by increasing the amount of training on benign traffic. A goal of future work would be to produce an efficient and secure mechanism to distribute automatically generated signatures with the goal of broadening the perimeter of protection and blocking attacks farther away from sensitive servers and hosts.
A Diverse and Robust Tutoring System for Medical Problem-Based Learning
Authors: Hameedullah Kazi
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

Problem-based learning (PBL) is becoming increasingly popular in medical education as a means of equipping students with the required clinical reasoning skills. Howeverfaculty time is costlymay not be sufficiently available for PBL sessions that demand greater focus and attention from faculty personnel. Intelligent tutoring systems offer a cost effective and viable alternative in helping to train students in the relevant problem domain. Like other knowledge-based systems, intelligent tutoring systems also suffer from issues such as knowledge acquisition bottleneck, limited scope of problem representation and brittleness in understanding and evaluating system input. The objective of this work is to design a tutoring system for medical PBL, which is less burdensome in acquiring system knowledge, provides students with a broad scope of solution representation and is robust in its evaluation of student solutions. We propose the use of the widely available and broad Unified Medical Language System (UMLS), together with strong rule-based methods and weak inference methods to build a tutoring system prototype.
The Theory of Multidimensional Persistence
Authors: Gunnar Carlsson, Afra Zomorodian
Venue: Discrete Computational Geometry (2009)

Persistent homology captures the topology of a filtration&#x2014;a&#x00a0;one-parameter family of increasing spaces&#x2014;in terms of a complete discrete invariant. This invariant is a multiset of intervals that denote the lifetimes of the topological entities within the filtration. In many applications of topology, we need to study a multifiltration: a&#x00a0;family of spaces parameterized along multiple geometric dimensions. In this paper, we show that no similar complete discrete invariant exists for multidimensional persistence. Instead, we propose the rank invariant, a&#x00a0;discrete invariant for the robust estimation of Betti numbers in a multifiltration, and prove its completeness in one dimension.
Oracle Job Interview Handbook
Authors: Andrew Kerber, Donald Burleson
Venue:  (2009)

The product of interviews with hundreds of Oracle professionals, this thorough guidebook provides useful insight into what characteristics make a good database administrator, offering helpful techniques to use while interviewing candidates for an OracleDBA position. By using Oracle job interview questions that only an experienced person would be familiar with, employers can employ this incredible collection to ensure that their interviewer asks the right questions and hires the best-qualified DBA or developer available. A full set of Oracle job interview questions and a complete method for accurately assessing the technical abilities of Oracle job candidates are provided.
Robust Elements in Rough Set Abstractions
Authors: Christian Meschke
Venue: Proceedings of the 7th International Conference on Formal Concept Analysis (2009)

In [3] the classical rough set approach was generalized in the manner that lower and upper approximations were replaced by arbitrary kernel and closure operators respectively. Furthermore, the resulting lattices of rough set abstractions were described as P-products. This approach, though promising, needs additional research to become part of a unifying theory of Rough Set Theory and Formal Concept Analysis. For example, the role of robust elements and the possible existence of suitable negation operators were not addressed. We present results in these directions and on the structure of these lattices.
System demonstration of on-demand information extraction
Authors: Satoshi Sekine, Akira Oda
Venue: Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions (2007)

In this paper, we will describe ODIE, the On-Demand Information Extraction system. Given a user's query, the system will produce tables of the salient information about the topic in structured form. It produces the tables in less than one minute without any knowledge engineering by hand, i.e. pattern creation or paraphrase knowledge creation, which was the largest obstacle in traditional IE. This demonstration is based on the idea and technologies reported in (Sekine 06). A substantial speed-up over the previous system (which required about 15 minutes to analyze one year of newspaper) was achieved through a new approach to handling pattern candidates; now less than one minute is required when using 11 years of newspaper corpus. In addition, functionality was added to facilitate investigation of the extracted information.