ppxscal/embedding_network huggingface dataset:
Predicate Privacy in Encryption Systems
Authors: Emily Shen, Elaine Shi, Brent Waters
Venue: Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography (2009)

Predicate encryption is a new encryption paradigm which gives a master secret key owner fine-grained control over access to encrypted data. The master secret key owner can generate secret key tokens corresponding to predicates. An encryption of data x can be evaluated using a secret token corresponding to a predicate f; the user learns whether the data satisfies the predicate, i.e., whether f(x) = 1.Prior work on public-key predicate encryption has focused on the notion of data or plaintext privacy, the property that ciphertexts reveal no information about the encrypted data to an attacker other than what is inherently revealed by the tokens the attacker possesses. In this paper, we consider a new notion called predicate privacy, the property that tokens reveal no information about the encoded query predicate. Predicate privacy is inherently impossible to achieve in the public-key setting and has therefore received little attention in prior work. In this work, we consider predicate encryption in the symmetric-key setting and present a symmetric-key predicate encryption scheme which supports inner product queries. We prove that our scheme achieves both plaintext privacy and predicate privacy.
Collaborative Medicine Systems --- Modeling Concept and Architecture
Authors: Hwa Gyoo Park
Venue: Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers (2008)

Current dynamic changes in healthcare organizations have forced the organizations to consider wide improvement of their activities and to adopt the use of new information technologies in all the organizations' activities. Recently, there have been high demands for collaborative medical services between western and oriental medicines. In the organizations, core competences driven medical service partnerships can offer competitive advantages in medical effectiveness and expenditure. This study is performed to evaluate the feasibility of collaborative medicine system and to propose a modeling concept and architecture on the web-enabled environment.
Efficient Numerical Method of the 1D Motion of Two-Phase Fluid through Porous Medium in a Class of Discontinuous Functions
Authors: Bahaddin Sinsoysal, Mahir Rasulov
Venue: Numerical Analysis and Its Applications: 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers (2009)

In this paper a new numerical method for nonlinear system of partial differential equations which describes motion of a two-phase compressible fluid in microscopic porous medium in a class of discontinuous functions is suggested. For this aim, at first, the system of equations is split in two equations according to physical parameters. First one with respect to water saturation, and the other one with respect to pressure. Then, the special auxiliary problem having some advantages over the main problem is introduced. This auxiliary problem permits to develop the efficient numerical algorithm for obtaining the solution. Using the solution of the auxiliary problem, the solution of the main problem, which expresses all the physical properties is found.
Recent advances in the numerical analysis of Volterra functional differential equations with variable delays
Authors: Hermann Brunner
Venue: Journal of Computational and Applied Mathematics (2009)

The numerical analysis of Volterra functional integro-differential equations with vanishing delays has to overcome a number of challenges that are not encountered when solving 'classical' delay differential equations with non-vanishing delays. In this paper I shall describe recent results in the analysis of optimal (global and local) superconvergence orders in collocation methods for such evolutionary problems. Following a brief survey of results for equations containing Volterra integral operators with non-vanishing delays, the discussion will focus on pantograph-type Volterra integro-differential equations with (linear and nonlinear) vanishing delays. The paper concludes with a section on open problems; these include the asymptotic stability of collocation solutions u"h on uniform meshes for pantograph-type functional equations, and the analysis of collocation methods for pantograph-type functional equations with advanced arguments.
Stabilization of the minimum latency flow in Braess graphs by state-dependent tax
Authors: Takurou Misaka, Takafumi Kanazawa, Toshimitsu Ushio, Yasuhiko Fukumoto
Venue: Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems (2008)

A selfish routing game is a simple model of selfish behaviors in networks. Braess's paradox is a well-known example of inefficiencies existing in the selfish routing games and it is an important problem to reduce such inefficiencies. To resolve such a problem, a notion of a marginal cost tax has been proposed. Although the marginal cost tax makes the minimum latency flow a Nash equilibrium, it also imposes an additional latency on the minimum latency flow. Thus, we apply replicator dynamics with a subsidy and a capitation tax to Braess graphs and extend the capitation tax to a state-dependent one. Using two simplest Braess graphs B1 and B2, we show that the minimum latency flow of the Braess graphs can be stabilized by our proposed state-dependent tax.
A Mechatronic Device for Simulating Push-Buttons and Knobs
Authors: B. Allotta, V. Colla, G. Bioli
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

