ppxscal/embedding_network huggingface dataset:
Efficient and realistic mobility and channel modeling for VANET scenarios using OMNeT++ and INET-framework
Authors: Robert Nagel, Stephan Eichler
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach for OMNeT++ and the INET-Framework. The approach allows generation and deletion of nodes during simulation time and reduces the number of events significantly. To demonstrate and test the functionality of the new modeling concept we designed a simple, yet effective mobility model called Manhattan Grid Mobility Model (MGMM), which can be coupled with a new channel modeling approach, incorporating obstacles such as buildings for the reception power calculation. In our paper we describe both, the general concept of our idea, the realization using the MGMM and the Dual-Slope channel model, and give an overview on related work.
Development, management and analysis of flow cytometry based cell signaling assays in a translational research environment to diagnose juvenile myelomonocytic leukemia
Authors: Garry P. Nolan
Venue:  (2008)

Recent advances in molecular technologies are promising great change for the clinic. Patient physiology can be measured at molecular resolutions that were previously not available thus providing clinicians with novel ways of assessing disease state and treatment and ushering in the era of translational medicine. Realizing the potential of such technologies in a clinical setting however is challenging. Clinical scientists are often overwhelmed with information coming from these molecular technologies and gaining insight into human disease often requires multi-disciplinary teams that include clinicians, molecular biologists, statisticians and informatics understanding in biology and medicine. This is specifically seen with phosphoflow cytometry, a novel technique that allows simultaneous single cell measurements of cell type and signal. The ability to do this in primary cells has it poised to become an important clinical analysis tool for human disease. Standing in the way of this potential however are challenges such as complicated experimental designs, ensuring sufficient annotation, incorporating novel statistics and collaborating across wide-ranging disciplines like statistics, bioinformatics, biochemistry, immunology, and medicine.The challenges listed above are addressed in this dissertation with the Cytobank, a web-based approach that grew out of the need to collaborate on clinical flow cytometry data sets and follow a line of investigation from patient sample to single cell proteomics. A key driver in the usage and requirements for Cytobank was ongoing work with phosphoflow cytometry to assess signaling activity in juvenile myelomonocytic leukemia (JMML)&mdash;an aggressive and difficult to diagnose myeloid malignancy. The results from this work was an assay that reduces the time to confirm diagnosis from 3&ndash;4 weeks to 1&ndash;2 days and can be used to follow patients over time and monitor disease status including remission, relapse and transformation.
A temperature control system for water cooling towers based on variable speed drives
Authors: Nicolae Muntean, Constantin Volosencu, Alexandru Hedes
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

This paper presents an industrial implemented technical solution to increase the efficiency of electrical energy utilization in the chemical industry, by using frequency converters for automatic control of water cooling tower fans, based on a feedback from the water temperature from the cooling circuit. There is presented a practical application and the energy savings resulted on an installation for water re-circulation. The technical solution leads to an increase of the electric energy efficiency in chemical industry by using frequency converters to control speed and torque of cooling water fans equipped with squirrel cage motors, controlled from a water temperature location in cooling water circuit.
A Neuro-Immune Inspired Robust Real Time Visual Tracking System
Authors: Yang Liu, Jon Timmis, Tim Clarke
Venue: Proceedings of the 7th international conference on Artificial Immune Systems (2008)

We present a novel Neuro-Immune inspired real-time tracking system that is capable of tracking morphing moving targets over non-benign backgrounds. We have employed ideas from antigen-presenting cells, T-cell interaction, together with cytokine interaction with neural systems. Our experiments show that the neuro-immune tracking system has the ability to maintain tracking a target even if the target changes shape, or is covered for periods of time by other objects.
Low-Power AES Design Using Parallel Architecture
Authors: Hyun Suk Choi, Joong Hyun Choi, Jong Tae Kim
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

This paper presents a design of AES (Advanced Encryption Standard) with parallel architecture. Proposed architecture maintains throughput as it is but consumes lower power than the original architecture by using 1/2 clock-rate and reducing supply voltage. Models were designed using VHDL and verified by both functional and gate-level simulation. They were logically synthesized using 0.25um, 90nm cell library by Synopsys Design compiler. Power consumption was computed by Synopsys PrimePower.
On the Hardness of Determining Small NFA's and of Proving Lower Bounds on Their Sizes
Authors: Juraj Hromkovič, Georg Schnitger
Venue: Proceedings of the 12th international conference on Developments in Language Theory (2008)

