ppxscal/embedding_network huggingface dataset:
Synchronized reneging in queueing systems with vacations
Authors: Ivo Adan, Antonis Economou, Stella Kapodistria
Venue: Queueing Systems: Theory and Applications (2009)

In this paper we present a detailed analysis of queueing models with vacations and impatient customers, where the source of impatience is the absence of the server. Instead of the standard assumption that customers perform independent abandonments, we consider situations where customers abandon the system simultaneously. This is, for example, the case in remote systems where customers may decide to abandon the system, when a transport facility becomes available.
Active Filters: Theory and Design, 1st edition
Authors: S. A. Pactitis
Venue:  (2007)

Using an accessible yet rigorous approach, Active Filters: Theory and Design highlights the essential role of filters, especially analog active filters, in applications for seismology, brainwave research, speech and hearing studies, and other medical electronics. The book demonstrates how to design filters capable of meeting a given set of specifications. Recognizing that circuit simulation by computer has become an indispensable verification tool both in analysis and in design, the author emphasizes the use of MicroCap for rapid test of the filter. He uses three basic filter types throughout the book: Butterworth, Chenyshev, and Bessel. These three types of filters are implemented with the SallenKey, infinite gain multiple feedback, statevariable, and biquad circuits that yield low-pass, high-pass, band-pass, and band-reject circuits. The book illustrates many examples of low-pass, high-pass, band-pass, and notch active filters in complete detail, including frequency normalizing and denormalizing techniques. Design equations in each chapter provide students with a thorough grounding in how to implement designs. This detailed theoretical treatment gives you the tools to teach your students how to master filter design and analysis. 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
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
Authors: Franz Baader, Felix Distel
Venue: Proceedings of the 7th International Conference on Formal Concept Analysis (2009)

In a previous ICFCA paper we have shown that, in the Description Logics $\mathcal {EL}$ and ${\mathcal {EL}}_{\rm gfp}$, the set of general concept inclusions holding in a finite model always has a finite basis. In this paper, we address the problem of how to compute this basis efficiently, by adapting methods from formal concept analysis.
Fourier Volume Rendering on GPGPU
Authors: Degui Xiao, Yi Liu, Lei Yang, Zhiyong Li, Kenli Li
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

Fourier Volume Rendering (FVR) is a volume rendering technique with lower computational complexity of O(N 2 logN) for an N 3 data array. A new FVR algorithm is proposed through expanding Fourier Projection-Slice Theorem into High-Dimension and mapping the pipeline totally on GPU. A windowed-sinc function is used as reconstruction filter to implement higher-order interpolation and reduction of samples is executed on GPU in parallel, which meets the architecture of Heterogeneous multi-core. The rendering is accelerated by a factor of 7 when rendering image's resolution is larger than 512×512.
How similarity helps to efficiently compute Kemeny rankings
Authors: Nadja Betzler, Michael R. Fellows, Jiong Guo, Rolf Niedermeier, Frances A. Rosamond
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1 (2009)

The computation of Kemeny rankings is central to many applications in the context of rank aggregation. Unfortunately, the problem is NP-hard. We show that the Kemeny score (and a corresponding Kemeny ranking) of an election can be computed efficiently whenever the average pairwise distance between two input votes is not too large. In other words, Kemeny Score is fixed-parameter tractable with respect to the parameter "average pairwise Kendall-Tau distance da". We describe a fixed-parameter algorithm with running time 16[da] &middot; poly. Moreover, we extend our studies to the parameters "maximum range" and "average range" of positions a candidate takes in the input votes. Whereas Kemeny Score remains fixed-parameter tractable with respect to the parameter "maximum range", it becomes NP-complete in case of an average range value of two. This excludes fixed-parameter tractability with respect to the parameter "average range" unless P=NP.
Scientific Mashups: Runtime-Configurable Data Product Ensembles
Authors: Bill Howe, Harrison Green-Fishback, David Maier
Venue: Proceedings of the 21st International Conference on Scientific and Statistical Database Management (2009)

