ppxscal/embedding_network huggingface dataset:
Aliasing, Confinement, and Ownership in Object-Oriented Programming
Authors: Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad
Venue: Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports (2008)

The power of objects lies in the flexibility of their interconnection structure. But this flexibility comes at a cost. Because an object can be modified via any alias, object-oriented programs are hard to understand, maintain, and analyze. Aliasing makes objects depend on their environment in unpredictable ways, breaking the encapsulation necessary for reliable software components, making it difficult to reason about and optimize programs, obscuring the flow of information between objects, and introducing security problems.Aliasing is a fundamental difficulty, but we accept its presence. Instead we seek techniques for describing, reasoning about, restricting, analyzing, and preventing the connections between objects and/or the flow of information between them. Promising approaches to these problems are based on ownership, confinement, information flow, sharing control, escape analysis, argument independence, read-only references, effects systems, and access control mechanisms.
Social Information Retrieval Systems: Emerging Technologies and Applications for Searching the Web Effectively
Authors: Dion Goh, Dion Goh, Schubert Foo
Venue: Premier Reference Source (2007)

The simulation of social behavior in a variety of domains is an increasingly important technological tool. A reference survey of social simulation work, Social Simulation: Technologies, Advances and New Discoveries comprehensively collects the most exciting developments in the field. Drawing research contributions from a vibrant community of experts on social simulation, this Premier Reference Source provides a set of unique and innovative approaches, ranging from agent-based modeling to empirically based simulations, as well as applications in business, governmental, scientific, and other contexts. This book will be a significant reference tool for researchers, educators, and practitioners in such fields as sociology, geography, economics, environmental science, artificial intelligence, machine learning, computer engineering, and networks, and a valuable, interdisciplinary addition to academic libraries.
Compressed RF Tomography for Wireless Sensor Networks: Centralized and Decentralized Approaches
Authors: Mohammad A. Kanso, Michael G. Rabbat
Venue: Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems (2009)

Radio Frequency (RF) tomography refers to the process of inferring information about an environment by capturing and analyzing RF signals transmitted between nodes in a wireless sensor network. In the case where few available measurements are available, the inference techniques applied in previous work may not be feasible. Under certain assumptions, compressed sensing techniques can accurately infer environment characteristics even from a small set of measurements. This paper introduces Compressed RF Tomography, an approach that combines RF tomography and compressed sensing for monitoring in a wireless sensor network. We also present decentralized techniques which allow monitoring and data analysis to be performed cooperatively by the nodes. The simplicity of our approach makes it attractive for sensor networks. Experiments with simulated and real data demonstrate the capabilities of the approach in both centralized and decentralized scenarios.
Numerical integration of bivariate functions over a non rectangular area by using Fluctuationlessness theorem
Authors: Ercan Gürvit, N. A. Baykara, Metin Demiralp
Venue: Proceedings of the 2nd WSEAS international conference on Multivariate analysis and its application in science and engineering (2009)

"Fluctuation free matrix representation approximation Method" developed by M. Demiralp can be used in approximating the multiple remainder terms of the integral of the Multivariate Taylor expansion. This provides us with a new numerical integration method for multivariate functions. However in this paper instead of dealing with a single formula which takes care of the multiple remainder terms, a new approach is undertaken. At every step of a multivariate integration only one variable is taken care of. Thus an iterative procedure which speeds up the computation rate is obtained.
Tensor-Based AAM with Continuous Variation Estimation: Application to Variation-Robust Face Recognition
Authors: Hyung-Soo Lee, Daijin Kim
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2009)

