ppxscal/embedding_network huggingface dataset:
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs
Authors: Stephanie Geist, Dmitry Gromov, Jörg Raisch
Venue: Discrete Event Dynamic Systems (2008)

In this contribution we present an approach to formulate and solve certain scheduling tasks for hybrid systems using timed discrete event control methods. To demonstrate our approach, we consider a cyclically operated plant with parallel reactors using common resources and a continuous output. For this class of systems, we show how to pose the control problem within a discrete event framework by modelling system components as multirate timed automata. We propose a supervisory control strategy incorporating off-line optimisation to assure safety and nonconflicting use of resources. These properties have to be achieved in the presence of a class of bounded errors/disturbances and can be verified by applying formal methods.
A Built-In TFT Array Charge-Sensing Technique for System-on-Panel Displays
Authors: Chen-Wei Lin, Jiun-Lang Huang
Venue: Proceedings of the 26th IEEE VLSI Test Symposium (2008)

For modern display systems, thorough testing of the TFT array is a critical element in yield management. However, for system-on-panel displays which integrate drivers, timing units, and controllers on the same substrate (usually glass) as the TFT array, access to the array data and scan lines is complicated. To reduce the tester complexity, we propose a low area overhead and offset compensated charge sensing capable source driver design which facilitates built-in TFT array charge sensing. To reduce the number of test access ports, a serial voltage readout scheme is proposed. Simulation results using LTPS technology are shown to validate the proposed technique.
Hf-O-N and HfO2 barrier layers for Hf-Ti-O gate dielectric thin films
Authors: K. Ramani, R. K. Singh, V. Craciun
Venue: Microelectronic Engineering (2008)

Hf-O-N and HfO"2 thin films were evaluated as barrier layers for Hf-Ti-O metal oxide semiconductor capacitor structures. The films were processed by sequential pulsed laser deposition at 300^oC and ultra-violet ozone oxidation process at 500^oC. The as-deposited Hf-Ti-O films were polycrystalline in nature after oxidation at 500^oC and a fully crystallized (o)-HfTiO"4 phase was formed upon high temperature annealing at 900^oC. The Hf-Ti-O films deposited on Hf-O-N barrier layer exhibited a higher dielectric constant than the films deposited on the HfO"2 barrier layer. Leakage current densities lower than 5x10A/cm^2 were achieved with both barrier layers at a sub 20A equivalent oxide thickness.
Interval Attributes Description Based FCM Clustering Algorithm for Noisy Data
Authors: Xia Shixiong, Li Yue'e, Zhou Yong
Venue: Proceedings of the First International Workshop on Knowledge Discovery and Data Mining (2008)

In allusion to the disadvantages that fuzzy c-means algorithm is sensitivity to noise and possibilistic c-means is easy to generate superposition cluster center, interval attributes description based FCM clustering algorithm is proposed in this paper. Firstly, an interval attributes description model of noisy data is presented. Then a clustering algorithm of interval attributes data based on two ends of interval number implemented by FCM. Finally, the simulations of practical data set are made by the algorithm of this paper and PCM. The results validated the feasibility and efficiencies of the algorithm proposed in this paper. Key Words: FCM; PCM; interval number; interval attributes; noisy data
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch
Authors: Andreas Sewe, Christoph Bockisch, Mira Mezini
Venue: Proceedings of the 7th workshop on Foundations of aspect-oriented languages (2008)

State-of-the-art implementations of common aspect-oriented languages weave residual dispatching logic for advice whose applicability cannot be determined at compile-time. But being derived from the residue's formula representation the woven code often implements an evaluation strategy which mandates redundant evaluations of atomic pointcuts. In order to improve upon the average-case run-time cost, this paper presents an alternative representation which enables efficient residual dispatch, namely ordered binary decision diagrams. In particular, this representation facilitates the complete elimination of redundant evaluations across all pointcuts sharing a join point shadow.
High-Quality Circuit Synthesis for Modern Technologies
Authors: Lech Jozwiak, Artur Chojnacki, Aleksander Slusarczyk
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

