ppxscal/embedding_network huggingface dataset:
Mining web logs: applications and challenges
Authors: Ravi Kumar
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Web logs record the primary interaction of users with web pages in general and search engines in particular. There are two sources for such logs: user trails obtained from toolbars and query/click information obtained from search engines. In this talk we will address the task of mining this rich data to improve user experience on the web. We will illustrate a few applications, together with the modeling and algorithmic challenges that stem from these applications. We will also discuss the privacy issues that arise in this context.
A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment
Authors: Javier Navascués, Isabel Ramos, Miguel Toro
Venue: Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes (2009)

This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the dynamics induced by resource sharing in multiproject management. In order to achieve it the hierarchy of decisions in a multiproject organization is modeled and some resource allocation methods based on algorithms from the OR/AI domain are used. Other critical issues such as the hybrid nature of software production and the effects of measurement and control are also incorporated in the model. Some first results are presented.
The Interchange Graphs of Tournaments with Minimum Score Vectors Are Exactly Hypercubes
Authors: An&#x2013;Hang Chen, Jou&#x2013;Ming Chang, Yue&#x2013;Li Wang
Venue: Graphs and Combinatorics (2009)

A &#x0394;-interchange is a transformation which reverses the orientations of the arcs in a 3-cycle of a digraph. Let $${\fancyscript T}(S)$$be the collection of tournaments that realize a given score vector S. An interchange graph of S, denoted by G(S), is an undirected graph whose vertices are the tournaments in $${\fancyscript T}(S)$$and an edge joining tournaments $$T,T' \in {\fancyscript T}(S)$$provided T&#x2032; can be obtained from T by a &#x0394;-interchange. In this paper, we find a set of score vectors of tournaments for which the corresponding interchange graphs are hypercubes.
A Similarity and Fuzzy Logic-Based Approach to Cerebral Categorisation
Authors: Julien Erny, Josette Pastor, Henri Prade
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 work proposes a formal modelling of categorisation processes attempting at simulating the way information is categorised by neural populations in the human brain. The formalism mainly relies on a similarity-based approach to categorisation. It involves weighted rules that use inference and fusion techniques borrowed from fuzzy logic. The approach is illustrated by a simulation of the McGurck effect where the combination of contradictory auditory and visual stimuli creates an auditory perceptive illusion.
Adobe Dreamweaver CS3: Introductory Concepts and Techniques, 1st edition
Authors: Gary B. Shelly, Thomas J. Cashman, Dolores J. Wells, Steven M. Freund
Venue: Shelly Cashman Series (2007)

Readers will easily follow along with the chapters in Adobe Dreamweaver CS3 to gain valuable and comprehensive software skills to build their own exciting and dynamic Web sites and develop Internet applications.
Portales de gobierno estatal en M&eacute;xico: el caso del portal del gobierno del estado de Puebla
Authors: Cindy R. Pérez Díaz, René Méndez Aceves, Luis F. Luna-Reyes
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

Muchos gobiernos estatales han contribuido a la revoluci&oacute;n de la informaci&oacute;n al desarrollar Tecnolog&iacute;as de Informaci&oacute;n y Comunicaci&oacute;n, mejorando el servicio que ofrecen a sus ciudadanos a trav&eacute;s de Internet. El p&oacute;ster muestra la evoluci&oacute;n del portal del Estado de Puebla desde el a&ntilde;o 2001. Lecciones aprendidas en la evoluci&oacute;n incluyen mejoras en el dise&ntilde;o y la usabilidad del portal. Actualmente, se considera el desarrollo de un proceso de evaluaci&oacute;n ciudadana m&aacute;s integral.
Exploiting sparse Markov and covariance structure in multiresolution models
Authors: Myung Jin Choi, Venkat Chandrasekaran, Alan S. Willsky
Venue: Proceedings of the 26th Annual International Conference on Machine Learning (2009)

We consider Gaussian multiresolution (MR) models in which coarser, hidden variables serve to capture statistical dependencies among the finest scale variables. Tree-structured MR models have limited modeling capabilities, as variables at one scale are forced to be uncorrelated with each other conditioned on other scales. We propose a new class of Gaussian MR models that capture the residual correlations within each scale using sparse covariance structure. Our goal is to learn a tree-structured graphical model connecting variables across different scales, while at the same time learning sparse structure for the conditional covariance within each scale conditioned on other scales. This model leads to an efficient, new inference algorithm that is similar to multipole methods in computational physics.
The finite model theory toolbox of a database theoretician
Authors: Leonid Libkin
Venue: Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2009)

