ppxscal/embedding_network huggingface dataset:
Evaluation of two integer ambiguity resolution methods for real time GPS positioning
Authors: Leandro Baroni, Hélio Koiti Kuga
Venue: WSEAS TRANSACTIONS on SYSTEMS (2009)

The Global Positioning System (GPS) is a satellite-based navigation system which allows the user to determine position and time with high precision. However, phase measurements has an inherent difficulty, which is the ambiguity determination in number of signal wavelengths. Once ambiguities are resolved to an integer value, positioning can reach sub-meter level in accuracy. Sub-meter positioning accuracy is required in many applications, such as aircraft navigation and landing, attitude and orbit determination of satellites, navigating agricultural vehicles, among others applications. The purpose of this work is to evaluate performance of LSAST and LAMBDA methods for real time integer ambiguity resolution in situations of static and kinematic positioning. Position coordinates of a GPS receiver ("user") are estimated using data of another receiver placed on a landmark with known coordinates ("base"), using phase double difference positioning technique, and an iterated least-squares as float solution estimator. Positioning errors are shown with half meter level for static and less than meter level for kinematic positioning.
Infrastructure mediated sensing
Authors: Gregory D. Abowd
Venue:  (2008)

Ubiquitous computing application developers have limited options for a practical activity and location sensing technology that is easy-to-deploy and cost-effective. In this dissertation, I have developed a class of activity monitoring systems called infrastructure mediated sensing (IMS), which provides a whole-house solution for sensing activity and the location of people and objects. Infrastructure mediated sensing leverages existing home infrastructure (e.g., electrical systems, air conditioning systems, etc.) to mediate the transduction of events. In these systems, infrastructure activity is used as a proxy for a human activity involving the infrastructure. A primary goal of this type of system is to reduce economic, aesthetic, installation, and maintenance barriers to adoption by reducing the cost and complexity of deploying and maintaining the activity sensing hardware. I discuss the design, development, and applications of various IMS-based activity and location sensing technologies that leverage the following existing infrastructures: wireless Bluetooth signals, power lines, and central heating, ventilation, and air conditioning (HVAC) systems. In addition, I show how these technologies facilitate automatic and unobtrusive sensing and data collection for researchers or application developers interested in conducting large-scale in-situ location-based studies in the home.
CFD analysis of solar hot water heater with integrated storage system
Authors: M. Yahya, K. Sopian, M. Syahri, S. Abdullah, M. A. Alghoul, A. Zaharim
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

This paper outlines a research project about fluid flow and computational investigations of flow patterns in a solar water store. Investigations have shown the flow patterns in solar water stores strongly influences the hot spot position of solar heating system. Mixing caused by water entering the solar water store will destroy stratification. For increasing the system tilted at 10° from the horizontal plane the thermal performance increasing. In order to describe the fluid flow behaviour of the water inside the solar water store, a finite element based on model was generated for the system and was simulated using the FEMLAB programmed. The goal of the project is to gather knowledge about flow phenomena occurring in solar hot water stores with different tilted and time. The result of the simulation could be used as guidance to locate the suitable position of appropriate components such as helical coils as well as the size of the solar hot water heater system to be built.
Some Foundational Linguistic Elements for QA Systems: an Application to E-government Services
Authors: Farida Aouladomar
Venue: Proceeding of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference (2005)

Time saving and time flexibility of eGovernment procedures is more attractive than face-to-face services to citizens. Citizens may interact with government via emails, search administrative information via eGovernment portals, or even via large-public search engines. Procedural question-answering systems are of much interest to query legislation, court decisions, guidelines, procedures, etc. In this paper, we present a typology of how-questions asked on the web. Then, we explore facets of procedural texts : their typology and general prototypical structures. We finally present our strategy for answering procedural questions using the notion of questionability of a procedural text.
Architecture of Parallel Spatial Data Warehouse: Balancing Algorithm and Resumption of Data Extraction
Authors: Marcin Gorawski
Venue: Proceeding of the 2005 conference on Software Engineering: Evolution and Emerging Technologies (2005)

