ppxscal/embedding_network huggingface dataset:
SAT-based Unbounded Model Checking of Timed Automata
Authors: Wojciech Penczek, Maciej Szreter
Venue: Fundamenta Informaticae (2008)

We present an improvement to the SAT-based Unbounded Model Checking (UMC, for short) algorithm [13]. Our idea consists in building blocking clauses of literals corresponding not only to propositional variables encoding states, but also to more general subformulas over these variables encoding sets of states. This way our approach alleviates an exponential blow-up in the number of blocking clauses. A hybrid algorithm for verifying Timed Automata is proposed, where the timed part of blocking clauses is computed using Difference Bound Matrices. The optimization results in a considerable reduction in the size and the number of generated blocking clauses, thus improving the overall performance. This is shown on the standard benchmark of Fischer's Mutual Exclusion protocol.
The YAGO-NAGA approach to knowledge discovery
Authors: Gjergji Kasneci, Maya Ramanath, Fabian Suchanek, Gerhard Weikum
Venue: ACM SIGMOD Record (2009)

This paper gives an overview on the YAGO-NAGA approach to information extraction for building a conveniently searchable, large-scale, highly accurate knowledge base of common facts. YAGO harvests infoboxes and category names of Wikipedia for facts about individual entities, and it reconciles these with the taxonomic backbone of WordNet in order to ensure that all entities have proper classes and the class system is consistent. Currently, the YAGO knowledge base contains about 19 million instances of binary relations for about 1.95 million entities. Based on intensive sampling, its accuracy is estimated to be above 95 percent. The paper presents the architecture of the YAGO extractor toolkit, its distinctive approach to consistency checking, its provisions for maintenance and further growth, and the query engine for YAGO, coined NAGA. It also discusses ongoing work on extensions towards integrating fact candidates extracted from natural-language text sources.
An integrated power saving scheduling algorithm in 802.16e wireless metropolitan area networks
Authors: Wen-Hwa Liao, Nien-Tsung Lee
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

In IEEE 802.16e, with the popularization of multimedia services, multicast and unicast services are coexisted in one mobile subscriber stations (MSS). The mobile devices generally powered by energy-limited battery. Thus, the power saving is the important issue of extending the lifetime of MSSs. In this paper we have proposed a Multicast Services Based Scheduling (MSBS) algorithm that improves energy efficiency for both unicast and multicast services, and conforms QoS requirements of MSSs in 802.16e wireless networks. MSBS controls packets based on a deadline for each packet determined from QoS parameters and reduces energy consumption of MSSs by minimizing the energy for switching. Simulation results show that, MSBS can produce significant overall energy saving and prolonged lifetime of the MSSs.
An inductor-less MPPT design for light energy harvesting systems
Authors: Hui Shao, Chi-Ying Tsui, Wing-Hung Ki
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

An inductor-less maximum power point tracker was designed for light energy harvesting systems. We target at systems under different lighting environments and sometimes the solar cell voltage may be low. A charge pump is used to convert the voltage to a higher value. At the same time, the control circuit tunes the charge pump switching frequency to track the system maximum output power point. The design was fabricated and measured to verify the system operation.
Parametric Design for Reconfigurable Software-Defined Radio
Authors: Tobias Becker, Wayne Luk, Peter Y. Cheung
Venue: Proceedings of the 5th International Workshop on Reconfigurable Computing: Architectures, Tools and Applications (2009)

Run-time reconfigurable FPGAs are powerful platforms for realising software-defined radio systems. This paper introduces a parametric approach to designing such systems based on application and device parameters. We analyse the potential for reconfiguration in several software-defined radio components and demonstrate how the degree of parallelism in a reconfigurable module influences reconfiguration time and performance. In a case study with a reconfigurable FIR filter, our method increases the performance by a factor of 2.4.
An AI system for the decision to control parameters of TP film printing
Authors: Chih-Chien Huang, Huang-Chu Huang, Yu-Ju Chen, Rey-Chue Hwang
Venue: Expert Systems with Applications: An International Journal (2009)

In this paper, an artificial intelligent mechanism for the decision of control parameters of touch panel film printing was developed. This mechanism is capable of providing the accurate information for the control parameters of the film printing, so that the technician could make a good setting work for the real-line manufacturing operation of touch panel film. Thus, this system not only can help the technician to improve the efficiency on the work of film printing, but also can reduce the cost caused by the defective products for the company. In our study, this intelligent system was constructed by using quantum neural network. It can automatically display the proper value of each control parameter needed for the film printing when the thickness of film is determined.
Tails of multivariate Archimedean copulas
Authors: Arthur Charpentier, Johan Segers
Venue: Journal of Multivariate Analysis (2009)

