ppxscal/embedding_network huggingface dataset:
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Authors: Magdalena Kacprzak Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter, Bożena Woźna, Andrzej Zbrzezny
Venue: Fundamenta Informaticae (2008)

The papers presents the current stage of the development of VerICS - a model checker for real-time and multi-agent systems. Depending on the type of a system considered, it enables to test various classes of properties - from reachability to temporal, epistemic and deontic formulas. The model checking methods used to this aim include both SAT-based and enumerative ones. In the paper we focus on new features of the verifier: SAT-based model checking for multi-agent systems and several extensions and improvements to real-time systems' verification.
Pairings Based Designated Verifier Signature Scheme for Three-Party Communication Environment
Authors: Han-Yu Lin, Tzong-Sun Wu
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

A designated verifier signature (DVS) scheme has the property that only the designated verifier specified by the signer can check the validity of the signature instead of anyone else. Meanwhile, the designated verifier can not use this proof to convince any third party that a signature is generated by the claimed signer. Consider the application of three-party communication environment. One party may has to generate a signature such that only the other two is capable of verifying it solely. In this paper, we propose a novel DVS scheme for three-party communication environment from pairings. The proposed scheme has the following advantages: (i) Each of the two designated verifiers can independently check the validity of the signature without cooperating with the other; (ii) The proposed scheme is efficient in terms of the executed pairings, since it only needs one pairing computation to generate a DVS for two designated verifiers; (iii) The proposed scheme satisfies the security requirements of unforgeability, non-transferability and source hiding.
Entropy-Based Measurement for Software: An Entropy-Based Measurement Framework forComponent-Based Hierarchical Systems
Authors: Ozgur Aktunc
Venue:  (2008)

Component-based software systems are becoming largerand more complex. The quantification of thesesystems is possible through representation in ahierarchical structure with the use of softwaremetrics. Metrics provide information about suchfeatures as complexity, design, quality, size,development time, effort, and cost. Entropy-basedsoftware metrics promise important improvements inmeasuring complexity, design quality, and informationflow. The proposed measurement framework in this bookoffers quantitative representation and decompositionmethods to apply entropy-based metrics. By using thismeasurement framework, the developer could achieve ahierarchical representation of the system which wouldclarify the logic flow and quantify the interactionbetween the components. The framework targets thedesign and evolution phases in component-basedsystems to detect structural complexity issues andcomprehend the interaction of the software modules.This framework would be helpful to both designers andusers to represent the component-based system in acomprehensible form and to apply the necessary measures.
A new QoS-aware TDMA/FDD MAC protocol with multi-beam directional antennas
Authors: Sedat Atmaca, Celal Ceken, Ismail Erturk
Venue: Computer Standards Interfaces (2009)

With the ever-increasing demand for wireless real-time services and continuing emergence of new multimedia applications especially for mobile users, it is necessary for the network to support various levels of quality of service (QoS) while maximizing the utilization of scarce and expensive wireless channel resources. Considering this fact, a new TDMA/FDD MAC protocol integrating a novel QoS management algorithm and multi-beam Directional Antennas (DAs) to efficiently exploit wireless resources has been developed and presented in this paper. It supports all ATM CBR, VBR, ABR and UBR service classes by adopting a well-managed dynamic guarantee-based QoS scheduling algorithm. The work mainly aims at increasing the wireless system throughput as well as improving the call-blocking ratios and end-to-end delays for real-time applications. This seamless communication enables both handling real-time multimedia traffics in a fair manner and granting call requests on the basis of the connection types. The system has been developed, modeled and simulated using OPNET Modeler. The simulation results show that the QoS-aware TDMA/FDD MAC with multi-beam DAs has substantially increased the system throughput and that the call-blocking ratio has been reduced from 86% to 18%, when the proposed MAC with 8-Beam antennas is employed instead of the regular MAC.
A hybrid approach for image recognition combining type-2 fuzzy logic, modular neural networks and the Sugeno integral
Authors: Olivia Mendoza, Patricia Melin, Guillermo Licea
Venue: Information Sciences: an International Journal (2009)

In this paper, a hybrid approach for image recognition combining type-2 fuzzy logic, modular neural networks and the Sugeno integral is described. Interval type-2 fuzzy inference systems are used to perform edge detection and to calculate fuzzy densities for the decision process. A type-2 fuzzy system is used for edge detection, which is a pre-processing applied to the training data for better use in the neural networks. Another type-2 fuzzy system calculates the fuzzy densities necessary for the Sugeno integral, which is used to integrate results of the neural network modules. In this case, fuzzy logic is shown to be a good methodology to improve the results of a neural system facilitating the representation of the human perception. A comparative study is also made to verify that the proposed approach is better than existing approaches and improves the performance over type-1 fuzzy logic.
Efficient heuristics for inventory placement in acyclic networks
Authors: Jia Shu, I. A. Karimi
Venue: Computers and Operations Research (2009)

