ppxscal/embedding_network huggingface dataset:
Anytime Control Algorithms for Embedded Real-Time Systems
Authors: Daniele Fontanelli, Luca Greco, Antonio Bicchi
Venue: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (2008)

In this paper we consider the problem of designing controllers for linear plants to be implemented in embedded platforms under stringent real-time constraints. These include preemptive scheduling schemes, under which the maximum execution time allowed for control software tasks is uncertain. We propose an "anytime control" design approach, consisting in a hierarchy of controllers for the same plant. Higher controllers in the hierarchy provide better closed-loop performance, while typically requiring a larger worst-case execution time. We provide a procedure for the design of controllers which, together with a conditioning process of the stochastic scheduling, provides better performance than prevailing worst case-based design, while guaranteeing almost sure stability of the resulting switching system.
Some Problems with Entropy Measures for the Atanassov Intuitionistic Fuzzy Sets
Authors: Eulalia Szmidt, Janusz Kacprzyk
Venue: Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory (2007)

This paper is a continuation of our previous papers on entropy of the Atanassov intuitionistic fuzzy sets (A-IFSs, for short). We discuss the necessity of taking into account all three functions (membership, non-membership and hesitation margin) describing A-IFSs while considering the entropy.
Automated Classification and Categorization of Mathematical Knowledge
Authors: Radim &#;344ehůřek, Petr Sojka
Venue: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics (2008)

There is a commonMathematics SubjectClassification(MSC) System used for categorizing mathematical papers and knowledge. We present results of machine learning of the MSC on full texts of papers in the mathematical digital libraries DML-CZ and NUMDAM. The F1- measure achieved on classification task of top-level MSC categories exceeds 89%. We describe and evaluate our methods for measuring the similarity of papers in the digital library based on paper full texts.
Performance Analysis of Group Based Detection for Sparse Sensor Networks
Authors: Jingbin Zhang, Gang Zhou, Sang H. Son, John A. Stankovic, Kamin Whitehouse
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

In this paper, we analyze the performance of group based detection in sparse sensor networks, when the system level detection decision is made based on the detection reports generated from multiple sensing periods. Sparse deployment is essential for reducing cost of large scale sensor networks, which cover thousands of square miles. In a sparse deployment, the sensor field is only partially covered by sensors’ sensing ranges, resulting in void sensing areas in the region, but all nodes are connected through multi-hop networking. Further, due to the unavoidable false alarms generated by a single sensor in a network, many deployed systems use group based detection to reduce system level false alarms. Despite the popularity of group based detection, few analysis works in the literature deal with group based detection. In this paper, we propose a novel approach called Markov chain based Spatial approach (MS-approach) to model group based detection in sensor networks. The M-S-approach successfully overcomes the complicated conditional detection probability of a target in each sensing period, and reduces the execution time of the analysis from many days to 1 minute. The analytical model is validated through extensive simulations. This analytical work is important because it provides an easy way to understand the performance of a system that uses group based detection without running countless simulations or deploying real systems.
Dynamic moment analysis of the extracellular electric field of a biologically realistic spiking neuron
Authors: Joshua N. Milstein, Christof Koch
Venue: Neural Computation (2008)

Based on the membrane currents generated by an action potential in a biologically realistic model of a pyramidal, hippocampal cell within rat CA1, we perform a moment expansion of the extracellular field potential. We decompose the potential into both inverse and classical moments and show that this method is a rapid and efficient way to calculate the extracellular field both near and far from the cell body. The action potential gives rise to a large quadrupole moment that contributes to the extracellular field up to distances of almost 1 cm. This method will serve as a starting point in connecting the microscopic generation of electric fields at the level of neurons to macroscopic observables such as the local field potential.
Assessing it service-learning
Authors: Rick Homkes
Venue: Proceedings of the 9th ACM SIGITE conference on Information technology education (2008)