A complete and user-friendly directory of tails of Archimedean copulas is presented which can be used in the selection and construction of appropriate models with desired properties. The results are synthesized in the form of a decision tree: Given the values of some readily computable characteristics of the Archimedean generator, the upper and lower tails of the copula are classified into one of three classes each, one corresponding to asymptotic dependence and the other two to asymptotic independence. For a long list of single-parameter families, the relevant tail quantities are computed so that the corresponding classes in the decision tree can easily be determined. In addition, new models with tailor-made upper and lower tails can be constructed via a number of transformation methods. The frequently occurring category of asymptotic independence turns out to conceal a surprisingly rich variety of tail dependence structures.
Predicting replicated database scalability from standalone database profiling
Authors: Sameh Elnikety, Steven Dropsho, Emmanuel Cecchet, Willy Zwaenepoel
Venue: Proceedings of the 4th ACM European conference on Computer systems (2009)

This paper develops analytical models to predict through-put and response time of a replicated database using meas-urements of the workload on a standalone database. These models allow workload scalability to be estimated before the replicated system is deployed, making the technique useful for capacity planning and dynamic service provi-sioning. The models capture the scalability limits stemming from update propagation and aborts for both multi-master and single-master replicated databases that support snap-shot isolation. We validate the models by comparing their throughput and response time predictions against experimental meas-urements on two existing prototype replicated database systems running the TPC-W and RUBiS workloads. We show that the model predictions match the experimental results for both the multi-master and single-master designs and for the various workload mixes of TPC-W and RUBiS.
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Authors: Toni Ruokolainen, Lea Kutvonen
Venue: Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers (2009)

In inter-enterprise business service collaborations management of non-functional properties has become a fundamental issue as business management and computing infrastructures are expected to align more closely. Already, service-oriented computing emphasizes dynamic binding between the functional elements participating in service collaborations and late encapsulation of properties on them. In such environments, the non-functional service properties are used a) as selection criteria during service discovery and b) as parts of collaboration contracts and service-level agreements in particular.This paper contributes to the conceptualisation of non-functional properties in the context of service-oriented computing. The nature of non-functional properties is elaborated by metamodels that formalize the concepts and provide facilities for the management of non-functional properties during design time and run time.
A two-parameter model for crack growth simulation by combined FEM-DBEM approach
Authors: R. Citarella, G. Cricrí
Venue: Advances in Engineering Software (2009)

This paper describes the application of a two-parameters crack growth model, based on the usage of two threshold material parameters (@DK"t"h and K"m"a"x","t"h) and on the allowance for residual stresses, introduced at the crack tip by a fatigue load spectrum or by material plastic deformations. The coupled usage of finite element method (FEM) and dual boundary element method (DBEM) is proposed in order to take advantage of the main capabilities of the two methods. The procedure is validated by comparison with available experimental results, in order to assess its capability to predict the retardation phenomena, introduced by a variable load spectrum or by a plastic deformation introduced with a tool on the panel (indentation). In particular two different tests are made: the first test involve a CT specimen undergoing a load spectrum and the second one involve a dented panel undergoing a constant amplitude fatigue load. In both cases a satisfactory numerical-experimental correlation will be proved. The main advantages of the aforementioned procedure are: the simplicity of the crack growth law calibration (few constant amplitude tests are sufficient without the need for any non-physical calibration parameters), and the possibility to simulate residual stress effects on crack propagation with a simplified approach, based on linear elastic fracture mechanics.
Predictive potentiality of artificial neural networks for predicting the electrical conductivity (EC) of drinking water of Hyderabad city
Authors: Niaz A. Memon, M. A. Unar, A. K. Ansari, G. B. Khaskheli, Bashir Ahmed Memon
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Electrical Conductivity (EC) is an important parameter of drinking water. The determination of electrical conductivity provides a prompt and expedient way to measure the accessibility of electrolytes in the water. There are convinced health effects on human life through these electrolytes, like disorder of salt and water balance in infants, heart patients, individuals with high blood pressure, and renal diseases. Salty taste is one of the aesthetic effects of EC if it exceeds 150 mS/m and if greater than 300 mS/m it does not slake the thirst. The drinking water supplied to Hyderabad city is taken from River Indus and the EC of this river remains questionable. The values of EC in drinking water of Hyderabad at selected locations were recorded. From 49 samples, the average values ranged from 658 to762. In order to determine the optimal value of EC with in the distribution system, where it deteriorates, it is necessary to predict it at different locations. The use of conventional methods to predict parametric values in the distribution systems is suffered from certain precincts. To get better drinking water quality by tumbling operational costs, Advance process control and automation technologies are the tools to be used normally. The application of Artificial Neural Networks in Water Supply Engineering is enticing and more accepted because of its high predictive accuracy. In this paper Radial Basis Neural Network has been demonstrated. The data sets are prepared for training the model. It was observed that the model has high predictive potentiality to predict the values of Electrical conductivity at 07 locations of distribution system of water supply in Hyderabad city.
Spatial Hierarchy of Textons Distributions for Scene Classification
Authors: Sebatiano Battiato, Giovanni Maria Farinella, Giovanni Gallo, Daniele Ravì
Venue: Proceedings of the 15th International Multimedia Modeling Conference on Advances in Multimedia Modeling (2009)