For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By now, finite model theory has built a large arsenal of tools that can easily be used by database theoreticians without going to the basics such as combinatorial games. We survey such tools here, focusing not on how they are proved, but rather on how to apply them, as-is, in various questions that come up in database theory.
Autonomous and intelligent radio switching
Authors: Qiuyi Duan
Venue:  (2008)

With the proliferation of mobile applications and the abundance of wireless devices, it is increasingly common for devices to support multiple radios. When two devices are communicating they should choose the best available radio based on user preference and application requirements. This type of "radio switching" should happen automatically, so that the system optimizes performance dynamically. To achieve this objective, we design an Autonomous and Intelligent Radio Switching (AIRS) system to leverage the radio heterogeneity common in today's wireless devices. The AIRS system consists of three key components. First, we design a radio preference evaluation module to dynamically select the best radio according to users' preference, application's QoS requirements, and the device battery usage. Second, we propose a link quality measurement and prediction module to predict the radio quality under a variety of mobility and interference conditions. Third, we present a radio switching decision making module to switch to the preferred available radio intelligently, based on the preference and link quality evaluations. The AIRS system maintains connectivity, as well as improves link quality, via dynamic and intelligent radio switching, regardless of interference or collisions from the interfaces of other devices. The radio preference evaluation module is able to generate and adjust a preference list dynamically. Multiple users' requirements are satisfied in a mutually beneficial manner and the selected radio is Pareto optimal. The link prediction module is able to achieve an accuracy above 90% under a variety of mobility and interference conditions. The module can dynamically increase the link measurement interval and significantly reduce its power consumption, without sacrificing accuracy. The decision algorithm uses several parameters to avoid switching radios too frequently, and is able to provide dynamic, but stable radio switching, while balancing the competing objectives of high throughput and low power consumption. Overall, the AIRS system is able to achieve high goodput (application level throughput) and long battery life as applied to handoff management in a frequently changing mobile environment. 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
Dynamically constructing user profiles with similarity-based online incremental clustering
Authors: Roman Y. Shtykh, Qun Jin
Venue: International Journal of Advanced Intelligence Paradigms (2009)

User profiling is a widely used technique to analyse and store user interests and preferences to apply this knowledge to improve user experiences with information systems. In this research paper, we present an approach for dynamically constructing user profiles, particularly from uniform relevance feedback in information-seeking activities. We propose an inference method for user interests, which we call High-Similarity Sequence Data-Driven (H2S2D) clustering and discuss its peculiarities and show its superiority for the creation of high-quality concepts, which are the elementary constituents of user profiles. To reflect the volatility of user interests and emphasise the steadiness of persistent preferences, we adopt recency, frequency and persistency as the three main criteria for multi-layered dynamic profile construction and update.
Alcohol consumption among college students: An agent-based computational simulation
Authors: Laura A. Garrison, David S. Babcock
Venue: Complexity (2009)

An agent-based C++ program was developed to model student drinking. Student-agents interact with each other and are randomly subjected to good or bad drinking experiences, to stories of other students' experiences, and to peer pressure. The program outputs drinking rates as functions of time based on various input parameters. The intent of this project is to simulate alcohol use, eventually adding other drugs, and possibly creating a simulation game for use as an educational tool. &copy; 2008 Wiley Periodicals, Inc. Complexity, 2009
Learning Experience of Student Journalists: Utilizing Collaborative Writing Medium Wikis
Authors: Will Wai-kit Ma, Allan Hoi-kau Yuen
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

In this paper, we explore the processes and effects of Wikis as a learning medium to journalistic writing. In a field study, undergraduate journalistic students are exposed to a Student-written Wiki to jointly compose news reporting online. A group of student journalists were then asked to complete a post survey to comment and reflect their learning experience of news reporting within the Wiki environment. Analysis of student journalists' responses to open-ended questions revealed revision as the core processing capability of Wiki. The motivational factors to revision include accuracy (fact checking), story enrichment, and personal interest toward the news topic. On the other hand, learners are also affected by the social interactions among the community users within Wiki. The results are important to provide practical guidance to the implementation of Wikis.
Autonomous robot navigation in outdoor cluttered pedestrian walkways
Authors: Yoichi Morales, Alexander Carballo, Eijiro Takeuchi, Atsushi Aburadani, Takashi Tsubouchi
Venue: Journal of Field Robotics (2009)