Due to weaknesses in circuit synthesis methods used in today’s CAD tools, the opportunities created by modern microelectronic technology cannot effectively be exploited. This paper considers the issues and requirements of circuit synthesis for the nano CMOS technologies, and discusses our new circuit synthesis technology that satisfies these requirements. The new technology considerably differs from all other known synthesis methods and overcomes their main weaknesses. The experimental results demonstrate that it produces very fast, compact and low-power circuits. The new technology has however many more major advantages that are discussed in the paper.
Mathematical modeling of boundary layer flow over a moving thin needle with variable heat flux
Authors: Syakila Ahmad, Roslinda Nazar, Ioan Pop
Venue: Proceedings of the 12th WSEAS International Conference on Applied Mathematics (2007)

The problem of steady laminar forced convection boundary layer flow of an incompressible viscous fluid over a moving thin needle with variable heat flux is considered. The governing boundary layer equations are first transformed into non-dimensional forms. These equations are then transformed into similarity equations using the similarity variables, which are solved numerically using an implicit finite-difference scheme known as the Keller-box method. The solutions are obtained for a blunt-nosed needle (m = 0). Numerical computations are carried out for various values of the dimensionless parameters of the problem, which include the Prandtl number Pr and the parameter a representing the needle size. It has been found that the wall temperature are significantly influenced by both parameters a and Prandtl number Pr. However, the Prandtl number has no effect on the flow characteristics due to the decoupled boundary layer equations.
Design and Compressed Storage of Inverted Index Based on Mixed Word Segmentation
Authors: Jin Luo, Xiao-Fang Zu, Shu-Liang Liu, Fa-Yong Zhang, Xin-Cai Wu
Venue: Proceedings of the First International Workshop on Knowledge Discovery and Data Mining (2008)

Speed and accuracy are the two key factors for the public-oriented integrated information service platform. This paper discusses a mixed segmentation based on the inverted index and compression algorithm. By combining database and file storage, we achieved index storage, which can support multi-table & multi-field simultaneous inquiry effectively. The design think of search engine interface based on such index storage mode has been introduced in detail at last in the paper. According to the above, search engine we designed inquiries faster than commonly used SQL statements several times faster. I am sure that will make more practical value for those who are interested in it.
Hamilton cycles, avoiding prescribed arcs, in close-to-regular tournaments
Authors: Anders Yeo
Venue: Journal of Graph Theory (1999)

The local irregularity of a digraph D is defined as il(D) = max {|d+ (x) - d- (x)| : x &epsilon; V(D)}. Let T be a tournament, let &Gamma; = {V1, V2, &hellip;, Vc} be a partition of V(T) such that |V1| &ge; |V2| &ge; &hellip; &ge; |Vc|, and let D be the multipartite tournament obtained by deleting all the arcs with both end points in the same set in &Gamma;. We prove that, if |V(T)| &ge; max{2il(T) + 2|V1| + 2|V2| - 2, il(T) + 3|V1| - 1}, then D is Hamiltonian. Furthermore, if T is regular (i.e., il(T) = 0), then we state slightly better lower bounds for |V(T)| such that we still can guarantee that D is Hamiltonian. Finally, we show that our results are best possible. &copy; 1999 John Wiley Sons, Inc. J Graph Theory 32: 123136, 1999
Skin cooling and other challenges in future mobile form factor computing devices
Authors: Rajiv Mongia, A. Bhattacharya, Himanshu Pokharna
Venue: Microelectronics Journal (2008)

In this paper, we describe several of the cooling challenges in the notebook space as well as outline techniques for evaluating the benefit of new thermal technologies. Some of the challenges described in this paper include thermodynamic limits (total heat within the system), skin temperatures, and component temperatures other than the microprocessor. Specifically, in this paper we will describe a new technology for better cooling skins called laminar wall jets. This technology is useful in reducing bottom skin temperatures of notebooks by up to 20%.
A Comprehensive Information Based Variable-Size Model for Intelligent Tutoring Systems
Authors: Xing Jin
Venue: Proceedings of the Fifth IEEE International Conference on Wireless, Mobile, and Ubiquitous Technology in Education (2008)

