ppxscal/embedding_network huggingface dataset:
A generalization of a Ramsey-type theorem on hypermatchings
Authors: Paul Baginski
Venue: Journal of Graph Theory (2005)

For an r-uniform hypergraph G define N(G, l; 2) (N(G, l; ℤn)) as the smallest integer for which there exists an r-uniform hypergraph H on N(G, l; 2) (N(G,l; ℤn)) vertices with clique(H) < l such that every 2-coloring (ℤn-coloring) of the edges of H implies a monochromatic (zero-sum) copy of G. Our results strengthen a Ramsey-type theorem of Bialostocki and Dierker on zero-sum hypermatchings. As a consequence, we show that for any n &ge; 2, r &ge; 2, and l > r + 1, N(n풦 rr, l;2) = N(n풦 rr, l;ℤn) = (r + 1)n - 1. &copy; 2005 Wiley Periodicals, Inc. J Graph Theory
Improvements to the alignment process in a commercial vector scan electron beam lithography tool
Authors: K. E. Docherty, S. Thoms, P. Dobson, J. M. R. Weaver
Venue: Microelectronic Engineering (2008)

This paper examines the desirable properties of marker patterns for use in correlation-based alignment systems and demonstrates alignment accuracies of better than 1nm. A framework for evaluating different classes of marker patterns has been developed and a figure of merit for marker patterns used in correlation-based alignment has been defined. We show that Penrose tilings have many desirable properties for correlation-based alignment. An alignment system based on correlation and using marker patterns derived from Penrose tilings has been developed and implemented on a commercial Vistec VB6 UHR EWF electron beam lithography tool. A new method of measuring alignment at the sub-nm level using overlaid gratings and a Fourier Transform based analysis scheme is introduced.
Cryptanalysis of a password authentication scheme over insecure networks
Authors: Tao Xiang, Kwok-wo Wong, Xiaofeng Liao
Venue: Journal of Computer and System Sciences (2008)

The security of a password authentication scheme using smart cards proposed by Liao et al. [I.-E. Liao, C.-C. Lee, M.-S. Hwang, A password authentication scheme over insecure networks, J. Comput. System Sci. 72 (2006) 727-740] is analyzed. Three kinds of attacks are presented in different scenarios.
Continuous time regulator for linear systems with constrained control
Authors: N. H. Mejhed
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

In this work, A time varying control law is proposed for linear continuous-time systems with non Symmetrical constrained control. Necessary and sufficient conditions allowing us to obtain the largest non-symmetrical positively invariant polyhedral set with respect to (w.r.t) the system in the closed loop are given. The asymptotic stability of the origin is also guaranteed. The case of symmetrical constrained control is obtained as a particular case. The performances of our regulator with respect to the results of [3] are shown with the help of an example.
Managing inter-domain traffic in the presence of bittorrent file-sharing
Authors: Srinivasan Seetharaman, Mostafa H. Ammar
Venue: ACM SIGMETRICS Performance Evaluation Review (2008)

Overlay routing operating in a selfish manner is known to cause undesired instability when it interacts with native layer routing. We observe similar selfish behavior with the BitTorrent protocol, where its performance-awareness causes it to constantly alter the routing decisions (peer and piece selection). This causes fluctuations in the load experienced by the underlying native network. By using real BitTorrent traces and a comprehensive simulation with different network characteristics, we show that BitTorrent systems easily disrupt the load balance across inter-domain links. Further, we find that existing native layer traffic management schemes suffer from several downsides and are not conducive to deployment. To resolve this dilemma, we propose two BitTorrent strategies that are effective in resolving the cross-layer conflict.
Data quality enhancing software for asset management: state of the art evaluation
Authors: Sasa Baskarada, Jing Gao, Shien Lin, Ging Sun Yeoh, Andy Koronios
Venue: Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science (2005)

