ppxscal/embedding_network huggingface dataset:
Unavoidable Sets of Partial Words
Authors: F. Blanchet-Sadri, N. C. Brownstein, Andy Kalcic, Justin Palumbo, T. Weyand
Venue: Theory of Computing Systems (2009)

The notion of an unavoidable set of words appears frequently in the fields of mathematics and theoretical computer science, in particular with its connection to the study of combinatorics on words. The theory of unavoidable sets has seen extensive study over the past twenty years. In this paper we extend the definition of unavoidable sets of words to unavoidable sets of partial words. Partial words, or finite sequences that may contain a number of &#x201c;do not know&#x201d; symbols or &#x201c;holes,&#x201d; appear naturally in several areas of current interest such as molecular biology, data communication, and DNA computing. We demonstrate the utility of the notion of unavoidability of sets of partial words by making use of it to identify several new classes of unavoidable sets of full words. Along the way we begin work on classifying the unavoidable sets of partial words of small cardinality. We pose a conjecture, and show that affirmative proof of this conjecture gives a sufficient condition for classifying all the unavoidable sets of partial words of size two. We give a result which makes the conjecture easy to verify for a significant number of cases. We characterize many forms of unavoidable sets of partial words of size three over a binary alphabet, and completely characterize such sets over a ternary alphabet. Finally, we extend our results to unavoidable sets of partial words of size k over a k-letter alphabet.
Methodology for assessment and optimization of induction electric motors aiming energy conservation, aided by computer simulation
Authors: Mário Cesar E. S. Ramos, Hédio Tatizawa, Geraldo F. Burani, Mário Cesar G. Ramos
Venue: WSEAS TRANSACTIONS on SYSTEMS (2009)

This paper shows a methodology for assessment and optimization of induction electric motors aiming energy conservation, through substitution of older electric motors by high-efficiency ones, including motor resizing, aided by computer simulation. Energy Diagnosis aims to provide the client with a decrease in electric energy costs, not only a decrease in demand, but as well as a decrease in consumption. This study and its application were carried out through the Electric Energy Efficiency Program promoted by the Brazilian Electric Energy Agency. These programs, which can be financed by the utilities, arouse the interest for the implementation of energy efficiency projects. Once the electric motor is an equipment of final use strongly present at industry, it is subject to new substitution, bringing satisfactory results when the diagnosis is carried out in a consistent way and following coherent procedures for its validation. The methodology adopted for the substitution of these motors included an initial study, by means of measurements of electrical parameters, through the use of a power quality analyzer. Afterwards, by using a particular simulation software, the operating conditions of the electric motor and the expected economy obtained by the use of high-efficiency motors were estimated. When necessary, the motor resizing analysis provides the best rated power for the drive. The motor substitutions carried out in this motor drives efficiency improvement program resulted in yearly savings of 3.1 GWh, equivalent to 4.52% of the previously required energy.
Geo-fencing: Confining Wi-Fi Coverage to Physical Boundaries
Authors: Anmol Sheth, Srinivasan Seshan, David Wetherall
Venue: Proceedings of the 7th International Conference on Pervasive Computing (2009)

We present a means of containing Wi-Fi coverage to physical boundaries that are meaningful to users. We call it geo-fencing. Our approach is based on directional antennas, and our motivation is to provide wireless access and privacy models that are a natural fit with user expectations. To evaluate geo-fencing, we use measurements from an indoor testbed of Wi-Fi nodes and APs with electronically-steerable directional antennas. We find that by combining directionality, power control and coding across multiple APs, we are able to successfully confine Wi-Fi coverage to clients located within target regions of varying shapes and sizes; we can select between nodes located as close as five feet from each other.
Experimental evidence of suppression on oxygen vacancy formation in Hf based high-κ gate dielectrics with La incorporation
Authors: Chun-Chang Lu, Kuei-Shu Chang-Liao, Yu-Fen Cheng, Tien-Ko Wang
Venue: Microelectronic Engineering (2009)

Experimental evidence of suppression on oxygen vacancy formation in Hf based high-@k gate dielectrics with La incorporation is provided by using modified charge-pumping (CP) techniques. The original distribution of interface traps and bulk traps of pure HfO"2 and HfO"2/LaOx dielectric stack are extracted and compared by CP techniques. It is found that devices with HfO"2/LaOx dielectric stack have higher interface trap but lower bulk trap density than those with pure HfO"2. Especially, device with HfO"2/LaOx dielectric stack is highly resistant to constant voltage stress, which can be attributed to the suppression on oxygen vacancy formation in Hf based high-@k gate dielectrics with La incorporation.
An argumentation-based framework for designing dialogue strategies
Authors: Leila Amgoud, Nabil Hameurlain
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

