ppxscal/embedding_network huggingface dataset:
Minimizing the Cross Validation Error to Mix Kernel Matrices of Heterogeneous Biological Data
Authors: Koji Tsuda, Shinsuke Uda, Taishin Kin, Kiyoshi Asai
Venue: Neural Processing Letters (2004)

In biological data, it is often the case that objects are described in two or more representations. In order to perform classification based on such data, we have to combine them in a certain way. In the context of kernel machines, this task amounts to mix several kernel matrices into one. In this paper, we present two ways to mix kernel matrices, where the mixing weights are optimized to minimize the cross validation error. In bacteria classification and gene function prediction experiments, our methods significantly outperformed single kernel classifiers in most cases.
Constructing 3D City Models by Merging Aerial and Ground Views
Authors: Christian Früh, Avideh Zakhor
Venue: IEEE Computer Graphics and Applications (2003)

This article presents a fast approach to automated generation of textured 3D city models with both high details at ground level, and complete coverage for bird's-eye view. A close-range facade model is acquired at the ground level by driving a vehicle equipped with laser scanners and a digital camera under normal traffic conditions on public roads; a far-range digital surface model (DSM), containing complementary roof and terrain shape, is created from airborne laser scans, then triangulated, and finally texture-mapped with aerial imagery. The facade models are first registered with respect to the DSM using Monte Carlo localization, and then merged with the DSM by removing redundant parts and filling gaps.
Static Specification Analysis for Termination of Specification-Based Data Structure Repair
Authors: Brian Demsky, Martin Rinard
Venue: Proceedings of the 14th International Symposium on Software Reliability Engineering (2003)

We have developed a system that accepts a specificationof key data structure consistency constraints, thendynamically detects and repairs violations of these constraints. Itis possible to write specifications that are not satisfiable or thatfor other reasons may cause the repair process to not terminate.We present a static specification analysis that determines whetherthe repair process will terminate for a given specification.
Selective removal of atoms as a new method for fabrication of nanoscale patterned media
Authors: B. A. Gurovich, D. I. Dolgy, E. A. Kuleshova, E. Z. Meilikhov, A. G. Domantovsky, K. E. Prikhodko, K. I. Maslakov, B. A. Aronzon, V. V. Rylkov, A. Yu. Yakubovsky
Venue: Microelectronic Engineering (2003)

The method of 'selective removal of atoms' is proposed for purposeful efficient modification of a solid atomic composition under exposure to an accelerated ion beam of a certain energy. Such modification can dramatically change the physical properties of a thin material layer. This method could be used to create directly the needed spatial modulation of atomic composition and physical properties of a material, i.e. to produce a nanoscale patterned media for various applications (magnetic storage media, GaAs Schottky diodes and field effect transistors, optical structures, nanoscale biochips, and many others).
Multiple-parameter CMOS IC testing with increased sensitivity for IDDQ
Authors: Ali Keshavarzi, Kaushik Roy, Charles F. Hawkins, Vivek De
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2003)

Technology scaling challenges the effectiveness of current-based test techniques such as IDDQ. Furthermore, existing leakage reduction techniques are not as effective in aggressively scaled technologies. We exploited intrinsic dependencies of transistor and circuit leakage on clock frequency, temperature, and reverse body bias (RBB) to discriminate fast ICs from defective ones. Transistor and circuit parameters were measured and correlated to demonstrate leakage-based testing solutions with improved sensitivity. We used a test IC with available body terminals for our experimental measurements. Our data suggest adopting a sensitive multiple-parameter test solution. For high performance IC applications, we propose a new test technique, IDDQ versus FMAX (maximum operating frequency), in conjunction with using temperature (or RBB) to improve the defect detection sensitivity. For cost sensitive applications, IDDQ versus temperature test can be deployed. Our data show that temperature (cooling from 110 °C to room) improved sensitivity of IDDQ versus FMAX two-parameter test by more than an order of magnitude (13.8x). The sensitivity can also be tuned by proper selection of a temperature range to match a required defect per million (DPM) level.
A robust high-order compact method for large eddy simulation
Authors: Santhanam Nagarajan, Sanjiva K. Lele, Joel H. Ferziger
Venue: Journal of Computational Physics (2003)

We present a high-order compact method for large eddy simulation (LES) of compressible turbulent flows: Numerical solution of Navier-Stokes equations with high-order compact methods has been limited by numerical instabilities caused by ill-resolved features of the flow. This problem is alleviated by a staggered arrangement of conserved variables. Simulations of decaying isotropic turbulence at high Reynolds numbers demonstrate the superiority of the present method over the collocated method. Furthermore, the present method is applicable to the conservative form of the governing equations, thereby allowing total energy conservation, a property usually sacrificed in LES with the collocated method. Boundary schemes that extend the present methodology to non-periodic domains are also presented.
Schedulers for rule-based constraint programming
Authors: Krzysztof R. Apt, Sebastian Brand
Venue: Proceedings of the 2003 ACM symposium on Applied computing (2003)

