ppxscal/embedding_network huggingface dataset:
Secure Arithmetic Computation with No Honest Majority
Authors: Yuval Ishai, Manoj Prabhakaran, Amit Sahai
Venue: Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography (2009)

We study the complexity of securely evaluating arithmetic circuits over finite rings. This question is motivated by natural secure computation tasks. Focusing mainly on the case of two-party protocols with security against malicious parties, our main goals are to: (1) only make black-box calls to the ring operations and standard cryptographic primitives, and (2) minimize the number of such black-box calls as well as the communication overhead.We present several solutions which differ in their efficiency, generality, and underlying intractability assumptions. These include: An unconditionally secure protocol in the OT-hybrid model which makes a black-box use of an arbitrary ring R,but where the number of ring operations grows linearly with (an upper bound on) log|R|. Computationally secure protocols in the OT-hybrid model which make a black-box use of an underlying ring, and in which the number of ring operations does not grow with the ring size. The protocols rely on variants of previous intractability assumptions related to linear codes. In the most efficient instance of these protocols, applied to a suitable class of fields, the (amortized) communication cost is a constant number of field elements per multiplication gate and the computational cost is dominated by O(logk) field operations per gate, where k is a security parameter. These results extend a previous approach of Naor and Pinkas for secure polynomial evaluation (SIAM J. Comput., 2006). A protocol for the rings ¿ m = ¿/m¿ which only makes a black-box use of a homomorphic encryption scheme. When m is prime, the (amortized) number of calls to the encryption scheme for each gate of the circuit is constant. All of our protocols are in fact UC-secure in the OT-hybrid model and can be generalized to multiparty computation with an arbitrary number of malicious parties.
gReader: A Universally Designed, Device-Independent Email Client
Authors: Lindsay D. Grace
Venue: Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions (2009)

This paper describes the design, development and user study of a text-to-speech system for reviewing email messages. The system retrieves messages, converts them to audio files, and facilitates transferring the messages to a portable listening device. This study reviews the efficacy of such a system and compares the users' ability to comprehend spoken audio messages verses written messages. According to the study the system was successful, but the user interest in the design was only moderate.
Trading strategy design in financial investment through a turning points prediction scheme
Authors: Xiuquan Li, Zhidong Deng, Jing Luo
Venue: Expert Systems with Applications: An International Journal (2009)

Turning points prediction has long been a tough task in the field of time series analysis due to its strong nonlinearity, and thus has attracted many research efforts. In this study, the turning points prediction (TPP) framework is presented and further employed to develop a novel trading strategy designing approach to financial investment. The TPP framework is a machine learning-based solution incorporating chaotic dynamic analysis and neural network modeling. It works on the ground of a nonlinear mapping deduced in financial time series through chaotic analysis. An event characterization method is created in TTP framework to characterize trend patterns in ongoing financial time series. The main contributions of this paper are (1) it presents an ensemble learning based TPP framework, within which the nonlinear mapping is approximated by the ensemble artificial neural network (EANN) model with a new parameters learning algorithm; (2) a genetic algorithm (GA) based threshold optimization procedure is described with a newly defined performance measure, named TpMSE, which is used as a cost function; and (3) a trading strategy designing approach is proposed based on the TPP framework. The proposed approach was applied to the two real-world financial time series, i.e., an individual stock quote time series and the Dow Jones Industrial Average (DJIA) index time series. Experimental results show that the proposed approach can help investors make profitable decisions.
On Effectively Finding Maximal Quasi-cliques in Graphs
Authors: Mauro Brunato, Holger H. Hoos, Roberto Battiti
Venue: Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers (2008)

The problem of finding a maximum clique in a graph is prototypical for many clustering and similarity problems; however, in many real-world scenarios, the classical problem of finding a complete subgraph needs to be relaxed to finding an almost complete subgraph, a so-called quasi-clique. In this work, we demonstrate how two previously existing definitions of quasi-cliques can be unified and how the resulting, more general quasi-clique finding problem can be solved by extending two state-of-the-art stochastic local search algorithms for the classical maximum clique problem. Preliminary results for these algorithms applied to both, artificial and real-world problem instances demonstrate the usefulness of the new quasi-clique definition and the effectiveness of our algorithms.
Using mobile agents to recover from node and database compromise in path-based DoS attacks in wireless sensor networks
Authors: Bai Li, Lynn Batten
Venue: Journal of Network and Computer Applications (2009)

Wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from the traditional networked systems. With their development, a new attack called a path-based DoS (PDoS) attack has appeared. In a PDoS attack, an adversary, either inside or outside the network, overwhelms sensor nodes by flooding a multi-hop end-to-end communication path with either replayed packets or injected spurious packets. Detection and recovery from PDoS attacks have not been given much attention in the literature. In this article, we consider wireless sensor networks designed to collect and store data. In a path-based attack, both sensor nodes and the database containing collected data can be compromised. We propose a recovery method using mobile agents which can detect PDoS attacks easily and efficiently and recover the compromised nodes along with the database.
The effect of emotions and cognitions on continuance intention in information systems
Authors: S. C. Wang, Y. S. Lii, K. T. Fang
Venue: WSEAS Transactions on Information Science and Applications (2009)

While much of the prior studies on Information system (IS) adoption and usage continuance have examined cognitive factors, the emotion factors in understanding and predicting user behavior remained relatively unexplored. This study proposed a hybrid model that integrates emotion, cognition, satisfaction, and post adoption behavior in order to obtain a better understanding of users' continuance intention of IS. Three hundred and eighteen Blackboard Learning System (BLS) users were obtained from a survey. The paper assessed the psychometric properties of the measures through confirmatory factor analysis and then employed structural equation modeling analysis in order to examine the prospective model to better predict users' continuous adoption of IS. The results show that positive and negative emotions mediate the effect of confirmation and directly predict user satisfaction. However, perceived usefulness and perceived ease of use predict the level of user satisfaction better than emotions and perceived usefulness is the stronger predictor of user satisfaction than other variables.
RankClus: integrating clustering with ranking for heterogeneous information network analysis
Authors: Yizhou Sun, Jiawei Han, Peixiang Zhao, Zhijun Yin, Hong Cheng, Tianyi Wu
Venue: Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology (2009)

As information networks become ubiquitous, extracting knowledge from information networks has become an important task. Both ranking and clustering can provide overall views on information network data, and each has been a hot topic by itself. However, ranking objects globally without considering which clusters they belong to often leads to dumb results, e.g., ranking database and computer architecture conferences together may not make much sense. Similarly, clustering a huge number of objects (e.g., thousands of authors) in one huge cluster without distinction is dull as well. In this paper, we address the problem of generating clusters for a specified type of objects, as well as ranking information for all types of objects based on these clusters in a multi-typed (i.e., heterogeneous) information network. A novel clustering framework called RankClus is proposed that directly generates clusters integrated with ranking. Based on initial K clusters, ranking is applied separately, which serves as a good measure for each cluster. Then, we use a mixture model to decompose each object into a K-dimensional vector, where each dimension is a component coefficient with respect to a cluster, which is measured by rank distribution. Objects then are reassigned to the nearest cluster under the new measure space to improve clustering. As a result, quality of clustering and ranking are mutually enhanced, which means that the clusters are getting more accurate and the ranking is getting more meaningful. Such a progressive refinement process iterates until little change can be made. Our experiment results show that RankClus can generate more accurate clusters and in a more efficient way than the state-of-the-art link-based clustering methods. Moreover, the clustering results with ranks can provide more informative views of data compared with traditional clustering.
Brief paper: Decentralized cooperative control of multiple nonholonomic dynamic systems with uncertainty
Authors: Wenjie Dong, Jay A. Farrell
Venue: Automatica (Journal of IFAC) (2009)

This paper considers feedback control of a group of nonholonomic dynamic systems with uncertainty. Decentralized cooperative controllers are proposed with the aid of Lyapunov techniques, results of graph theory, and backstepping techniques. Robustness of the control laws with respect to communication delays is analyzed. An application of the proposed results is discussed. Simulation results show the effectiveness of the proposed controllers.
Structured organization of clinical data bases
Authors: Gio Wiederhold, James F. Fries, Stephen Weyl
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

The health care delivery system is under strong pressures from several sides. Many of these pressures derive from the demand for a more comprehensive range of health services and from the increased complexity of disease and treatment patterns. Since medical science has provided tools to manage many of the once common diseases, it now has to cope with problems of less well understood origin and course. The practicing physician is faced with an information explosion of major dimensions and a gap between scientific knowledge in a basic form and its practical application at the bedside.
ECESS Platform for Web Based TTS Modules and Systems Evaluation
Authors: Matej Rojc, Harald Höge, Zdravko Kačič
Venue: Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction: COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers (2008)

