ppxscal/embedding_network huggingface dataset:
Aspects of Formal and Graphical Design of a Bus System
Authors: Tiberiu Seceleanu, Tomi Westerlund
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

This study shows the derivation of a local segmented bus arbiter from an original single segment bus arbiter. The operations are performed in the formal framework of action systems and illustrated in a graphical manner using the corresponding action systems -- UML profile notations. The derivation is useful both to demonstrate the capability of preserving correctness when considering an important hardware design decision and also to identify means through which this kind of decisions can be performed in a graphical environment.
Neural network evaluation of steel beam patch load capacity
Authors: E. T. Fonseca, P. C. G. da S. Vellasco, S. A. L. de Andrade, M. M. B. R. Vellasco
Venue: Advances in Engineering Software (2003)

This work presents a neural network modelling to forecast steel beam patch load resistance. In preceding studies, the results of a neural network system composed of four neural networks, have been compared and calibrated with experimental data and existing design formulae, showing a good agreement. Despite these results, the adopted system did not properly consider the differences in behaviour of slender, intermediate and compact beams. This paper introduces a new strategy based on a single neural network, which is trained with a different normalisation parameter. The neural network presented a maximum error value lower than 30%, while existing formulas presented errors greater than 40%.
An Efficient Algorithm to Construct Reduced Visibility Graph and Its FPGA Implementation
Authors: T. K. Priya, K. Sridharan
Venue: Proceedings of the 17th International Conference on VLSI Design (2004)

An important geometric structure used in roboticpath planning and computer graphics is the visibilitygraph.In this paper, we present a new parallel algorithmto construct the reduced visibility graph thatis appropriate for finding shortest paths in a convexpolygonal environment.A key feature of the algorithmis that it supports easy mapping to hardware.The computational complexity is O(p2+log((n/p)2))where p is the number of objects and n is the totalnumber of vertices.An efficient FPGA implementationof the algorithm is presented.The design operatesat approximately 48 Mhz.Further, the implementationfor an environment with roughly 60 verticesrequires 90% of an SCV3200E.
An Efficient Polynomial Time Approximation Scheme for the Constrained Minimum Spanning Tree Problem Using Matroid Intersection
Authors: Refael Hassin, Asaf Levin
Venue: SIAM Journal on Computing (2004)

Given an undirected graph G=(V,E) with |V|=n and |E|=m, nonnegative integers ce and de for each edge $e \in E$, and a bound D, the constrained minimum spanning tree problem (CST) is to find a spanning tree T=(V,ET) such that $\sum_{e \in E_T} d_e \leq D$ and $\sum_{e \in E_T} c_e$ is minimized. We present an efficient polynomial time approximation scheme (EPTAS) for this problem. Specifically, for every $\epsilon>0$ we present a $(1+\epsilon)$-approximation algorithm with time complexity $O((\frac{1}{\epsilon})^{O(\frac{1}{\epsilon})}n^4)$. Our method is based on Lagrangian relaxation and matroid intersection.
Logicality of ASP in Healthcare: The NHS Case Study
Authors: Matthew W. Guah, Wendy L. Currie
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 6 - Volume 6 (2004)

Obtaining value from information technology (IT) isimportant for organizations to survive and flourish inthe highly competitive economy of the 21st century.Especially when that organization is the UK's NationalHealth Service (NHS), to whom an heavy investment -- for IT improvement -- of $7 bn is being injected to cope with pressures exerted within a more demanding population with constantly evolving healthcare needs.This paper explores the emergence of primary service provision (PSP) from perspectives that span the macro-level of national health policies, the mezzo level of local strategies and the micro-level of IT procurement. These interrelations are studied at a greater depth within Case Study using the NHS. PSP is used in this paper as a sub-set of the application provision service (ASP) business model. In healthcare, the study of technology implications cannot beremoved from an understanding of the processes of conceptualising, conceiving and using such technology. The authors argue the risk of falling into the trap of technological determinism or considering the impacts as a result of rationally planned actions guiding implementation of technologies. This research has shown there are thousands of hospitals, most doing different business processes in different ways thereby presenting an impossible task of successfully implementing a complex national project consisting of electronic patient records and booking systems. This study of PSP processes does not clearly show how andby whom the meanings of PSP are created, whose interests are voiced and taken into account, what are the overriding aims expressed by ASP vendors and what ethical concerns guide these developments being spearheaded by the NHS Information Authority.
&ldquo;RUSYCON&rdquo;&mdash;Portal of Scientific Information
Authors: D. A. Tomchin, A. L. Fradkov
Venue: Automation and Remote Control (2003)

The capabilities and methods of using Internet by the experts in automation and control system were described. The results of developing RUSYCON, a site of scientific information (Russian Archive on Systems and Control, www.rusycon.ru) that supports researchers working with the Internet resources were presented.
A Java 3D implementation of a geon based visualisation tool for UML
Authors: Ken Casey, Chris Exton
Venue: Proceedings of the 2nd international conference on Principles and practice of programming in Java (2003)

