ppxscal/embedding_network huggingface dataset:
A Graph Based Approach Toward Network Forensics Analysis
Authors: Wei Wang, Thomas E. Daniels
Venue: ACM Transactions on Information and System Security (TISSEC) (2008)

In this article we develop a novel graph-based approach toward network forensics analysis. Central to our approach is the evidence graph model that facilitates evidence presentation and automated reasoning. Based on the evidence graph, we propose a hierarchical reasoning framework that consists of two levels. Local reasoning aims to infer the functional states of network entities from local observations. Global reasoning aims to identify important entities from the graph structure and extract groups of densely correlated participants in the attack scenario. This article also presents a framework for interactive hypothesis testing, which helps to identify the attacker's nonexplicit attack activities from secondary evidence. We developed a prototype system that implements the techniques discussed. Experimental results on various attack datasets demonstrate that our analysis mechanism achieves good coverage and accuracy in attack group and scenario extraction with less dependence on hard-coded expert knowledge.
Deduction Engine Design for PNL-Based Question Answering System
Authors: Zengchang Qin, Marcus Thint, M. M. Sufyan Beg
Venue: Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing (2007)

In this paper, we present a methodology for designing a Precisiated Natural Language (PNL) based deduction engine for automated Question Answering (QA) systems. QA is one type of information retrieval system, and is regarded as the next advancement beyond keyword-based search engines, as it requires deductive reasoning and use of domain/background knowledge. PNL, as discussed by Zadeh, is one representation of natural language based on constraint-centered semantics, which is convenient for computing with words. We describe a hybrid reasoning engine which supports a "multi-pipe" process flow to handle PNL-based deduction as well as other natural language phrases that do not match PNL protoforms. The resulting process flows in a nested form, from the inner to the outer layers: (a) PNL-based reasoning where all important concepts are pre-defined by fuzzy sets, (b) deduction-based reasoning which enables responses drawn from generated/new knowledge, and (c) key phrase based search when (a) and (b) are not possible. The design allows for two levels of response accuracy improvement over standard search, while retaining a minimum performance level of standard search capabilities.
The Practical Experiences with Deployment of Advanced Medical Teleconsultation System over Public IT Infrastructure
Authors: Jacek Cala, Lukasz Czekierda, Michal Nowak, Krzysztof Zielinski
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

The paper presents practical experiences with deployment of advanced medical teleconsultation system – TeleDICOM over public computer networks and on standard PC computers. Requirements connected with operation in interactive and non-interactive modes have been discussed. Next, the architecture of the system has been described and its influence on deployment process and upgrade procedures has been evaluated. The thick-client architecture has been chosen; in this context communication and information flows are analyzed. The performance aspects of the system are related to medical data processing on a standard PC on a client site. The existing constraints of large DICOM files processing are listed and their solution are proposed. TeleDICOM was successfully deployed in John Paul II Hospital in Krakow and in a few regional hospitals in the South of Poland what practically verifies the proposed solutions.
Experiments in Multi Agent Learning
Authors: Maria Cruz Gaya, J. Ignacio Giraldez
Venue: Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems (2008)

Data sources are often dispersed geographically in real life applications. Finding a knowledge model may require to join all the data sources and to run a machine learning algorithm on the joint set. We present an alternative based on a Multi Agent System (MAS): an agent mines one data source in order to extract a local theory (knowledge model) and then merges it with the previous MAS theory using a knowledge fusion technique. This way, we obtain a global theory that summarizes the distributed knowledge without spending resources and time in joining data sources. The results show that, as a result of knowledge fusion, the accuracy of initial theories is improved as well as the accuracy of the monolithic solution.
Automatic sentence structure annotation for spoken language processing
Authors: Mari Ostendorf
Venue:  (2008)

