ppxscal/embedding_network huggingface dataset:
On High Order Strong Stability Preserving Runge---Kutta and Multi Step Time Discretizations
Authors: Sigal Gottlieb
Venue: Journal of Scientific Computing (2005)

Strong stability preserving (SSP) high order time discretizations were developed for solution of semi-discrete method of lines approximations of hyperbolic partial differential equations. These high order time discretization methods preserve the strong stability properties---in any norm or seminorm--of the spatial discretization coupled with first order Euler time stepping. This paper describes the development of SSP methods and the recently developed theory which connects the timestep restriction on SSP methods with the theory of monotonicity and contractivity. Optimal explicit SSP Runge---Kutta methods for nonlinear problems and for linear problems as well as implicit Runge---Kutta methods and multi step methods will be collected
Improved Direct Volume Visualization of the Coronary Arteries Using Fused Segmented Regions
Authors: Daniel Mueller, Anthony Maeder, Peter O'Shea
Venue: Proceedings of the Digital Image Computing on Techniques and Applications (2005)

Coronary heart disease was the single largest cause of sudden death in Australia in 2002. Computed tomography angiography (CTA) provides high resolution, high contrast images of the thoracic cavity, and as such has emerged as the imaging modality of choice for diagnosing and planning treatment for coronary heart disease. However, radiologists and cardiac surgeons require tools to easily identify possible stenosis (narrowed or constricted coronary vessels) in such CTA datasets. We present a method which allows users to interactively visualise a specific three-dimensional region of interest (ROI). In our example, segmentation methods are applied to isolate the coronary vessels, which in turn are visually enhanced using various perceptual cues. The segmentation is achieved using a combination of thresholding, region-growing, and morphological operations. The perceptual enhancement is realized by fusing direct volume rendered images using weighting factors determined by the segmented regions. The user can allow for the easy dissemination of relevant information by adjusting 'transfer functions' to control the degree of ROI enhancement. This approach requires only roughly segmented regions of interest, and allows for the 3D visualisation of calcifications within vessels. This proposed method has significant potential for helping to facilitate the efficient treatment for coronary heart disease. Furthermore, it can be implemented at interactive framerates on comparatively cheap, desktop computing hardware making it readily accessible.
Advances in sensor and ad-hoc network security: perspective and status
Authors: Virgil D. Gligor
Venue: Proceedings of the 3rd ACM workshop on Security of ad hoc and sensor networks (2005)

During the past five years we have witnessed significant advances in sensor and ad-hoc network technologies. Security concerns have been the focus in much research, and yet few of the many interesting ideas that have been published to date have found direct application in real sensor and ad-hoc networks. While this is not an unusual state for security research, this panel will provide a "reality check." In particular, it will assess the state of the art in sensor and ad-hoc network security, provide a view of what can be expected in research and practice within the next five years, and suggest an number of research topics beyond the well-established areas of secure routing and key management.
Wearable Wellness Monitoring Using ECG and Accelerometer Data
Authors: Jennifer Healey, Beth Logan
Venue: Proceedings of the Ninth IEEE International Symposium on Wearable Computers (2005)

This paper presents a prototype wearable wellness monitoring system capable of recording, transmitting and analyzing continuous ECG and accelerometer data. The system also provides an application for recording activities, events and potentially important medical symptoms. The hardware allows data to be transmitted wirelessly from on-body sensors to a handheld device using Bluetooth. Data is then transmitted to a back-end server for analysis using either a wireless internet connection, if available, or a cellular phone service. We conducted experiments using the system for activity monitoring, exercise monitoring and medical screening tests and present preliminary data and results.
Toward Overlay Network Symbiosis
Authors: Naoki Wakamiya, Masayuki Murata
Venue: Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (2005)

Simultaneous overlay networks compete for network resources and disrupt each other. If they cooperate with each other, the collective performance can be improved and they can coexist comfortably. Taking inspiration from biology, in this paper we present a model of symbiotic overlay networks. Coexisting overlay networks dynamically evolve, interact with each other, and change their internal structures. Overlay networks in a symbiotic condition eventually establish the strong relationship and finally merge into one. We also evaluate the effect of interconnection of two overlay networks from the viewpoint of the robustness and the rate of message dissemination.
Hardware Virtual Components Compliant with Communication System Standards
Authors: N. Abdelli, P. Bomel, E. Casseau, AM Foulliart, C. Jego, P. Kaiffasz, B. Le Gal, N Le Heno
Venue: Proceedings of the 8th Euromicro Conference on Digital System Design (2005)