To implement intelligent macro-level learning arrangement in intelligent tutoring systems, a variable-size model of control architecture was proposed based on comprehensive information theory (CIT), which describes an consolidated information model of pragmatic, semantic and grammatical information. The three aspects in CIT correspond orderly to the learning arrangement level, content interaction level and form level in our variable-size model. An intelligent tutoring system was then implemented. The evaluation of our test among 14 students shows that the system has sufficient intelligence in adapting the holistic learning process.
Spatial Database Systems: Design, Implementation and Project Management, 1 edition
Authors: Albert K.W. Yeung, G. Brent Hall
Venue: Geojournal Library (2007)

This first of a kind book places spatial data within the broader domain of information technology (IT) while providing a comprehensive and coherent explanation of the guiding principles, methods, implementation and operational management of spatial databases within the workplace. The text explains the key concepts, issues and processes of spatial data implementation and provides a holistic management perspective that complements the technical aspects of spatial data stressed in other textbooks. In this respect, this book is unique in its coverage of spatial database principles and architecture, database modelling including UML, database and spatial data standards, spatial data infrastructure, database implementation, and workplace-oriented project management including user needs study and end user education. The text first overviews the current state of spatial information technology and it concludes with a speculative account of likely future developments. Cutting edge research and practical workplace needs are defined and explained. Topics covered, among others, include strategies for end user education, current spatial data standards and their importance, legal issues and liabilities in the ownership and use of spatial data, spatial metadata use within distributed databases, the Internet and Web-based solutions to database deployment, quality assurance and quality control in database implementation and use, spatial decision support, and spatial data mining. The book applies equally to senior undergraduate and graduate courses and students, as well as spatial data managers and practitioners already in the workplace. It will enhance their technical and human-resource based understanding of spatial data management. Certification courses that seek to prepare students for careers in the spatial information industry and courses targeted at enhancing needed geospatial workplace knowledge and skills will benefit greatly from its content.
Evaluation of two RANS turbulence models in predicting developing mixed convection within a heated horizontal pipe
Authors: W. Grassi, D. Testi
Venue: International Journal of Computational Fluid Dynamics (2007)

The developing weakly turbulent regime of mixed convection in a uniformly heated horizontal pipe was first studied experimentally, by means of heat transfer measurements in the following ranges of dimensionless numbers: 3.19
Privacy Preserving SQL Queries
Authors: Hyun-A Park, Justin Zhan, Dong Hoon Lee
Venue: Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008) (2008)

One of the most substantial ways to protect sensitive information is encryption of data. However, the cryptographic method brings in some problems such as inefficiency and malfunctioning, especially impossibility of arithmetic. The previous works in this area have been proved insecure or can provide only a few or several SQL queries. Actually, there is no scheme which can support secure all kinds of SQL queries and arithmetic. We propose a novel scheme to solve this problem. We do not encrypt every data itself but permute all the data within each attribute so that we can break the relation of the data and the owner. Accordingly, the proposed scheme guarantees intractability of re-identification for data-owners’ privacy and at the same time enables the miner to get the information he wants.
On the Levin iterative method for oscillatory integrals
Authors: Shuhuang Xiang, Haiyong Wang
Venue: Journal of Computational and Applied Mathematics (2008)

This paper considers and gives error analysis for Levin iteration method to approximate Bessel-trigonometric transformation I[f]=@!"a^bf(x)cos(r"1x)J"@m(rx)dx. For generalized Fourier transformation I[f]=@!"a^bf(x)e^i^@w^g^(^x^)dx under the condition that g^'(x)
Transforming sequential processes of net systems into concurrent ones
Authors: Hoang Chi Thanh
Venue: International Journal of Knowledge-based and Intelligent Engineering Systems (2007)