In this paper we present a Parallel Spatial Data Warehouse (PSDW) system that we use for aggregation and analysis of huge amounts of spatial data. The data is generated by utilities meters communicating via radio. The PSDW system is based on a data model called the cascaded star model. In order to provide satisfactory interactivity for PSDW system, we used parallel computing supported by a special indexing structure called an aggregation tree. The balancing of a PSDW system workload is very essential to ensure the minimal response time of tasks submitted to process. We have implemented two data partitioning schemes which use Hilbert and Peano curves for space ordering. The presented balancing algorithm iteratively calculates optimal size of partitions, which are loaded into each node, by executing a series of aggregations on a test data set. We provide a collection of system tests results and its analysis that confirm the possibility of a balancing algorithm realization in proposed way. During ETL process (Extraction, Transformation and Loading) large amounts of data are transformed and loaded to PSDW. ETL processes are sometimes interrupted by occurrence of a failure. In such a case, one of the interrupted extraction resumption algorithms is usually used. In this paper we analyze the influence of the data balancing used in PSDW on the extraction and resumption processes efficiency.
Influence of the heat treatment and the ultrasonic waves attenuation at the 34MoCrNi14 steel
Authors: Mihai Demian, Gabriela Demian, Luminita Grecu, Valentin Grecu
Venue: Proceedings of the 10th WSEAS international conference on Acoustics & music: theory & applications (2009)

The paper present studies on the 34 MocrNi14steel. The steel suffer a heat treatment and it is measurement the effect of the treatment. It is analyzed the hardness, the strength ultrasonic attenuation versus heat treatment temperature. Using mathematical apparatus it is determine for the steel 34 MoCrNi14 the equation for a surface dependence between ultrasonic wave attenuation, heat treatment temperature and hardness.
On the Construction of Ontologies based on Natural Language Semantic
Authors: Terje Aaberge
Venue: Proceeding of the 2008 conference on Information Modelling and Knowledge Bases XIX (2008)

Ontologies based on natural language semantic are supposed to represent the mental models that speakers of a language possess of domains. They are thus commonly understood and may serve as a efficient means for communication between humans and computers. A menu based on a taxonomy extracted from such an ontology may therefore serve as interface for a web site communicating information about the corresponding domain. To determine an ontological representation of a mental model one must consider not only the meaning of isolated words, but also how they enter into true sentences and valid inferences. In this paper a method is presented that consists in identifying true sentences and using valid inferences to construct taxonomies for categorisation hierarchies. The method is discussed and then applied to the construction of a taxonomy for the domain of tasks provided by the Norwegian municipalities.
Can Evolution Strategies Improve Learning Guidance in XCS? Design and Comparison with Genetic Algorithms based XCS
Authors: Sergio Morales-Ortigosa, Albert Orriols-Puig, Ester Bernadó-Mansilla
Venue: Proceeding of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence (2008)

XCS is a complex machine learning technique that combines credit apportionment techniques for rule evaluation with genetic algorithms for rule discovery to evolve a distributed set of sub-solutions online. Recent research on XCS has mainly focused on achieving a better understanding of the reinforcement component, yielding several improvements to the architecture. Nonetheless, studies on the rule discovery component of the system are scarce. In this paper, we experimentally study the discovery component of XCS, which is guided by a steady-state genetic algorithm. We design a new procedure based on evolution strategies and adapt it to the system. Then, we compare in detail XCS with both genetic algorithms and evolution strategies on a large collection of real-life problems, analyzing in detail the interaction of the different genetic operators and their contribution in the search for better rules. The overall analysis shows the competitiveness of the new XCS based on evolution strategies and increases our understanding of the behavior of the different genetic operators in XCS.
Ensuring the Integrity of Embedded Software with Static Code Analysis
Authors: Ben Chelf, Christof Ebert
Venue: IEEE Software (2009)

With embedded software becoming increasingly pervasive and critical to our society, developers must ensure that their software code performs as intended and doesn't fail. Static code analysis is key in controlling code quality even before unit testing. It doesn't replace other verification and validation steps but helps remove certain defect types that otherwise wouldn't be found. This article provides an overview on static code analysis and insight on how to best use it.
Arc-disjoint in-trees in directed graphs
Authors: Naoyuki Kamiyama, Naoki Katoh, Atsushi Takizawa
Venue: Combinatorica (2009)

