ppxscal/embedding_network huggingface dataset:
A new algorithm to obtain all maximum common subgraphs in molecular graphs using binary arithmethic and constraints satisfaction model
Authors: G. Cerruela García, I. Luque Ruiz, M. A. Gómez-Nieto
Venue: Proceedings of the international conference on Computational methods in sciences and engineering (2003)

In this work we propose a new algorithm to find out graphs isomorphism. This algorithm has been applied to calculate the similarity index in chemical compounds, representing the molecular structures like colored graph and these graphs as vectors on n-dimensional spaces. Hereby is possible to reduce the maximum common structure detection problem to a simple vector problem.
Mining hepatitis data with temporal abstraction
Authors: Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Quang Le, Dung Duc Nguyen, Hideto Yokoi, Katsuhiko Takabayashi
Venue: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining (2003)

The hepatitis temporal database collected at Chiba university hospital between 1982--2001 was recently given to challenge the KDD research. The database is large where each patient corresponds to 983 tests represented as sequences of irregular timestamp points with different lengths. This paper presents a temporal abstraction approach to mining knowledge from this hepatitis database. Exploiting hepatitis background knowledge and data analysis, we introduce new notions and methods for abstracting short-term changed and long-term changed tests. The abstracted data allow us to apply different machine learning methods for finding knowledge part of which is considered as new and interesting by medical doctors.
Application of ThinkLets to Team Cognitive Task Analysis
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1 (2004)

As was seen in the 2003 Gulf War, the U.S. Army is migrating to a lighter, more mobile and more lethal fighting force. In support of this desired paradigm, the major U.S. Army's battle laboratories are performing key experiments to determine how the projected mix of personnel, materiel, and doctrine can be interwoven into a desired structure for the year 2015. In February 2003, the U.S. Army's Battle Command Battle Laboratory (BCBL-L) at Fort Leavenworth, Kansas appraised, utilizing a more intuitive decision-making process, a simulated futuristic two thousand-man force structure with its anticipated equipment. There were several stated, and a few unstated, objectives to this experiment, necessitating the use of numerous observers and several data collection instruments. Of the data collection instruments, the principal instrument for Team Cognitive Task Analysis functions was the Wagon Wheel interview methodology. Of the tools, the principal tool employed to collaborate, consolidate and sustain the data collection events was a Group Support System. This paper will first explore how the selected Group Support System tools were utilized to automate the Wagon Wheel process from a one-on-one manual process to an automated system that enabled simultaneous data collection from 20 individuals. This paper will then examine how the concept of ThinkLets was used to define the Wagon Wheel process. Lastly, an exchange of ideas will be provided, talking about the strong and weak points of using a Group Support System in the experiment, the problems that arose and the solutions employed, and some thoughts for using a Group Support System in the follow-on experiments.
Learning to verify design solutions from failure knowledge
Authors: Paulo Gomes, Carlos Bento, Pedro Gago
Venue: Artificial Intelligence for Engineering Design, Analysis and Manufacturing (1998)

Learning is an intrinsic product of case-based reasoning. Acquiring new cases is one possible way of learning in a case-based system. These cases comprise mainly success knowledge. The successful cases are essentially used to generate new design solutions. But a case-based system also can make use of failure knowledge. In this paper we present how a case-based system can acquire failure cases for verification of the solution created by success cases. We describe IM-RECIDE, a system that uses case-based reasoning for solving design problems that are imperfectly described and explained. The learning aspect is focused and some of the machine learning dimensions in design are criticized. Experimental results in the domain of room configuration also are presented.
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition
Authors: Bernd Steinbach, Christian Lang
Venue: Artificial Intelligence Review (2003)