This paper places a special focus on data quality (DQ) issues associated with asset management (AM) systems and on how software can assist in dealing with those various DQ issues. It does not intend to merely be a review of DQ software, but rather aims to identify limitations of such software solutions when used in conjunction with AM applications. Therefore, this paper can be valuable to practitioners, researchers and software developers who are specializing in, studying, developing or adopting a computerized software solution for data quality maintenance in AM systems.
Implementation of a Coarse-Grained Reconfigurable Media Processor for AVC Decoder
Authors: B. Mei, B. Sutter, T. Aa, M. Wouters, A. Kanstein, S. Dupont
Venue: Journal of Signal Processing Systems (2008)

Architecture for Dynamically Reconfigurable Embedded Systems (ADRES) is a templatized coarse-grained reconfigurable processor architecture. It targets at embedded applications which demand high-performance, low-power and high-level language programmability. Compared with typical very long instruction word-based digital signal processor, ADRES can exploit higher parallelism by using more scalable hardware with support of novel compilation techniques. We developed a complete tool-chain, including compiler, simulator and HDL generator. This paper describes the design case of a media processor targeting at H.264 decoder and other video tasks based on the ADRES template. The whole processor design, hardware implementaiton and application mapping are done in a relative short period. Yet we obtain C-programmed real-time H.264/AVC CIF decoding at 50 MHz. The die size, clock speed and the power consumption are also very competitive compared with other processors.
Improving Model Driven Architecture with Requirements Models
Authors: Narayan Debnath, María Carmen Leonardi, María Virginia Mauco, Germán Montejano, Daniel Riesco
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

Model Driven Architecture (MDA) is a software development framework based on automatic transformations of models. The first of these models, the Computation Independent Model (CIM), is used to define the business system, and it is usually represented with UML models. Natural language is widely used in Requirements Engineering as it is generally understandable by stakeholders encouraging their participation. Therefore, in order to enhance the first stages of MDA software development, we propose to define natural language oriented requirements models and derive from them a CIM. To achieve this integration we describe in this paper an automatic process to derive a business class diagram representing the structural aspects of a CIM starting from natural language oriented models.
Road Intersections as Pervasive Computing Environments: Towards a Multiagent Real-Time Collision Warning System
Authors: Flora Dilys Salim, Licheng Cai, Maria Indrawan, Seng Wai Loke
Venue: Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (2008)

Embedded with sensors and appropriate computational entities, a road intersection can be viewed as a pervasive computing environment. The crash rate in road intersections demonstrates the need for a fast and accurate collision detection system. We suggest that an intersection collision detection system should be able to adapt to different types of intersections for faster collision detection. Moreover, a real-time application-level communication protocol to warn affected drivers is required. An intersection agent that takes vehicular status information from vehicle agents and learns, detects and warns collisions at a road intersection is proposed. The issues, challenges, and cost of a multiagent collision avoidance system are discussed. A communication protocol that is designed specifically with intersection safety in mind is presented here.
Simulation of stress urinary incontinence for in-vitro studies
Authors: Florian Marti, Nadine Blunschi, Thomas Leippold, Bert Müller
Venue: Technology and Health Care (2008)

A simulation system that generates dynamic bladder pressures for the use of testing and examining artificial urinary sphincters is designed, implemented, and compared to in-vivo measurements of Valsalva and coughing profiles. Cylinder and piston, which are integrated into the universal testing machine, simulating the bladder are connected with explanted sow urethras. The AMS 800&trade; artificial urinary sphincter closes the urethra with well-defined external pressures. In order to select appropriate profiles for the bladder pressure, 34 Valsalva and coughing profiles of 6 patients were evaluated with respect to amplitude, pressure raise, dwell time, and half width.
Aspect-oriented specification of threat-driven security requirements
Authors: Dianxiang Xu, Vivek Goel, Kendall E. Nygard, W. Eric Wong
Venue: International Journal of Computer Applications in Technology (2008)