Mashups are gaining popularity as a rapid-development, re-use-oriented programming model to replace monolithic, bottom-up application development. This programming style is attractive for the "long tail" of scientific data management applications, characterized by exploding data volumes, increasing requirements for data sharing and collaboration, but limited software engineering budgets.We observe that scientists already routinely construct a primitive, static form of mashup--an ensemble of related visualizations that convey a specific scientific message encoded as, e.g., a Powerpoint slide. Inspired by their ubiquity, we adopt these conventional data-product ensembles as a core model, endow them with interactivity, publish them online, and allow them to be repurposed at runtime by non-programmers.We observe that these scientific mashups must accommodate a wider audience than commerce-oriented and entertainment-oriented mashups. Collaborators, students (K12 through graduate), the public, and policy makers are all potential consumers, but each group has a different level of domain sophistication. We explore techniques for adapting one mashup for different audiences by attaching additional context, assigning defaults, and re-skinning component products.Existing mashup frameworks (and scientific workflow systems) emphasize an expressive "boxes-and-arrows" abstraction suitable for engineering individual products but overlook requirements for organizing products into synchronized ensembles or repurposing them for different audiences.In this paper, we articulate these requirements for scientific mashups, describe an architecture for composing mashups as interactive, reconfigurable, web-based, visualization-oriented data product ensembles, and report on an initial implementation in use at an Ocean Observatory.
Ontology-based security assessment for software products
Authors: Ju An Wang, Minzhe Guo, Hao Wang, Min Xia, Linfeng Zhou
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

This paper proposes an ontology-based approach to analyzing and assessing the security posture for software products. It provides measurements of trust for a software product based on its security requirements and evidence of assurance, which are retrieved from an ontology built for vulnerability management. Our approach differentiates with the previous work in the following aspects: (1) It is a holistic approach emphasizing that the system assurance cannot be determined or explained by its component assurance alone. Instead, the software system as a whole determines its assurance level. (2) Our approach is based on widely accepted standards such as CVSS, CVE, CWE, CPE, and CAPEC. Our ontology integrated these standards seamlessly thus provides a solid foundation for security assessment. (3) Automated tools have been built to support our approach, delivering the environmental scores for software products.
Transport Communications: Understanding Global Networks Enabling Transport Services - NETS
Authors: John Tiffin, Chris Kissling
Venue:  (2007)

Transport and communications are usually studied as separate subjects, yet advances in communications technology has meant that neither can function without the other when operating within a globalized supply chain. This, the first book to integrate the two disciplines, explains their mutual dependency and how their relationship has led to trade globalization. Fundamental to this concept is a three-dimensional matrix NETS (Network Enabling Transport Systems), which can be applied to land, sea, and air travel at every level. The book reviews how the different modes and levels of transport can be integrated and automated and can ultimately be used as a guide to improving efficiency in logistics, supply chain management, and transport strategy. Tiffin and Kissling also examine future communication technologies and their impact on transport, as well as current issues such as global warming, terrorism, pandemics, and carbon-based fuels.
Building an ontological support for multilingual legislative drafting
Authors: T. Agnoloni, L. Bacci, E. Francesconi, P. Spinosa, D. Tiscornia, S. Montemagni, G. Venturi
Venue: Proceeding of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference (2007)

The quality of legislative drafting process at European and national levels is highly influenced by the legal drafters control over the multilingual complexity of European legislation and over the linguistic and conceptual issues involved in its transposition into national legislations. The DALOS project aims at ensuring coherence and alignment in the legislative language, providing law-makers with an ontological-linguistic resource and knowledge management tools to support the multilingual legislative drafting process. This paper outlines the current activity within DALOS, aiming at the construction of a two-level knowledge (ontological and linguistic) resource to be used as support for multilingual legislative drafting.
Toward the optimal configuration of dynamic voltage scaling points in real-time applications
Authors: Hui-Zhan Yi, Xue-Jun Yang
Venue: Journal of Computer Science and Technology (2006)

In real-time applications, compiler-directed dynamic voltage scaling (DVS) could reduce energy consumption efficiently, where compiler put voltage scaling points in the proper places, and the supply voltage and clock frequency were adjusted to the relationship between the reduced time and the reduced workload. This paper presents the optimal configuration of dynamic voltage scaling points without voltage scaling overhead, which minimizes energy consumption. The conclusion is proved theoretically. Finally, it is confirmed by simulations with equally-spaced voltage scaling configuration.
Optimization of Divergences within the Exponential Family for Image Segmentation
Authors: Francois Lecellier, Stephanie Jehan-Besson, Jalal Fadili, Gilles Aubert, Marinette Revenu
Venue: Proceedings of the Second International Conference on Scale Space and Variational Methods in Computer Vision (2009)