We study here schedulers for a class of rules that naturally arise in the context of rule-based constraint programming. We systematically derive a scheduler for them from a generic iteration algorithm of Apt [4]. We apply this study to so-called membership rules of Apt and Monfroy [5]. This leads to an implementation that yields for these rules a considerably better performance than their execution as standard CHR rules.
Mathematical Methods of Geoinformatics. II. Fuzzy-Logic Algorithms in the Problems of Abnormality Separation in Time Series
Authors: A. D. Gvishiani, S. M. Agayan, Sh. R. Bogoutdinov, A. V. Ledenev, Z. Zlotniki, Z. Bonnin
Venue: Cybernetics and Systems Analysis (2003)

Interpreter logic is simulated by means of fuzzy mathematics. Such an interpreter searches for signals on a record and recognizes signals on it. It slides along a record and locally assesses activity of small record fragments from different sides; it stores these assessments and then aggregates the whole thing into this or that single overall solution. The DRAS and FLAS algorithms are the simulation results.
The Empty Museum. Multi-user Interaction in an Immersive and Physically Walkable VR Space
Authors: Luis Hernández, Javier Taibo, Antonio Seoane, Rubén López, Rocío López
Venue: Proceedings of the 2003 International Conference on Cyberworlds (2003)

Until quite recently, virtual reality systems consisted offixed devices which enabled the user to feel immersed in aspot of the virtual space by means of the adequatehardware. The recent emergence of wireless systems formotion capture, together with the increase in graphicpower of laptops, and the generalisation of wirelessnetworks has allowed the appearance of the first systemsin which at last the user is able to walk physically within agiven space framed in the real one, and containing theobjects and elements of the virtual space [2][5][6]. Someexamples of this hybrid space have already beenaccomplished worldwide. However, beyond the technicalproblems with the development of these systems, we mustbear in mind the types of contents to be shown, making themost of the possibilities offered by the fact that the userhim/herself is the pointer in this kind of virtual reality,while the space itself is the interface.The authors have recently developed a system similar tothe ones described. This is a totally immersive, walkableand wireless system called the Empty Museum [7]. Thispaper outlines its enlargement with the purpose of makingit simultaneously usable by several persons. Besides, anexample of content is provided which has been specificallydesigned in order to be experienced in multi-user modewith this equipment: the Virtual Art Gallery.
Effects of annealing temperature and surface preparation on the formation of cobalt silicide interconnects
Authors: C. Wiemer, G. Tallarida, E. Bonera, E. Ricci, M. Fanciulli, G. F. Mastracchio, G. Pavia, S. Marangon
Venue: Microelectronic Engineering (2003)

Cobalt silicide films have been prepared by rapid thermal annealing of cobalt layers sputter deposited on silicon substrates. We report on the evolution of silicide phases, surface and interface roughness as a function of the annealing temperature and silicon surface preparation. The characterizations are carried out by atomic force microscopy, X-ray diffraction, X-ray reflectivity, Raman spectroscopy, and transmission electron microscopy. The cleaning procedure of the silicon substrate affects the interface roughness and the silicide thickness, whereas little effects are found on the surface. On the other hand, surface roughness increases with annealing temperature.
Broadband Penetration and Participatory Politics: South Korea Case
Authors: Heekyung Hellen Kim, Jae Yun Moon, Shinkyu Yang
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 5 - Volume 5 (2004)

This paper examines the potential impact of the Internet on the political process in a young democracy. Roh Moo-hyun's dramatic victory on December 19, 2002 represents a major watershed in modern day South Korean politics. The Internet enabled this upset victory. The Internet made available alternative sources of political information unfiltered by the conservative and often biased mass media. Citizens distributed worldwide could express their support for Roh Moo-hyun in the public forums on his official site and many other news and discussion sites. Rohsamo, a group of people who support Roh Moo-hyun, became the focal organizing structure around which the efforts of individual supporters were coordinated. In thispaper we draw on primary and secondary data sources and relate broadband penetration to political participation. We suggest that Roh's election would not have been possible had it not been for the nationwide broadband infrastructure and low costs for household high-speed Internet access. South Korea's broadband penetration rate is four times higher than the United States, 60 times higher than the United Kingdom and twice that of Canada. As the world's leader in broadband penetration and Internet usage, the South Korean case illustrates the potential impact of widespread Internet access on the democratization process in developing countries.
Kinematic Design and Analysis of a 7 Degree-of-Freedom Dual-Stage Inspection Manipulator for Dexterous Subsea Applications
Authors: T. Asokan, G. Seet, V. Iastrebov, R. Senanayake
Venue: Journal of Intelligent and Robotic Systems (2003)