Given a directed graph D = (V,A) with a set of d specified vertices S = {s 1,&#x2026;, s d } &#x2286; V and a function f: S &#x2192; &#x2115; where &#x2115; denotes the set of natural numbers, we present a necessary and sufficient condition such that there exist &#x03a3; i=1 d f(s i ) arc-disjoint in-trees denoted by T i,1,T i,2,&#x2026;, $$T_{i,f(s_0 )}$$ for every i = 1,&#x2026;,d such that T i,1,&#x2026;, $$T_{i,f(s_0 )}$$ are rooted at s i and each T i,j spans the vertices from which s i is reachable. This generalizes the result of Edmonds [2], i.e., the necessary and sufficient condition that for a directed graph D=(V,A) with a specified vertex s&#x2208;V, there are k arc-disjoint in-trees rooted at s each of which spans V. Furthermore, we extend another characterization of packing in-trees of Edmonds [1] to the one in our case.
Linear Kernel for Planar Connected Dominating Set
Authors: Daniel Lokshtanov, Matthias Mnich, Saket Saurabh
Venue: Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (2009)

We provide polynomial time data reduction rules for Connected Dominating Set in planar graphs and analyze these to obtain a linear kernel for the planar Connected Dominating Set problem. To obtain the desired kernel we introduce a method that we call reduce or refine. Our kernelization algorithm analyzes the input graph and either finds an appropriate reduction rule that can be applied, or zooms in on a region of the graph which is more amenable to reduction. We find this method of independent interest and believe that it will be useful to obtain linear kernels for other problems on planar graphs.
Towards Achieving Personalized Privacy for Location-Based Services
Authors: Nayot Poolsappasit, Indrakshi Ray
Venue: Transactions on Data Privacy (2009)

With the growth of wireless and mobile technologies, we are witnessing an increase in location-based services (LBSs). Although LBSs provide enhanced functionalities, they open up new vulnerabilities that can be exploited to cause security and privacy breaches. Consequently, location data of individuals used by such services must be adequately protected. Such services will require new models for expressing privacy preferences for location data and mechanisms for enforcing them. We identify the factors on which location privacy depends and propose models for expressing privacy that can be used by LBSs. We discuss the architecture of a system that allows one to specify and enforce location privacy and that can be easily integrated with existing systems providing LBSs. We demonstrate the feasibility of our approach by developing a prototype.
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices
Authors: Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Context aware computing is a computational paradigm that has faced a rapid growth in the last few years, especially in the field of mobile devices. One of the promises of context-awareness in this field is the possibility of automatically adapting the functioning mode of mobile devices to the environment and the current situation the user is in, with the aim of improving both their efficiency (using the scarce resources in a more efficient way) and effectiveness (providing better services to the user). We propose a novel approach for providing a basic infrastructure for context-aware applications on mobile devices, in which AI techniques (namely a principled combination of rule-based systems, Bayesian networks, and ontologies) are applied to context inference. The aim is to devise a general inferential framework to easier the development of context-aware applications by integrating the information coming from physical and logical sensors (e.g., position, agenda) and reasoning about this information in order to infer new and more abstract contexts. In previous contextaware applications, most researches focused almost exclusively on time and/or location and other few data, while the same contexts inference was limited to preconceived values. Our approach differs from previous works since we do not focus on particular contextual values, but rather we have developed an architecture where managed contexts can be easily replaced by new contexts, depending on the different needs. Moreover, the inferential infrastructure we designed is able to work in a more general way and can be easily adapted to different models of applications distribution. We show some concrete examples of applications built upon the inferential infrastructure and we discuss its strengths and limitations.
Comparing universes and existential ownership types
Authors: Nicholas Cameron, Werner Dietl
Venue: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (2009)

Ownership types and Universe types are two type systems used to structure the heap and enforce encapsulation disciplines. The parametricity of ownership types allows a finergrained description of heap topologies, whereas the flexibility of any references in Universe types allows sharing between data structures. No direct encoding of one type system in the other has been possible. Parametric ownership has recently been extended with existential quantification of contexts. We formalise such a language and give a formal translation between programs written in this language and using Universe types. We show that this translation is sound and complete.
Plenary lecture 1: identification of non-linear systems using neural networks, with application at fuzzy systems
Authors: Constantin Volosencu
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

The paper present a short review of the ways of using artificial neural networks with continuous values for non-linear identification, with application at the fuzzy systems. Feedforward neural networks with continuous values may be seen as general approximation functions. Using adequate training methods and according Kolmogorov's theorem, we may approximate any kind of multivariable non-linear functions. Fuzzy systems, developed based on different membership functions, inference methods, rule bases and defuzzification methods are non-linear systems. The paper presents some study cases of using feedforward neural networks with hidden layer and neurons with continuous values to approximate fuzzy systems with two input and one output variables. Some quality criteria for the training of the neural networks are introduced. Based on usage of different training methods, training parameter of neural networks a comparison is presented, emphasising the quality of training.
Towards knowledge needs-technology fit model for knowledge management systems
Authors: Peter Baloh, Kevin C Desouza
Venue: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology (2009)

The goal of this paper is threefold. The first goal is to provide an illustrative example of design science research. Readers will benefit from seeing how design science research guidelines, as proposed by Hevner et al. (2004), can be rigorously followed in a practically relevant study. The second goal is to describe the novel artifact constructed during the research project: a knowledge management system design model. The third goal is to provide a methodological contribution to the design science community. The paper calls for adding an exploratory step in the build phase when designing a new artifact.
Proceedings of the 1st ACM workshop on Large-Scale system and application performance
Venue: High Performance Distributed Computing (2009)

It is our great pleasure to welcome you to the first Workshop on Large-scale System and Application Performance -- LSAP2009. We have initiated this workshop as we think it addresses a very important and timely subject. Over the last decade, computer systems and applications in everyday use have grown to unprecedented scales. Large clusters serving millions of search requests per day, grids executing large workflows and parameter sweeps consisting of thousands of jobs, and supercomputers running complex e-science applications, have now hundreds of thousands of processing cores. In addition, clouds are quickly emerging as a large-scale computing infrastructure. Peer-to-peer systems and centralized video distribution systems that dominate the internet and complicated internet applications such as massive multiplayer online games are used by millions of people every day. In view of this tremendous growth, understanding the performance of large-scale computer systems and applications has become vital to institutional, commercial, and private interests. This workshop intends to be a venue for papers on performance evaluation methods, tools, and studies focusing on the challenges of large scale, such as decentralization, predictable performance, reliability, and scalability. It aims to bring together system designers and researchers involved with the modeling and performance evaluation of large-scale systems and applications. The call for papers of the workshop attracted 7 submissions, out of which the program committee accepted 4 papers that cover a variety of topics, ranging from modular data centers and grid meta-brokers to the MapReduce programming model and peer-to-peer systems. In addition, the workshop program features a keynote presentation by Douglas Thain of the University of Notre Dame, USA, on scaling up data-intensive scientific applications.
Platform Module Design for Variety and Cost of Product Family
Authors: Tsuyoshi Koga, Kazuhiro Aoyama, Toshiaki Namba
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

This paper proposes a design method of platform module for variety and cost of product family. A graph-based and computational model of product family, products and platform module is proposed. Based on the product family model, variety generation process is formalized as a design problem of parts and interface unification. The platform module design is represented as a module design that commonly used in all products in the product family. Decision making system for the platform module design is developed that can compare the value of product family, variety of products, cost reduction effect of platform modules and cost for design change. The proposed design method addresses: (1) how to formalize the product family and platform modules in the computational way; (2) how to evaluate the difficulty of design change, merit and cost of platform module and the variety of lineup; and (3) how to design the platform module that reflects a product family strategy.
Does Context Matter ? - A Quantitative Evaluation in a Real World Maintenance Scenario
Authors: Kai Kunze, Florian Wagner, Ersun Kartal, Ernesto Morales Kluge, Paul Lukowicz
Venue: Proceedings of the 7th International Conference on Pervasive Computing (2009)

We describe a systematic, quantitative study of the benefits using context recognition (specifically task tracking) for a wearable maintenance assistance system. A key objective of the work is to do the evaluation in an environment that is as close as possible to a real world setting. To this end, we use actual maintenance tasks on a complex piece of machinery at an industrial site. Subjects for our study are active Zeiss technicians who have an average of 10 years job experience.In a within subject Wizard of Oz study with the interaction modality as the independent variable we compare three interaction modalities: (1) paper based documentation (2) speech controlled head mounted display (HMD) documentation, and context assisted HMD documentation. The study shows that the paper documentation is 50% and the speech only controlled system 30% slower then context. The statistical significance of 99% and 95% respectively (one sided ANOVA test). We also present results of two questionnaires (custom design and standard NASA TLX) that show a clear majority of subjects considered context to be beneficial in one way or the other. At the same time, the questionnaires reveal a certain level of uneasiness with the new modality.