The Active appearance model (AAM) is a well-known model that can represent a non-rigid object effectively. However, the fitting result is often unsatisfactory when an input image deviates from the training images due to its fixed shape and appearance model. To obtain more robust AAM fitting, we propose a tensor-based AAM that can handle a variety of subjects, poses, expressions, and illuminations in the tensor algebra framework, which consists of an image tensor and a model tensor. The image tensor estimates image variations such as pose, expression, and illumination of the input image using two different variation estimation techniques: discrete and continuous variation estimation. The model tensor generates variation-specific AAM basis vectors from the estimated image variations, which leads to more accurate fitting results. To validate the usefulness of the tensor-based AAM, we performed variation-robust face recognition using the tensor-based AAM fitting results. To do, we propose indirect AAM feature transformation. Experimental results show that tensor-based AAM with continuous variation estimation outperforms that with discrete variation estimation and conventional AAM in terms of the average fitting error and the face recognition rate.
Smoothed analysis: an attempt to explain the behavior of algorithms in practice
Authors: Daniel A. Spielman, Shang-Hua Teng
Venue: Communications of the ACM (2009)

This G&ouml;del Prize-winning work traces the steps toward modeling real data.
Propositional merging operators based on set-theoretic closeness
Authors: Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new familly of propositional merging operators, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature. We study a specific merging operator of this family, obtained by considering set-product as the aggregation function.
Defending financial infrastructures through early warning systems: the intelligence cloud approach
Authors: Giorgia Lodi, Leonardo Querzoni, Roberto Baldoni, Mirco Marchetti, Michele Colajanni, Vita Bortnikov, Gregory Chockler, Eliezer Dekel, Gennady Laventman, Alexey Roytman
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

Recent evidence of successful Internet-based attacks and frauds involving financial institutions highlights the inadequacy of the existing protection mechanisms, in which each instutition implements its own isolated monitoring and reaction strategy. Analyzing on-line activity and detecting attacks on a large scale is an open issue due to the huge amounts of events that should be collected and processed. In this paper, we propose a large-scale distributed event processing system, called intelligence cloud, allowing the financial entities to participate in a widely distributed monitoring and detection effort through the exchange and processing of information locally available at each participating site. We expect this approach to be able to handle large amounts of events arriving at high rates from multiple domains of the financial scenario. We describe a framework based on the intelligence cloud where each participant can receive early alerts enabling them to deploy proactive countermeasures and mitigation strategies.
Human anthropometric parameters estimation using video based techniques
Authors: Ivo Stancic, Tamara Supuk, Mojmil Cecic
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

In this paper simple and fast method for human anthropometric parameters estimation was proposed and evaluated. Anthropometric data obtained by this method are human segments lengths and masses, which could be primarily used for biomechanics applications, but could be adapted to other fields, as well. Measurement system designed for the purposes of this work consist of a single digital camera, PC and requires simple experimental set-up. We developed 3D model of the human body by using data obtained from 2D subject's image and ellipses as basic objects. Advantages of the proposed method are contactless measurements on the subject which result in minimizing examiners physical intervention and considerable reduction of time required for measurements. Therefore, measurements can be conducted on a large number of subjects, in a short period of time. Proposed method comes with some disadvantages, due which it could be rather used as an estimation tool than as a highly-precise measurement procedure of anthropometric parameters, which is usually performed on cadavers.
On the optimality of a variable parameters inventory model for deteriorating items under trade credit policy
Authors: Zaid Tamim Balkhi
Venue: Proceedings of the 13th WSEAS international conference on Applied mathematics (2008)

In most inventory models it is assumed that the parameters of the model do not vary with time, and that the payment of orders from the retailer to the supplier are made immediately on the receipt of these orders. Some suppliers, however, allow a certain fixed period to settle payment accounts. During this fixed period no interest is charged by the supplier, but beyond that period an interest, with the conditions agreed upon, is charged on the ratailer. However, an interest can be earned by the ratailer from the revenue that he receives during the give credit period. The objective of the retailer is to minimize his total relevant costs. In this paper we formulate and solve the problem for a general EOQ model in which shortages are allowed, but are partially backlogged, and all model parameters, including the cost parameters, are arbitrary functions of time. Then, we use rigorous mathematical methods to show that the obtained solution is unique and global optimal.
When Is Price Discrimination Profitable?
Authors: Eric T. Anderson, James D. Dana
Venue: Management Science (2009)