General purpose haptic interfaces are receiving increasing attention in the field of robotics and mechatronics, because of their great flexibility for simulating many different kind of interaction between user and virtual objects/environments. The paper describes a special-purpose haptic interface devoted to simulate the behavior of knobs and push buttons, to the aim of performing tests on different geometries and designs. In particular, the paper focuses on the control of the presented device, whose task is to provide a reaction to the external sollicitation as similar as possible to that of a real knob or button.
Novel delay-range-dependent stability analysis of the second-order congestion control algorithm with heterogonous communication delays
Authors: Songtao Guo, Gang Feng, Xiaofeng Liao, Qun Liu
Venue: Journal of Network and Computer Applications (2009)

Congestion in computer networks is one of the main reasons for degraded performance and poor quality of service and a good congestion control algorithm is thus essential in computer networks. A fundamental and required property of any control system is its stability. In this paper, we investigate the problem of asymptotic stability in the second-order congestion control system with heterogeneous communication delays. A new approach to stability analysis of the second-order congestion control algorithms is proposed, where the free weighting matrix technique is used and the knowledge of the delay interval is also utilized. Several linear matrix inequality (LMI)-based delay-range-dependent stability criteria are proposed. Simulation results show that the stability criteria proposed in this paper are much less conservative than the existing ones in the sense that the larger range of communication delays can be accommodated.
An Improved AODV Routing Protocol Based on Remaining Power and Fame
Authors: Daming Feng, Yanqin Zhu
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

Almost all proposed routing protocols are based on minimum hops in mobile ad hoc network. But through the research on the real communication of wireless nodes, we find that sometimes the path which has the minimum hops from the source to the destination may not be the best path. Considered the remaining power and the node selfishness, we propose an improved AODV routing protocol, I-AODV in this paper. We use a new term, node status, regard the node status as a function of the remaining power and the fame and regard the node status as the basic condition for choosing the next hop in the new routing protocol.
Constraint Handling Rules: Current Research Topics
Authors: Tom Schrijvers, Thom Frhwirth
Venue:  (2009)

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR.
Versioning computer-interpretable guidelines: Semi-automatic modeling of 'Living Guidelines' using an information extraction method
Authors: Katharina Kaiser, Silvia Miksch
Venue: Artificial Intelligence in Medicine (2009)

Objective: Clinical practice guidelines (CPGs) are means to provide evidence-based medical knowledge. In order to make up-to-date ''best'' scientific evidence available these documents need to be updated on an ongoing basis. An effective method to accomplish this aim is offered by the so-called ''living guidelines'': Living guidelines are documents presenting up-to-date and state-of-the-art knowledge to practitioners. To have guidelines implemented by computer-support they have to be formalized in a computer-interpretable form in a first step. Due to the complexity of such formats the formalization process is burdensome and time-consuming. Automating parts of the modeling process and, consequently, modeling updates of these guideline documents are demanded. Methods and material: The LASSIE methodology supports this task by formalizing guidelines in several steps from the textual form to the guideline representation language Asbru using a document-centric approach. LASSIE uses information extraction techniques to semi-automatically accomplish these steps. We apply LASSIE to support the implementation of living guidelines. Results: Based on a living guideline published by the Scottish Intercollegiate Guidelines Network (SIGN) we show that adaptations of previously formalized guidelines can be accomplished easily and fast. Thereby, the different versions of guideline documents are compared and updates are identified. Due to the traceable formalization method of linking text parts and their corresponding formal models, we are able to inherit unchanged models from previously formalized versions. Thus, we only need to formalize updated text parts using the semi-automatic formalization method LASSIE. Conclusion: We propose a simple, time-saving, but effective method called LASSIE to formalize new guideline versions of previously formalized CPGs. Furthermore, models that have been added or modified by knowledge engineers in previous versions can also be transferred easily. This will result in a faster implementation of new guideline versions also known as living guidelines to provide up-to-date knowledge necessary for accomplishing the daily work of health care professionals.
Model Based Clustering of Audio Clips Using Gaussian Mixture Models
Authors: S. Chandrakala, C. Chandra Sekhar
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

The task of clustering multi-variate trajectory data of varying length exists in various domains. Model-based methods are capable of handling varying length trajectories without changing the length or structure. Hidden Markov models (HMMs) are widely used for trajectory data modeling. However, HMMs are not suitable for trajectories of long duration. In this paper, we propose a similarity based representation for multi-variate, varying length trajectories of long duration using Gaussian mixture models. Each trajectory is modeled by a Gaussian mixture model (GMM). The log-likelihood of a trajectory for a given GMM model is used as a similarity score. The scores corresponding to all the trajectories in the given data set and all the GMMs are used to form a score matrix that is used in a clustering algorithm. The proposed model based clustering method is applied on the audio clips which are multi-variate trajectories of varying length and long duration. The performance of the proposed method is much better than the method that uses a fixed length representation for an audio clip based on the perceptual features.
Practical approach to the near and far field regions
Authors: C. Pérez-Vega, J. M. Zamanillo, A. Mediavilla
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