This paper describes the design of a 7 degree-of-freedom (d.o.f) manipulator for underwater inspection applications. The functional requirements of an underwater manipulator for subsea inspection are discussed and the desired performance requirements identified. The inspection process of a weld joint using a manipulator is described and the desirable attributes of a 5 d.o.f manipulator for the inspection process established. A novel kinematic structure, for Underwater Robotic Vehicle (URV) operation, having a 2 d.o.f launching stages and a 5 d.o.f inspection stage is proposed for the manipulator. This configuration increases the dexterity, without compromising on the total reach of the manipulator. The kinematic structure of the 7 d.o.f, 2 stage, manipulator is presented. A hybrid power actuation is proposed for the manipulator to exploit the benefits of both hydraulic as well as electric actuators. Kinematic analysis of the manipulator is presented. The link dimensions of the inspection stage manipulator is done on the basis of kinematic performance indices of the manipulator. The novel kinematic structure and the hybrid power actuation strategy results in a power efficient, dexterous manipulator for underwater applications.
A loopless algorithm for generating the permutations of a multiset
Authors: Vincent Vajnovszki
Venue: Theoretical Computer Science (2003)

Many combinatorial structures can be constructed from simpler components. For example, a permutation can be constructed from cycles, or a Motzkin word from a Dyck word and a combination. In this paper we present a constructor for combinatorial structures, called shuffle on trajectories (defined previously in a non-combinatorial context), and we show how this constructor enables us to obtain a new loopless generating algorithm for multiset permutations from similar results for simpler objects.
Data mining applied to data on respiratory effects of air pollution
Authors: Maarten Lamers
Venue: ACM SIGBIO Newsletter (1998)

Aim of the projects is the investigation and development of techniques for dealing with specific aspects of health-related data in epidemiological studies. Non-linear neural network data-mining methodologies were successfully devised for&bull; finding heterogeneity in response between unknown subpopulations in a study;&bull; reducing non-linear correlations between related bio-medical variables;&bull; testing for non-linearity of responses in multi-level population studies.Applications to data from studies on short-term respiratory effects of air-pollution have illustrated the merits of these methods when complementing traditional methods.
As we may print: new directions in output devices and computational crafts for children
Authors: M. Eisenberg, A. Eisenberg, S. Hendrix, G. Blauvelt, D. Butter, J. Garcia, R. Lewis, T. Nielsen
Venue: Proceedings of the 2003 conference on Interaction design and children (2003)

In recent years, educational technologists and designers have begun to explore a variety of ways in which physical and computational media can be integrated---for instance, through the design of "intelligent toys" for children. This paper describes our ongoing efforts at exploring a different sort of physical-computational integration, focusing on children's design activities, output devices, and the notion of "printing out" more generally. We describe several representative systems under development in our group; each of these systems highlights particular possibilities for exploring and experimenting with output devices for children's crafts. We also present a set of design heuristis---useful techniques for those educational designers interested in expanding the range and expressiveness of craft activities for children.
Homotopy invariants of higher dimensional categories and concurrency in computer science
Authors: Philippe Gaucher
Venue: Mathematical Structures in Computer Science (2000)

The strict globular &omega;-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) &omega;-category &Cscr; three homology theories. The first one is called the globular homology. It contains the oriented loops of &Cscr;. The two other ones are called the negative (respectively, positive) corner homology. They contain in a certain manner the branching areas of execution paths or negative corners (respectively, the merging areas of execution paths or positive corners) of &Cscr;. Two natural linear maps called the negative (respectively, the positive) Hurewicz morphism from the globular homology to the negative (respectively, positive) corner homology are constructed. We explain the reason why these constructions allow the reinterpretation of some geometric problems coming from computer science.
Competitive genetic algorithms with application to reliability optimal design
Authors: C. K. Dimou, V. K. Koumousis
Venue: Advances in Engineering Software (2003)

Competition is introduced among the populations of a number of genetic algorithms (GAs) having different sets of parameters. The aim is to calibrate the population size of the GAs by altering the resources of the system, i.e. the allocated computing time. The co-evolution of the different populations is controlled at the level of the union of populations, i.e. the metapopulation, on the basis of statistics and trends of the evolution of every population. Evolution dynamics improve the capacity of the optimization algorithm to find optimum solutions and results in statistically better designs as compared to the standard GA with any of the fixed parameters considered. The method is applied to the reliability based optimal design of simple trusses. Numerical results are presented and the robustness of the proposed algorithm is discussed.
Probability of stimulus detection in a model population of rapidly adapting fibers
Authors: Burak Güçlü, Stanley J. Bolanowski
Venue: Neural Computation (2004)

