ppxscal/embedding_network huggingface dataset:
Minimum-Delay Load-Balancing through Non-parametric Regression
Authors: Federico Larroca, Jean-Louis Rougier
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

Network convergence and new applications running on end-hosts result in increasingly variable and unpredictable traffic patterns. By providing origin-destination pairs with several possible paths, load-balancing has proved itself an excellent tool to face this uncertainty. Formally, load-balancing is defined in terms of a convex link cost function of its load, where the objective is to minimize the total cost. Typically, the link queueing delay is used as this cost since it measures its congestion. Over-simplistic models are used to calculate it, which have been observed to result in suboptimal resource usage and total delay. In this paper we investigate the possibility of learning the delay function from measurements, thus converging to the actual minimum. A novel regression method is used to make the estimation, restricting the assumptions to the minimum (e.g. delay should increase with load). The framework is relatively simple to implement, and we discuss some possible variants.
Analysis of Common Cause Failure in Redundant Control Systems Using Fault Trees
Authors: David Bayona i Bru, Joaquim Meléndez, Gabriel Olguin
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

This paper highlights the importance of reliability studies for systems where high reliability is a must. The common cause failure concept is introduced and studied due to its relevancy. A simple hypothetical control system is used to illustrate the methodology. Fault tree is used to assess the reliability of the workbench system. The comparison between different tests shows the importance of common cause failure.
Modeling, simulation and control of Pico-hydro power plant
Authors: Emil Pop, Monica Leba, Camelia Tabacaru-Barbu, Maria Pop
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

The main objective of this paper is to determine the Pico-hydro power plant mathematical model, validate it through simulation results in order to design an appropriate controller. In this paper the considered Pico-hydro power plant consists of water tank and vane, supply pipe, hydro turbine, DC generator and controller. Each part of the Pico-hydro is analyzed, modeled and simulated. At the end of the paper the entire system is modeled and simulated in two control modes: open loop and closed loop. These two control modes are compared and presented the advantages of each of them. The simulation results are as expected and validate the developed mathematical models.
A Multi-Dimensional Paper Recommender
Authors: Tiffany Y. Tang, Gordon McCalla
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

In our previous work [9, 10], we highlighted the importance of incorporating learners' pedagogical features in making paper recommendations and proposed the pedagogical-oriented paper recommender. In this paper, we report our studies in designing and evaluating a six-dimensional paper recommender. Experimental results from a human subject study of learner preferences suggest that in the e-learning domain where there are not enough papers as well as learners to start up the recommender system (RS), it is imperative to inject other factors such as the overall popularity of each paper, learner knowledge background, etc., although these factors are less important for making recommendations on movies, books, CDs.
Virtual Theremin: Cyber music instrument by human motion capture
Authors: Shoto Taneji, Takae Tawada, Kunio Sakamoto
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

We developed a prototype music instrument system using the motion capture. In this system, the performer plays music in the virtual space. The virtual theremin system consists of the image capture, measuring performer's position, detecting and recognizing motions and synthesizing sound system using the personal computer. In this paper, we describe the method of 3D measuring using a single camera for tracking user's position and the cyber music instrument system.
A stochastic model for the evolution of metabolic networks with neighbor dependence
Authors: Aziz Mithani, Gail M. Preston, Jotun Hein
Venue: Bioinformatics (2009)

Motivation: Most current research in network evolution focuses on networks that follow a Duplication Attachment model where the network is only allowed to grow. The evolution of metabolic networks, however, is characterized by gain as well as loss of reactions. It would be desirable to have a biologically relevant model of network evolution that could be used to calculate the likelihood of homologous metabolic networks. Results: We describe metabolic network evolution as a discrete space continuous time Markov process and introduce a neighbor-dependent model for the evolution of metabolic networks where the rates with which reactions are added or removed depend on the fraction of neighboring reactions present in the network. We also present a Gibbs sampler for estimating the parameters of evolution without exploring the whole search space by iteratively sampling from the conditional distributions of the paths and parameters. A Metropolis–Hastings algorithm for sampling paths between two networks and calculating the likelihood of evolution is also presented. The sampler is used to estimate the parameters of evolution of metabolic networks in the genus Pseudomonas. Availability: An implementation of the Gibbs sampler in Java is available at http://www.stats.ox.ac.uk/~mithani/networkGibbs/ Contact: mithani@stats.ox.ac.uk Supplementary information:Supplementary data are available at the Bioinformatics online.
Build a PC with Scott Mueller, 1st edition
Authors: Scott Mueller
Venue:  (2007)