The Unified Modeling Language (UML) is a visual language for modeling software designs and is currently the most widely accepted standard for Object Oriented software diagrams in the software engineering field. However UML diagrams can be complex, difficult to interpret and remember. Various visualisation techniques, when used adequately, can be of tremendous assistance in expediting comprehension of such complex diagrams. In this paper we introduce and discuss the design and implementation of a Java 3D tool that uses a new diagrammatic method, known as a geon diagram, for visualising UML class diagrams. Existing research has indicated that the geon diagram is both easier to understand and easier to remember than traditional UML class diagrams, therefore a UML geon based visualisation tool has the potential to provide cognitive support in the comprehension of object-oriented program architecture.
Overlap in bibliographic databases
Authors: William W. Hood, Concepción S. Wilson
Venue: Journal of the American Society for Information Science and Technology (2003)

Bibliographic databases contain surrogates to a particular subset of the complete set of literature; some databases are very narrow in their scope, while others are multidisciplinary. These databases overlap in their coverage of the literature to a greater or lesser extent. The topic of Fuzzy Set Theory is examined to determine the overlap of coverage in the databases that index this topic. It was found that about 63% of records in the data set are unique to only one database, and the remaining 37% are duplicated in from two to 12 different databases. The overlap distribution is found to conform to a Lotka-type plot. The records with maximum overlap are identified; however, further work is needed to determine the significance of the high level of overlap in these records. The unique records are plotted using a Bradford-type form of data presentation and are found to conform (visually) to a hyperbolic distribution. The extent and causes of intra-database duplication (records duplicated in the one database) are also examined. Finally, the overlap in the top databases in the dataset were examined, and a high correlation was found between overlapping records, and overlapping DIALOG OneSearch categories.
Accessibility: it's not just for disabilities any more
Authors: Larry Hull
Venue: interactions (2004)

Many of us think of Web accessibility in terms of accommodating users with disabilities, particularly visual disabilities. Larry Hull sees it as a wee bit more than that. In this Whiteboard he tells us why, and proposes a different way of addressing accessibility---an approach that just might surprise us.---Elizabeth Buie
A tiered approach is more cost effective than traditional pharmacist-based review for classifying computer-detected signals as adverse drug events
Authors: Carol Hope, J. Marc Overhage, Andrew Seger, Evgenia Teal, Vera Mills, Julie Fiskio, Tejal K. Gandhi, David W. Bates, Michael D. Murray
Venue: Journal of Biomedical Informatics (2003)

Objective. To develop a cost-efficient method for identifying adverse drug events (ADEs) and medication errors (MEs) identified using outpatient electronic medical records within ambulatory settings.Design. Comparison of sensitivity and cost of "traditional" pharmacist based approach to identifying ADEs and MEs during a 4 month period with a tiered approach.Results. The proportion of computer generated signals analyzed identified as ADEs were similar using the two approaches while the number of MEs was nearly double with tiered reviews suggesting the same or better sensitivity. Traditional pharmacist review cost $68.70 to detect an ADE and tiered approach cost only $42.40.Conclusion. Tiered review of ADEs and MEs by personnel with increasing clinical capability is more cost-efficient than pharmacist review.
A Utility-Oriented Hyperlink Analysis Model for the Web
Authors: Vassilis Plachouras, Iadh Ounis, Gianni Amati
Venue: Proceedings of the First Conference on Latin American Web Congress (2003)

The analysis of hyperlink structure on the Web has been employed for detecting high quality documents. uality may correspond to the authority of a document, but could also correspond to its utility, that is how well it enables a user to browse its vicinity. We present a hyperlink analysis model, based on modelling the Web graph as an absorbing Markov chain, that can be employed for both authority and utility analysisof documents. The results of experiments for both types of hyperlink analysis underpin the importance of making this distinction. In addition, we provide evidence that support the investigation of more elaborate hyperlink analysis methods on a query-by-query basis.
On caching effectiveness of web clusters under persistent connections
Authors: Xueyan Tang, Samuel T. Chanson
Venue: Journal of Parallel and Distributed Computing (2003)

Due to the emergence of the HTTP/1.1 standards, persistent connections are increasingly being used in web retrieval. This paper studies the caching performance of web clusters under persistent connections, focusing on the difference between session-grained and request-grained allocation strategies adopted by the web switch. It is shown that the content-based algorithm considerably improves caching performance over the content-blind algorithm at the request-grained level. However, most of the performance gain is offset by the allocation dependency that arises when the content-based algorithm is used at the session-grained level. The performance loss increases with cluster size and connection holding time. An optimization problem is formulated to investigate the best achievable caching performance under session-grained allocation. Based on a heuristic approach, a session-affinity aware algorithm is presented that makes use of the correlation between the requests in a session. Experimental results show that while the session-affinity aware algorithm outperforms the content-based algorithm under session-grained allocation, this optimization cannot fully compensate for the performance loss caused by allocation dependency.
Bidirectional contextual resolution
Authors: Stephen G. Pulman
Venue: Computational Linguistics (2000)