The paper presents platform for web based TTS modules and systems evaluation named RES (Remote Evaluation System). It is being developed within the European Centre of Excellence for Speech Synthesis (ECESS, www.ecess.eu). The presented platform will be used for web based online evaluation of various text-to-speech (TTS) modules, and even complete TTS systems, presently running at different Institutes and Universities worldwide. Each ECESS partner has to install the RES module server locally and connect it with its TTS modules. Using the RES client, partners will be able to perform different evaluation tasks for their modules using any necessary additional modules and/or language resources of their other partners, installed locally at the other partners' sites. Additionally, they will be able to integrate their own modules into the complete web-based TTS system in conjunction with the necessary modules of other partners. By using the RES client they could also build-up a complete TTS system via web, without using any of their own modules. Several partners can contribute their modules, even with the same functionality, and it is easy to add a new module to the whole web-based distributed system. The user will decide which partner's module to use in his own configuration or for a particular evaluation task. Evaluation can be done by any institution, able to access modules for evaluation without the need to install these modules locally. The platform will be used within the evaluation campaigns of different TTS modules and complete TTS systems carried-out by the ECESS consortium. The first remote-based evaluation campaign of text processing modules using the developed platform is foreseen for January 2008.
Continuity and compactness of the indirect product of two non-additive measures
Authors: Jun Kawabe
Venue: Fuzzy Sets and Systems (2009)

Let X and Y be non-empty sets, E a field of subsets of X, and F a field of subsets of Y. Then, every uniformly autocontinuous indirect product of two non-additive measures @m on E and @n on F is continuous on the product field generated by E and F whenever @m is continuous and @n is compact. A similar result holds for the compactness of indirect product measures.
The Study of Process Management Modeling Technology for Product Development
Authors: Lei Feng, Hexin Chen
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

This paper analyzes the characteristic of modern product collaborative development process and concludes the demand realizing process management model and puts forward multi-view process management modeling method. Model describes the restriction relation between related element and information flow. The model sustains function view and behavior view and organization view and information view of product development making by process information.
Duality gap of the conic convex constrained optimization problems in normed spaces
Authors: Liqun Ban, Wen Song
Venue: Mathematical Programming: Series A and B (2009)

In this paper, motivated by a result due to Champion [Math. Program.99, 2004], we introduce a property for a conic quasi-convex vector-valued function in a general normed space. We prove that this property characterizes the zero duality gap for a class of the conic convex constrained optimization problem in the sense that if this property is satisfied and the objective function f is continuous at some feasible point, then the duality gap is zero, and if this property is not satisfied, then there exists a linear continuous function f such that the duality gap is positive. We also present some sufficient conditions for the property .
Flexible modelling and support of interrelated decisions
Authors: Angela Liew, David Sundaram
Venue: Decision Support Systems (2009)

Decision problems often consist of numerous smaller decisions that are aggregated and interrelated while spanning multiple domains, paradigms, and/or perspectives. Therefore, the decision making process should be structured in such a flexible and iterative manner that enables a range of structured to unstructured decisions to be considered, built and solved in an appropriate manner. We propose and implement a framework and architecture that uses the three pillars of flexibility in decision making (sequential, parallel, convergence, and interwoven), versatility (of paradigm and/or domain), and independence of components (value, dimension, and purpose) to support the decision making process and the entire modelling lifecycle.
Instruction-level countermeasures against stack-based buffer overflow attacks
Authors: Francesco Gadaleta, Yves Younan, Bart Jacobs, Wouter Joosen, Erik De Neve, Nils Beosier
Venue: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems (2009)

In this paper, we examine the possibility of using virtualization to implement a countermeasure that protects against buffer overflow attacks. The countermeasure works by adding a few extra instructions to the architecture that are emulated by the hypervisor. After running performance benchmarks, a high overhead was observed. Our proof-of-concept software implementation illustrates that the proposed approach is feasible and that the hardware implementation confirms a negligible overhead.
Handling conditional preferences in recommender systems
Authors: Zhiyong Yu, Zhiwen Yu, Xingshe Zhou, Yuichi Nakamura
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2009)

In this paper, we propose an approach to handle conditional preferences in recommender systems. A quantitative conditional preference model based on domain knowledge is introduced. The inheritance property in concept trees and bipolar property in preference statements are adopted when interpreting conditional preference rules. Group preferences are merged from personal preferences with consideration of manipulability. A graphical user interface is developed for visualization of domain knowledge, conditional preference rules, personal and group preferences.
Using fuzzy cognitive map for system control
Authors: Lin Chun-Mei
Venue: WSEAS TRANSACTIONS on SYSTEMS (2008)