DVD features two hours of personal instruction on buildiing your own PC from scratch! Watch, listen, and learn as world-renowned PC hardware expert Scott Mueller walks you through the guts of your PC. Scott shows you how to choose the right hardware and put it all together! Perfect for beginners, Build a PC with Scott Mueller is the video you will want to have by your side when building your first rig. Scott takes you under the hood to show you exactly how your PC works and how to build a PC right, the first time! PC building has never been this visual-or this easy! Includes a 60-page companion booklet. In this DVD you will learn: * Hardware 101! Scott shows you how to choose the right hardware for your new rig! * Learn to decipher the technobabble used to describe PC hardware * Watch as Scott shows you how to build a new PC. See how every part is installed! * See how to properly power and cool your new PC * Once your new PC is built, learn how to choose the right BIOS settings * Tame those vexing front panel connectors! System Requirements: Operating System: Windows XP or Vista Multimedia: Windows Media Player Computer: DVD drive or set-top DVD player
Fuzzy logic application in compiling geohazard macro-zone maps
Authors: Hamidreza Ramazi, Mojgan Rassaein
Venue: Proceedings of the 10th WSEAS international conference on Fuzzy systems (2009)

Geohazards in Iran can cause widespread damage to property and human lives. In this study, we describe a new method of fuzzy logic applied to geohazard macro-zone maps. The basic steps are (i) compilation of macro-zone maps for each type of geohazard phenomenon, such as landslides, rock falls, sink holes, asymmetric subsidences, liquefactions, erosion and water washing in various situations, large-scale ground failures, floods, and avalanches, to name a few. Each phenomenon is then assigned one of seven geohazard zones: very low, low, relatively low, moderate, relatively high, high, and very high; (ii) definition of a membership function using a fuzzy logic algorithm to quantify the qualitative data, estimate a geohazard grade for each mesh point, and to convert qualitative maps to quantitative maps; (iii) computation of the summed hazard grade for each mesh point and compilation of a cumulative geohazard map; and (iv) compilation of a geohazard macro-zone map by defining a mathematical algorithm and again using fuzzy logic. In this paper, in addition to introducing the method outlined above, we also describe a mechanism that takes subjective engineering judgments into account. Finally, a geohazard map with a scale of 1:25,000 (in Iran) was compiled and presented.
A traceability link mining approach for identifying insider threats
Authors: Yi Hu, Brajendra Panda
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

In this paper, we present an insider attack detection model that is designed to profile traceability links based on document dependencies and calendar-based file usage patterns for detecting insider threats. This model is utilized to detect insiders' malicious activities targeted at tampering the contents of files for various purposes. We apply the concept of traceability links in the software engineering field to this research. Our approach mainly employs document dependency traceability links for constructing insider attack detection model.
Information Flow in a Peer-to-Peer Data Integration System
Authors: Grażyna Brzykcy
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

In the paper a problem of semantic integration of XML data in a peer-to-peer agent system is considered. In the system each agent manages its local data, and can communicate and cooperate with other agents by asking and answering queries. Problem of information flow between local data resources is analysed upon a channel theory. The abstract notions of classification and infomorphism are used to clarify the roles of queries and mappings in the system. The query reformulation task is modelled by the composition of an appropriate infomorphisms. In order to specify classifications and infomorphisms ¿-terms are used. Logic programming systems are chosen because of the logical variables and partial data representation, effective techniques of data unification and partial evaluation, suitable built-in terms and procedures, and automated reasoning.
Self-correcting sampling-based dynamic multi-unit auctions
Authors: Florin Constantin, David C. Parkes
Venue: Proceedings of the tenth ACM conference on Electronic commerce (2009)