Service-Learning is the delivery of a service to the community within the context of an educational program of study. Going further, it is a form of experiential learning, applying what was learned within a classroom or laboratory setting to problems of the real world. Using service-learning, students in information technology can experience the unstructured problems of a real world situation while having the structure of a university course. While one major goal of service-learning is service, the delivery of some benefit to the community partner, the other major goal is for the students to achieve the learning that is part of the department's education objectives. It is therefore a pedagogy which should be investigated for efficacy as any other pedagogy would be. This paper investigates how information technology based service-learning could be measured for both service and learning. For service, a longer term follow-up with the non-profit partners is presented. The purpose is to ascertain if the service learning project really did help the non-profit partners provide their services better, or, conversely, if the service-learning project was really a "feel good" project for the student and a "promotion" project for the community partner. For the learning portion of service-learning, a review of assessment methods is presented. These methods look at two areas, the application of Information Technology domain specific hard skills and also the application of other skills such as teamwork, communication, and project management. The use of a project postmortem is proposed as a reflective exercise to measure how the student participants have been changed in the process.
Molecular Models to Emulate Confinement Effects on the Internal Dynamics of Organophosphorous Hydrolase
Authors: Diego E. Gomes, Roberto D. Lins, Pedro G. Pascutti, Tjerk P. Straatsma, Thereza A. Soares
Venue: Proceedings of the 3rd Brazilian symposium on Bioinformatics: Advances in Bioinformatics and Computational Biology (2008)

The confinement of the metalloenzyme organophosphorous hydrolase in functionalized mesoporous silica (FMS) enhances the stability and increases catalytic specific activity by 200% compared to the enzyme in solution. The mechanism by which these processes take place is not well understood. We have developed macroscopic and coarse-grain models of confinement to provide insights into how the nanocage environment steers enzyme conformational dynamics towards enhanced stability and enzymatic activity. The structural dynamics of organophosphorous hydrolase under the two confinement models are very distinct from each other. Comparisons of the present simulations show that only one model leads to an accurate depiction of the internal dynamics of the enzyme.
Commercial applications: the implication of census experience
Authors: James L. McPherson
Venue: Proceedings of the February 4-6, 1953, western computer conference (1953)

The Bureau of the Census began operating a Univac System in April 1951. We temporarily stopped operation at the end of December 1952. During this period our Univac was housed in the factory in Philadelphia where it was built by the Eckert-Mauchly Division of Remington Rand Inc. The first of this year (1953) our Univac was shipped to Washington. It is now being reassembled and we hope to put it back in operation within the next two or three months.
Towards a Model Driven Service Engineering Process
Authors: Ateret Anaby-Tavor, David Amid, Aviad Sela, Amit Fisher, Kuo Zhang, Ou Tie Jun
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

Developments in the realm of business services have opened new challenges in the business consulting world. Consequently, new procedures for services system development are being proposed. In this work, we present a model driven approach for streamlining the service engineering process. An important aspect of our work is a method for model transformation, which is essential for providing and enhancing the management and governance capabilities of the service engineering process. We then introduce a novel infrastructure which leverages Web 2.0 technologies to address the challenge of developing semantic modeling editors. Finally, we use this infrastructure as the target platform to validate our work.
Avatars in social media: Balancing accuracy, playfulness and embodied messages
Authors: Asimina Vasalou, Adam Joinson, Tanja Bänziger, Peter Goldie, Jeremy Pitt
Venue: International Journal of Human-Computer Studies (2008)

This paper examines how users negotiate their self-presentation via an avatar used in social media. Twenty participants customised an avatar while thinking aloud. An analysis of this verbal data revealed three motivating factors that drive self-presentation: (1) avatars were used to accurately reflect their owners' offline self; participants chose to display stable self-attributes or idealised their avatar by concealing or emphasising attributes aligned to imagined social roles, (2) the diversity of customisation options was exploited by some participants who broke free from the social rules governing self-presentation offline; others used the avatar's appearance to emotionally provoke and engage the avatar viewer and finally, (3) avatars were used as proxies; participants designed their online self in order to convey a message to a significant other.
Model-checking agent refinement
Authors: Lacramioara Astefanoaei, Frank S. de Boer
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 (2008)

We present a proof-technique for reducing the nondeterminism of abstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent specifications in rewrite systems such that we can automatically check if refinement between (fair) executions of agents holds.
New Methods for Pruning and Ordering of Syntax Parsing Trees
Authors: Vojtěch Kovář, Aleš Horák, Vladimír Kadlec
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

Most robust rule-based syntax parsing techniques face the problem of high number of possible syntax trees as the output. There are two possible solutions to this: either release the request for robustness and provide special rules for uncovered phenomena, or equip the parser with filtering and ordering techniques. We describe the implementation and evaluation of the latter approach. In this paper, we present new techniques of pruning and ordering the resulting syntax trees in the Czech parser synt. We describe the principles of the methods and present results of measurements of effectiveness of these methods both per method and in combination, as computed for 10,000 corpus sentences.
A Novel Approach for Automatic Palmprint Recognition
Authors: Murat Ekinci, Murat Aykut
Venue: Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence (2007)