In this paper the radiated field of an antenna is analyzed in terms of the magnitude and direction of the Poynting vector. The relative component decays rapidly with distance end for separations larger than 20λ (wavelengths) from the real component of Poynting vector, under this assumptions the wave can be considered as a plane wave. Therefore, measurements at such distances conform with the radiation pattern.
Modeling the competitive market efficiency of Egyptian companies: A probabilistic neural network analysis
Authors: Mohamed M. Mostafa
Venue: Expert Systems with Applications: An International Journal (2009)

Understanding efficiency levels is crucial for understanding the competitive structure of a market and/or segments of a market. This study uses two artificial neural networks (NN) and a traditional statistical classification method to classify the relative efficiency of top listed Egyptian companies. Accuracy indices derived from the application of a non-parametric data envelopment analysis approach are used to assess the classification accuracy of the models. Results indicate that the NN models are superior to the traditional statistical methods. The study shows that the NN models have a great potential for the classification of companies' relative efficiency due to their robustness and flexibility of modeling algorithms. The implications of these results for potential efficiency programs are discussed.
Granular Rough Theory: A representation semantics oriented theory of roughness
Authors: Bo Chen, Ming Sun, Mingtian Zhou
Venue: Applied Soft Computing (2009)

The present work is an archival paper for a series of contributions proposed in last few years on building a theory of roughness over pure mereological relations among information granules. There are five major efforts taken in the present paper: (1) emphasizing on the representational semantics of theory of roughness: to approximately represent a class of entities characterized by some aspects in terms of entity collections described at other aspects; (2) defining a representation model Granular Representation Calculus (GrRC) to synthesize complex information systems from information granules; (3) establishing notion of Granular Rough Theory (GrRT) over information granules operated in terms of GrRC; (4) extending GrRC/GrRT to various computational environments such as multi-agent systems and ontological computing environments; (5) exploring pragmatic aspects of GrRC/GrRT in implementing prototypes with data model and object programming orientations, and proposing an Ontology-Driven Web Information System as a granular-rough computational Web intelligence framework over GrRC/GrRT.
Efficient implementation of decoupling capacitors in 3D processor-dram integrated computing systems
Authors: Qi Wu, Jian-Qiang Lu, Ken Rose, Tong Zhang
Venue: Proceedings of the 19th ACM Great Lakes symposium on VLSI (2009)

Three-dimensional (3D) integration of a single high performance microprocessor die and multiple DRAM dies has been considered as a viable option to tackle the looming memory wall problem. Meanwhile, on-chip decoupling capacitors are becoming increasingly important to ensure power delivery integrity, particularly for high-performance integrated circuits. Targeting at 3D processor-DRAM integrated computing systems, this paper proposes to use 3D stacked DRAM dies to provide decoupling capacitors for the processor die. This can well leverage the superior capacitor fabrication ability of DRAM to eliminate the area penalty of decoupling capacitor insertion on the processor die. For its practical implementation, a simple uniform decoupling capacitor network design strategy is presented, and circuit SPICE simulations and computer system simulations are carried out to quantitatively demonstrate the effectiveness and illustrate various design trade-offs.
An integrated domain analysis approach for teleoperated systems
Authors: Joaqu&#x00ed;n Nicol&#x00e1;s, Joaqu&#x00ed;n Lasheras, Ambrosio Toval, Francisco J. Ortiz, B&#x00e1;rbara &#x00c1;lvarez
Venue: Requirements Engineering (2009)

Teleoperated systems for ship hull maintenance (TOS) are robotic systems for ship maintenance tasks, such as cleaning or painting a ship&#x2019;s hull. The product line paradigm has recently been applied to TOS, and a TOS reference architecture has thus been designed. However, TOS requirements specifications have not been developed in any rigorous way with reuse in mind. We therefore believe that an opportunity exists to increase the abstraction level at which stakeholders can reason about this product line. This paper reports an experience in which this TOS domain was analyzed, including the lessons learned in the construction and use of the TOS domain model. The experience is based on the application of extensions of well-known domain analysis techniques, together with the use of quality attribute templates traced to a feature model to deal with non-functional issues. A qualitative research method (action research) was used to carry out the experience.
Alert correlation survey: framework and techniques
Authors: Reza Sadoddin, Ali Ghorbani
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