We consider a general model of monopoly price discrimination and characterize the conditions under which price discrimination is and is not profitable. We show that an important condition for profitable price discrimination is that the percentage change in surplus (i.e., consumers' total willingness to pay, less the firm's costs) associated with a product upgrade is increasing in consumers' willingness to pay. We refer to this as an increasing percentage differences condition and relate it to many known results in the marketing, economics, and operations management literatures.
Classes of Service under Perfect Competition and Technological Change
Authors: Daniel Lehmann
Venue: Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (2009)

Certain services may be provided in a continuous, one-dimensional, ordered range of different qualities and a customer requiring a service of quality q can only be offered a quality superior or equal to q. Only a discrete set of different qualities will be offered, and a service provider will provide the same service (of fixed quality b) to all customers requesting qualities of service inferior or equal to b. Assuming all services (of quality b) are priced identically, a monopolist will choose the qualities of service and the prices that maximize profit but, under perfect competition, a service provider will choose the (inferior) quality of service that can be priced at the lowest price. Assuming significant economies of scale, two fundamentally different regimes are possible: either a number of different classes of service are offered (DC regime), or a unique class of service offers an unbounded quality of service (UC regime). The DC regime appears in one of two sub-regimes: one, BDC, in which a finite number of classes is offered, the qualities of service offered are bounded and requests for high-quality services are not met, or UDC in which an infinite number of classes of service are offered and every request is met. The types of the demand curve and of the economies of scale, and not the pace of technological change, determine the regime and the class boundaries. The price structure in the DC regime obeys very general laws.
Temperature-constrained power control for chip multiprocessors with online model estimation
Authors: Yefu Wang, Kai Ma, Xiaorui Wang
Venue: ACM SIGARCH Computer Architecture News (2009)

As chip multiprocessors (CMP) become the main trend in processor development, various power and thermal management strategies have recently been proposed to optimize system performance while controlling the power or temperature of a CMP chip to stay below a constraint. The availability of per-core DVFS (dynamic voltage and frequency scaling) also makes it possible to develop advanced management strategies. However, most existing solutions rely on open-loop search or optimization with the assumption that power can be estimated accurately, while others adopt oversimplified feedback control strategies to control power and temperature separately, without any theoretical guarantees. In this paper, we propose a chip-level power control algorithm that is systematically designed based on optimal control theory. Our algorithm can precisely control the power of a CMP chip to the desired set point while maintaining the temperature of each core below a specified threshold. Furthermore, an online model estimator is designed to achieve analytical assurance of control accuracy and system stability, even in the face of significant workload variations or unpredictable chip or core variations. Empirical results on a physical testbed show that our controller outperforms two state-of-the-art control algorithms by having better SPEC benchmark performance and more precise power control. In addition, extensive simulation results demonstrate the efficacy of our algorithm for various CMP configurations.
Fairness and QoS guarantees of WiMAX OFDMA scheduling with fuzzy controls
Authors: Chao-Lieh Chen, Jeng-Wei Lee, Chi-Yuan Wu, Yau-Hwang Kuo
Venue: EURASIP Journal on Wireless Communications and Networking (2009)

A fairness and QoS guaranteed scheduling approach with fuzzy controls (FQFCs) is proposed for WiMAX OFDMA systems. The controllers, respectively, adjust priority and transmission opportunity (TXOP) for each WiMAX connection according to QoS requirements and service classes. The FQFC provides intra- and interclass fairness guarantees by making connections within the same class achieve equal degree of QoS while at the same time making those without QoS requirements equally share the remaining resources. Even in dynamic environments such as mobile WiMAX networks with time-variant traffic specifications, the FQFC fairly guarantees delay, throughput, and jitter, which are seldom achieved at the same time by state-of-the-art solutions.
Online Estimation of Available Bandwidth and Fair Share Using Kalman Filtering
Authors: Zdravko Bozakov, Michael Bredel
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

In this paper we address the problem of online bandwidth estimation in wired and wireless LANs. To this end, we employ active probing, i.e. we continuously inject packet probes into the network. We present the key challenges and analyze the trade-offs between fast change detection and estimate smoothness. We show the benefit of using Kalman filtering to obtain optimal estimates under certain conditions and provide a procedure for parameterizing the filter with respect to specific use cases. Furthermore, we evaluate the influence of probing train length on the results. Based on our findings we developed a tool implementing the presented methodology. We support our theoretical results by a number of real-world measurements as well as simulations.
Translation disambiguation for cross-language information retrieval using context-based translation probability
Authors: Kazuaki Kishida, Emi Ishita
Venue: Journal of Information Science (2009)