A dialogue strategy is the set of rules followed by an agent when choosing a move (act + content) during a dialogue. This paper argues that a strategy is decision problem in which an agent selects i) among the acts allowed by the protocol the best option that, according to some strategic beliefs of the agent will at least satisfy the most important strategic goals of the agent, and ii) among different alternatives (eg. different offers), the best one that according to some basic beliefs of the agent, will satisfy the functional goals of the agent. The paper proposes a formal framework based on argumentation for computing the best move to play at a given step of the dialogue.
Background Knowledge Enriched Data Mining for Interactome Analysis
Authors: Mikhail Jiline
Venue: Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence (2009)

In recent years amount of new information generated by biological experiments keeps growing. High-throughput techniques have been developed and now are widely used to screen biological systems at genome wide level. Extracting structured knowledge from amounts of experimental information is a major challenge to bioinformatics. In this work we propose a novel approach to analyze protein interactome data. The main goal of our research is to provide a biologically meaningful explanation for the phenomena captured by high-throughput screens. We propose to reformulate several interactome analysis problems as classification problems. Consequently, we develop a transparent classification model which while perhaps sacrificing some accuracy, minimizes the amount of routine, trivial and inconsequential reasoning that must be done by a human expert. The key to designing a transparent classification model that can be easily understood by a human expert is the use of the Inductive Logic Programming approach coupled with significant involvement of background knowledge into the classification process. 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
Automatic discovery of synonyms and lexicalizations from the Web
Authors: David Sánchez, Antonio Moreno
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

The search of Web resources is a very important topic due to the huge amount of valuable information available in the WWW. Standard search engines can be a great help but they are often based only on the presence or absence of keywords. Thus problems regarding semantic ambiguity appear. In order to solve one of them, we propose a new method for discovering lexicalizations and synonyms of search queries based on a previously obtained taxonomy of terms for the specified domain.
Linkage of learning by developing and virtual learning case: network design specialisation studies
Authors: Jyri Rajamäki, Rauno Pirinen
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Specialisation studies are an efficient and flexible way of completing and updating professional knowledge, since the multi form way of learning also suits the timetables of those who work simultaneously. In this constructive study, a new adult education innovation 'Network Design Specialisation Studies' is executed and evaluated. The theoretical background consists on Learning by Developing (LbD), expansive virtual learning and virtual empowerment, and adult learning. Laurea University of Applied Sciences' strategy is to integrate its three statutory tasks; education, research and development, and regional development by utilizing its LbD model. Laurea's Network Design Specialisation Studies splice virtual learning and LbD. Virtual learning includes virtual lessons, exercises and examinations, but its main part is a virtual laboratory with a virtual laboratory engineer. Laurea's new virtual learning environment has a remarkable role of developing the competences of each individual leaner, while the LbD concept steers the entireness of specialisation studies. This study shows that LbD and virtual learning support each other. Utilizing Web 2.0 technologies in the future, Laurea's innovative learning environments could be a part of global expert communities leading to the materialization of the virtual empowerment, which will influence the development of the future society during the next decade.
Fuzzy techniques and internal models for sensors
Authors: Valentina E. Balas
Venue: Proceedings of the 10th WSEAS international conference on Fuzzy systems (2009)

The paper proposes a new architecture for a sensor with data fusion and internal model estimators. Fuzzy logic is used as an effective tool for data processing. The fusion process of information conducts to the improvement of the measurements accuracy. We focused our attention on industrial systems, implemented with such sensors and we discussed on limits and perspective of these techniques.
Equalization of energy consumption at cluster head for prolonging lifetime in cluster-based wireless sensor networks
Authors: Yung-Fa Huang, Neng-Chung Wang, Chin-Ling Chen, Jong-Shin Chen, Zong-Min Guo
Venue: WSEAS TRANSACTIONS on COMMUNICATIONS (2009)

In cluster-based wireless sensor networks (WSN), the most of energy is consumed in cluster head which performs data aggregations and relaying. The lifetime in cluster-based WSN is subjected by the lifetime of cluster heads. Therefore, in this paper, we equalize the energy consumption of the cluster heads to prolong the lifetime of WSN. After equalization, we obtain the length of sides of cluster area. Numerical results show that the length of far site cluster is shorter than the nearest cluster to perform equalization for all three routing schemes. Moreover, simulation results show that the three-hop scheme can obtain the most energy efficiency than other two schemes.
Minkowski Functionals Study of Random Number Sequences
Authors: Xinyu Zhang, Seth Watts, Yaohang Li, Daniel Tortorelli
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