This paper describes a formalism and implementation for the interpretation and generation of sentences containing context-dependent constructs like determiners, pronouns, focus, and ellipsis. A variant of quasi-logical form is used as an underspecified meaning representation, related to resolved logical forms via conditional equivalences. These equivalences define the interpretation of contextually dependent constructs with respect to a given context. Higher-order unification and abduction are used in relating expressions to contexts. The conditional equivalences can be used unchanged in both the interpretation and the generation direction.
User interface continuations
Authors: Dennis Quan, David Huynh, David R. Karger, Robert Miller
Venue: Proceedings of the 16th annual ACM symposium on User interface software and technology (2003)

Dialog boxes that collect parameters for commands often create ephemeral, unnatural interruptions of a program's normal execution flow, encouraging the user to complete the dialog box as quickly as possible in order for the program to process that command. In this paper we examine the idea of turning the act of collecting parameters from a user into a first class object called a user interface continuation. Programs can create user interface continuations by specifying what information is to be collected from the user and supplying a callback (i.e., a continuation) to be notified with the collected information. A partially completed user interface continuation can be saved as a new command, much as currying and partially evaluating a function with a set of parameters produces a new function. Furthermore, user interface continuations, like other continuation-passing paradigms, can be used to allow program execution to continue uninterrupted while the user determines a command's parameters at his or her leisure.
A Distributed Universal 3D Cyberworld for Archaeological Research and Education
Authors: D. Green, J. Cosmas, R. Degeest, M. Waelkens
Venue: Proceedings of the 2003 International Conference on Cyberworlds (2003)

The scientific results of global archaeological excavationsoften take the form of books and papers, andon occasion, web sites and digital media. However,a large amount of the raw recorded data remainsinaccessible to wider audiences. This paper proposesthe development of a universal archaeologicalsystem that unites archaeological recordings fromdiverse sites, making easier the process of disseminationto both the wider public and the analysis andcomparison of this data by the scientific community,enabling a more informed interpretation of our past.This is accomplished through a 3D cyber-worldconstructed from a variable level of detailed recordingsfrom archaeological sites.
Honeycomb: creating intrusion detection signatures using honeypots
Authors: Christian Kreibich, Jon Crowcroft
Venue: ACM SIGCOMM Computer Communication Review (2004)

This paper describes a system for automated generation of attack signatures for network intrusion detection systems. Our system applies pattern-matching techniques and protocol conformance checks on multiple levels in the protocol hierarchy to network traffic captured a honeypot system. We present results of running the system on an unprotected cable modem connection for 24 hours. The system successfully created precise traffic signatures that otherwise would have required the skills and time of a security officer to inspect the traffic manually.
Agent-based collaborative design system and conflict resolution based on a case-based reasoning approach
Authors: Kyung Ho Lee, Kyu-yeul Lee
Venue: Artificial Intelligence for Engineering Design, Analysis and Manufacturing (2002)

Under the concept of a global economy, enterprises are assigning design and production environments around the world in different areas. A serious issue of information exchange emerges as companies use traditional hardware and very distinct software appropriate to their field of expertise. To overcome the problem of low productivity due to the interruption of information, the concept of simultaneous engineering and concurrent design becomes very significant. In this article an agent-based ship design system is developed to support cooperation in distributed ship design environments. Above all, the conflicts that occur while sharing knowledge in the system must be resolved. One approach is to adopt a case-based conflict resolution strategy formulated to resolve current conflict on the basis of similar previously resolved cases in agent-based collaborative design system environments. To do this, conflict cases that occur in the initial ship design stage are extracted. On the basis of the extracted cases, a case base is constructed. In addition, a conflict resolution handler located in the superagent called a facilitator, an agent to control other subagents, is developed to treat conflict problems effectively by case-based reasoning. The case-based conflict resolution strategy is evaluated by applying it to a collaborative design process in the initial ship design stage, especially the machinery outfitting design, the preliminary design, the hullform design, and the structural design. Through the help of the collaboration of the design agents, the facilitator, the conflict resolution handler, and the case-based system, a designer can make decisions based on similar previously resolved cases.
Selecting Components: a Process for Context-Driven Evaluation
Authors: Valerie Maxville, Chiou Peng Lam, Jocelyn Armarego
Venue: Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference (2003)