This paper proposes a method to recognize scene categories using bags of visual words obtained hierarchically partitioning into subregion the input images. Specifically, for each subregion the Textons distribution and the extension of the corresponding subregion are taken into account. The bags of visual words computed on the subregions are weighted and used to represent the whole scene. The classification of scenes is carried out by a Support Vector Machine. A k-nearest neighbor algorithm and a similarity measure based on Bhattacharyya coefficient are used to retrieve from the scene database those that contain similar visual content to a given a scene used as query. Experimental tests using fifteen different scene categories show that the proposed approach achieves good performances with respect to the state of the art methods.
Compressive Structured Light for Recovering Inhomogeneous Participating Media
Authors: Jinwei Gu, Shree Nayar, Eitan Grinspun, Peter Belhumeur, Ravi Ramamoorthi
Venue: Proceedings of the 10th European Conference on Computer Vision: Part IV (2008)

We propose a new method named compressive structured light for recovering inhomogeneous participating media. Whereas conventional structured light methods emit coded light patterns onto the surface of an opaque object to establish correspondence for triangulation, compressive structured light projects patterns into a volume of participating medium to produce images which are integral measurements of the volume density along the line of sight. For a typical participating medium encountered in the real world, the integral nature of the acquired images enables the use of compressive sensing techniques that can recover the entire volume density from only a few measurements. This makes the acquisition process more efficient and enables reconstruction of dynamic volumetric phenomena. Moreover, our method requires the projection of multiplexed coded illumination, which has the added advantage of increasing the signal-to-noise ratio of the acquisition. Finally, we propose an iterative algorithm to correct for the attenuation of the participating medium during the reconstruction process. We show the effectiveness of our method with simulations as well as experiments on the volumetric recovery of multiple translucent layers, 3D point clouds etched in glass, and the dynamic process of milk drops dissolving in water.
Loss performance evaluation in heterogeneous hierarchical networks
Authors: Qian Huang, King-Tim Ko, Sammy Chan, Villy Bæk Iversen
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

In hierarchical overlaying cellular phone systems, traffic over-flow between the overlaying tiers is used to improve the utilization of capacity. The arrival process of overflow traffic has been verified to be correlated and bursty. This characteristic has brought great challenge to performance evaluation in hierarchical networks. The discussions in most existing work focus on traffic loss analysis in homogenous hierarchical networks, e.g. micro/macro cellular phone systems. In this paper, we address the problems of performance evaluation in more complicated scenarios by taking into account heterogeneity and user mobility in hierarchical networks, and present an approximated analytical loss model. The obtained loss performance by our approximated analytical model is validated by simulation in a heterogeneous multi-tier overlaying system.
Enhancing cache invalidation in mobile environments
Authors: Haidar Safa, Hassan Artail, Mirna Nahhas
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

The diversity of services delivered over wireless channels has increased people desire in ubiquitously accessing these services from their mobile devices. However, an ubiquitous mobile computing environment faces several challenges such as scarce bandwidth, limited energy resources, and frequent disconnection of the server and mobile devices. Caching frequently accessed data is an effective technique to improve the network performance since it reduces the network congestion, the query delay, and the power consumption. When caching is used, maintaining cache consistency becomes a major challenge since data items that are updated on the server should be also updated in the cache of the mobile devices. In this paper we propose a new cache invalidation scheme called Selective Adaptive Sorted (SAS) cache invalidation strategy. The proposed scheme overcomes the false invalidation problem that exists in most of the invalidation strategies found in the literature. The performance of the proposed strategy is evaluated. Results showed that a significant cost reduction can be obtained with SAS when measuring performance metrics such as delay, bandwidth, and energy.
On Toda's Theorem in Structural Communication Complexity
Authors: Henning Wunderlich
Venue: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science (2009)