Random number sequences are used in a wide range of applications such as simulation, sampling, numerical analysis, cryptography, and recreation. The quality of random number sequences is critical to the correctness of these applications. Many statistical tests have been developed to test various characteristics of random number generators such as randomness, independence, uniformity, etc. Most of them are based on testing on a single sequence. When multiple sequences are employed in an application, their potential correlations are also concerned. In this paper, we explore the techniques of using the Minkowski functionals and their extensions, the Minkowski valuations, to study the mathematical morphology of two dimensional binary image generated by pair-wise random number sequences, and apply this method to describe and compare the properties of several well-known pseudo- and quasi-random number generators.
Analysis and categorization of software faults to assist novice programmers
Authors: Jim Alves-Foss
Venue:  (2008)

This dissertation examines the utility of a fault categorization technique in improving the coding skills of novice programmers. Recent research has been carried out to study the correlations between software faults and such variables as: complexity of software, time to program software, size of programs, etc. Little research, however, has focused on the types of faults that programmers insert into their software and how recognizing the type of fault can improve the quality of software code. For some novice programmers locating and fixing faults is more difficult than initially writing the program. In this dissertation a programming technique is evaluated that requires novice programmers to both categorize faults and understand the reason for any fault at each iterative build. Three separate experiments were conducted to measure the number of faults at each build by novice programmers using this technique compared to the number of faults by novice programmers not using this technique. The data collected supports the hypothesis that requiring novice programmers to categorize their faults during the software build cycle decreases the total number of faults in a program.
Face Image Quality Evaluation for ISO/IEC Standards 19794-5 and 29794-5
Authors: Jitao Sang, Zhen Lei, Stan Z. Li
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

Face recognition performance can be significantly influenced by face image quality. The approved ISO/IEC standard 19794-5 has specified recommendations for face photo taking for E-passport and related applications. Standardization of face image quality, ISO/IEC 29794-5, is in progress. Bad illumination, facial pose and out-of-focus are among main reasons that disqualify a face image sample. This paper presents several algorithms for face image quality assessment. Illumination conditions and facial pose are evaluated in terms of facial symmetry, and implemented based on Gabor wavelet features. Assessment of camera focus is done based on discrete cosine transform (DCT). These methods are validated by experiments.
Content and context aware networking using semantic tags
Authors: Anupam Joshi
Venue:  (2008)

The current Internet was originally designed to provide "best-effort" data transport over a wired infrastructure with end hosts utilizing a layered network stack to provide reliability, quality of service, security etc. for user applications. However, the proliferation of inelastic applications, coupled with wide spread migration towards hybrid networks utilizing wired and wireless links and the plethora of end host variants ranging from cell phones to enterprise servers necessitates the migration of more and more services away from the edges and into the network. This dissertation presents a generic and flexible framework that will enable the incremental deployment of intelligent services into the network with the aim of optimizing the end-user experience for networked applications. Our framework relies on using semantic tags embedded in the data stream that describe the type of content carried in stream and levels of service desired. The nodes in the network utilize this semantic markup to reason over the stream to identify the set of actions that need to be performed based on the policies specified. We present the results of employing our framework to various scenarios including cross layer optimization for Ultra wideband PANs, use of semantic tags to differentiate traffic into service classes and utilizing the framework to allow BGP to employ security and trust relationships in the route decision process. In addition to the development of the framework, we have also developed a network ontology that can be used to both model traffic flows and their service needs along with network topology and state. The framework employs multi-level reasoning that utilizes the meta-data carried in the streams coupled with external contextual information to determine the set of actions that need to be performed to the datastream in-transit. This reasoning is done using network policies specified by network administrators using our rule language that is easy to use, human readable and machine understandable, non-network protocol specific, and can be formally verified for consistency.
Power-Aware Architecting: for data-dominated applications, 1st edition
Authors: Maarten Ditzel, Ralph H. J. M. Otten, Wouter A. Serdijn
Venue:  (2007)