Disambiguation between multiple translation choices is very important in dictionary-based cross-language information retrieval. In prior work, disambiguation techniques have used term co-occurrence statistics from the collection being searched. Experimentally these techniques have worked well but are based upon heuristic assumptions. In this paper, a theoretically grounded alternative is proposed, one which uses sense disambiguation based upon context terms within the source text. Specifically this paper introduces the concept of translation probabilities incorporating a context term and extends the IBM Model 1 for estimating context-based translation probabilities from a sentence-aligned bilingual corpus. Experimental results in English to Italian bilingual searches show significant performance improvement of the context-based translation probabilities over the case without any disambiguation.
A Practical Sense of Knowing: Exploring Awareness Strategies in a Mobile Workplace
Authors: Carljohan Orre, Leon A. Watts
Venue: Proceeding of the 2006 conference on Cooperative Systems Design: Seamless Integration of Artifacts and Conversations -- Enhanced Concepts of Infrastructure for Communication (2006)

This paper presents and discusses strategies used by homecare workers to establish and maintain awareness in a mobile workplace. It capitalizes on data derived from a longitudinal translocal ethnographic study of homecare and the utilization of mobile technology. The study exposes two distinct dimensions of the work context, denoted the Case and Base dimensions, which are used as vehicles to describe situations of collaborative practice that occur (1) in a coordination meeting, (2) on a homecare visit, and (3) in an on-the-fly 'illicit' use of mobile technology. We propose a new conception of collaborative awareness as a 'practical sense of knowing'. Findings from the ethnographic study are consistent with a well-worn distinction between “knowing that”, declarative knowledge, and “knowing how”, procedural knowledge. Conventional structures of organizational control, encoded both procedurally and as declarations of responsibility, are routinely broken and reformed. This happens as workers devise new strategies in order to maintain the keen sense of their collaborative situation required to sustain an orderly workplace.
Towards Multiscale Simulations of Carbon Nanotube Growth Process: A Density Functional Theory Study of Transition Metal Hydrides
Authors: Satyender Goel, Artëm E. Masunov
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

Nanoelectronics and photonics applications of single wall carbon nanotubes (SWNT) are feasible only if SWNTs have specific chirality. The knowledge of the detailed mechanism for SWNT synthesis would allow one to optimize the chemical vapor deposition (CVD) process and may help to gain control over selectivity of SWNT synthesis. While it is not probably feasible to study this mechanism experimentally, it could be analyzed using molecular simulations. Here we propose multiscale computer modeling of CVD process. High theory level can be used for di- and tri-atomic fragments, in order to generate parameters for bond order force field. In turn, force field simulations will be used to characterize the chemical origin and thermochemical properties of the intermediates and transition states. This will allow predicting the rate constants for the elementary steps, which are then used in kinetic Monte Carlo simulations to describe SWNT growth at realistic time scales. 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
Design of a new fMRI compatible haptic interface
Authors: Siqiao Li, Antonio Frisoli, Luigi Borelli, Massimo Bergamasco, Markus Raabe, Mark W. Greenlee
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor control. In order to evaluate the validity of the proposed solution, we performed some preliminary experiments with a single degree of freedom device to test the compatibility with the fMRI environment. The 1DOF design was extended to the implementation of a 3DOFs parallel manipulator with 3UPU kinematics. Due to the dimensional constraints imposed by the fMRI environment, the choice of the dimensions and of the adopted mechanical solution was a result of an optimization process, that is presented in this work. Reachable workspace, kinematic isotropy, end-point stiffness, minimum force and translational clearance were studied in different configurations to select the stroke of the prismatic joint and the radius difference between the moving platform and the base. A further optimization of the mechanical design was then conducted in order to reduce the torque requested to the actuators for gravity compensation and consequently improve the performance of the manipulator. The final design resulted in a system capable of satisfying all the environment and user requirements.