We exploit methods of sample-based stochastic optimization for the purpose of strategyproof dynamic, multi-unit auctions. There are no analytic characterizations of optimal policies for this domain and thus a heuristic approach, such as that proposed here, seems necessary in practice. Following the suggestion of Parkes and Duong [17], we perform sensitivity analysis on the allocation decisions of an online algorithm for stochastic optimization, and correct the decisions to enable a strategyproof auction. In applying this approach to the allocation of non-expiring goods, the technical problem that we must address is related to achieving strategyproofness for reports of departure. This cannot be achieved through self-correction without canceling many allocation decisions, and must instead be achieved by first modifying the underlying algorithm. We introduce the NowWait method for this purpose, prove its successful interfacing with sensitivity analysis and demonstrate good empirical performance. Our method is quite general, requiring a technical property of uncertainty independence, and that values are not too positively correlated with agent patience. We also show how to incorporate "virtual valuations" in order to increase the seller's revenue.
AgentCubes: Incremental 3D end-user development
Authors: Andri Ioannidou, Alexander Repenning, David C. Webb
Venue: Journal of Visual Languages and Computing (2009)

3D game development can be an enticing way to attract K-12 students to computer science, but designing and programming 3D games is far from trivial. Students need to achieve a certain level of 3D fluency in modeling, animation, and programming to be able to create compelling 3D content. The combination of innovative end-user development tools and standards-based curriculum that promotes IT fluency by shifting the pedagogical focus from programming to design, can address motivational aspects without sacrificing principled educational goals. The AgentCubes 3D game-authoring environment raises the ceiling of end-user development without raising the threshold. Our formal user study shows that with Incremental 3D, the gradual approach to transition from 2D to 3D authoring, middle school students can build sophisticated 3D games including 3D models, animations, and programming.
Levitin---Polyak well-posedness of variational inequality problems with functional constraints
Authors: X. X. Huang, X. Q. Yang, D. L. Zhu
Venue: Journal of Global Optimization (2009)

In this paper, we introduce several types of (generalized) Levitin---Polyak well-posednesses for a variational inequality problem with abstract and functional constraints. Criteria and characterizations for these types of well-posednesses are given. Relations among these types of well-posednesses are also investigated.
LMMSE and MAP estimators for reduction of multiplicative noise in the nonsubsampled contourlet domain
Authors: Fabrizio Argenti, Tiziano Bianchi, Giovanni Martucci di Scarfizzi, Luciano Alparone
Venue: Signal Processing (2009)

In this paper, two algorithms for multiplicative noise reduction, using the undecimated separable wavelet transform, are extended to the nonsubsampled contourlet (NSCT) domain. Such algorithms use either a maximum a posteriori (MAP) or a linear minimum mean square error (LMMSE) filtering approach, and involve the estimation of the moments of the NSCT coefficients up to the fourth order. The MAP filter relies on the conjecture that the NSCT coefficients follow a generalized Gaussian distribution (GGD), whose parameters locally vary. The extension of the denoising algorithms to the NSCT domain is not trivial, because several issues, related to the nonseparable implementation of the NSCT and the estimation of the moments, are to be considered to obtain viable solutions. Simulation results show that the MAP filter always outperforms the LMMSE one, confirming that the nonstationary GGD model is suitable for describing NSCT coefficients. Both denoising algorithms benefit from the multidirectional domain. However, the improvements on the LMMSE filter are greater than those on the MAP filter, showing that denoising in the NSCT domain is less effective when the nonstationary MAP estimator is used.
Learning by Automatic Option Discovery from Conditionally Terminating Sequences
Authors: Sertan Girgin, Faruk Polat, Reda Alhajj
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)

This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learning framework to improve the learning performance. The method utilizes stored histories of possible optimal policies and constructs a specialized tree structure online in order to identify action sequences which are used frequently together with states that are visited during the execution of such sequences. The tree is then used to implicitly run corresponding options. Effectiveness of the method is demonstrated empirically.
Editorial for the SI: Optimization of Discrete Event Dynamic Systems
Authors: Yorai Wardi, Edwin Chong
Venue: Discrete Event Dynamic Systems (2009)

We consider it a great privilege to introduce this special two-issue series on Optimization of Discrete Event Dynamic Systems. Optimization has played a central role in the research discipline of discrete event dynamic systems since its inception, and has been the focus of many papers published in this journal since its creation. Driven by applications in several areas such as manufacturing, transportation, and telecommunications, the optimization problem has been addressed by our research community with particular emphases on theory, computation, and simulation. The purpose of this special issue is to bring together papers representing diverse problems of current interest, and to expose and highlight state-of-the-art ideas, techniques, and algorithms that have been developed for their solution.
Dynamic touch on friction controlled tactile display
Authors: Romuald Vanbelleghem, Frederic Giraud, Michel Amberg, Betty Lemaire-Semail
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

