ppxscal/embedding_network huggingface dataset:
Optimal scheduling on multi-processor computing systems
Authors: C. L. Liu
Venue: Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972) (1972)

A set of tasks {T1, T2, ..., Tr] are to be scheduled on a two-processor computing system. The execution time of each of the tasks is given. Moreover, a partial ordering 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
Towards Fast Prototyping of IVAs Behavior: Pogamut 2
Authors: Ondřej Burkert, Rudolf Kadlec, Jakub Gemrot, Michal Bída, Jan Havlíček, Martin Dörfler, Cyril Brom
Venue: Proceedings of the 7th international conference on Intelligent Virtual Agents (2007)

We present the platform for IVAs development in the human like environment of the first-person shooter game Unreal Tournament 2004. This environment is extendible and supported by vast community of users. Based on our previous experience the problem of fast verification of models of artificial intelligence or IVAs is in implementation issues. The developer spends most of his time solving technical environment dependent issues and malfunctions, which drives him away from his goals. Therefore our modular platform provides a tool, which helps solving those problems and the developer can spend saved time by solving another AI based issues and model verification. The platform is aimed for research and educational purposes.
Agent Models for Concurrent Software Systems
Authors: Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt, Christine Reese, Matthias Wester-Ebbinghaus
Venue: Proceedings of the 6th German conference on Multiagent System Technologies (2008)

In this work we present modeling techniques for the development of multi-agent applications within the reference architecture for multi-agent system Mulan. Our approach can be characterized as model driven development by using models in all stages and levels of abstraction regarding design, implementation and documentation. Both, standard techniques from software development as well as customized ones are used to satisfy the needs of multi-agent system development. To illustrate the techniques and models within this paper we use diagrams created during the development of an agent-based distributed Workflow Management System (WFMS).
Efficient Nonlinear FEM for Soft Tissue Modelling and Its GPU Implementation within the Open Source Framework SOFA
Authors: Olivier Comas, Zeike A. Taylor, Jérémie Allard, Sébastien Ourselin, Stéphane Cotin, Josh Passenger
Venue: Proceedings of the 4th international symposium on Biomedical Simulation (2008)

Accurate biomechanical modelling of soft tissue is a key aspect for achieving realistic surgical simulations. However, because medical simulation is a multi-disciplinary area, researchers do not always have sufficient resources to develop an efficient and physically rigorous model for organ deformation. We address this issue by implementing a CUDA-based nonlinear finite element model into the SOFA open source framework. The proposed model is an anisotropic visco-hyperelastic constitutive formulation implemented on a graphical processor unit (GPU). After presenting results on the model's performance we illustrate the benefits of its integration within the SOFA framework on a simulation of cataract surgery.
Schema matching on streams with accuracy guarantees
Authors: Szymon Jaroszewicz, Lenka Ivantysynova, Tobias Scheffer
Venue: Intelligent Data Analysis (2008)

We address the problem of matching imperfectly documented schemas of data streams and large databases. Instance-level schema matching algorithms identify likely correspondences between attributes by quantifying the similarity of their corresponding values. However, exact calculation of these similarities requires processing of all database records - which is infeasible for data streams. We devise a fast matching algorithm that uses only a small sample of records, and is yet guaranteed to find a matching that is a close approximation of the matching that would be obtained if the entire stream were processed. The method can be applied to any given (combination of) similarity metrics that can be estimated from a sample with bounded error; we apply the algorithm to several metrics. We give a rigorous proof of the method's correctness and report on experiments using large databases.
Deciding kCFA is complete for EXPTIME
Authors: David Van Horn, Harry G. Mairson
Venue: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008)

We give an exact characterization of the computational complexity of the kCFA hierarchy. For any k > 0, we prove that the control flow decision problem is complete for deterministic exponential time. This theorem validates empirical observations that such control flow analysis is intractable. It also provides more general insight into the complexity of abstract interpretation.
The neural controller for speed control of an indirect field oriented AC motor drive
Authors: Eleonora Darie, Emanuel Darie
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

This work analyzes the hysteresis PI neural controller for speed control of an indirect rotor flux oriented controlled (IRFOC) induction motor drive. This controller generates appropriate stator current distortion in order to obtain high performance induction motor speed control. The PI controller provides better dynamic performances than the classical PI controller but it has one drawback. The hysteresis PI controller cannot deal with down step speed tracking below a certain limit. The artificial neural network generalization capacity is then used to deal with this drawback. The simulated input-output non linear relationship of the controller during startup and load disturbance rejection is learned off-line using a feed-forward linear network with one hidden layer.
System for measuring and collecting data: results of measuring on combined system
Authors: Mastny Petr, Machacek Jan
Venue: Proceedings of the 10th WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering (2008)