In this work, we propose novel results for the optimization of divergences within the framework of region-based active contours. We focus on parametric statistical models where the region descriptor is chosen as the probability density function (pdf) of an image feature (e.g. intensity) inside the region and the pdf belongs to the exponential family. The optimization of divergences appears as a flexible tool for segmentation with and without intensity prior. As far as segmentation without reference is concerned, we aim at maximizing the discrepancy between the pdf of the inside region and the pdf of the outside region. Moreover, since the optimization framework is performed within the exponential family, we can cope with difficult segmentation problems including various noise models (Gaussian, Rayleigh, Poisson, Bernoulli ...). We also experimentally show that the maximisation of the KL divergence offers interesting properties compare to some other data terms (e.g. minimization of the anti-log-likelihood). Experimental results on medical images (brain MRI, contrast echocardiography) confirm the applicability of this general setting.
On the Finding Process of Volcano-Domain Ontology Components Using Self-Organizing Maps
Authors: J. R. Pulido, M. A. Aréchiga, E. M. Michel, G. Reyes, V. Zobin
Venue: Proceedings of the 7th International Workshop on Advances in Self-Organizing Maps (2009)

Monitoring volcanic activity is a task that requires people from a number of disciplines. Infrastructure, on the other hand , has been built all over the world to keep track of these living earth entities, ie volcanoes. In this paper we present an approach that merges a number of computational tools and that may be incorporated to existing ones to predict important volcanic events. It mainly consists of applying artificial learning, ontology, and software agents for the analysis, organization, and use of volcanic-domain data for the communities of people, living nearby volcanoes, benefit. This proposal allows domain experts to have a view of the knowledge contained in and that can be extracted from the Volcanic-Domain Digital Archives (VDDA). Specific-domain knowledge components with further processing, and by embedding them into the digital archive itself, can be shared with and manipulated by software agents. In this first study, we deal with the issue of applying Self-Organizing Maps (SOM), to volcano-domain signals originated by the activity of the Volcano of Colima, Mexico. By applying this algorithm we have generated clusters of volcanic activity and can readily identify families of important events.
Implementation of Progressive Meshes for Hierarchical Representation of Cultural Artifacts
Authors: Krzysztof Skabek, Łukasz Ząbik
Venue: Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers (2008)

In the article we focused on progressive meshes which are the way to hierarchically represent 3D objects. We present the Me3d system developed to process and present digitalized objects of cultural heritage. The optimization of progressive meshes was described and the rendering performance of displaying the simplified meshes is analyzed.
Towards Automated Secure Web Service Execution
Authors: Béla Genge, Piroska Haller
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

Existing solutions for authentication and authorization in Web services make use of technologies such as SAML or WS-Security. These provide a static solution by using a set of predefined protocols. We propose a semantic security protocol model from which security protocol specifications are generated and automatically executed by participants. The proposed model consists of a sequential component, implemented as a WSDL-S specification, and an ontology component, implemented as an OWL specification. The correctness of the proposed model is ensured by using a set of rules and algorithms for generating it based on a protocol model given by the user. We validate our approach by generating and implementing several specifications for existing protocols such as ISO9798 or Kerberos protocols.
A study on fluorine incorporation in Ge p-MOS capacitors with HfTiON dielectric
Authors: C. X. Li, C. D. Wang, C. H. Leung, P. T. Lai, J. P. Xu
Venue: Microelectronic Engineering (2009)

In this work, Ge p-MOS capacitors with HfTiON dielectric were fabricated. Fluorine was incorporated by post-deposition plasma annealing or pre-deposition plasma treatment. Experimental results showed that fluorine could result in lower interface-state density, smaller frequency dispersion and better high-field reliability, with the former method better than the latter.
Programming Languages for Business Problem Solving, 1st edition
Authors: Shouhong Wang, Hai Wang
Venue:  (2007)

It has become crucial for managers to be computer literate in todays business environment. It is also important that those entering the field acquire the fundamental theories of information systems, the essential practical skills in computer applications, and the desire for life-long learning in information technology. Programming Languages for Business Problem Solving presents a working knowledge of the major programming languages, including COBOL, C++, Java, HTML, JavaScript, VB.NET, VBA, ASP.NET, Perl, PHP, XML, and SQL, used in the current business computing environment. The book examines the concepts shared by these languages and details the unique features of each. It also focuses on various programming techniques, including structured, object-oriented, client-side and server-side programming, as well as graphical user-interface and multi-media processing. Self-contained, the book provides hands-on examples, self-review questions, project requirements, report formats, and operational manuals of programming environments for use by both MIS students and professionals.
Applications of high dimensionalmodel representations to computer vision
Authors: Emre Demiralp
Venue: WSEAS Transactions on Mathematics (2009)