The strategic safety stock placement problem is cast as a constrained separable concave minimization problem. Some network-specific algorithms do exist in the literature, but their utility is limited to small, sparse, and special supply chain network structures. In this paper, we present two efficient, easy-to-implement heuristic algorithms for placing strategic safety stock in general acyclic supply chain networks. The computational study demonstrates that the algorithms are able to obtain near-optimal (within 4% and 7% in average) solutions efficiently by solving a finite series of LPs (7%) or fixed-sized MIPs (4%). More importantly, their performance in terms of solution quality is nearly independent of the network size (for simulated instances with up to 100 stages). For general acyclic supply chain networks with 8000 nodes and 32,000 arcs, the LP-based algorithm typically finds solutions in under 5 minutes.
Clustering billions of data points using GPUs
Authors: Ren Wu, Bin Zhang, Meichun Hsu
Venue: Proceedings of the combined workshops on UnConventional high performance computing workshop plus memory access workshop (2009)

In this paper, we report our research on using GPUs to accelerate clustering of very large data sets, which are common in today's real world applications. While many published works have shown that GPUs can be used to accelerate various general purpose applications with respectable performance gains, few attempts have been made to tackle very large problems. Our goal here is to investigate if GPUs can be useful accelerators even with very large data sets that cannot fit into GPU's onboard memory. Using a popular clustering algorithm, K-Means, as an example, our results have been very positive. On a data set with a billion data points, our GPU-accelerated implementation achieved an order of magnitude performance gain over a highly optimized CPU-only version running on 8 cores, and more than two orders of magnitude gain over a popular benchmark, MineBench, running on a single core.
Large Lump Detection Using a Particle Filter of Hybrid State Variable
Authors: Zhijie Wang, Hong Zhang
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

This paper presents a particle filter based solution to the problem of detecting large frozen lumps in an image sequence, taken of the feed to a crusher, which is used for size reduction of oilsand ore. In this application, the objects of interest, i.e., large frozen lumps, are characterized by a high level of image noise, irregular shapes, and uneven and variable surface texture. In addition, more than one large lump can be present in the scene. Our proposed solution integrates evidence of the presence of large lumps over time, by adapting an existing Bayesian framework for joint object detection and tracking. To implement the particle filter, we formulate an application-specific observation model that is required by the Bayesian tracker. Our experimental results show that the proposed solution is capable of detecting multiple large lumps reliably, and that it has the potential of preventing the oilsand crusher from being jammed and leading to improved productivity.
A Preliminary Workload Analysis of SPECjvm2008
Authors: Hitoshi Oi
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

SPECjvm2008 is a new benchmark program suite for measuring client-side Java runtime environment. It replaces JVM98, which has been used for the same purpose for more than ten years. It consists of 38 benchmark programs grouped into eleven categories and has wide variety of workloads from computation-intensive kernels to XML file processors. In this paper, we present the results of running SPEC\-jvm2008 on three machines that have CPUs with the same microarchitecture and different cache sizes and clock speeds. The result of measurements include instruction and data cache reference and miss rates, and the effect of the multi-threading. We relate these workload parameters to the SPECjvm2008 performance metrics. Roughly speaking, an L2 cache of 1MB sufficiently lows the cache miss rates of SPECjvm2008 and compared to the single-core, 1.5 to 2 times speed-ups are achieved by dual-core executions.
Transforming Business Tasks to Data Flow Models for Decrease Process in Analysis Systems
Authors: Ahmad Habibizad Navin, Farzad Kiyani, Jahangir Kheyri, Hamidreza Tahmasebi Rad
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task ontology it is possible to create templates to facilitate transforming tasks to both use cases and data flow diagrams. In this paper, a new user-oriented approach for task analysis is presented to decrease process in analysis systems.
A numerical approach of optimal control for generalized delay systems by general Legendre wavelets
Authors: Xing Tao Wang
Venue: International Journal of Computer Mathematics (2009)

A general Legendre wavelets approach is presented. The delay function is expanded by general Legendre wavelets. The general operational matrix of integration is introduced. By the general Legendre wavelets, the linear-quadratic problem of generalized delay systems are transformed into the optimization problem of multivariate functions. The approximate solutions of the optimal control and state as well as the optimal value of the objective functional are derived. The numerical examples demonstrate that the algorithms are valid.
Mobile media in the social fabric of a kindergarten
Authors: Jaana Näsänen, Antti Oulasvirta, Asko Lehmuskallio
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