In this paper, we focus on the design of a communication system based on reusing IP cores. Traditional methods for designing hardware cores for this kind of applications use a RTL specification. However, they suffer from heavy limitations that prevent them fiom efficiently addressing the algorithmic complexity and the high flexibiliw required by the various application profiles. For this reason, we propose to raise the abstraction level of the specijicaiion and introduce the notion of architectural flexibility by benefiting fiom the emerging high-level synthesis tools. From a single behavioral-level VHDL specification, we are able to generate a variety of architectures, compliant with the most important communication standards. This technique has been successfilly applied to the most important IP cores (synchronization IP, Viterbi IP and Reed-Solomon decoder IP cores) of the DVB-DSNG digital video- broadcasting standard.
Steering and Forwarding Techniques for Reducing Memory Communication on a Clustered Microarchitecture
Authors: Hidetsugu Irie, Naoya Hattori, Masanori Takada, Naoya Hatta, Takashi Toyoshima, Suichi Sakai
Venue: Proceedings of the Innovative Architecture on Future Generation High-Performance Processors and Systems (2005)

In a clustered microarchitecture design, the execution core which has large RAMs, large CAMs and all connected result bypass loops is partitioned into smaller execution cores that are called clusters. Clustered microarchitecture can allow a scalable core design because intra-cluster operation remains fast regardless of entire execution width of the core. But localization of critical memory transfers (store-load-consumer) is still a problem. In this work, we propose a technique named "Distributed Speculative Memory Forwarding (DSMF)" that localizes critical memory transfers into a cluster. DSMF learns memory dependences at retire stage, steers dependent pair of the store and the consumer to the same cluster, transfers data locally in the cluster. We show that the IPC improvement of 15% was obtained by this localization on the baseline clustered microarchitecture.
Multi-Level Systems Approach to Solver System Design
Authors: Yasuhiko Takahara, Yongmei Liu
Venue: Proceedings of the 18th International Conference on Systems Engineering (2005)

This paper introduces the model theory approach to solver development for a management information system and presents its extension by the multi-level systems concept. The extension is demonstrated by an example.
A brain computer interface with online feedback based on magnetoencephalography
Authors: Thomas Navin Lal, Michael Schröder, N. Jeremy Hill, Hubert Preissl, Thilo Hinterberger, Jürgen Mellinger, Martin Bogdan, Wolfgang Rosenstiel, Thomas Hofmann, Niels Birbaumer, Bernhard Schölkopf
Venue: Proceedings of the 22nd international conference on Machine learning (2005)

The aim of this paper is to show that machine learning techniques can be used to derive a classifying function for human brain signal data measured by magnetoencephalography (MEG), for the use in a brain computer interface (BCI). This is especially helpful for evaluating quickly whether a BCI approach based on electroencephalography, on which training may be slower due to lower signal-to-noise ratio, is likely to succeed. We apply RCE and regularized SVMs to the experimental data of ten healthy subjects performing a motor imagery task. Four subjects were able to use a trained classifier to write a short name. Further analysis gives evidence that the proposed imagination task is suboptimal for the possible extension to a multiclass interface. To the best of our knowledge this paper is the first working online MEG-based BCI and is therefore a "proof of concept".
On Feature Selection through Clustering
Authors: Richard Butterworth, Gregory Piatetsky-Shapiro, Dan A. Simovici
Venue: Proceedings of the Fifth IEEE International Conference on Data Mining (2005)

We study an algorithm for feature selection that clusters attributes using a special metric and then makes use of the dendrogram of the resulting cluster hierarchy to choose the most relevant attributes. The main interest of our technique resides in the improved understanding of the structure of the analyzed data and of the relative importance of the attributes for the selection process.
George Stibitz's Values and R.C. Archibald's Slide Rule
Authors: David Alan Grier
Venue: Computer (2006)

In keeping with the Computer Society's celebration of its 60th anniversary year, Computer introduces a new column that illuminates the fundamental themes and values of the computer age by focusing on topics related to history, innovation, organizations, and the people who have contributed to computer science during the past 15 years.
Tempering for Bayesian C RT
Authors: Nicos Angelopoulos, James Cussens
Venue: Proceedings of the 22nd international conference on Machine learning (2005)

This paper concerns the experimental assessment of tempering as a technique for improving Bayesian inference for C&RT models. Full Bayesian inference requires the computation of a posterior over all possible trees. Since exact computation is not possible Markov chain Monte Carlo (MCMC) methods are used to produce an approximation. C&RT posteriors have many local modes: tempering aims to prevent the Markov chain getting stuck in these modes. Our results show that a clear improvement is achieved using tempering.
High-quality Sub-function Construction in the Information-driven Circuit Synthesis with Gates
Authors: Lech Jowiak, Szymon Bieganski
Venue: Proceedings of the 8th Euromicro Conference on Digital System Design (2005)