Translating sequential programs into concurrent ones to increase the time performance by making excessive use of the available recourses (processors) in the system is an important part of the compiler of concurrent programming languages. We present three algorithms for transforming sequential processes of a net system into concurrent ones. The first two are applied to programs with bounded behaviour, and the last is applied to the systems for which the maximal parallel semantics is the same as the parallel semantics. These algorithms are based on: trace languages, shift-left and case graphs. Though they are only presented for net systems, they can be adapted for different models of concurrent systems as well.
On geometric Lagrange interpolation by quadratic parametric patches
Authors: Gašper Jaklič, Jernej Kozak, Marjeta Krajnc, Vito Vitrih, Emil Žagar
Venue: Computer Aided Geometric Design (2008)

In the paper, the geometric Lagrange interpolation by quadratic parametric patches is considered. The freedom of parameterization is used to raise the number of interpolated points from the usual 6 up to 10, i.e., the number of points commonly interpolated by a cubic patch. At least asymptotically, the existence of a quadratic geometric interpolant is confirmed for data taken on a parametric surface with locally nonzero Gaussian curvature and interpolation points based upon a three-pencil lattice. Also, the asymptotic approximation order 4 is established.
A results merging algorithm for distributed information retrieval environments that combines regression methodologies with a selective download phase
Authors: Georgios Paltoglou, Michail Salampasis, Maria Satratzemi
Venue: Information Processing and Management: an International Journal (2008)

The problem of results merging in distributed information retrieval environments has gained significant attention the last years. Two generic approaches have been introduced in research. The first approach aims at estimating the relevance of the documents returned from the remote collections through ad hoc methodologies (such as weighted score merging, regression etc.) while the other is based on downloading all the documents locally, completely or partially, in order to calculate their relevance. Both approaches have advantages and disadvantages. Download methodologies are more effective but they pose a significant overhead on the process in terms of time and bandwidth. Approaches that rely solely on estimation on the other hand, usually depend on document relevance scores being reported by the remote collections in order to achieve maximum performance. In addition to that, regression algorithms, which have proved to be more effective than weighted scores merging algorithms, need a significant number of overlap documents in order to function effectively, practically requiring multiple interactions with the remote collections. The new algorithm that is introduced is based on adaptively downloading a limited, selected number of documents from the remote collections and estimating the relevance of the rest through regression methodologies. Thus it reconciles the above two approaches, combining their strengths, while minimizing their drawbacks, achieving the limited time and bandwidth overhead of the estimation approaches and the increased effectiveness of the download. The proposed algorithm is tested in a variety of settings and its performance is found to be significantly better than the former, while approximating that of the latter.
Correlation between Child-Pugh Degree and the Four Examinations of Traditional Chinese Medicine (TCM) with Liver Cirrhosis
Authors: Wang Yan, Ma Lizhuang, Liao Xiaowei, Liu Ping
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

Finding the relationship between the objective factors of Western Medicine and the signs or the symptoms of Traditional Chinese Medicine (TCM) is an important topic. Because the factors of Western Medicine can be evaluated objectively and the treatment way of TCM is more effectively to some diseases. In this paper, C4.5 algorithm, one of the Decision Tree, is used to analyze the relationship between Child-Pugh degree and four examinations of TCM based on liver cirrhosis. We hope to look for a method of Integrating Traditional Chinese and Western Medicine. When using our dataset, some rules are obtained and the accuracy of the grade of Child-Pugh classification is 85.67%, 64.97%, 77.94% according to Child-Pugh A, Child-Pugh B and Child-Pugh C. To test if the method is effective, we compare with other algorithms such as: Logistic, BayesNet, RBF NN, ID3 algorithm. It is demonstrated that C4.5 outperform ID3, Logistic, BayesNet, and RBF NN.
A GPU-Based Multiple-Pattern Matching Algorithm for Network Intrusion Detection Systems
Authors: Nen-Fu Huang, Hsien-Wei Hung, Sheng-Hung Lai, Yen-Ming Chu, Wen-Yen Tsai
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