This paper presents an aspect-oriented approach to integrated specification of functional and security requirements based on use-case-driven software development. It relies on explicit identification of security threats and threat mitigations. We first identify security threats with respect to use-case based functional requirements in terms of security goals and the STRIDE category. Then, we suggest threat mitigations for preventing or reducing security threats. To capture the crosscutting nature of threats and mitigations, we specify them as aspects that encapsulate pointcuts and advice. This provides a structured way for separating functional and security concerns and for analysing the interaction between them.
Temporal and Spatial Partitioning of a Time-Triggered Operating System Based on Real-Time Linux
Authors: Roman Obermaisser, Bernhard Leiner
Venue: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (2008)

Real-time Linux variants are becoming prominent solutions for the development of embedded systems. Compared to traditional real-time operating systems, embedded system engineers can leverage solutions and knowhow from the Linux development community (e.g., development tools, applications, drivers). Due to the availability of implementations of Internet protocols and network drivers, Linux also facilitates the implementation of embedded systems connected to the Internet. The goal of this paper is to evaluate experimentally the capabilities of the Real-time Linux variant RTAI/LXRT with respect to partitioning between different application software modules. Partitioning ensures that a failure caused by a design fault in one application software module cannot propagate to cause a failure in other application software modules, e.g., by blocking access to the CPU or by overwriting memory. Partitioning is important when building mixed-criticality systems comprising both non safety-critical software modules and safety-related ones. Even at the same level of criticality, partitioning improves the robustness of an embedded system. The experimental results described in this paper point out several limitations of RTAI/LXRT Linux concerning fault isolation. Based on these results, we propose modifications to improve the partitioning with respect to temporal and spatial interference.
Sugeno integral of monotone functions based on Lebesgue measure
Authors: Yao Ouyang, Jinxuan Fang
Venue: Computers Mathematics with Applications (2008)

Roman-Flores et al. [H. Roman-Flores, A. Flores-Franulic, Y. Chalco-Cano, The fuzzy integral for monotone functions, Applied Mathematics and Computation 185 (2007) 492-498] gave some optimal upper bounds for the Sugeno integral of continuous and strictly monotone functions and provided Yong-type inequalities for the Sugeno integral. These results are generalized to monotone functions in this paper. Two algorithms are given for calculating the Sugeno integral of monotone functions based on Lebesgue measure. Several illustrative examples are presented.
An overview of Virtual Machine (VM) technology and its implementation in I.T. student labs at Utah Valley State College
Authors: George D. Hickman
Venue: Journal of Computing Sciences in Colleges (2008)

Businesses and industry are rapidly integrating Virtual Machine (VM) technology into their IT infrastructure to lower power, cooling, and space requirements in the data center. Properly configured VMs increase both uptime and security. VMs are also implemented on workstations for software testing and application isolation. Utilizing VMs in educational environments provides an inexpensive and easily replicated environment for student lab assignments and experimentation. This paper describes both desktop and server VMs, describes how they function, and compares some of the VMs available in the marketplace. It concludes with examples of how desktop VMs are utilized in student IT labs at Utah Valley State College to enhance learning experiences in courses teaching Operating Systems, Data Communications theory, Information Security, and Computer Forensics.
An Embedded Systems graduate education for Singapore
Authors: Ian McLoughlin, Doug Maskell, Srikanthan Thambipillai, Wooi-Boon Goh
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 02 (2007)

In early 2003, the Singapore Economic Development Board identified Embedded Systems as a major &#x2018;new growth area&#x2019; for the Singapore economy, building upon the existing infrastructure of technological companies, and proven ability for companies both local and overseas, to conduct advanced research and development, as well as specialist production, in Singapore. In response to this, Nanyang Technological University School of Computer Engineering proposed, and deployed, a part-time graduate masters&#x2019; programme in embedded systems. This paper discusses the need for such an embedded education in Singapore, the syllabus and course coverage which has been developed, and the response of students and industry to the initiative. Pitfalls and problems are identified at each stage.
Handy navigation in ever-changing spaces: an ethnographic study of firefighting practices
Authors: Sebastian Denef, Leonardo Ramirez, Tobias Dyrks, Gunnar Stevens
Venue: Proceedings of the 7th ACM conference on Designing interactive systems (2008)