Research on the Department of Electrical Power Engineering FEEC, Brno University of Technology is among other things focused on the utilization of alternative power sources. The present situation within the field of power engineering positively encourages the research development of alternative power sources. Great attention is paid to incresing the efficiency and effectivity of power system operation. The paper presents results of the research in the field of alternative power sources utilization. It mainly points the possibilities of increasing the efficiency of alternative power sources operation by its mutual cooperation. Aspects of the cooperation are evaluated mainly from the energy point of view but the economic parameters of these systems are pointed as well. The paper also presents results of long-term measuring on active solar system connected into one unit together with a heat pump- the system has been installed in the university laboratories. The parameters of the measuring system that has been installed in the laboratories of the Department of Power Engineering are described as well. The research prooved that new approach to the cooperation of heat pump and solar system working in common power unit results in higher heating factor of a heat pump and high efficiency of a solar system which finally decreases prime energy demand. The conclusions presented in this paper started up thanks to the Grant Agency of the Czech Republic and the Ministry of Education of the Czech Republic.
Cryptanalysis of the Sidelnikov Cryptosystem
Authors: Lorenz Minder, Amin Shokrollahi
Venue: Proceedings of the 26th annual international conference on Advances in Cryptology (2007)

We present a structural attack against the Sidelnikov cryptosystem [8]. The attack creates a private key from a given public key. Its running time is subexponential and is effective if the parameters of the Reed-Muller code allow for efficient sampling of minimum weight codewords. For example, the length 2048, 3rd-order Reed-Muller code as proposed in [8] takes roughly an hour to break on a stock PC using the presented method.
A Framework for Information Retrieval Based on Fuzzy Relations and Multiple Ontologies
Authors: Maria Angelica Leite, Ivan L. Ricarte
Venue: Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence (2008)

The use of knowledge in the information retrieval process allows the return of documents semantically related to the initial user's query. This knowledge can be encoded in a knowledge base to be used in information retrieval systems. The framework for information retrieval based on fuzzy relations and multiple ontologies is a proposal to retrieve information using a knowledge base composed of multiple related ontologies whose relationships are expressed as fuzzy relations. Using this knowledge organization a new method to expand the user query is proposed. The framework provides a way that each ontology can be represented independently as well as their relationships. The proposed framework performance is compared with another fuzzy-based approach for information retrieval. Also the query expansion method is tested with the Apache Lucene search engine. In both cases the proposed framework improves the obtained results.
A fuzzy logic system for performance tuning of novell netware
Authors: Khalil Shihab
Venue: Proceedings of the 9th WSEAS International Conference on Fuzzy Systems (2008)

Information technology professionals and administrators are required to cut cost, protect current investments, and meet immediate performance demands without service interruption. Achieving these requirements within tight budgetary constraints, they have to consider the task of how to configure and tune their computer systems. Although the process and treatments can be applied with a little modification to other systems, in this work we developed a fuzzy logic system (FLS) for performance tuning of NetWare OES 2 and NetWare 6.5. Therefore, we consider the following key components: • Network operating system (NOS) • Hardware components - disk, network, memory, processor, and bus interface
Comparing Notions of Computational Entropy
Authors: Alexandre Pinto
Venue: Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World (2007)

In the information theoretic world, entropy is both the measure of randomness in a source and a lower bound for the compression achievable for that source by any encoding scheme. But when we must restrict ourselves to efficient schemes, entropy no longer captures these notions well. For example, there are distributions with very low entropy that nonetheless look random for polynomial-bound algorithms.Different notions of computational entropy have been proposed to take the role of entropy in such settings. Results in [GS91] and [Wee04]) suggest that when time bounds are introduced, the entropy of a distribution no longer coincides with the most effective compression for that source.This paper analyses three measures that try to capture the compressibility of a source, establishing relations and separations between them and analysing the two special cases of the uniform and the universal distribution m t over binary strings of a fixed size. It is shown that for the uniform distribution the three measures are equivalent and that for m t there is a clear separation between metric type entropy, and thus pseudo-entropy, and the maximum compressibility of a source.
An ε-uniform convergent method for a general boundary-value problem for singularly perturbed differential-difference equations: Small shifts of mixed type with layer behavior
Authors: M. K. Kadalbajoo, K. K. Sharma
Venue: Journal of Computational Methods in Sciences and Engineering (2006)