By the development of network applications, network security issues are getting more and more important. This paper proposes a multiple-pattern matching algorithm for the network intrusion detection systems based on the GPU (Graphics Processing Units). The highly parallelism of the GPU computation power is used to inspect the packet content in parallel. The performance of the proposed approach is analyzed through evaluations such as using various texture formats and different implementations. Experimental results indicate that the performance of the proposed approach is twice of that of the modified Wu-Manber algorithm used in Snort. The proposed approach makes a commodity and cheap GPU card as a high performance pattern matching co-processor.
Deconstructing reappraisal: Descriptions preceding arousing pictures modulate the subsequent neural response
Authors: Dan Foti, Greg Hajcak
Venue: Journal of Cognitive Neuroscience (2008)

The late positive potential (LPP) is a sustained positive deflection in the event-related potential that is larger following the presentation of emotional compared to neutral visual stimuli. Recent studies have indicated that the magnitude of the LPP is sensitive to emotion regulation strategies such as reappraisal, which involves generating an alternate interpretation of emotional stimuli so that they are less negative. It is unclear, however, whether reappraisal-related reductions in the LPP reflect reduced emotional processing or increased cognitive demands following reappraisal instructions. In the present study, we sought to examine whether a more or less negative description preceding the presentation of unpleasant images would similarly modulate the LPP. The LPP was recorded from 26 subjects as they viewed unpleasant and neutral International Affective Picture System images. All participants heard a brief description of the upcoming picture; prior to unpleasant images, this description was either more neutral or more negative. Following the more neutral description, the magnitude of the LPP, unpleasant ratings, and arousal ratings were all reliably reduced. These results indicate that changes in narrative are sufficient to modulate the electrocortical response to the initial viewing of emotional pictures, and are discussed in terms of recent studies on reappraisal and emotion regulation.
Distributed voronoi diagram computation in wireless sensor networks
Authors: Waleed Alsalih, Kamrul Islam, Yurai Núñez-Rodríguez, Henry Xiao
Venue: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008)

We present a distributed algorithm to compute the Voronoi Diagram (VD) of a wireless network in the plane. Our contribution is twofold: the complete VD is computed, as opposed to the approximate or the bounded VD, and the number of transmissions used is relatively small.
Decompositions of a complete multidigraph into nonhamiltonian paths
Authors: Mariusz Meszka, Zdzisław Skupień
Venue: Journal of Graph Theory (2006)

For n&thinsp;&ge;&thinsp;3, the complete n-vertex multidigraph with any fixed multiplicity of edges is proved to be decomposable into nonhamiltonian (directed) paths of arbitrarily prescribed lengths (&le;&thinsp;n&thinsp;-&thinsp;2) provided that the lengths sum up to the size of the multidigraph. &copy; 2005 Wiley Periodicals, Inc. J Graph Theory
Synthesis of general impedance with simple dc-dc converters for power processing applications
Authors: J. C. P. Liu, C. K. Tse, N. K. Poon, M. H. Pong, Y. M. Lai
Venue: International Journal of Circuit Theory and Applications (2008)

A general impedance synthesizer using a minimum number of switching converters is studied in this paper. We begin with showing that any impedance can be synthesized by a circuit consisting of only two simple power converters, one storage element (e.g. capacitor) and one dissipative element (e.g. resistor) or power source. The implementation of such a circuit for synthesizing any desired impedance can be performed by (i) programming the input current given the input voltage such that the desired impedance function is achieved, (ii) controlling the amount of power dissipation (generation) in the dissipative element (source) so as to match the required active power of the impedance to be synthesized. Then, the instantaneous power will be automatically balanced by the storage element. Such impedance synthesizers find a lot of applications in power electronics. For instance, a resistance synthesizer can be used for power factor correction (PFC), a programmable capacitor or inductor synthesizer (comprising small high-frequency converters) can be used for control applications. Copyright &copy; 2007 John Wiley & Sons, Ltd.