We prove Toda's Theorem, i.e. in the context of structural communication complexity. The class PSPACE cc was defined via alternating protocols with $\mathcal{O}(\log n)$ many alternations. In this article we consider the class BP&middot;&thinsp;&oplus;&thinsp;P cc of Toda&rsquo;s Theorem, and show that every language in this class can be decided with alternating protocols using $\mathcal{O}(\log n/\log\log n)$ many alternations. The respective proof is based on a new alternating protocol for the inner product function IP with $\mathcal{O}(\log n/\log\log n)$ many alternations.
Business Processes Solution with Apache Struts Framework
Authors: Su Su Khin
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

A web application is a software system that contains the computing and networking technologies required for use through web browsers on the Internet Web application has now become one of the major forms of the information systems over the computer network based on the World Wide Web technology. The fundamental feature of web applications is that its behavior is specified by the interaction between the environment and the system. One of the major platforms to build web applications is J2EE based on the MVC model. A framework gives a concrete method for the building pattern. A framework based on the MVC model such as Struts. This paper is concerned with the use of Apache Struts Framework. This framework is analyzed at designing educational Web Application "Library" Reservation System and focused on the action processes of model (Model) have been created new component.
Available task-level parallelism on the Cell BE
Authors: Alejandro Rico, Alex Ramirez, Mateo Valero
Venue: Scientific Programming (2009)

There is a clear industrial trend towards chip multiprocessors (CMP) as the most power efficient way of further increasing performance. Heterogeneous CMP architectures take one more step along this power efficiency trend by using multiple types of processors, tailored to the workloads they will execute. Programming these CMP architectures has been identified as one of the main challenges in the near future, and programming heterogeneous systems is even more challenging. High-level programming models which allow the programmer to identify parallel tasks, and the runtime management of the inter-task dependencies, have been identified as a suitable model for programming such heterogeneous CMP architectures. In this paper we analyze the performance of Cell Superscalar, a task-based programming model for the Cell Broadband Engine Architecture, in terms of its scalability to higher number of on-chip processors. Our results show that the low performance of the PPE component limits the scalability of some applications to less than 16 processors. Since the PPE has been identified as the limiting element, we perform a set of simulation studies evaluating the impact of out-of-order execution, branch prediction and larger caches on the task management overhead. We conclude that out-of-order execution is a very desirable feature, since it increases task management performance by 50%. We also identify memory latency as a fundamental aspect in performance, while the working set is not that large. We expect a significant performance impact if task management would run using a fast private memory to store the task dependency graph instead of relying on the cache hierarchy.
An analytical model for information processing systems
Authors: Sheng-Chao Huang, Amrit L. Goel
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

Information processing systems are an important sector in the application of computer technology to the fields of on-line data processing and the management of large complicated data bases. With an increase in the number of systems being designed and used, there has been an increasing emphasis on the modeling and performance evaluation of such systems. In Reference 4 Nunamaker presented a procedure for the design and optimization methodology of such systems. In some cases, the evaluation procedure was reduced to the evaluation of file structure and data base organization. Kobayashi gave an algebraic modeling of information structures. In this paper, we carry out the study of mean response time by taking into consideration host processor environment, user characteristics and the data base structure. Total system response time is the main goal of this investigation.
Operating system penetration
Authors: Richard R. Linde
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

One of the favorite diversions of university students involves "beating" the system. In the case of operating systems, this has been a remarkably easy accomplishment. An extensive lore of operating system penetration, ranging from anecdotes describing students who have outsmarted the teacher's grading program to students who captured the system's password list and posted it on one of the bulletin boards, has been collected on college campuses. Private industry has been victimized much more seriously. Here the lore of "system" penetrations contains scenarios involving the loss of tens of thousands of dollars.
Multilevel Modeling of Morphogenesis
Authors: Paulien Hogeweg
Venue: Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers (2009)

In order to study the growth and development of cellular systems one needs a formalism in which one can combine the biophysical properties of cells with the modulation of these properties by gene regulatory processes. I will argue that the multiscale CA formalism now known as the Cellular Potts Model (CPM) provides a simple yet basically sound representation of a biological cell, which can be interfaced with gene regulatory processes. It represents a cell as a highly deformable object which takes its shape from internal and external forces acting upon it. I will demonstrate how within this formalism complex large scale morphodynamic processes can result from local regulation of cell, and in particular membrane, properties. I will explain morphogenetic mechanisms which tend to evolve in such systems.