In this paper, we continue the study of singularly perturbed differential-difference equations with small shifts, which is motivated by the problem of determination of the expected time for generation of action potentials in nerve cells by random synaptic inputs in the dendrites [1]. We consider a more general boundary-value problem which contains both convection and reaction terms with both type of shifts (negative as well as positive) than the problem discussed in paper [2,7]. We consider the case when the solution of such type of boundary-value problem exhibits boundary layer behavior. An ε-uniform convergent scheme based on fitting operator is derived for boundary value problems for singularly perturbed differential-difference equations with small shifts. We introduce an exponential fitting parameter to the standard finite difference scheme which reflects the singularly perturbed nature of differential operator. The method is analyzed for convergence. Several numerical experiments are carried in support of theoretical results and to show the effect of small shifts on the boundary layer solution.
A New Signature-Based Indexing Scheme for Trajectories of Moving Objects on Spatial Networks
Authors: Jaewoo Chang, Jungho Um, Youngjin Kim
Venue: Proceedings of the 8th international conference on Computational Science, Part I (2008)

Because moving objects usually move on spatial networks, their trajectories play an important role in indexing them for spatial network databases. In this paper, we propose a new signature-based indexing scheme for moving objects' trajectories on spatial networks. For this, we design it so that we can efficiently deal with the trajectories of current moving objects as well as for maintaining those of past moving objects. In addition, we provide both an insertion algorithm to store the segment information of moving objects' trajectories and a retrieval algorithm to find a set of moving objects whose trajectories match with a query trajectory. Finally, we show that our indexing scheme achieves much better performance on trajectory retrieval than the leading trajectory indexing schemes, such as TB-tree and FNR-tree.
Developing a measuring scale for students' mobile learning of health technology literacy in technological colleges
Authors: Chin-Mou Cheng
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

This study intended to develop a scale to examine the current situation of students' literacy about health technology, testing a model for students' health in technological colleges to construct the contents of health technology literacy by using several theories. To achieve this goal, the following methods were applied: literature review, Delphi survey, professional interview and sampling questionnaire survey. Through the structure equation modeling (SEM) with two-order confirmatory factor analysis, validity and reliability analysis, the model was tested with good fit, and the contents were certainly a second-order factor of health technology literacy, including first-order factors, that is, cognition, innovation propensity, health belief and knowledge sharing. And then, by using a survey method with cluster and stratified random sampling from 16 technological colleges in Taiwan, 3, 600 questionnaires were sent out, and 3, 012 effective questionnaires were returned; the survey reached 83.67% of return-ratio. The results indicated that the students' literacy content of health technology consisted of cognition, innovation propensity, belief and knowledge sharing, according to the theories of planning behavior, social cognition, innovative diffusion, technology acceptance and health belief. The model of students' literacy contents of health technology was tested with good fit via the structural equation modeling (SEM), and it revealed, via SEM test, that a scale could be developed with high validity and reliability to examine the current situation of students' literacy about health technology. Finally, conclusions and suggestions were advanced as references for the curriculum teaching and research in universities and industries in order to benefit the teachers and practitioners in mobile learning.
Query-Based Summarization of Customer Reviews
Authors: Olga Feiguina, Guy Lapalme
Venue: Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence (2007)

We describe an architecture for organizing and summarizing consumer reviews about products that have been posted on specialized web sites. The core technology is based on the automatic extraction of product features for which we report experiments on two types of corpora. We thus show that NLP techniques can be fruitfully used in this context for helping consumers sort out the mass of information displayed in such contexts.
Real-time NIR monitoring of a pharmaceutical blending process through multivariate analysis-derived models
Authors: Pierre-Philippe Lapointe-Garant, Jean-Sébastien Simard, Nicolas Abatzoglou
Venue: Proceedings of the 1st WSEAS International Conference on Multivariate Analysis and its Application in Science and Engineering (2008)