In this paper, we propose an efficient palmprint recognition scheme which has two features: 1) representation of palm images by two dimensional (2-D) wavelet subband coefficients and 2) recognition by a modular, personalized classification method based on Kernel Principal Component Analysis (Kernel PCA). Wavelet subband coefficients can effectively capture substantial palm features while keeping computational complexity low. We then kernel transforms to each possible training palm samples and then mapped the high-dimensional feature space back to input space. Weighted Euclidean linear distance based nearest neighbor classifier is finally employed for recognition. We carried out extensive experiments on PolyU Palmprint database includes 7752 palms from 386 different palms. Detailed comparisons with earlier published results are provided and our proposed method offers better recognition accuracy (99.654%).
Active Noise Control Using a Feedforward Network with Online Sequential Extreme Learning Machine
Authors: Qizhi Zhang, Yali Zhou
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks (2008)

In practical active noise control (ANC) systems, the primary path and the secondary path may be nonlinear. The actuators of an ANC system often have non-minimum phase response. A linear controller under such situations yields poor performance. Neural networks using Filtered-x back-propagation (FX-BP) algorithm are often used as a controller for the nonlinear ANC systems. But FX-BP algorithm often converges slowly and may converge to a local minimum. A novel feedforward network-based ANC algorithm is proposed in this paper. The Online Sequential Extreme Learning Machine(OS-ELM) is generalized to meet the requirements of the nonlinear ANC systems. Computer simulations have been carried out to demonstrate that the proposed algorithm outperforms the FX-BP algorithm when the primary path is nonlinear.
Optimal Preference Elicitation for Skyline Queries over Categorical Domains
Authors: Jongwuk Lee, Gae-Won You, Seung-Won Hwang, Joachim Selke, Wolf-Tilo Balke
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

When issuing user-specific queries, users often have a vaguely defined information need. Skyline queries identify the most "interesting" objects for users' incomplete preferences, which provides users with intuitive query formulation mechanism. However, the applicability of this intuitive query paradigm suffers from a severe drawback. Incomplete preferences on domain values can often lead to impractical skyline result sizes. In particular, this challenge is more critical over categorical domains. This paper addresses this challenge by developing an iterative elicitation framework. While user preferences are collected at each iteration, the framework aims to both minimize user interaction and maximize skyline reduction. The framework allows to identify a reasonably small and focused skyline set, while keeping the query formulation still intuitive for users. All that is needed is answering a few well-chosen questions. We perform extensive experiments to validate the benefits of our strategy and prove that a few questions are enough to acquire a desired manageable skyline set.
Designing an Emotional and Attentive Virtual Infant
Authors: Christopher Peters
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

This paper outlines the design of a model amalgamating computational visual attention and emotion approaches for the purposes of driving expressive attentive and emotional behaviour in an embodied, situated real-time virtual infant. The themes of emotion and attention underlie all aspects of our model: from perception, to memory, internal state and behaviour expressivity. The model is focused on some of the earliest stimulus evaluation checks related to appraisal theory: perceptual attention focuses and refines the details of relevant and potentially relevant stimuli, reducing uncertainty in order to discover reward and heed danger. In the process, the agents internal state is modified and feeds back to modulate the ongoing allocation of attention and processing of stimuli. Changes in internal state are expressed through a repertoire of prototypical infant gaze, face and body behaviours. This represents, to our knowledge, the first attempt to marry all of these concepts in a real-time 3D embodied agent system.
Network Applications of Graph Bisimulation
Authors: Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
Venue: Proceedings of the 4th international conference on Graph Transformations (2008)

Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free synchronising graphs and a novel notion of bisimulation equivalence which is shown to be a congruence with respect to graph composition and node restriction. We use this notion of equivalence to study some sample network applications, and show that our bisimulation equivalence captures notions like functional equivalence of logical switches, equivalence of channel implementations and level of fault tolerance of a network.
Static space–times naturally lead to quasi-pseudometrics
Authors: Hans-Peter A. Künzi, Vladik Kreinovich
Venue: Theoretical Computer Science (2008)