A new and powerful method for matrix decomposition is developed in this work. It is similar to singular value decomposition and the main idea comes from the univariate approximation of a function, given on a planar grid's nodes, by two variable high dimensional model representation. The proposed method is less iteration dependent than the singular value decomposition and the components are determined via straightforward steps containing recursions. It seems to have more capabilities than the singular value decomposition as an alternative method. An illustrative application is also given.
Penalized regression with correlation-based penalty
Authors: Gerhard Tutz, Jan Ulbricht
Venue: Statistics and Computing (2009)

A new regularization method for regression models is proposed. The criterion to be minimized contains a penalty term which explicitly links strength of penalization to the correlation between predictors. Like the elastic net, the method encourages a grouping effect where strongly correlated predictors tend to be in or out of the model together. A boosted version of the penalized estimator, which is based on a new boosting method, allows to select variables. Real world data and simulations show that the method compares well to competing regularization techniques. In settings where the number of predictors is smaller than the number of observations it frequently performs better than competitors, in high dimensional settings prediction measures favor the elastic net while accuracy of estimation and stability of variable selection favors the newly proposed method.
Formal Technique for Discovering Complex Attacks in Computer Systems
Authors: Lamia Hamza, Kamel Adi
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

Computer systems security management can be largely improved by the installation of mechanisms for automatic discovery of complex attacks due to system vulnerabilities and middleware misconfigurations. The aim of this paper is to propose a new formal technique for modeling computer system vulnerabilities and automatic generation of attack scenarios exploiting these vulnerabilities.
Interfaces of active objects with internal concurrency
Authors: Franz Puntigam
Venue: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century (2009)

Object-oriented techniques have been very successful so far. However, requirements on software development techniques are consistently changing together with software and hardware environments. Highly distributed and massively concurrent systems will soon be a normal case. To face the new requirements we propose to partially go back to the roots and use active objects (regarded as components) in addition to passive objects. We expect the specification of protocols in interfaces of active objects to be a crucial factor. In the envisioned systems, protocol specifications are a challenge because they can interfere with synchronization of internal concurrency. In this position paper we clarify some requirements and present raw ideas how to meet them in a programming language.
A Study of the Development of an Information Literacy Framework for Hong Kong Students
Authors: Siu Cheung Kong, Fong Lok Lee, Siu Cheung Li, James Henri
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

Information literacy is the ability to master the processes of becoming informed. An information literacy framework should focus on the capacity of students to build both cognitive and affective knowledge. This entails the formulation of standards and indicators. Hence, we conducted a survey, for which a questionnaire was developed to allow us to understand the views of school principals and teachers on the implementation of an information literacy framework for Hong Kong students. The research findings showed that the standards and indicators we established were recognised. The practitioners agreed with us that the implementation of information literacy standards in schools was not just an issue of enforcing standards; the objective should be to build the capacity of learners and to cultivate school culture.
Cognitive simulators for medical education and training
Authors: Kanav Kahol, Mithra Vankipuram, Marshall L. Smith
Venue: Journal of Biomedical Informatics (2009)

Simulators for honing procedural skills (such as surgical skills and central venous catheter placement) have proven to be valuable tools for medical educators and students. While such simulations represent an effective paradigm in surgical education, there is an opportunity to add a layer of cognitive exercises to these basic simulations that can facilitate robust skill learning in residents. This paper describes a controlled methodology, inspired by neuropsychological assessment tasks and embodied cognition, to develop cognitive simulators for laparoscopic surgery. These simulators provide psychomotor skill training and offer the additional challenge of accomplishing cognitive tasks in realistic environments. A generic framework for design, development and evaluation of such simulators is described. The presented framework is generalizable and can be applied to different task domains. It is independent of the types of sensors, simulation environment and feedback mechanisms that the simulators use. A proof of concept of the framework is provided through developing a simulator that includes cognitive variations to a basic psychomotor task. The results of two pilot studies are presented that show the validity of the methodology in providing an effective evaluation and learning environments for surgeons.