Increasing amounts of easily available electronic data are precipitating a need for automatic processing that can aid humans in digesting large amounts of data. Speech and video are becoming an increasingly significant portion of on-line information, from news and television broadcasts, to oral histories, on-line lectures, or user generated content. Automatic processing of audio and video sources requires automatic speech recognition (ASR) in order to provide transcripts. Typical ASR generates only words, without punctuation, capitalization, or further structure. Many techniques available from natural language processing therefore suffer when applied to speech recognition output, because they assume the presence of reliable punctuation and structure. In addition, errors from automatic transcription also degrade the performance of downstream processing such as machine translation, name detection, or information retrieval. We develop approaches for automatically annotating structure in speech, including sentence and sub-sentence segmentation, and then turn towards optimizing ASR and annotation for downstream applications. The impact of annotation is explored at the sentence and sub-sentence level. We describe our general approach for predicting sentence segmentation and dealing with uncertainty in ASR. A new ASR system combination approach is described that improves ASR more than any previously proposed methods. The impact of automatic segmentation in machine translation is also evaluated, and we find that optimizing segmentation directly for translation improves translation quality, performing as well (or better than) using reference segmentation. Turning to sub-sentence annotation, we describe approaches for supervised comma detection and unsupervised learning of prosodic structure. The utility of automatic commas is then assessed in the context of information extraction and machine translation. Including commas in information extraction tasks significantly improves performance, especially when punctuation precision and recall are optimized directly for entity and relation extraction. We then also propose approaches for improving translation reordering models with cues from commas and sentence structure.
Recommendation of Multimedia Objects Based on Similarity of Ontologies
Authors: Przemysław Kazienko, Katarzyna Musiał, Krzysztof Juszczyszyn
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I (2008)

A new framework for recommendation of multimedia objects based on individual ontologies is presented in the paper. The recommendation process takes into account similarities calculated both between objects' and users' ontologies that respect the social and semantic features existing in the system. The system was developed for the use inthe Flickr multimedia sharing system.
Computing Locus Equations for Standard Dynamic Geometry Environments
Authors: Francisco Botana, Miguel A. Abánades, Jesús Escribano
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer's Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, following the Groebner basis method, compute the locus equation and its graph. Moreover, an OpenMath description of the geometric construction is given. GLI can be efficiently used in mathematics education, as a supplement of the locus functions of the standard dynamic geometry systems. The system is located at http://nash.sip.ucm.es/GLI/GLI.html .
Fuzzy Clustering for Topic Analysis and Summarization of Document Collections
Authors: René Witte, Sabine Bergler
Venue: Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence (2007)

Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common and distinctive topics within a document set, together with the generation of multi-document summaries, can greatly ease the burden of information management. We show how this can be achieved with a clustering algorithm based on fuzzy set theory, which (i) is easy to implement and integrate into a personal information system, (ii) generates a highly flexible data structure for topic analysis and summarization, and (iii) also delivers excellent performance.
A Dynamic Data Driven Wildland Fire Model
Authors: Jan Mandel, Jonathan D. Beezley, Lynn S. Bennethum, Soham Chakraborty, Janice L. Coen, Craig C. Douglas, Jay Hatcher, Minjeong Kim, Anthony Vodacek
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

We present an overview of an ongoing project to build DDDAS to use all available data for a short term wildfire prediction. The project involves new data assimilation methods to inject data into a running simulation, a physics based model coupled with weather prediction, on-site data acquisition using sensors that can survive a passing fire, and on-line visualization using Google Earth.
DAD-MPR Flooding Protocol, Convergence Evaluation Through Simulation
Authors: Saadi Boudjit, Cédric Adjih, Paul Muhlethaler
Venue: Proceedings of the 3rd Asian conference on Internet Engineering: Sustainable Internet (2007)

In this paper, we present the convergence evaluation of DAD-MPR flooding protocol through simulation. DAD-MPR flooding protocol is the autoconfiguration protocol we proposed for OLSR (Optimized Link State Routing protocol) [1]. This autoconfiguration protocol comprises two parts: the first part [2] describes the autoconfiguration rules for OLSR nodes with single interfaces, and the second part [3] describes the autoconfiguration rules to handle OLSR nodes with multiple interfaces. In our simulation, the interesting performance metrics include the latency of address duplication detection and therefore, the convergence of the DAD-MPR flooding protocol.
Evaluation of the Masked Logic Style MDPL on a Prototype Chip
Authors: Thomas Popp, Mario Kirschbaum, Thomas Zefferer, Stefan Mangard
Venue: Proceedings of the 9th international workshop on Cryptographic Hardware and Embedded Systems (2007)

MDPL has been proposed as a masked logic style that counteracts DPA attacks. Recently, it has been shown that the so-called "early propagation effect" might reduce the security of this logic style significantly. In the light of these findings, a 0.13 μm prototype chip that includes the implementation of an 8051-compatible microcontroller in MDPL has been analyzed. Attacks on the measured power traces of this implementation show a severe DPA leakage. In this paper, the results of a detailed analysis of the reasons for this leakage are presented. Furthermore, a proposal is made on how to improve MDPL with respect to the identified problems.
Typical sites with NIR above standard safety levels
Authors: R. Saint Nom, C. M. Munoz, B. Alvarez Ovide
Venue: Proceedings of the 6th WSEAS International Conference on Applied Electromagnetics, Wireless and Optical (2008)