This paper describes an implementation of a mobile robot system for autonomous navigation in outdoor concurred walkways. The task was to navigate through nonmodified pedestrian paths with people and bicycles passing by. The robot has multiple redundant sensors, which include wheel encoders, an inertial measurement unit, a differential global positioning system, and four laser scanner sensors. All the computation was done on a single laptop computer. A previously constructed map containing waypoints and landmarks for position correction is given to the robot. The robot system's perception, road extraction, and motion planning are detailed. The system was used and tested in a 1-km autonomous robot navigation challenge held in the City of Tsukuba, Japan, named &ldquo;Tsukuba Challenge 2007.&rdquo; The proposed approach proved to be robust for outdoor navigation in cluttered and crowded walkways, first on campus paths and then running the challenge course multiple times between trials and the challenge final. The paper reports experimental results and overall performance of the system. Finally the lessons learned are discussed. The main contribution of this work is the report of a system integration approach for autonomous outdoor navigation and its evaluation. &copy; 2009 Wiley Periodicals, Inc.
Unsafe chromium from cotton ginneries and development of a rubberized cotton fabric roller for cotton roller gins
Authors: Vijayan Gurumurthy Iyer, Nikos E. Mastorakis
Venue: Proceedings of the 10th WSEAS international conference on Mathematics and computers in biology and chemistry (2009)

This paper realizes the hazards of chromium contamination and pollution caused in the use of chrome composite leather-clad (CCLC) rollers commonly used in cotton roller ginning industries and attempts to eliminate the chromium contamination and pollution during the complete process. The cotton roller ginning process is the mechanical separation of cotton fibres from their seeds by means of one or more rollers to which fibres adhere while the seeds are impeded and struck off or pulled loose. Most of the cotton ginning operations are done using roller gins. The CCLC roller coverings contain about 18 000 to 30 000 mg/kg (ppm) as total chromium of trivalent and hexavalent forms which are toxic to human health. When the seed-cotton is ginned, due to the persistent rubbing of CCLC rollers over the fixed knives, the cotton and its products get contaminated with the total chromium of trivalent and hexavalent forms. Gin and mill workers are exposed to this chromium pollution and are susceptible to health hazards since toxic effects are produced by prolonged contact with airborne or solid or liquid chromium compounds even in small quantities. The three pollutants namely cotton dust, chromium and leather powder and/or other foreign matter, under favorable conditions of sunlight (photo energy), humidity, and temperature and air movement interact and produce chrome specific dust (CSD) which is a serious pollutant due to synergistic interacting function. To offset this problem, pollution-free rubberized cotton fabric (RCF) eco-friendly rollers for both the laboratory and commercial studies have been designed, fabricated and used in experiments in rollers gins. This nullifies chromium contamination and pollution during the complete process. Cotton technological parameters are well proven for commercial acceptance.
Semi-automatic forensic speaker identification
Authors: Robert Rodman, Donald Bitzer, David Mcallister
Venue:  (2007)

With the world now facing the threat of global terrorism, speaker identification research has become a very important topic in forensics as well as academia. Many different methods have been employed for speaker identification. This thesis presents a novel 4-step text-independent method. This method uses the averaging of the spectra of a set of phonemes to classify an unknown speaker as being one of the known speakers or as being someone other than the known speakers. This thesis also discusses the results of three different experiments with the method: a closed-set experiment, an out of set experiment, and an open set experiment.
Adaptive In-Network Processing for Bandwidth and Energy Constrained Mission-Oriented Multi-hop Wireless Networks
Authors: Sharanya Eswaran, Matthew Johnson, Archan Misra, Thomas Porta
Venue: Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems (2009)

In-network processing, involving operations such as filtering, compression and fusion, is widely used in sensor networks to reduce the communication overhead. In many tactical and stream-oriented wireless network applications, both link bandwidth and node energy are critically constrained resources and in-network processing itself imposes non-negligible computing cost. In this work, we have developed a unified and distributed closed-loop control framework that computes both a) the optimal level of sensor stream compression performed by a forwarding node, and b) the best set of nodes where the stream processing operators should be deployed. Our framework extends the Network Utility Maximization (NUM) paradigm, where resource sharing among competing applications is modeled as a form of distributed utility maximization. We also show how our model can be adapted to more realistic cases, where in-network compression may be varied only discretely, and where a fusion operation cannot be fractionally distributed across multiple nodes.
An Ensemble of Classifiers for coping with Recurring Contexts in Data Streams
Authors: Ioannis Katakis, Grigorios Tsoumakas, Ioannis Vlahavas
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