This paper introduces the theory of bi-decomposition of Boolean functions. This approach optimally exploits functional properties of a Boolean function in order to find an associated multilevel circuit representation having a very short delay by using simple two input gates. The machine learning process is based on the Boolean Differential Calculus and is focused on the aim of detecting the profitable functional properties available for the Boolean function. For clear understanding the bi-decomposition of completely specified Boolean functions is introduced first. Significantly better chance of success are given for bi-decomposition of incompletely specified Boolean functions, discussed secondly. The inclusion of the weak bi-decomposition allows to prove the the completeness of the suggested decomposition method. The basic task for machine learning consists of determining the decomposition type and dedicated sets of variables. Lean on this knowledge a complete recursive design algorithm is suggested. Experimental results over MCNC benchmarks show that the bi-decomposition outperforms SIS and other BDD-based decomposition methods in terms of area and delay of the resulting circuits with comparable CPU time. By switching from the ON-set/OFF-set model of Boolean function lattices to their upper- and lower-bound model a new view to the bi-decomposition arises. This new form of the bi-decomposition theory makes a comprehensible generalization of the bi-decomposition to multivalued function possible.
Stochastic Forest Stand Value and\linebreak Optimal Timber Harvesting
Authors: Luis H. R. Alvarez
Venue: SIAM Journal on Control and Optimization (2003)

We consider a Faustmann timber harvesting problem arising in the literature on rational forest management by modeling the value of the harvested resource as a time homogeneous, regular, and linear diffusion. We state a set of easily verifiable general conditions under which the existence and uniqueness of an optimal cutting value and, consequently, an optimal impulse control, are guaranteed. We also present a set of conditions under which increased volatility increases both the value and the optimal harvesting threshold at which the irreversible harvesting strategy is exercised.
Dependent types and explicit substitutions: a meta-theoretical development
Authors: César Muñoz
Venue: Mathematical Structures in Computer Science (2001)

We present a dependent-type system for a &lambda;-calculus with explicit substitutions. In this system, meta-variables, as well as substitutions, are first-class objects. We show that the system enjoys properties like type uniqueness, subject reduction, soundness, confluence, and weak normalization.
A translation of the one-to-one relationship for introductory relational database courses
Authors: Jonathan P. Bernick
Venue: ACM SIGCSE Bulletin (2003)

The translation of the one-to-one relationship from the Entity/Relationship model to the relational model while preserving one-to-one correspondence between the members of the participating entity sets is a topic that has been neglected in introductory database textbooks. In this paper, we provide a simple method, intended for students taking a first course in relational database design, that accomplishes this without introducing nulls or violating the relational model.
On the solvability of a unilateral obstacle problem on the boundary
Authors: A. Addou, J. Zahi
Venue: Journal of Computational and Applied Mathematics (2004)

This paper gives an approach of a unilateral obstacle problem on the boundary by a family of limit problems of Neumann type.
A Low Noise Current-mode Readout circuit for CMOS Image Sensing Applications
Authors: Tejasvi Das, P. R. Mukund
Venue: Proceedings of the 17th International Conference on VLSI Design (2004)

A major obstacle in current-mode CMOS image sensorsis the transconductance gain mismatch across pixels,which translates to Fixed Pattern Noise (FPN),degrading the image quality. In this paper, we proposea highly linear and compact current-mode readoutcircuit that eliminates this mismatch by performing thevoltage to current conversion within a unity gainfeedback loop. It is further proposed that by using theActive Column Sensor (ACS) architecture [4], only twotransistors from the readout circuit are required to bepresent at the pixel site, while the rest of the circuitryresides common to an entire column. This setup saves asignificant amount of real estate. The circuit is designedin TSMC 0.25 µm process, and simulation results arepresented.
Integration of a Rehabilitation Robotic System (KARES II) with Human-Friendly Man-Machine Interaction Units
Authors: Zeungnam Bien, Myung-Jin Chung, Pyung-Hun Chang, Dong-Soo Kwon, Dae-Jin Kim, Jeong-Su Han, Jae-Hean Kim, Do-Hyung Kim, Hyung-Soon Park, Sang-Hoon Kang, Kyoobin Lee, Soo-Chul Lim
Venue: Autonomous Robots (2004)