This paper describes a process for selecting andevaluating candidates for component based softwareengineering. The process is aimed at developerssourcing components from third party vendors. Componentmetadata and a formalised specification of theideal component, including context information, areused to drive the process. This specification is used toshortlist candidate components from commercialrepositories and to generate the tests and adaptationsfor the candidate components. Metrics from eachstage of the selection and evaluation process are thencombined to compare and rank components for inclusionin the target application. This approach to componentselection, using context information and formalmethods, helps address issues with componentsourcing, selection and testing of third party components.
Object oriented analysis and UML design in the development of accommodation services system
Authors: Siti Hafizah Ab. Hamid, Tan Yoke Pei, Nazean Jomhari
Venue: Proceedings of the 1st international symposium on Information and communication technologies (2003)

This paper presents a case study highlighting the best practices in designing and building a multi-technology based system. It used web-based application and WAP-base application in a system. It also used object-oriented analysis and UML in designing. All diagrams offered by UML were used successfully during the process. Microsoft. Net provided adequate support for multi-technology and easily to use in term of using object-oriented in design level. The case study shows that object-oriented methodology maintains it best features such as maintainability and reusability even in multi-technology based system.
The quickest path problem with interval lead times
Authors: Herminia I. Calvete
Venue: Computers and Operations Research (2004)

In this paper, a version of the quickest path problem is considered in which arc capacities are fixed but lead times are expressed as intervals on real line. By considering order relations that represent the decision maker's preference between interval transmission times, we show that the problem can be solved by transforming it into a sequence of bicriteria shortest path problems in properly defined networks.
Fast image segmentation and smoothing using commodity graphics hardware
Authors: Ruigang Yang, Greg Welch
Venue: Journal of Graphics Tools (2002)

We present a novel use of commodity graphics hardware to perform real-time image segmentation and image morphology operations. Our preliminary results show a performance increase of over 30% using an nVidia GeForce4 when compared to an implementation using Intel MMX optimized code on a 2.2 Ghz Intel P4 CPU.
A Schwarz Preconditioner for the Cubed-Sphere
Authors: Stephen J. Thomas, John M. Dennis, Henry M. Tufo, Paul F. Fischer
Venue: SIAM Journal on Scientific Computing (2003)

A spectral element formulation of the atmospheric two-dimensional shallow water equations on the cubed-sphere is described. The equations are written in tensor form using the contravariant and covariant velocity components. A semi-implicit time discretization results in a reduced Schur complement system for the pressure. The Laplacian operator is approximated by the L2 pseudo-Laplacian arising in the PN/PN-2 spectral element formulation of the incompressible Stokes problem. The overlapping Schwarz preconditioner of Fischer, Miller, and Tufo [An overlapping Schwarz method for spectral element simulation of three-dimensional incompressible flows, in Parallel Solution of Partial Differential Equations, IMA Vol. Math. Appl. 120, Springer, New York, 2000, pp. 159--180] based on the fast diagonalization method, is extended to generalized curvilinear coordinates. To obtain a separable operator for the linear finite element tensor-product approximation within each spectral element, extrema of the inverse metric tensor and its determinant are employed. Convergence rates and parallel CPU timings are compared against a block-Jacobi preconditioner.
A fair and traffic dependent scheduling algorithm for Bluetooth scatternets
Authors: Rohit Kapoor, Andrea Zanella, Mario Gerla
Venue: Mobile Networks and Applications (2004)

The Bluetooth specification defines the notion of interconnected piconets, called scatternets, but does not define the actual mechanisms and algorithms necessary to set up and maintain them. The operation of a scatternet requires some Bluetooth units to be interpiconet units (gateways), which need to time-division multiplex their presence among their piconets. This requires a scatternet-scheduling algorithm that can schedule the presence of these units in an efficient manner. In this paper, we propose a distributed scatternet-scheduling scheme that is implemented using the HOLD mode of Bluetooth and adapts to non-uniform and changing traffic. Another attribute of the scheme is that it results in fair allocation of bandwidth to each Bluetooth unit. This scheme provides an integrated solution for both intra-and inter-piconet scheduling, i.e., for polling of slaves and scheduling of gateways.
Numerical methods for the solution of partial differential equations of fractional order
Authors: V. E. Lynch, B. A. Carreras, D. del-Castillo-Negrete, K. M. Ferreira-Mejias, H. R. Hicks
Venue: Journal of Computational Physics (2003)

Anomalous diffusion is a possible mechanism underlying plasma transport in magnetically confined plasmas. To model this transport mechanism, fractional order space derivative operators can be used. Here, the numerical properties of partial differential equations of fractional order α, 1 ≤ α ≤ 2, are studied. Two numerical schemes, an explicit and a semi-implicit one, are used in solving these equations. Two different discretization methods of the fractional derivative operator have also been used. The accuracy and stability of these methods are investigated for several standard types of problems involving partial differential equations of fractional order.