Population is often afraid of electromagnetic fields and its possible effect on health. This creates a need for quantifying the exposure to electromagnetic field levels in the civil environments. Although concern is focused on radio base stations, there are other emitters that can be taken into account. This paper describes the results of a specific NIR (Non Ionizing Radiation) measurement carried out by CAERCEM, the laboratory of electromagnetic compatibility of the Buenos Aires Institute Technology (ITBA). The site to characterize was very near a tower with an important number of microwave antennas and the filed strengths read were above the threshold limits allowed in Buenos Aires.
A Collaborative Tool for Capturing, Sharing and Connecting User Research Study in Design
Authors: Chujit Treerattanaphan
Venue: Proceedings of the 5th international conference on Cooperative Design, Visualization, and Engineering (2008)

The objective of our project is to build a web based tool for generating a valuable design user research resource. User research is a process of discovering desirable and undesirable users' needs and expectation from a product or service. This user research information provides crucial sources of research insights, which lead to a process of finding ideas about functionality, features, criteria, and design attributes of a product or service. Usability testing is also considered as a part of the user research process to verify the feasibility of the design. The proposed Capturing, Sharing, and Connecting User Research (CSCUR) tool can help the design researcher to record and utilize user data efficiently. CSCUR tool provides a keyword list and procedure used as a guideline for design researchers to investigate related issues that need to be considered in design process, leading to an innovative design and responding to users' needs. Searching functionality facilitates activities in exchanging ideas and encouraging teamwork among the design research community.
Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems
Authors: Benoit Gaudou, Dominique Longin, Emiliano Lorini, Luca Tummolini
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 (2008)

The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding ('nomos') itself ('auto') independently of any external normative constraint specified by a designer. In particular, a MAS is autonomous if it is able to maintain its social institutions (i.e. rule-governed social practices) only by way of the agents' attitudes. In order to specify an autonomous MAS, we propose the logic AL (Acceptance Logic) in which the acceptance of a proposition by the agents qua group members (i.e. group acceptance) is introduced. Such propositions are true w.r.t. an institutional context and correspond to facts that are instituted in an attitude-dependent way (i.e. normative and institutional facts). Finally, we contend that the present approach paves the way for a foundation of legal institutions, for studying the interaction between social and legal institutions and, eventually, for understanding and modeling institutional change.
Sensor-guided micro assembly of active micro systems by using a hot melt based joining technology
Authors: Sven Rathmann, Kerstin Sch&#x00f6;ttler, Michael Berndt, Gregor Hemken, Annika Raatz, Rainer Tutsch, Stefan B&#x00f6;hm
Venue: Microsystem Technologies (2008)

This article presents (the most) recent results of the subprojects B4 and B8 of the Collaborative Research Center 516&#x2014;Design and Manufacturing of Active Micro Systems&#x2014;which are concerned with the assembly of active micro systems. While subproject B4 investigates sensor guided assembly processes, subproject B8 develops suitable assembly techniques on the basis of non-viscous adhesive systems (hot melts). Process development focuses on the suitability for automation, process times and the applicability of batch processes. The article discusses certain hot melt application techniques that are suitable for batch production, a sensor-guided assembly system as well as different approaches for heat conduction in an automated assembly process for hot melt coated micro components.
Predictive Modeling of fMRI Brain States Using Functional Canonical Correlation Analysis
Authors: S. Ghebreab, A. W. Smeulders, P. Adriaans
Venue: Proceedings of the 11th conference on Artificial Intelligence in Medicine (2007)

We present a novel method for predictive modeling of human brain states from functional neuroimaging (fMRI) data. Extending the traditional canonical correlation analysis of discrete data to the domain of stochastic functional measurements, the method explores the functional canonical correlation between stimuli and fMRI training data. Via an incrementally steered pattern searching technique, subspaces of voxel time courses are explored to arrive at (spatially distributed) voxel clusters that optimize the relationship between stimuli and fMRI in terms of redundancy. Application of the method for prediction of naturalistic stimuli from unknown fMRI data shows that the method finds highly predictive brain areas, i.e. brain areas relevant in processing the stimuli.
From Modelling Domain Knowledge to Metacognitive Skills: Extending a Constraint-Based Tutoring System to Support Collaboration
Authors: Nilufar Baghaei, Antonija Mitrovic
Venue: Proceedings of the 11th international conference on User Modeling (2007)