The opportunities created by modern microelectronic technology cannot effectively be exploited, because of weaknesses in traditional circuit synthesis methods used in today¿s CAD tools. In this paper, a new informationdriven circuit synthesis method is discussed that targets combinational circuits implemented with gates. The synthesis method is based on our original informationdriven approach to circuit synthesis, bottom-up general functional decomposition and theory of information relationship measures, and considerably differs from all other known methods. The discussion is focused on various sub-function construction methods used during the synthesis. The experimental results from the automatic circuit synthesis tool that implements the method show that the developed by us specific sub-function construction methods targeted to the gate-based circuits deliver much better circuits than the other methods and demonstrate that the information-driven general decomposition produces very fast and compact gate-based circuits.
Synchronizing 3D Movements for Quantitative Comparison and Simultaneous Visualization of Actions
Authors: Tobias Sielhorst, Tobias Blum, Nassir Navab
Venue: Proceedings of the 4th IEEE/ACM International Symposium on Mixed and Augmented Reality (2005)

In our poster presentation at ISMAR'04 [11], we proposed the idea of an AR training solution including capture and 3D replays of subtle movements. The crucial part missing for realizing such a training system was an appropriate way of synchronizing trajectories of similar movements with varying speed in order to simultaneously visualize the motion of experts and trainees, and to study trainees' performances quantitatively. In this paper we review the research from different communities on synchronization problems of similar complexity. We give a detailed description of the two most applicable algorithms. We then present results using our AR based forceps delivery training system and therefore evaluate both methods for synchronization of experts' and trainees' 3D movements. We also introduce the first concepts of an online synchronization system allowing the trainee to follow movements of an expert and the experts to annotate 3D trajectories for initiation of actions such as display of timely information. A video demonstration provides an overview of the work and a visual idea of what users of the proposed system could observe through their video-see through HMD.
On dual encodings for constraint satisfaction
Authors: Sivakumar Nagarajan
Venue:  (2002)

Recently, a lot of research has gone into the development of techniques that can directly handle non-binary constraints. On one hand, many extensions to existing binary constraint satisfaction algorithms have been proposed that directly deal with the non-binary constraints. The other choice is to perform a structural transformation of the representation of the problem, so that the resulting problem is a binary CSP except that now the original constraints which were non-binary are replaced by binary compatibility constraints between relations. A lot of recent work has been concerned with comparing different levels of local consistency enforceable in the non-binary representation with the dual representation. The dual encoding can often enforce high levels of consistency when compared to the primal representations. In some cases the space complexity of the dual encodings is prohibitive and this is sometimes a drawback when trying to use these encodings. In this thesis we present extensions to the standard dual encoding that can compactly represent the given CSP using an equivalent dual encoding that contains all the original solutions to the CSP, using constraint coverings. We show how enforcing arc consistency in these constraint covering based encodings, strictly dominates enforcement of generalised arc consistency (GAC) on the primal non-binary encoding. The main theme of this thesis concerns the study of the dual encodings of non-binary CSPs and extensions to the standard forms of local consistency defined in the dual, that can enforce arbitrarily high levels of consistency. Our extensions to standard dual arc consistency allow us to construct compact encodings of the original problem. This directly addresses the space complexity issues related to the standard dual encoding, while still being able to enforce provably high levels of consistency. We present a complete theoretical evaluation of these different consistency techniques while also providing experimental results in support of these theoretical results.
Efficient light scattering through thin semi-transparent objects
Authors: Jeppe Revall Frisvad, Niels Jørgen Christensen, Peter Falster
Venue: Proceedings of the 3rd international conference on Computer graphics and interactive techniques in Australasia and South East Asia (2005)

This paper concerns real-time rendering of thin semi-transparent objects. An object in this category could be a piece of cloth, eg. a curtain. Semi-transparent objects are visualized most correctly using volume rendering techniques. In general such techniques are, however, intractable for real-time applications. Surface rendering is more efficient, but also inadequate since semi-transparent objects should have a different appearance depending on whether they are front-lit or back-lit. The back-lit side of a curtain, for example, often seems quite transparent while the front-lit side seems brighter and almost opaque. To capture such visual effects in the standard rendering pipeline, Blinn [1982] proposed an efficient local illumination model based on radiative transfer theory. He assumed media of low density, hence, his equations can render media such as clouds, smoke, and dusty surfaces. Our observation is that Chandrasekhar [1960] has derived the same equations from a different set of assumptions. This alternative derivation makes the theory useful for realistic real-time rendering of dense, but thin, semi-transparent objects such as cloth. We demonstrate that application of the theory in this new area gives far better results than what is obtainable with a traditional real-time rendering scheme using a constant factor for alpha blending.
Visualization of Boundaries in Volumetric Data Sets Using LH Histograms
Authors: Petr ereda, Anna Vilanova Bartroli, Iwo W. O. Serlie, Frans A. Gerritsen
Venue: IEEE Transactions on Visualization and Computer Graphics (2006)