This paper proposes a general framework for classifying data streams by exploiting incremental clustering in order to dynamically build and update an ensemble of incremental classifiers. To achieve this, a transformation function that maps batches of examples into a new conceptual feature space is proposed. The clustering algorithm is then applied in order to group different concepts and identify recurring contexts. The ensemble is produced by maintaining an classifier for every concept discovered in the stream The full version of this paper as well as the datasets used for evaluation can be found at: http://mlkd.csd.auth.gr/concept_drift.html
Location Based Predictive Handoff Algorithm for Mobile Networks
Authors: Kevin Curran, Gary Cullen
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

The proliferation of wireless network technologies has led to an explosion in the deployment of WiFi communications solutions. Consequently this propagation of wireless systems coupled with the frequency and familiarity of users to these systems has led to an increase in user expectation, whereby more and more mobile users are demanding the same Quality of Service (QoS) that they were accustomed to as fixed wired network users. As a result of the widespread deployment of Wi-Fi hotspots together with the expected increase in user demands for unlimited bandwidth and unrestrained network access, pressure has been placed on these wireless networks to respond to these user expectations. Most notable in this area are the complexities involved in providing the mobile user with seamless network connectivity during the traversal of a mobile cellular based network infrastructure. Fundamental to these issues is the latency and packet loss that occurs during the handoff process when a user moves between cells when traversing the wireless network as a handoff is required in order to maintain connectivity to the network, while at the same time ensuring minimum disruption to ongoing sessions. This paper presents a handoff algorithm for streaming media on mobile networks that will anticipate the handover procedure that occurs when a mobile device roams from one cell in the network to another. It proceeds to buffer packets from the anticipated 'new' access point and upon successful entry into the correctly predicted target cell will promptly 'pick up' the stream with minimal losses.
The ROC isometrics approach to construct reliable classifiers
Authors: Stijn Vanderlooy, Ida G. Sprinkhuizen-Kuyper, Evgueni N. Smirnov, H. Jaap van den Herik
Venue: Intelligent Data Analysis (2009)

We address the problem of applying machine-learning classifiers in domains where incorrect classifications have severe consequences. In these domains we propose to apply classifiers only when their performance can be defined by the domain expert prior to classification. The classifiers so obtained are called reliable classifiers. In the article we present three main contributions. First, we establish the effect on an ROC curve when ambiguous instances are left unclassified. Second, we propose the ROC isometrics approach to tune and transform a classifier in such a way that it becomes reliable. Third, we provide an empirical evaluation of the approach. From our analysis and experimental evaluation we may conclude that the ROC isometrics approach is an effective and efficient approach to construct reliable classifiers. In addition, a discussion about related work clearly shows the benefits of the approach when compared with existing approaches that also have the option to leave ambiguous instances unclassified.
The authorization calculus
Authors: Polar Humenn
Venue:  (2008)

The Authorization Calculus is a modal logic with which to formally model systems that provide credentials that indicate privileges and make access control decisions based on those privileges. Extending an access control calculus of Abadi, Burrows, Lampson, and Plotkin with privileges gives us a formal way to reason about explicit privileges issued to principals that authorize access as well as such things as authorizing group membership and role activation. Formal deduction rules are used to create proofs that yield a sound foundational basis for making the access decision. We finalize by applying the Authorization Calculus for a formal analysis of the Common Object Request Broker Architecture (CORBA) Common Secure Interoperability Version 2 (CSIv2) Protocol.
Predicting and understanding the stability of G-quadruplexes
Authors: Oliver Stegle, Linda Payet, Jean-Louis Mergny, David J. C. MacKay, Julian Huppert Leon
Venue: Bioinformatics (2009)

Motivation: G-quadruplexes are stable four-stranded guanine-rich structures that can form in DNA and RNA. They are an important component of human telomeres and play a role in the regulation of transcription and translation. The biological significance of a G-quadruplex is crucially linked with its thermodynamic stability. Hence the prediction of G-quadruplex stability is of vital interest. Results: In this article, we present a novel Bayesian prediction framework based on Gaussian process regression to determine the thermodynamic stability of previously unmeasured G-quadruplexes from the sequence information alone. We benchmark our approach on a large G-quadruplex dataset and compare our method to alternative approaches. Furthermore, we propose an active learning procedure which can be used to iteratively acquire data in an optimal fashion. Lastly, we demonstrate the usefulness of our procedure on a genome-wide study of quadruplexes in the human genome. Availability: A data table with the training sequences is available as supplementary material. Source code is available online at http://www.inference.phy.cam.ac.uk/os252/projects/quadruplexes Contact:os252@cam.ac.uk; jlh29@cam.ac.uk Supplementary information:Supplementary data are available at Bioinformatics online.