In this paper, we report some important results of design and evaluation of a wheelchair-based robotic arm system, named as KARES II (KAIST Rehabilitation Engineering Service System II), which is newly developed for the disabled. KARES II is designed in consideration of surveyed necessary tasks for the target users (that is, people with spinal cord injury). At first, we predefined twelve important tasks according to extensive interviews and questionnaires. Next, based on these tasks, all subsystems are designed, simulated and developed. A robotic arm with active compliance and intelligent visual servoing capability is developed by using cable-driven mechanism. Various kinds of human-robot interfaces are developed to provide broad range of services according to the levels of disability. Eye-mouse, shoulder/head interface, EMG signal-based control subsystems are used for this purpose. Besides, we describe the process of integration of our rehabilitation robotic system KARES II, and discuss about user trials. A mobile platform and a wheelchair platform are two main platforms in which various subsystems are installed. For a real-world application of KARES II system, we have performed user trials with six selected potential end-users (with spinal cord injury).
Sweetening WORDNET with DOLCE
Authors: Aldo Gangemi, Nicola Guarino, Claudio Masolo, Alessandro Oltramari
Venue: AI Magazine (2003)

Despite its original intended use, which was very different, WORDNET is used more and more today as an ontology, where the hyponym relation between word senses is interpreted as a subsumption relation between concepts. In this article, we discuss the general problems related to the semantic interpretation of WORDNET taxonomy in light of rigorous ontological principles inspired by the philosophical tradition. Then we introduce the DOLCE upper-level ontology, which is inspired by such principles but with a clear orientation toward language and cognition. We report the results of an experimental effort to align WORDNET'S upper level with DOLCE. We suggest that such alignment could lead to an "ontologically sweetened" WORD-NET, meant to be conceptually more rigorous, cognitively transparent, and efficiently exploitable in several applications.
Business students as end-user developers: simulating &#x0022;Real-life&#x0022; situations through case study approach
Authors: Sandra Barker
Venue: Current issues in IT education (2003)

In this chapter, the introduction of "real-life" scenarios to undergraduate business students to enhance their understanding of end-user development of databases is investigated. The problems experienced with end-user development due to incomplete information, incorrect design procedures, and inadequate software knowledge are identified. It is the hope of the author that by identifying the design issue relevant to good database production and using "real-life" case studies as insight into how businesses use and store data, the students will be more aware of good practice for their future employment.
Applying grid security and virtual organization tools in distributed publication databases
Authors: Marko Niinimaki, Vesa Sivunen
Venue: Proceedings of the 1st international symposium on Information and communication technologies (2003)

In a single document repository or a library system, the authentication and authorization issues can be handled relatively simply with traditional technologies. However the situation is different in distributed and heterogeneous publication databases. The European DataGrid database access and security design is, among other things, able to take care of the authentication of each user, and the roles of different users across organizational borders. In this paper, we suggest how these Grid tools can be used for accessing distributed publication databases in a controlled and secure way.
Rule-based process servers for software development environments
Authors: Steven S. Popovich
Venue: Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1 (1992)

Most SDEs are either integrated toolsets or process-based environments. Process-based environments have obvious advantages in support for the development process, while integrated toolsets have advantages in usability and convenience. By integrating the two approaches, the benefits of both are obtained. Direct integration, however, is not always possible, because the process engine's integration mechanism may conflict with that of the toolset.The solution is to center the environment around a rule-based process server, separating out the process-based component to avoid such conflicts. A framework is provided for interfacing the server to the target toolset.
Mining phenotypes and informative genes from gene expression data
Authors: Chun Tang, Aidong Zhang, Jian Pei
Venue: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining (2003)