Fuzzy cognitive map is a powerful modeling tool. It has several desirable properties on control. In this paper, we utilize the feature and the inference mechanism of fuzzy cognitive map, and present a control method, which study combines control theory with fuzzy cognitive map theory. The causal relationship of variables is constructed by online learning or offline learning, the values of control variables are given by the inference of FCM model, and the control variables are used to adjust the value of controlled variables in actual process and carries out the control of multi-input and multi-out.
Biased Voting and the Democratic Primary Problem
Authors: Michael Kearns, Jinsong Tan
Venue: Proceedings of the 4th International Workshop on Internet and Network Economics (2008)

Inspired by the recent Democratic National Primary, we consider settings in which the members of a distributed population must balance their individual preferences over candidates with a requirement to quickly achieve collective unity. We formalize such settings as the "Democratic Primary Problem" (DPP) over an undirected graph, whose local structure models the social influences acting on individual voters.After contrasting our model with the extensive literature on diffusion in social networks (in which a force towards collective unity is usually absent), we present the following series of technical results: An impossibility result establishing exponential convergence time for the DPP for a broad class of local stochastic updating rules, which includes natural generalizations of the well-studied "voter model" from the diffusion literature (and which is known to converge in polynomial time in the absence of differing individual preferences). A new simple and local stochastic updating protocol whose convergence time is provably polynomial on any instance of the DPP. This new protocol allows voters to declare themselves "undecided", and has a temporal structure reminiscent of periodic polling or primaries. An extension of the new protocol that we prove is an approximate Nash equilibrium for a game-theoretic version of the DPP.
A semantic approach to interpolation
Authors: Andrei Popescu, Traian Florin erbnu, Grigore Rou
Venue: Theoretical Computer Science (2009)

Craig interpolation is investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially generalize known interpolation results; all the others are new. We also discuss some applications of our results to the theory of institutions and of algebraic specifications, and a Craig-Robinson version of these results.
Terminal hardware and methodology in hospital information systems
Authors: Stanley E. Jacobs, Lou Phillips, Marion J. Ball, John W. Anderson
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

Opening comments will define the term "hospital information systems" (HIS). Two levels of HIS will be described---first the level of HIS wherein the computer is used primarily as a data collection and message switching device; second the level where the computer also maintains a data bank of patient information and assists in the scheduling and controlling of activities of the hospital.
A Distributed Normative Infrastructure for Situated Multi-agent Organisations
Authors: Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos Rocha Costa
Venue: Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers (2008)

In most of the existing approaches to the design of multi-agent systems, there is no clear way in which to relate organisational and normative structures to the model of the environment where they are to be situated and operate. Our work addresses this problem by putting together, in a practical approach to developing multi-agent systems (and social simulations in particular), a high-level environment modelling language that incorporates aspects of agents, organisations, and normative structures. The paper explains in some detail how the ideas of normative objects and normative places, put together as a distributed normative infrastructure, allow the definition of certain kinds of situated multi-agent organisations, in particular organisations for multi-agent systems that operate within concrete environments. Normative objects are environment objects used to convey explicitly normative content that regulates the behaviour of agents within the place where such objects can be perceived by such agents. The paper defines these concepts, shows how they were integrated into the MAS-SOC multi-agent systems platform for social simulation, gives examples that illustrate the approach, and hints on new problems of (situated) organisational and normative structures that were brought forward by the work presented here.
Missing wind data forecasting with adaptive neuro-fuzzy inference system
Authors: Fatih O. Hocaoglu, Yusuf Oysal, Mehmet Kurban
Venue: Neural Computing and Applications (2009)

In any region, to begin generating electricity from wind energy, it is necessary to determine the 1-year distribution characteristics of wind speed. For this aim, a wind observation station must be constructed and 1-year wind speed and direction data must be collected. For determining the distribution characteristics, the collected data must be statistically analyzed. The continuity and reliability of the data are quite important for such studies on the days when possible faults can occur in any part of the observation unit or on days when, the system is on maintenance, it is not possible to record any data. In this study, it is assumed that the station had not worked at some randomly chosen days and that for these days no data could be recorded. The missing data are predicted using the data that were recorded before and after fault or maintenance by an adaptive neuro-fuzzy inference system (ANFIS). It is seen that ANFIS is successful for such a study.