A crucial step in volume rendering is the design of transfer functions that will highlight those aspects of the volume data that are of interest to the user. For many applications, boundaries carry most of the relevant information. Reliable detection of boundaries is often hampered by limitations of the imaging process, such as blurring and noise. We present a method to identify the materials that form the boundaries. These materials are then used in a new domain that facilitates interactive and semiautomatic design of appropriate transfer functions. We also show how the obtained boundary information can be used in region-growing-based segmentation.
Personal and Contextual Requirements Engineering
Authors: Alistair Sutcliffe, Stephen Fickas, McKay Moore Sohlberg
Venue: Proceedings of the 13th IEEE International Conference on Requirements Engineering (2005)

A framework for requirements analysis is proposed that accounts for individual and personal goals and the effect of time and context on personal requirements. The implications of the framework on system architecture are considered as three implementation pathways: functional specifications, development of customisable features and automatic adaptation by the system. These pathways imply the need to analyse system architecture requirements. Different implementation pathways have cost-benefit implications for stakeholders, so cost-benefit analysis techniques are proposed to assess trade-offs between goals and implementation strategies. The use of the framework is illustrated with two case studies in assistive technology domains: e-mail and a personalised navigation system.
Visualization of Partial Differential Equation Solutions
Authors: Raymond G. Jacquot, Cameron H. G. Wright, Thomas V. Edgar, Robert F. Kubichek
Venue: Computing in Science and Engineering (2006)

At the University of Wyoming's College of Engineering, we've developed an interest in clarifying solutions of the partial differential equations (PDEs) associated with dynamic engineering phenomena.
Budgeting process for information security expenditures
Authors: Lawrence A. Gordon, Martin P. Loeb
Venue: Communications of the ACM (2006)

Empirical evidence shows that cost-benefit analysis is a sound basis for budgeting information security expenditures.
Superconductor Technology for High-End Computing System Issues and Technology Roadmap
Authors: Arnold H. Silver
Venue: Proceedings of the 2005 ACM/IEEE conference on Supercomputing (2005)

The ITRS 2004 Update on Emerging Research Devices identified superconductor rapid single flux quantum (RSFQ) technology as the most advanced of any of the alternative candidate technologies for extending performance beyond today's semiconductor technology (Fig. 1).
Web Services-Based Architecture for Reducing Behavior and Quality Uncertainties
Authors: Andrijana Mandaric, Andreas Oberweis, Primoz Perc
Venue: Proceedings of the First International Conference on e-Science and Grid Computing (2005)

The Internet bears various unused potentials for actors in global exchange processes which are limited by information asymmetries and opportunism. In order to exploit these potentials it is necessary to mitigate underlying uncertainties. For this reason, we propose a web services-based architecture of a so called reputation information management system (RIMS), whose goal is to reduce behavior and quality uncertainties by collecting and transforming reputation-related information available on the Internet. The demand-driven and adaptive architecture of our system flexibly collects, manages and enriches reputation information according to the individual preferences of its users. In doing so, it facilitates the process of finding trusted interaction or transaction partners, qualitative goods or other targeted objects. The separation of the logical view of reputation processes from the physical implementation enables the proposed architecture to be adaptable to different types of requests. The architecture can be leveraged as a reusable service in different applications.
Performance Measurement and Improvement of Asymmetric Three-Tr. Cell (ATC) DRAM toward 0.3V Memory Array Operation
Authors: Motoi Ichihashi, Haruki Toda
Venue: Proceedings of the 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (2006)

For a Mb-class embedded memory, asymmetric three-transistor cell (ATC) DRAM has been reported. The memory cell is a non-destructive-read type and the memory array runs at 0.5V, half the voltage of normal peripheral circuits, on a 90nm generic CMOS logic process. A sense amplifier designed for this DRAM is insensitive to input capacitance and can operate with a power supply voltage as low as 0.5V. Through our experiments, we have identified three ways to improve the ATC DRAM. And these improvements enable the sense time to be 6.3ns and refresh power consumption to be 45µW with 0.3V memory array voltage by simulation results.
Domain analysis and information retrieval through the construction of heliocentric maps based on ISI-JCR category cocitation
Authors: Félix de Moya-Anegón, Benjamín Vargas-Quesada, Zaida Chinchilla-Rodriguez, Elena Corera-Alvarez, Victor Herrero-Solana, Francisco J. Munoz-Fernández
Venue: Information Processing and Management: an International Journal (2005)

We propose the use of ISI-JCR categories as units of cocitation and measurement for the construction of heliocentric maps. The use of a spatial metaphor allows us to illustrate, analyze and compare domains in terms of the categories and their interconnections or links. We can also move around within the structure of these domains for further analysis, and access the documents associated to the categories and to the links that cocite or relate them.