Mining microarray gene expression data is an important research topic in bioinformatics with broad applications. While most of the previous studies focus on clustering either genes or samples, it is interesting to ask whether we can partition the complete set of samples into exclusive groups (called phenotypes) and find a set of informative genes that can manifest the phenotype structure. In this paper, we propose a new problem of simultaneously mining phenotypes and informative genes from gene expression data. Some statistics-based metrics are proposed to measure the quality of the mining results. Two interesting algorithms are developed: the heuristic search and the mutual reinforcing adjustment method. We present an extensive performance study on both real-world data sets and synthetic data sets. The mining results from the two proposed methods are clearly better than those from the previous methods. They are ready for the real-world applications. Between the two methods, the mutual reinforcing adjustment method is in general more scalable, more effective and with better quality of the mining results.
Defect-deformational self-organization and nanostructuring of solid surfaces
Authors: V. I. Emel'yanov
Venue: Microelectronic Engineering (2003)

Two-dimensional Fourier transformation of AFM, SEM and TEM images of the surface of solids macro- and nanostructured by three different techniques (laser-controlled atomic beam deposition on a glass substrate, electrochemical etching of semiconductors and UV pulsed laser recrystallization of thin amorphous semiconductor films on a glass substrate) reveals the presence of a similar, hidden, long-range, quasi-hexagonal order in the spatial distribution of surface inhomogeneities (nanoparticles, pores and crystalline grains). The occurrence of the long-range quasi-hexagonal order and other experimental data are described on the basis of a general Defect-Deformational (DD) theory of the spontaneous formation of surface periodic DD macro and nanostructures.
The impact of e-business on the competitive landscape: case of automotive industry in Asia
Authors: Amir Albadvi
Venue: Managing globally with information technology (2003)

This chapter focuses on the power and challenges of e-business in enhancing the competitive advantage in developing countries' industries and reports of some survey results in the Asian auto-industry. The study confirms that as many web-based businesses are learning that the real value of e-business comes not in the form of sales, but in removing inefficiencies in traditional business models. The study shows that currently, most auto manufacturers in Asia use e-business only for internal administration; despite all the talk of e-business, the development in Asia is slow. The current infrastructure in the industry is largely internally focused, incongruent with the customer-orientation of e-business. Furthermore, the author concluded that due to the uncertain nature of e-business, few companies understand how to integrate e-business into their corporate strategy in Asian developing countries. Companies need a clearly planned vision, starting with basic solutions. From there, the strategy will evolve to solutions in wider marketplaces.
Constructive solution of strongly coupled continuous hyperbolic mixed problems
Authors: L. Jódar, E. Navarro, A. E. Posso, M. C. Casabán
Venue: Applied Numerical Mathematics (2003)

This paper deals with the construction of exact series solutions of mixed problems for strongly coupled hyperbolic partial differential systems using a matrix separation of variables method. Algebraic methods are used to study the underlying Sturm-Liouville type vector problem with matrix coefficients appearing in the boundary value conditions.
Does citation reflect social structure?: longitudinal evidence from the "Globenet" interdisciplinary research group
Authors: Howard D. White, Barry Wellman, Nancy Nazer
Venue: Journal of the American Society for Information Science and Technology (2004)

Many authors have posited a social component in citation, the consensus being that the citers and citees often have interpersonal as well as intellectual ties. Evidence for this belief has been rather meager, however, in part because social networks researchers have lacked bibliometric data (e.g., pairwise citation counts from online databases), and citation analysts have lacked sociometric data (e.g., pairwise measures of acquaintanceship). In 1997 Nazer extensively measured personal relationships and communication behaviors in what we call "Globenet," an international group of 16 researchers from seven disciplines that was established in 1993 to study human development. Since Globenet's membership is known, it was possible during 2002 to obtain citation records for all members in databases of the Institute for Scientific Information. This permitted examination of how members cited each other (intercited) in journal articles over the past three decades and in a 1999 book to which they all contributed. It was also possible to explore links between the intercitation data and the social and communication data. Using network-analytic techniques, we look at the growth of intercitation over time, the extent to which it follows disciplinary or inter-disciplinary lines, whether it covaries with degrees of acquaintanceship, whether it reflects Globenet's organizational structure, whether it is associated with particular in-group communication patterns, and whether it is related to the cocitation of Globenet members. Results show cocitation to be a powerful predictor of intercitation in the journal articles, while being an editor or co-author is an important predictor in the book. Intellectualties based on shared content did better as predictors than content-neutral socialties like friendship. However, interciters in Globenet communicated more than did noninterciters.
Ion synthesis and FMR studies of iron and cobalt nanoparticles in polyimides
Authors: B. Z. Rameev, F. Yildiz, B. Aktaş, C. Okay, R. I. Khaibullin, E. P. Zheglov, J. C. Pivin, L. R. Tagirov
Venue: Microelectronic Engineering (2003)