At first blush, mobile media may appear a promising solution to the problem arising from the fact that parents in the present-day kindergarten institution rely almost solely on teachers' retrospective reports on their child's daily activities. However, a kindergarten is a delicate social fabric that mixes professional roles (the teachers') with socio-emotional relationships (parenting and caring) and involves stakeholders who are dependent on adults in the use of technology (the children). To date, no studies have been reported that critically examine the boundary conditions for successful mobile media applications in such settings. We present a study of Meaning, a one-button capture-and-push-to-Web solution that was used by a Finnish kindergarten for a month. Interviews and the amount of media sent suggest that the intervention was a success, and we report on seven uses of media. However, all uses were critically affected by the users' social fabric, in which the teachers were the nexus. We conclude by discussing various ways in which the heterogeneity of the user group affected mobile media use.
Linking Model-Driven Development and Software Architecture: A Case Study
Authors: Anders Mattsson, Björn Lundell, Brian Lings, Brian Fitzgerald
Venue: IEEE Transactions on Software Engineering (2009)

A basic premise of Model Driven Development (MDD) is to capture all important design information in a set of formal or semi-formal models which are then automatically kept consistent by tools. The concept however is still relatively immature and there is little by way of empirically validated guidelines. In this paper we report on the use of MDD on a significant real-world project over several years. Our research found the MDD approach to be deficient in terms of modelling architectural design rules. Furthermore, the current body of literature does not offer a satisfactory solution as to how architectural design rules should be modelled. As a result developers have to rely on time-consuming and error-prone manual practices to keep a system consistent with its architecture. To realise the full benefits of MDD it is important to find ways of formalizing architectural design rules which then allow automatic enforcement of the architecture on the system model. Without this, architectural enforcement will remain a bottleneck in large MDD projects.
Improving Security in Grids Using the Smart Card Technology
Authors: Daniel Kouril, Ludek Matyska, Michal Prochazka
Venue: Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (2006)

Weak private key management can significantly decrease security of current Grids. In this paper we present how smart cards can be used to solve private key management issues to improve security of the Grid environment.
Well-width dependence of the phase coherent photorefractive effect in ZnSe quantum wells
Authors: A. Kabir, M. Panfilova, A. Pawlis, H. P. Wagner, K. Lischka
Venue: Microelectronics Journal (2009)

We report on the well-width dependence of the phase coherent photorefractive (PCP) effect in ZnSe/ZnMgSe single quantum wells (QWs) using 90fs light pulses. The experiments are performed in a four-wave-mixing configuration at temperatures between 25 and 65K. The ZnMgSe/ZnSe QWs with 10, 5 and 3nm well width were grown on GaAs substrate using molecular beam epitaxy. With decreasing QW thickness we observe a reduction of the PCP diffraction efficiency. This is attributed to the higher electron energy in small QWs due to the quantum size effect, which leads to a reduced equilibrium density of captured electrons in the QW. With increasing temperature the PCP signal further decreases which is attributed to thermal activation of the QW electrons back to the GaAs substrate.
Towards an MDA-oriented UML profile for critical infrastructure modeling
Authors: Ebrahim Bagheri, Ali A. Ghorbani
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

Infrastructures are networks of highly complex systems that can be classified as socio-technical organisms with hidden consciousness. The hidden consciousness of these types of systems lies beyond their definition. Although these systems are structurally independent of any outside component, but collaborate synergistically to provide their services to the end customer. The interdependencies between these complex systems bring about sophisticated and unpredictable outcomes. In this paper we propose a platform independent metamodel for critical infrastructures. The metamodel precisely defines every aspect of an infrastructure through clear syntactical and semantic definition of existing concepts and relationships. The Platform independent model (PIM) has been defined as a UML profile (UML-CI) and serves as one of the first steps towards building an agent based simulation environment.
Hyper frequency modeling of resonated systems based on piezoelectric LiTaO3 thin layers
Authors: R. Al Asmar, S. Youssef, Y. Zaatar, J. Podlecki, C. Eid, A. Foucaran
Venue: Microelectronics Journal (2009)

In this work, we discuss the piezoelectric activity of lithium tantalite (LiTaO3) thin layers and to more understand this phenomenon we have developed a model for our LiTaO3 resonators based on mason model and simulated the hyper frequency behavior. Our LiTaO3 resonators are made from three layers staked on silicon substrates. The aluminum thin film constitutes the external electrode, the platinum forms the internal electrode and the lithium tantalite constitutes the piezoelectric layer. Each element of these layers is represented by an arrangement of impedances. The simulation shows the reflection coefficient, &rho;, as a function of the frequency. We observe a resonant frequency that decreases with the increase of the thickness of the piezoelectric LiTaO3 layers. A slight variation of this resonant frequency is obtained when comparing it with that of the uncharged piezoelectric device, which is due to the different layers loading the system. Over oscillations superposing to the envelope are observed and found to be related to the propagation of the acoustic wave in the silicon substrate. From these over oscillations one can see that this system can be used as an efficient method to calculate the thickness of any substrate.
Supporting Ultrasound Diagnosis Using An Animated 3D Model of the Heart
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

We have developed a training and support system for echo-cardiography based on a 3D visualization of a virtual beating heart and the blood flow. The user can interact with the system by positioning a tracker-equipped trans-ducer. The user is able to acquire mental images of the dynamic anatomy of the heart, a mental model for the interpretation of ultrasonic images, and skills in capturing standard positions.The heart model is not reconstructed from actual patient data, but manually designed as a surface model to visualize the most important structures and pathologies. First experiences in actual training courses provide evidence that users gain experiences that are very difficult to obtain in other ways.Keywords; Virtual reality, 3D graphics, animation, echocardiography The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Review: Sequence assembly
Authors: K. Scheibye-Alsing, S. Hoffmann, A. Frankel, P. Jensen, P. F. Stadler, Y. Mang, N. Tommerup, M. J. Gilchrist, A. -B. Nygård S. Cirera, C. B. Jørgensen, M. Fredholm, J. Gorodkin
Venue: Computational Biology and Chemistry (2009)

Despite the rapidly increasing number of sequenced and re-sequenced genomes, many issues regarding the computational assembly of large-scale sequencing data have remain unresolved. Computational assembly is crucial in large genome projects as well for the evolving high-throughput technologies and plays an important role in processing the information generated by these methods. Here, we provide a comprehensive overview of the current publicly available sequence assembly programs. We describe the basic principles of computational assembly along with the main concerns, such as repetitive sequences in genomic DNA, highly expressed genes and alternative transcripts in EST sequences. We summarize existing comparisons of different assemblers and provide a detailed descriptions and directions for download of assembly programs at: http://genome.ku.dk/resources/assembly/methods.html.
Understanding knowledge management practices for early design activity and its implications for reuse
Authors: Moushumi Sharmin, Brian P. Bailey, Cole Coats, Kevin Hamilton
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior knowledge and promote reuse can improve design efficiency and outcomes. Unfortunately, such systems have not been widely adopted indicating that user needs in this area have not been adequately understood. In this paper, we report the results of a contextual inquiry into the practices of and attitudes toward knowledge management and reuse during early design. The study consisted of interviews and surveys with professional designers in the creative domains. A novel aspect of our work is the focus on early design, which differs from but complements prior works' focus on knowledge reuse during later design and implementation phases. Our study yielded new findings and implications that, if applied, will help bring the benefits of knowledge management systems and reuse into early design activity.
Combining folksonomies and automatic information techniques for LO semantic indexing
Authors: Doina Ana Cernea, Esther Del Moral, Emilio Labra
Venue: Proceedings of the 7th conference on Data networks, communications, computers (2008)

The actual changes produced in the e-Learning field are being driven by two primary facts: the first one is the steady increase of information creation and the second is the new collaborative framework of the Web 2.0. While LO (Learning Objects) repositories are mare and more extensive, the automatic tools for search and location of proper learning content in these repositories, based on semantic tags are not yet effective. This article proposes a system architecture that combines automatic techniques of information retrieval with the user's collaborative annotation of the documents, for the semantic indexing of LO in a repository. Collaborative tagging provides real meaning derived from the learning experiences in real user's communities and improves LO reusability in new learning contexts.
The Use of Norms Violations to Model Agents Behavioral Variety
Authors: Benoit Lacroix, Philippe Mathieu, Andras Kemeny
Venue: Coordination, Organizations, Institutions and Norms in Agent Systems IV: COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers (2009)

In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expected ideal behavior. Many works have been done in this classical research direction, less frequent are the works on norms in simulation. In this paper we focus on the simulation of spatially situated agents, typically moving around simulated physical environments. Our goal is to provide a mechanism allowing an efficient generation of consistent agents characteristics. We propose to model behavioral differentiation as violations of the norms, and show its application to traffic simulation with the driving simulation software used at Renault, scaner TM.