Constraint-based tutors have been shown to increase individual learning in real classroom studies, but would become even more effective if they provided support for collaboration. COLLECT- $\mathcal{UML}$ is a constraint-based intelligent tutoring system that teaches object-oriented analysis and design using Unified Modelling Language. Being one of constraint-based tutors, COLLECT- $\mathcal{UML}$ represents the domain knowledge as a set of constraints. However, it is the first system to also represent a higher-level skill such as collaboration using the same formalism. We started by developing a single-user ITS. The system was evaluated in a real classroom, and the results showed that students' performance increased significantly. In this paper, we present our experiences in extending the system to provide support for collaboration as well as problem-solving. The effectiveness of the system was evaluated in a study conducted at the University of Canterbury in May 2006. In addition to improved problem-solving skills, the participants both acquired declarative knowledge about good collaboration and did collaborate more effectively. The results, therefore, show that Constraint-Based Modelling is an effective technique for modelling and supporting collaboration skills.
Optimally Learning Social Networks with Activations and Suppressions
Authors: Dana Angluin, James Aspnes, Lev Reyzin
Venue: Proceedings of the 19th international conference on Algorithmic Learning Theory (2008)

In this paper we consider the problem of learning hidden independent cascade social networks using exact value injection queries. These queries involve activating and suppressing agents in the target network. We develop an algorithm that optimally learns an arbitrary social network of size n using O(n 2) queries, matching the information theoretic lower bound we prove for this problem. We also consider the case when the target social network forms a tree and show that the learning problem takes ¿(nlog(n)) queries. We also give an approximation algorithm for finding an influential set of nodes in the network, without resorting to learning its structure. Finally, we discuss some limitations of our approach, and limitations of path-based methods, when non-exact value injection queries are used.
User-Centered Design for Personalized Access to Cultural Heritage
Authors: Yiwen Wang
Venue: Proceedings of the 11th international conference on User Modeling (2007)

The volume of digital cultural heritage is huge and rapidly growing. The overload of art information has created the need to help people find out what they like in the enormous museum collections and provide them with the most convenient access point. In this paper, we present a research plan to address these issues. Our approach involves: (1) use of ontologies as shared vocabularies and thesauri to model the domain of art; (2) an interactive ontology-based elicitation of user interests and preferences in art to be stored as an extended overlay user model; (3) RDF/OWL reasoning strategies for predicting users' interests and generating recommendations; and (4) The Rijksmuseum Amsterdam use case for a personalized museum tour combining both the virtual Web space and the physical museum space to enhance the users' experience. We follow a user-centered design for collecting requirements, testing out design choices and evaluating stages of our prototypes.
Stochastic Network Calculus, 1 edition
Authors: Yuming Jiang, Yong Liu
Venue:  (2008)

Network calculus, a theory dealing with queuing systems found in computer networks, focuses on performance guarantees. The development of an information theory for stochastic service-guarantee analysis has been identified as a grand challenge for future networking research. Towards that end, stochastic network calculus, the probabilistic version or generalization of the (deterministic) Network Calculus, has been recognized by researchers as a crucial step. Stochastic Network Calculus presents a comprehensive treatment for the state-of-the-art in stochastic service-guarantee analysis research and provides basic introductory material on the subject, as well as discusses the most recent research in the area. This helpful volume summarizes results for stochastic network calculus, which can be employed when designing computer networks to provide stochastic service guarantees. Features and Topics: Provides a solid introductory chapter, providing useful background knowledge Reviews fundamental concepts and results of deterministic network calculus Includes end-of-chapter problems, as well as summaries and bibliographic comments Defines traffic models and server models for stochastic network calculus Summarizes the basic properties of stochastic network calculus under different combinations of traffic and server models Highlights independent case analysis Discusses stochastic service guarantees under different scheduling disciplines Presents applications to admission control and traffic conformance study using the analysis results Offers an overall summary and some open research challenges for further study of the topic Key Topics: Queuing systems Performance analysis and guarantees Independent case analysis Traffic and server models Analysis of scheduling disciplines Generalized processor sharing Open research challenges Researchers and graduates in the area of performance evaluation of computer communication networks will benefit substantially from this comprehensive and easy-to-follow volume. Professionals will also find it a worthwhile reference text. Professor Yuming Jiang at the Norwegian University of Science and Technology (NTNU) has lectured using the material presented in this text since 2006. Dr Yong Liu works at the Optical Network Laboratory, National University of Singapore, where he researches QoS for optical communication networks and Metro Ethernet networks.