Polyimide foils were implanted with 40 keV Fe+ and Co- to doses of 0.25-1.5×1017 ions/cm2. Electron microscopy studies showed the formation of iron and cobalt nanoparticles in the implanted polymer layer with a thickness of about 70 nm. The size and shape of the ion-synthesized metal nanoparticles depend on the implantation parameters and subsequent thermal annealing. A ferromagnetic resonance (FMR) response was found in the iron-implanted samples as well as in the annealed cobalt and iron samples. The effective magnetization values of the metal/polymer composite layers were extracted from the FMR spectra and plotted as a function of implantation dose. The magnetic properties of the iron and cobalt nanoparticles in polyimide are compared and discussed.
A neural net based self organising scheduling algorithm
Authors: Ahmed Hemani, Adam Postula
Venue: Proceedings of the conference on European design automation (1990)

Scheduling is a crucial task in behavioural synthesis and a NP-hard optimisation problem. Neural net computation paradigms bring potential for efficient solutions to such problems. This paper presents a new scheduling algorithm based on Kohonen's rule for self organisation. The algorithm has an inherent hill climbing mechanism, copes with a comprehensive set of constraints and can be implemented on massively parallel structures. Its performance on well known benchmark examples, presented in the paper, is on par with the best reported.
Acoustic wave propagation in a 1-D lattice: analysis of nonlinear effects by the fractional Fourier transform method
Authors: Gilles Gonon, Olivier Richoux, Claude Depollier
Venue: Signal Processing (2003)

This article deals with a method based on the fractional Fourier transform (FRFT) to estimate the parameters of linear chirps. Appropriate filtering in fractional domains based on this method allows to extract linear chirps out of a multicomponent and noisy signal. This method is used to analyse the propagation of acoustic wave in a dispersive medium (lattice made up of Helmholtz resonators). The nonlinear effects due to the Helmholtz resonators are highlighted. The frequency dependance of the nonlinear processes is shown thanks to the extraction method proposed.
Semiretracts: a counterexample and some results
Authors: Wit Forys, Tomasz Krawczyk, James A. Anderson
Venue: Theoretical Computer Science (2003)

In the paper (Theoret. Comput. Sci. 237 (2000)) Anderson present a theorem which characterizes any semiretract S by means of two retracts Rα and RΩ. The first part of the paper contains a counterexample for this characterization. Then some results are presented which finally lead to the theorem which determines for a given semiretract S the minimal number of retracts R1,...,Rm such that the equality S = ∩i=1m Ri holds.
Polarization Behaviours at 2, 5 and 60 GHz for Indoor Mobile Communications
Authors: Xiongwen Zhao, Suiyan Geng, Lasse Vuokko, Jarmo Kivinen, Pertti Vainikainen
Venue: Wireless Personal Communications: An International Journal (2003)

The behaviours of linear polarizations at 2.15, 5.3 and 61.7 GHz in corridors are studied in this paper. It shows that there is no significant difference between the received powers for vertical and horizontal polarizations. Depolarization is obvious at 2.15 GHz due to different antenna type is applied at the receiver, and it is more serious in non-line-of-sight (NLOS) cases.