Managing raw alerts generated by various sensors are becoming of more significance to intrusion detection systems as more sensors with different capabilities are distributed spatially in the network. Alert Correlation addresses this issue by reducing, fusing and correlating raw alerts to provide a condensed, yet more meaningful view of the network from the intrusion standpoint. Techniques from a divers range of disciplines have been used by researchers for different aspects of correlation. This paper provides a survey of the state of the art in alert correlation techniques. Our main contribution is a two-fold classification of literature based on correlation framework and applied techniques. The previous works in each category have been described alongside with their strengths and weaknesses from our viewpoint.
A design of experiments approach to military deployment planning problem
Authors: Ugur Z. Yildirim, İhsan Sabuncuoglu, Barbaros Tansel, Ahmet Balcioglu
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

We develop a logistics and transportation simulation that can be used to provide insights into potential outcomes of proposed military deployment plans. More specifically, we model the large-scale real-world military Deployment Planning Problem. It involves planning the movement of military units from their home bases to their final destinations using different transportation assets on a multimodal transportation network. We use an intelligent design of experiments approach to evaluate logistics factors with the greatest impact on the overall achievement of a typical real-world military deployment plan.
Larrabee: A Many-Core x86 Architecture for Visual Computing
Authors: Larry Seiler, Doug Carmean, Eric Sprangle, Tom Forsyth, Pradeep Dubey, Stephen Junkins, Adam Lake, Robert Cavin, Roger Espasa, Ed Grochowski, Toni Juan, Michael Abrash, Jeremy Sugerman, Pat Hanrahan
Venue: IEEE Micro (2009)

The Larrabee many-core visual computing architecture uses multiple in-order x86 cores augmented by wide vector processor units, together with some fixed-function logic. This increases the architecture's programmability as compared to standard GPUs. The article describes the Larrabee architecture, a software renderer optimized for it, and other highly parallel applications. The article analyzes performance through scalability studies based on real-world workloads. DOI of original article is available at: http://doi.acm.org/10.1145/1399504.1360617
Modeling and Characteristics Analysis of Intelligent Pneumatic Muscle with Shape Memory Alloy Braided Shell
Authors: Binrui Wang, Weiyi Zhou, Yinglian Jin, Hong Xu, Haisen Ke
Venue: Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics (2009)

Pneumatic muscles mimic function of human muscles and are used as robot actuators. The intelligent pneumatic muscle (IPM) with shape memory alloy (SMA) wires braided shell was proposed to improve characteristics. The mechanism was designed and prototype test-bench was made. Output force model was established through static force equilibrium analysis. The equation between temperature and contraction ratio of SMA wires was deduced through analyzing the volume ratio of Martensite to Austenite during crystalline structure transformation. This equation was adopted to get calculating methods of the contraction ratio, contractile force per cross-section area and variable stiffness of intelligent pneumatic muscle. Characteristics simulation was done on MATLAB and different pneumatic muscles’ characteristics were compared. The results show IPM has greater shell braided angle, greater contractile force and more flexible stiffness through adjusting SMA contraction ratio.
Optimization for hybrid vehicles
Authors: Radu Mirsu, Donald Gray, Toma Hentea
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Fuel efficiency has always been an important task in auto industry. Hybrid vehicles achieve this through the presence of an additional electrical machine which can act as both motor and generator. The combination of the engine and electrical machine makes them each be more efficient than when operating alone. The goal of this research is to build a controller that optimally manages the transfer of energy within the system such that the fuel consumption is minimized.
Design and analysis of stochastic local search for the multiobjective traveling salesman problem
Authors: Luís Paquete, Thomas Stützle
Venue: Computers and Operations Research (2009)

Stochastic local search (SLS) algorithms are typically composed of a number of different components, each of which should contribute significantly to the final algorithm's performance. If the goal is to design and engineer effective SLS algorithms, the algorithm developer requires some insight into the importance and the behavior of possible algorithmic components. In this paper, we analyze algorithmic components of SLS algorithms for the multiobjective travelling salesman problem. The analysis is done using a careful experimental design for a generic class of SLS algorithms for multiobjective combinatorial optimization. Based on the insights gained, we engineer SLS algorithms for this problem. Experimental results show that these SLS algorithms, despite their conceptual simplicity, outperform a well-known memetic algorithm for a range of benchmark instances with two and three objectives.