This paper presents an ethnographic study, conducted to gain an insight of the practices around navigation of firefighters on the first line of intervention. We argue that the common approach of looking only at the technical aspects is incomplete. We show instead, that navigation of firefighters in ever-changing spaces is a collective craft or art, where technology is only one of the relevant pieces, but not the only one. Therefore design should take a deep look at existing navigation practices of firefighters. In order to identify relevant work practices, we conducted our ethnographic study to find out patterns of navigation work and based on our findings, we provide an outline of how the navigation practices can be supported by ubiquitous computing.
Semanta: your personal email semantic assistant
Authors: Simon Scerri
Venue: Proceedings of the 13th international conference on Intelligent user interfaces (2008)

The complete lack of structure and semantics in email content is one reason why data channeled between the sender and the recipient is hard to be correctly interpreted and acted upon. This causes information overload, tedious personal information management, and jeopardizes the disconnected workflow that is characteristic of email. Through Semanta, we will show how by extending the current email model to support light-weight semantics pertaining to the purposes of email messages, we can substantially reduce the occurrence of these problems.
Election year: what the electronics industry needs---and can expect---from the incoming administration
Authors: Tiffany Sparks, Pete Weitzner, Luc Burgun, Russell Lefevre, Todd Cutler, Clayton Parker, Vicki Hadfield, Chris Rowen
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

The DAC community will have an opportunity to offer its perspective and thoughts on the political landscape in the United States. With election season in full swing, the country is about to elect a new administration that could be from a new party.
Flare mitigation strategies in extreme ultraviolet lithography
Authors: Insung Kim, Alan Myers, Lawrence S. Melvin III, Brian Ward, Gian Francesco Lorusso, Rik Jonckheere, Anne-Marie Goethals, Kurt Ronse
Venue: Microelectronic Engineering (2008)

This study investigates various approaches to flare mitigation in EUVL. We evaluate the effectiveness of rule-based correction by defining a design where the critical dimension uniformity is used as a measure of the quality of the correction. We also describe the outcome of a model-based correction and the limits of this approach. Finally, we discuss the calculation of accurate full-chip flare maps which are required to implement a rule-based solution. Our results clearly indicate that it is possible to implement an effective flare variation compensation using rule-base correction with current EDA technology, provided that highly accurate full-chip flare maps having the required resolution are available.
Essence: A constraint language for specifying combinatorial problems
Authors: Alan M. Frisch, Warwick Harvey, Chris Jefferson, Bernadette Martínez-Hernández, Ian Miguel
Venue: Constraints (2008)

Essence is a formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete mathematics. Essence provides a high level of abstraction, much of which is the consequence of the provision of decision variables whose values can be combinatorial objects, such as tuples, sets, multisets, relations, partitions and functions. Essence also allows these combinatorial objects to be nested to arbitrary depth, providing for example sets of partitions, sets of sets of partitions, and so forth. Therefore, a problem that requires finding a complex combinatorial object can be specified directly by using a decision variable whose type is precisely that combinatorial object.
Multiplicative perturbation bounds for spectral and singular value decompositions
Authors: Wen Li
Venue: Journal of Computational and Applied Mathematics (2008)

Let H be a Hermitian matrix, and H@?=D^*HD be its perturbed matrix. In this paper, the multiplicative perturbations for both spectral decompositions and singular value decompositions are studied and some new perturbation bounds for these decompositions are presented. Our results improve some existing bounds.
Electronic case management in New South Wales, Australia
Authors: Timothy Webb
Venue: Information and Communications Technology Law (2007)