Process analytical technology guidance by the US Food & Drug Administration lately became the major driver of pharmaceutical process optimization. The majority of these processes are complex and consequently multivariate. Although new insights have improved knowledge of the phenomena taking place, it is not usually possible to develop deterministic modeling. Processes involving powder handling, such as multi-component pharmaceutical formulation blending, are common and the real-time monitoring of their physico-chemical attributes is challenging. In this work, we propose multivariate analysis of a V-blender mixing unit operation with an in-line near-infra red (NIR) measurement technique. The NIR measurement system used in this study consists of a micro-electro-mechanical system (MEMS)-based spectrometer connected to an IP-65-encased optical measuring head (sampling probe) through a 1-meter length umbilical wire cord. It deploys diffuse reflectance sampling technology, providing 40-mm spot size with a spectral range of 1,350 to 1,800 nm. The methodology includes the following steps: (1) modification of a nominal 1-ft3 (30-L) V-blender unit to accommodate Axsun's NIR spectroscopy system; (2) 3 experimental runs, each with a different mixing time, while monitoring powder homogeneity with NIR spectroscopy; (3) acquisition of 10 powder samples after each run from pre-determined locations in the V-blender, evaluated with current Quality Assurance (QA)/Quality Control (QC) lab methods, to determine reference mixing endpoints; and (4) NIR data analysis by SIMPA-P+ and GRAMS chemometrics software and comparison with reference mixing time. Two qualitative algorithms (analysis of spectral variance, distance analysis with Hotelling T2) for real-time homogeneity determination are developed, and their efficiency evaluated. The size of the acquired information is not comparable to classical "thief analysis", and the result (prediction of the mixing endpoint) with the recommended methods proved to be equally or more efficient than with actually-employed quality control protocols. In addition, this information can be obtained in real-time using chemometric models. The time savings are important when compared to classical laboratory analysis (such as high pressure liquid chromatography analysis). It is expected that any one of the presented NIR analyses can be beneficial on many aspects of pharmaceutical blending, such as: (1) Real-time quality monitoring of current manufacturing batches; (b) Improved process efficiency and performance by selecting adequate process parameters and blending time; (3) Quality by design initiatives during the development of blending processes for new formulas.
A defect-driven process for software quality improvement
Authors: Brian Robinson, Patrick Francis, Fredrik Ekdahl
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Software quality improvement initiatives are frequently attempted inside major software development companies. These initiatives often face difficulty motivating managers and developers. Yet the success of these improvement initiatives is directly related to receiving support from them. A defect-driven improvement process is proposed, aiming to improve the adoption of techniques by these key groups. The process is based on using defect data to identify issues in the current development process. ABB has used this process to focus and motivate change in three major development organizations around the world. Results show that this process yields measurable improvements in organizations that have been reluctant to change in the past.
Grammar-Based Argument Construction
Authors: Jörn Sprado, Björn Gottfried
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I (2008)

The science of history motivates the investigation on how arguments are constructed, which are later to be used in argumentation frameworks. This is difficult as much arguments in history are frequently built upon sources which are mutually inconsistent. In this paper it is shown how formal grammars can be employed in order to construct arguments. Thereby, it is investigated how the interplay of expressiveness and parsing effciency motivates in particular to use mildly context sensitive grammars. These systems are more expressive than context free grammars, but can still be parsed within polynomial time.
Multicast Overlay Spanning Tree Protocol for Ad Hoc Networks
Authors: Georgios Rodolakis, Amina Meraihi Naimi, Anis Laouiti
Venue: Proceedings of the 5th international conference on Wired/Wireless Internet Communications (2007)

In this paper we present an extension to the OLSR unicast routing protocol to support multicast routing in mobile ad hoc networks. The proposed protocol is based on Multicast Overlay Spanning Trees (MOST). The main benefits of this approach are twofold. Firstly, it implies that only nodes interested in taking part in the multicast communication need to participate in the protocol operation, which is transparent to other OLSR nodes. In addition, the MOST approach scaling properties achieve the theoretical performance bounds concerning the capacity of multicast communication in massive ad hoc networks. We perform simulations of the MOST protocol under the ns-2 simulator to compare with the theoretical results, and we present a fully working implementation for real network environments.
Measuring conceptual understanding: a case study
Authors: Steven Rigby, Melissa J. Dark, J. Ekstrom, Marcus Rogers
Venue: Proceedings of the 9th ACM SIGITE conference on Information technology education (2008)

IT Educators are challenged with the task of providing learning experiences that helps learners build abstract mental models of IT concepts to help solve the complex, ill-defined problems they will face. But of the many instructional strategies discussed in the literature how can we tell which methods are better for the different types of IT knowledge presented. Can we assess how well different instructional strategies affect student's conceptual understanding of IT concepts? This descriptive study examined one possible way of measuring conceptual understanding of a specific learning activity called Model Eliciting Activates (MEAs).