The complexity of embedded systems-on-a-chip is rapidly growing. Different experts are involved in the design process: application software designers, programmable core architects, on-chip communication engineers, analog and digital designers, deep sub micron specialists and process engineers. In order to arrive at an optimum implementation compromises are needed across boundaries of the different domains of expertise. Therefore, the authors of Power-Aware Architecting take the point of view of the system architect who is a generalist rather than an expert. He is responsible for the definition of a high level architecture, which is globally optimal. Finding an optimum requires a proper balance between area, performance and last but not least energy consumption. The challenge is not only the size of the design space but also the fact that the most important decisions are taken during the early design phases. The advantage of an early decision is that the impact on area, performance and energy consumption is large. But the disadvantage is that the available information is often limited, incomplete and inaccurate. The task of the system architect is to take the correct early decisions despite the uncertainties. Power-Aware Architecting provides a systematic way to support the system architect in this job. Therefore, an iterative system-level design approach is defined where iterations are based on fast and accurate estimations or predictions of area, performance and energy consumption. This method is illustrated with a concrete real life example of multi-carrier communication. This book is the result of a Ph.D. thesis, which is part of the UbiCom project at Delft University of Technology. I strongly recommend it to any engineer, expert of specialist, who is interested in designing embedded systems-on-a-chip. Jef van MeerbergenProfessor Eindhoven University of TechnologyFellow Philips Research Eindhoven
On the facets of mixed integer programs with two integer variables and two constraints
Authors: G&#x00e9;rard Cornu&#x00e9;jols, Fran&#x00e7;ois Margot
Venue: Mathematical Programming: Series A and B (2009)

In this paper we consider an infinite relaxation of the mixed integer linear program with two integer variables, nonnegative continuous variables and two equality constraints, and we give a complete characterization of its facets. We also derive an analogous characterization of the facets of the underlying finite integer program.
Kinds of features for Chinese opinionated information retrieval
Authors: Taras Zagibalov
Venue: Proceedings of the 45th Annual Meeting of the ACL: Student Research Workshop (2007)

This paper presents the results of experiments in which we tested different kinds of features for retrieval of Chinese opinionated texts. We assume that the task of retrieval of opinionated texts (OIR) can be regarded as a subtask of general IR, but with some distinct features. The experiments showed that the best results were obtained from the combination of character-based processing, dictionary look up (maximum matching) and a negation check.
Myartspace: Design and evaluation of support for learning with multimedia phones between classrooms and museums
Authors: Giasemi Vavoula, Mike Sharples, Paul Rudman, Julia Meek, Peter Lonsdale
Venue: Computers Education (2009)

This paper presents a description and evaluation of Myartspace, a service on mobile phones for inquiry-led learning that allows students to gather information during a school field trip which is automatically sent to a website where they can view, share and present it, back in the classroom or at home. The evaluation focused on three levels: a micro level, concerned with issues of usability; a meso level, which examined educational effectiveness in terms of learning breakthroughs and breakdowns; and a macro level, which looked at the impact of the new technology on school museum visits practice. Issues of implementing mobile learning across school and museum settings are identified and cross-level influences are discussed. The study showed that the service was effective in enabling students to gather information in a museum and this provided resources for effective construction and reflection in the classroom. Minor usability problems did not detract from the learning, however there are significant issues concerning how to structure the visit and on the viability of Myartspace as a regular service.
A first study on strategies for generating workflow snippets
Authors: Tommy Ellkvist, Lena Strömbäck, Lauro Didier Lins, Juliana Freire
Venue: Proceedings of the First International Workshop on Keyword Search on Structured Data (2009)

Workflows are increasingly being used to specify computational tasks, from simulations and data analysis to the creation of Web mashups. Recently, a number of public workflow repositories have become available, for example, myExperiment for scientific workflows, and Yahoo! Pipes. Workflow collections are also commonplace in many scientific projects. Having such collections opens up new opportunities for knowledge sharing and re-use. But for this to become a reality, mechanisms are needed that help users explore these collections and locate useful workflows. Although there has been work on querying workflows, not much attention has been given to presenting query results. In this paper, we take a first look at the requirements for workflow snippets and study alternative techniques for deriving concise, yet informative snippets.
A Novel Content Distribution Mechanism in DHT Networks
Authors: Quanqing Xu, Heng Tao Shen, Bin Cui, Xiaoxiao Hou, Yafei Dai
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

DHT (Distributed Hash Table) is a structured overlay network that is widely utilized in P2P systems. Existing content distribution approaches do not completely exploit features of DHT and incur heavy network bandwidth consumption. This paper analyzes existing content distribution approaches including synchronous content distribution method in eMule based on DHT overlay networks and points out that their network loads are too heavy. We propose a novel content distribution algorithm: asynchronous distribution, in DHT networks. Compared with traditional distribution approaches, it is more effective and scalable with lower network load. We apply the techniques of vector space model and search frequency to the asynchronous distribution algorithm, which effectively improves search hit ratio and reduces network load. Simulation results based on real data from Maze system show that this approach has low network overhead and publishing cost, high search and download hit ratio.