The goal of this study is to establish a link between somatosensory physiology and psychophysics at the probabilistic level. The model for a population of monkey rapidly adapting (RA) mechanoreceptive fibers by Güçlü and Bolanowski (2002) was used to study the probability of stimulus detection when a 40 Hz sinusoidal stimulation is applied with a constant contactor size (2 mm radius) on the terminal phalanx. In the model, the detection was assumed to be mediated by one or more active fibers. Two hypothetical receptive field organizations (uniformly random and gaussian) with varying average innervation densities were considered. At a given stimulus-contactor location, changing the stimulus amplitude generates sigmoid probability-of-detection curves for both receptive field organizations. The psychophysical results superimposed on these probability curves suggest that 5 to 10 active fibers may be required for detection. The effects of the contactor location on the probability of detection reflect the pattern of innervation in the model. However, the psychophysical data do not match with the predictions from the populations with uniform or gaussian distributed receptive field centers. This result may be due to some unknown mechanical factors along the terminal phalanx, or simply because a different receptive field organization is present. It has been reported that human observers can detect one single spike in an RA fiber. By considering the probability of stimulus detection across subjects and RA populations, this article proves that more than one active fiber is indeed required for detection.
A new approach to reliable detection of LSB steganography in natural images
Authors: Tao Zhang, Xijian Ping
Venue: Signal Processing (2003)

In this paper, a new steganalysis technique is proposed on the basis of statistical observations on difference image histograms for the reliable detection of least significant bit (LSB) steganography. A physical quantity is derived from the transition coefficients between difference image histograms of an image and its processed version produced by setting all bits in the LSB plane to zero. It appears that this quantity is a good measure of the weak correlation between successive bit planes and can be used to discriminate stego-images from cover images. Further studies indicate that there exists a functional relationship between this quantity and the embedded message length. Based on those facts, an equation is formed to estimate the amount of embedded messages. Experimental results show that the proposed algorithm is comparable to previously proposed techniques. The new approach is applicable for the detection of both random and sequential LSB embedding.
A Distributed Virtual Backbone Development Scheme for Ad-Hoc Wireless Networks
Authors: Jyh-Horng Lin, Chyi-Ren Dow, Shiow-Fen Hwang
Venue: Wireless Personal Communications: An International Journal (2003)

The virtual backbone is an approach for solving routing problems in ad-hoc wireless networks. The virtual backbone approach features low latency, moderate routing overhead and is a hybrid scheme that uses the table-driven and on-demand routing protocols. This work presents a distributed virtual backbone development scheme for ad-hoc wireless networks. Using clustering, distributed labeling and heuristic Steiner tree techniques, our scheme outperforms other schemes in terms of the size and stability of the virtual backbone and the virtual backbone change rate. Experimental results demonstrate that our scheme has lower overhead than traditional table-driven and on-demand routing schemes.
Fault Hamiltonicity and Fault Hamiltonian Connectivity of the Arrangement Graphs
Authors: Hong-Chun Hsu, Tseng-Kuei Li, Jimmy J. M. Tan, Lih-Hsing Hsu
Venue: IEEE Transactions on Computers (2004)

Abstract--The arrangement graph An,k is a generalization of the star graph. There are some results concerning fault Hamiltonicity and fault Hamiltonian connectivity of the arrangement graph. However, these results are restricted in some particular cases and, thus, are less completed. In this paper, we improve these results and obtain a stronger and simpler statement. Let n-k \ge 2 and F \subseteq V(An,k) \cup E(An,k). We prove that An,k - F is Hamiltonian if |F| \le k(n-k) -2 and An,k - F is Hamiltonian connected if |F| \le k(n-k) -3. These results are optimal.
DONALD: a workbench for interactive design space exploration and sizing of analog circuits
Authors: Koen Swings, Willy Sansen
Venue: Proceedings of the conference on European design automation (1991)

In this paper, the program DONALD is presented. DONALD constitutes a new approach to the use of numerical computation in circuit sizing. The program is able to numerically invert an analytic design model of an analog circuit in any arbitrary direction. It is therefore possible to answer with DONALD both design questions, analysis questions, as well as technology questions. To accomplish this, the program uses a new, heuristic algorithm for detection of minimal clusternodes is bipartite graphs. A graphical, mouse oriented user interface allows the user to make strategic and optimum moves through a circuit's design space.
Process Portals -- Architecture and Integration
Authors: Thomas Puschmann, Rainer Alt
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 8 - Volume 8 (2004)

Process portals support the inter-organizational networking of businesses. They define function and content on the basis of the customer process and make them available to the user via a role-based and personalized interface. In spite of the growing relevance of process portals, their use in most businesses is still only at the beginning. A consistent architecture and integration model can help businesses with the introduction of process portals. This article argues that the available approaches to architecture from the relevant literature and from practice do not adequately address process portal requirements, and develops an extended architecture model. The steps required to implement this architecture are described in this article using the example of the Automobile Group.