The standard 4-dimensional Minkowski space-time of special relativity is based on the 3-dimensional Euclidean metric. In 1967, H. Busemann showed that similar static space-time models can be based on an arbitrary metric space. In this paper, we search for the broadest possible generalization of a metric under which a construction of a static space-time leads to a physically reasonable space-time model. It turns out that this broadest possible generalization is related to the known notion of a quasi-pseudometric.
Symbolic Partition Refinement with Dynamic Balancing of Time and Space
Authors: Ralf Wimmer, Salem Derisavi, Holger Hermanns
Venue: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems (2008)

Bisimulation minimization is one of the classical means to fight the infamous state space explosion problem in verification. Particularly in stochastic verification, numerical algorithms are applied, which do not scale beyond systems of moderate size. To alleviate this problem, symbolic bisimulation minimization has been usedeffectively to reduce very large symbolically represented state spaces to moderate size explicit representations. But even this minimization may fail due to time or memory limitations. This paper presents a symbolic algorithm which relies on a hybrid symbolic partition representation. It dynamically converts between two knownrepresentations in order to provide a trade-off between memory consumption and runtime. The conversion itself is logarithmic in the partition size. We show how to apply it for the minimization of Markov chains, but the same techniques can be adapted in a straightforward way to other models like labeled transition systems or interactive Markov chains.
Semi-analytical Approach for Analyzing Vibro-Impact Systems
Authors: Algimantas Čepulkauskas, Regina Kulvietienė, Genadijus Kulvietis, Jurate Mikucioniene
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

A semi-analytical approach, combining the features of analytical and numerical computations, is proposed. Separating the linear and nonlinear parts of equations of motion, the harmonic balance method and computer algebra have been synthesized for obtaining analytical solutions of the nonlinear part, whereas the linear part was solved by the numerical methods. On the basis of this technique, the numerical investigation of abrasive treatment process dynamics has been performed and regimes ensuring the most effective treatment process determined.
On Suturing Simulation with Haptic Feedback
Authors: Fuhan Shi, Shahram Payandeh
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

We present a mechanics-based haptic simulation of an arbitrary suturing task for a simple skin or a soft tissue wound closure. The pre-wound suturing target, the skin or the deformable tissue, is modeled as a modified mass-spring system. The suturing material is modeled based on the linear finite-element model with some novel extensions for enhancing the computation of the constrained mechanics models. Novel extensions to typical suturing models are defined. For example, if the needle incision points are too close to each other or from the edge of the wound and if the user pulls on the suture with a force which is beyond a predefined threshold, the suture will tear the soft tissue instead of suturing the incision. Experiment results show that our simulator can run on a standard desk-top computing environment and allow the user to perform different suturing patterns with smooth haptic feedback.
Topic 12 Theory and Algorithms for Parallel Computation
Authors: Nir Shavit, Nicolas Schabanel, Pascal Felber, Christos Kaklamanis
Venue: Proceedings of the 13th European international conference on Parallel Processing (2007)

Theory of parallel computation is still a widely unanswered field of research. The lack of truly parallel data structures (such as quantum computing may provide one day) still prevents us from obtaining a unified framework for the design of parallel algorithms, and the design of parallel algorithms remains a case-by-case challenge. As the complexity-related questions have been progressively (and regrettably) abandoned, theoretical research in parallel computing focuses today on two main areas: the classical design of parallel algorithms for specific problems; and very recently, modeling, understanding and formalizing how entities/structures/networks interact in parallel in order to design better parallel algorithms.
Citizen Participation and Involvement in eGovernment Projects: An Emergent Framework
Authors: Karin Axelsson, Ulf Melin
Venue: Proceedings of the 7th international conference on Electronic Government (2008)

This paper reports from an action research project where focus groups have been used as an approach for taking citizens' requirements into account during public e-service development projects. In the paper we use theories from the area of user participation in the information systems (IS) discipline in order to discuss and enhance the specific aspects of citizen participation and involvement in the eGovernment context. The main purpose of this paper is to enrich the eGovernment field in general, and to facilitate the citizen perspective in eGovernment development projects in particular, by using notions from the user participation tradition in the IS discipline. Our empirical findings from performing focus groups are discussed and compared to well-known user participation theories from the IS discipline. This results in an emergent framework for better understanding of citizen participation and involvement in the eGovernment context. The emergent framework consists of a set of questions that can be used in order to put an increased focus on the citizen perspective in future eGovernment development projects.