In the last five years there has been a concerted movement towards electronic case management ("ECM") to enhance the efficiency of legal proceedings in New South Wales. This paper provides a detailed overview of the relevant developments, from legislative reform by the NSW Government, to the making of appropriate instruments, rules and practice notes.
A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software
Authors: José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernandéz de Vega
Venue: Proceedings of the 3rd international workshop on Automation of software test (2008)

Evolutionary Testing is an emerging methodology for automatically producing high quality test data. The focus of our on-going work is precisely on generating test data for the structural unit-testing of object-oriented Java programs. The primary objective is that of efficiently guiding the search process towards the definition of a test set that achieves full structural coverage of the test object. However, the state problem of object-oriented programs requires specifying carefully fine-tuned methodologies that promote the traversal of problematic structures and difficult control-flow paths - which often involves the generation of complex and intricate test cases, that define elaborate state scenarios. This paper proposes a methodology for evaluating the quality of both feasible and unfeasible test cases - i.e., those that are effectively completed and terminate with a call to the method under test, and those that abort prematurely because a runtime exception is thrown during test case execution. With our approach, unfeasible test cases are considered at certain stages of the evolutionary search, promoting diversity and enhancing the possibility of achieving full coverage.
Evaluation of nanomechanical, nanotribological and adhesive properties of ultrathin polymer resist film by AFM
Authors: Adam Koszewski, Zygmunt Rymuza, Freimut Reuther
Venue: Microelectronic Engineering (2008)

In this study atomic force microscope (AFM) was used to test the nanomechanical, nanotribological and adhesive properties of a 200nm thick thermoplastic polymer resists mr-I 7000E devoted for nanoimprint lithography (NIL). For these experiments a modified silicon cantilever with a spherical tip was used. All experiments were carried out in elevated temperatures from 25 to 125^oC except mechanical tests carried out in 25^oC only. In this paper the complete methodology, experimental setup along with the results of the estimation of Young's modulus (Figs. 4 and 5), friction force (Fig. 6) and pull-off force (Fig. 7) for mr-I 7000E are presented and discussed.
Experiencing real-world interaction: results from a NFC user experience field trial
Authors: Arjan Geven, Peter Strassl, Bernhard Ferro, Manfred Tscheligi, Harald Schwab
Venue: Proceedings of the 9th international conference on Human computer interaction with mobile devices and services (2007)

Mobile devices equipped with near-field communication can be used in a variety of settings to interact with the real world. In this study, we assessed user experiences with such mobile devicesfor different groups of users to better understand the possibilities of NFC in real-world interaction, based on a complementary set of studies (diary study, online survey, experience study, focus group and idea development workshop) in a large field-trial, wherea group of 75 users interacted with NFC-services. The studies show a large variety in application domains and business potential. However, analyses of the current situation also show user experience breakdowns due to functional failures, missing feedback, inconsistent interaction models and absent affordances.
Creating Mac Widgets with Dashcode (Firstpress)
Authors: William Murray, Chris Pappas
Venue:  (2008)

In 100 pages, you will learn to create and use widgets using Dashcode. Widgets are simple, typically small applications for a specific purpose, such as a weather report, a calculator, a stock quote, and the like that reside on the Mac Dashboard. Building these before Dashcode was time consuming though not hard; but now, you can whip up a widget fast. Creating Mac Widgets with Dashcode teaches you how. Up to date with Leopard The fast and easy way to learn to build widgets. Youll be building widgets in an hour. Dashcode makes widget development simple. What youll learn Basics of Dashcode development Using templates Using JavaScript for more complex widgets Including user input in your widget Using scripting with your widget Importing data into your widget Who is this book for? Anyone interested in taking a shot at doing widgets. Widgets are easy and are quite popular, so there are a lot of hackers interested in doing it. Widgets can be built for a users specific needs, and you dont need to be a programmer to do it.