In contrast to the minimization of deterministic finite automata (DFA's), the task of constructing a minimal nondeterministic finite automaton (NFA) for a given NFA is PSPACE-complete. This fact motivates the following computational problems:(i) Find a minimal NFA for a regular language L, if L is given by another suitable formal description, resp. come up with a small NFA.(ii) Estimate the size of minimal NFA's or find at least a good approximation of their sizes.Here, we survey the known results striving to solve the problems formulated above and show that also for restricted versions of minimization of NFA's there are no efficient algorithms.Since one is unable to efficiently estimate the size of a minimal NFA in an algorithmic way, one can ask at least for developing mathematical proof methods that help in proving good lower bounds on the size of a minimal NFA for a given regular language. We show here that even the best known methods for this purpose fail for some concrete regular languages.Finally, we give an overview of the results about the influence of the degree of ambiguity on the size of NFA's and discuss the relation between the descriptional complexity of NFA's and NFA's with ¿-transitions.
Augmenting Data Retrieval with Information Retrieval Techniques by Using Word Similarity
Authors: Nathaniel Gustafson, Yiu-Kai Ng
Venue: Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems (2008)

Data retrieval (DR) and information retrieval (IR) have traditionally occupied two distinct niches in the world of information systems. DR systems effectively store and query structured data, but lack the flexibility of IR, i.e., the ability to retrieve results which only partially match a given query. IR, on the other hand, is quite useful for retrieving partial matches, but lacks the completed query specification on semantically unambiguous data of DR systems. Due to these drawbacks, we propose an approach to combine the two systems using pre-defined word similarities to determine the correlation between a keyword query (commonly used in IR) and data records stored in the inner framework of a standard RDBMS. Our integrated approach is flexible, context-free, and can be used on a wide variety of RDBs. Experimental results show that RDBMSs using our word-similarity matching approach achieve high mean average precision in retrieving relevant answers, besides exact matches, to a keyword query, which is a significant enhancement of query processing in RDBMSs.
The ACGT Master Ontology on Cancer - A New Terminology Source for Oncological Practice
Authors: Mathias Brochhausen, Gabriele Weiler, Cristian Cocos, Holger Stenzhorn, Norbert Graf, Martin Dörr, Manolis Tsiknakis
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

We present a new source of terminology for transnational data exchange in oncology, emphasizing the integration of both clinical and molecular data. In order to achieve best results in semantic interoperability, the ACGT project provides an ontology on cancer research and management. Besides examining pre-existing sources of terminology, were view methods of ontology development, and present best practices to be employed in the development of the ACGT Master Ontology. The clinical trial management system that is currently developed within ACGTconstitutes a central use of the ontology at this point.
On the Recognizability of Arrow and Graph Languages
Authors: H. J. Bruggink, Barbara König
Venue: Proceedings of the 4th international conference on Graph Transformations (2008)

In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which can be seen as a straightforward generalization of a finite automaton. In the second part of the paper we apply the theory to graphs, and we show that our approach is a generalization of Courcelle's recognizable graph languages.
Visualization of heat transport using dimensionless heatfunction for natural convection and conduction in an enclosure with thick solid ceiling
Authors: Moghtada Mobedi, Hakan F. Oztop
Venue: Computers Mathematics with Applications (2008)

A conjugate conduction-(natural)convection problem is numerically studied in order to present the application of dimensionless heatfunction for entire computational domain including solid and fluid regions in an enclosure with thick solid ceiling. The modified dimensionless heatfunction for solid region is defined to provide continuity of dimensionless heatfunction on solid-fluid interface. The enclosure is differentially heated from vertical walls, and horizontal walls are adiabatic. Finite difference method is employed to solve the set of governing equations. The dimensionless governing parameters for computations are: Rayleigh number (from 10^3 to 10^6), dimensionless ceiling wall thickness (0.05 and 0.5) and thermal conductivity ratio (from 1 to 100). The obtained results shows that the heat and fluid flows in the enclosure are considerably influenced by Rayleigh number and thermal conductivity ratio. Dimensionless wall thickness comparatively has less effect on heat transfer rate through the cavity.
Evaluating an Authoring Tool for Model-Tracing Intelligent Tutoring Systems
Authors: Stephen B. Blessing, Stephen Gilbert
Venue: Proceedings of the 9th international conference on Intelligent Tutoring Systems (2008)

We have been creating an authoring tool, the Cognitive Model SDK, which allows non-cognitive scientists and non-programmers to produce a cognitive model for model-tracing tutors [1, 2]. The SDK is in use by developers at Carnegie Learning to produce their commercial Cognitive Tutors for math. However, it has never been evaluated with regards to the strong claim that non-cognitive scientists and non-programmers could, without much effort, produce useful cognitive models with it. The research presented here shows that this can be done, using a task that past researchers have used [3]. The models are evaluated across several metrics to see what characteristics of either them or their creators may distinguish better models from worse models. The goal of this work is to establish a baseline for future work examining how cognitive modeling can be opened up to a wider class of people.
Locative Systems Using Mobile Phones
Authors: Jenny Weight
Venue: IEEE MultiMedia (2008)

Editor's NoteIn the age of mobile media, artists interested in storytelling and place have been exploring various technologies to enable their locative media work. Jenny Weight traces the aesthetic and technical background to these works and discusses recent RMIT projects, which work with a solar powered Bluetooth server to deliver their poetic psychogeographic stories.&#x2014;Norie Neumark
Algebraic construction of exact difference equations from symmetry of functions
Authors: Toshiaki Itoh
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

Difference equations or exact numerical integration scheme, which have general solutions, are treated algebraically. Eliminating the symmetry in mixed functions, we can construct numerical integration schemes correspond to some ordinary differential equations that have same mixed functions. When arbitrary functions are given, whether we can construct numerical integration schemes that have solution functions equal to given function or not are treated.
Using Vibration Patterns to Provide Impact Position Information in Haptic Manipulation of Virtual Objects
Authors: Jean Sreng, Anatole Lécuyer, Claude Andriot
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

While standard closed haptic control loop used in haptic simulation of rigid bodies are bounded to low frequency force restitution, event-based or open-loop haptic, by superimposing a high-frequency transient force pattern, can provide a realistic feeling of the impact. This high-frequency transient can provide the user with rich information about the contact such as the material properties of the object. Similarly, an impact on different locations of an object produces different vibration patterns that can be used to determine the impact location.This paper investigates the use of such high-frequency vibration patterns to provide impact position information on a simulated long rod held by the edge. We propose in this paper different vibration pattern models to convey the position information: a realistic model based on a numerical simulation of a beam and three empirical simplified models based on exponentially decaying sinusoids. A preliminary evaluation has been conducted with 15 participants. Taken together, our results showed that the users are able to associate vibration information with impact position efficiently.
Learning Qualitative Models of Physical and Biological Systems
Authors: Simon M. Garrett, George M. Coghill, Ashwin Srinivasan, Ross D. King
Venue: Computational Discovery of Scientific Knowledge: Introduction, Techniques, and Applications in Environmental and Life Sciences (2007)

We present a qualitative model-learning system, Qoph, developed for application to scientific discovery problems. Qoph learns the structural relations between a set of observed variables. It has been shown capable of learning models with intermediate (unmeasured) variables, and intermediate relations, under different levels of noise, and from qualitative or quantitative data. A biological application of Qoph is explored. An additional significant outcome of this work is the discovery and identification of kernel subsets of key states that must be present for model-learning to succeed.
Verifying Erlang Telecommunication Systems with the Process Algebra μCRL
Authors: Qiang Guo, John Derrick, Csaba Hoch
Venue: Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems (2008)

Verification is an important process in the development of Erlang systems. A recent strand of work has studied the verification of Erlang applications using the process algebra μCRL. The general idea is that Erlang programs are translated into a μCRL specification, upon which the standard model checkers can be applied for checking the system's properties. In this paper, we pull together some of the existing work and investigate the verification of an Erlang telecommunication system in μCRL. This case study uses a server-client structure and incorporates timing restrictions and is designed and implemented using a number of Erlang/OTP components. We show how this system is translated into a μCRL specification by using the defined rules, after which system properties are checked via the toolset CADP. Through studying the verification of such an application, we aim to validate the effectiveness of the translation rules in an integrated way.
Doctoral Symposium
Authors: Claudia Pons
Venue: Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (2008)

The MoDELS 2007 Doctoral Symposium provided a forum for Ph.D. students, conducting research in model-driven software engineering, to discuss their goals, methodology and results at an early stage in their research, in a critical but supportive and constructive environment. The symposium offered an opportunity for the eight student participants to interact with other students at a similar stage in their careers and with the mentoring board composed of five experts in the software modeling field. The students received practical guidance for the completion of the dissertation research and motivation for a research career. This summary offers an overview of the activities that occurred at the Symposium.
Global Localization for the Mobile Robot Based on Natural Number Recognition in Corridor Environment
Authors: Su-Yong An, Jeong-Gwan Kang, Se-Young Oh, Doo San Baek
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I (2007)

This paper proposes global localization for mobile robot by introducing local goal based navigation and model-based object recognition. In navigation stage, the robot follows the wall while detecting a door using a laser scanner, and then sets up the local goal near detected door. In recognition stage, room number is recognized and also ambiguous room number is rejected by multistage rejection method (MRSM) in order to reduce false recognition. Recognition results by various methods are demonstrated and room number feature map is built after exploring the whole corridor of LG research center.
Updatable Timed Automata with Additive and Diagonal Constraints
Authors: Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj
Venue: Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms (2008)

Timed automata [1] are a well established theoretical framework used for modeling real time systems. In this paper, we introduce a class of timed automata with updates of the form x : ~d ¿ y. We show that these updates preserve the decidability of emptiness of classical timed automata with diagonal constraints for ~ ¿ { = , < , ≤ }, while emptiness is undecidable for ~ ¿ { > , ¿ , ¿ }. When used along with additive constraints, these updates give decidable emptiness with 2 or lesser number of clocks, and become undecidable for 3 clocks. This provides a partial solution to a long standing open problem [5].
Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing
Authors: Soojung Lee
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

Wormhole routing has been popular in massively parallel computing systems due to its low packet latency. However, it is subject to deadlock, where packets are waiting for resources in a cyclic form indefinitely. Current deadlock detection techniques are basically dependent on the time-out strategy, thus yielding unignorable number of false deadlock detections especially in heavy network loads or with long packets. Moreover, several packets in a deadlock may be marked as deadlocked, which would saturate the resources allocated for recovery. This paper proposes a simple but more accurate deadlock detection scheme which is less dependent on the time-out value. The proposed scheme presumes deadlock only when a cyclic dependency among blocked packets exists. Consequently, the suggested scheme considerably reduces the probability of detecting false deadlocks over previous schemes, thus enabling more efficient deadlock recovery and higher network throughput. Simulation results are provided to demonstrate the efficiency of the proposed scheme. 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
The Generation of Emotional Expressions for a Text-Based Dialogue Agent
Authors: Siska Fitrianie, Leon J. Rothkrantz
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

Emotion influences the choice of facial expression. In a dialogue the emotional state is co-determined by the events that happen during a dialogue. To enable rich, human like expressivity of a dialogue agent, the facial displays should show a correct expression of the state of the agent in the dialogue. This paper reports about our study in building knowledge on how to appropriately express emotions in face to face communication. We have analyzed the appearance of facial expressions and corresponding dialogue-text (in balloons) of characters of selected cartoon illustrations. From the facial expressions and dialogue-text, we have extracted independently the emotional state and the communicative function. We also collected emotion words from the dialogue-text. The emotional states (label) and the emotion words are represented along two dimensions "arousal" and "valence". Here, the relationship between facial expressions and text were explored. The final goal of this research is to develop emotional-display rules for a text-based dialogue agent.
Fault detection and diagnosis of technical systems
Authors: Ioana Fagarasan, S. ST. Iliescu
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

Sensors, actuators and/or physical components in technical systems are often affected by unpermitted or un-expected deviations from normal operation behaviour. The fault diagnosis task consists of determination of the fault type with as many details as possible such as the fault size, locations and time of detection. The diagnostics procedures are based on the observed analytical and heuristical symptoms and the heuristic knowledge of the process. In this paper a comparison between different methods of fault detection and an overview of the fault diagnosis procedure for technical system is provided. For some classes of processes the structure and some parameters are well known but for others only rough models are available. Therefore the methods for fault detection and diagnosis are mainly different and several examples are explained.
Detection of arbitrary-form separators based on filtered delaunay triangulation
Authors: Costin-Anton Boiangiu, Dan-Cristian Cananau, Spataru Andrei
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

This paper describes a model for detecting arbitrary-form separators on a document page by using the Delaunay triangulation. The physical layouts of the documents are always hard to extract, but determining the simplest separators found in most documents is the starting point for correct layout detection.