The aim of this demonstration is to create, at the surface of a plate, the illusion that a user is touching a finely textured surface. To achieve that, vibrations of a few micrometers at very high frequency, reduces friction between the fingertip and the vibrating surface.
The Effect of Explaining on Learning: a Case Study with a Data Normalization Tutor
Authors: Antonija Mitrovic
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Several studies have shown that explaining actions increases students' knowledge. In this paper, we discuss how NORMIT supports self-explanation. NORMIT is a constraint-based tutor that teaches data normalization. We present the system first, and then discuss how it supports self-explanation. We hypothesized the self-explanation support in NORMIT would result in increased problem solving skills and better conceptual knowledge. An evaluation study of the system was performed, the results of which confirmed our hypothesis. Students who self-explained learnt constraints significantly faster, and acquired more domain knowledge.
A novel prebuffering scheme for IPTV service
Authors: Chai-Hien Gan, Phone Lin, Chung-Min Chen
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2009)

The Internet Protocol TeleVision (IPTV) network utilizes the broadband IP network to provide users the TV service. Due to the limited bandwidth of the IP network, IPTV does not broadcast the content of all channels to its users. The channel zapping time (i.e., the delay between the time when the user switches to a new TV channel and the time when the content of the new TV channel is received by the user) and content miss (i.e., the content of the new TV channel arrives after the user switches to another TV channel so that the user did not watch the content of the new TV channel) significantly affect the QoS of IPTV service. This paper proposes Dynamic Prebuffering Scheme (DPS) that dynamically prebuffers the content of TV channels in the Home Gateways (HGs) based on the user's behavior to reduce the channel zapping time and the content miss probability. A prebuffer timer is implemented in DPS to reduce the bandwidth consumption. Both the analytic model and simulation experiments are developed to investigate the performance of DPS. The simulation results show that the performance enhancements are bounded by the setup of the number of prebuffering channels and the prebuffer timer. Based on the performance study, the IPTV operators can properly set the number of prebuffered channels and the prebuffer timer to obtain good performance. Our study indicates that DPS can significantly reduce the channel zapping time and the content miss probability by slightly increasing bandwidth consumption.
Logic Programs with Multiple Chances
Authors: Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci
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)

In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conclusion. The hierarchical nature of such knowledge concerns with the possible failure of a chance of deriving a conclusion and the necessity, instead of blocking the reasoning process, of activating a subordinate chance. Traditional logic programming (we refer here to Answer Set Programming) does not allow us to express such situations in a synthetic fashion, since different chances of deriving a conclusion must be distributed over different rules, and conditions enabling the switching among chances must be explicitly represented. We present a new language, relying on Answer Set Programming, which incorporates a new modality able to naturally express the above features. The merits of the proposal about the capability of representing knowledge are shown both by examples and by comparisons with other existing formalisms. A translation to plain ASP is finally provided in order to give a practical tool for computing our programs, since a number of optimized ASP evaluation systems are nowadays available.
Using symbolic descriptions to explain similarity on CBR
Authors: Eva Armengol, Enric Plaza
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

The explanation of the results is a key point of automatic problem solvers. CBR systems solve a new problem by assessing its similarity with already solved cases and they commonly show the user the set of cases that have been assessed as the most similar to the new problem. Using the notion of symbolic similarity, our proposal is to show the user a symbolic description that makes explicit what the new problem has in common with the retrieved cases. In particular, we use the notion of anti-unification to build this symbolic description.
Handheld Computers as Cognitive Tools: An Environmental Learning Project in Singapore
Authors: Nicholas Tan, Wenli Chen, Chee-Kit Looi, Baohui Zhang, Peter Seow, Anwar Chan, Tze Min Chung, Teck Tiong Oh
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

This design-based study uses handheld computers as cognitive tools to facilitate students' inquiry-based learning on environmental issues --3Rs (Reduce, Reuse and Recycle) in a Singapore primary school. By using handheld computers, 40 Primary 4 students investigated how wastes are produced and what impact 3Rs can have on protecting the environment in a field trip. The results indicate improvements in the students' understanding of 3Rs as compared to before the activity. With the handheld computers, students' learning activities are more organized as a result of the complex processes made simple with the use of handheld computers as cognitive tools. In this study, it is not only the technology affordances, but the way the technologies were used in the context of the learning environment and the associated pedagogy that enables the handheld computers to serve as cognitive tools.