ppxscal/embedding_network huggingface dataset:
Patients Creating Self-Help on the Internet -- Lessons for Future Design of Internet Based Healthcare Resources
Authors: Ulrika Josefsson
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 7 - Volume 7 (2004)

This paper reports from an ongoing research work on patients' use of the Internet for medical information with special focus on how this can inform the design of future IT use in the healthcare -- patient relationship. The paper explores the process of initiating patientcommunities online as a way of coping and making sense of a difficult life situation when facing illness. The purpose of the paper is to analyze this process in order to increase our understanding of what triggers some individuals to put the technology to use in order to create online communities for patients. A better understanding of these processes is believed to beimportant both to increase our knowledge of the activities as an online phenomenon but also to inform the design of future information technology use. A descriptive qualitative design of the study was used and ten face-to-face, semi-structured interviews were conducted with purposefully selected patients who share the experience of initiating and managing online communities. In addition, online observations of 15 communities were performed mainly focusing their general structure and design. On a general level it is concluded that the initiation of patients' online community building is grounded in personal coping processes involving a complex mix of different coping strategies rather than as direct and purposeful action in order to fulfill group specific purposes. In addition it is suggested that the experiences and the knowledge developed by the patients during this process can be a valuable resource both in the design and in the maintenance of information technology support used in the healthcare -- patient relationship.
Implicit modeling of swept surfaces and volumes
Authors: William J. Schroeder, William E. Lorensen, Steve Linthicum
Venue: Proceedings of the conference on Visualization '94 (1994)

Swept surfaces and volumes are generated by moving a geometric model through space. Swept surfaces and volumes are important in many computer-aided design applications including geometric modeling, numerical cutter path generation, and spatial path planning. In this paper we describe a numerical algorithm to generate swept surfaces and volumes using implicit modeling techniques. The algorithm is applicable to any geometric representation for which a distance function can be computed. The algorithm also treats degenerate trajectories such as self-intersection and surface singularity. We show applications of this algorithm to maintainability design and robot path planning.
Limits of the "algebraic" specification of abstract data types
Venue: ACM SIGPLAN Notices (1977)

This paper deals with the feasibility of the algebraic specification technique for abstract data types, which consists of a declaration of the operations of a data type and a finite set of "axioms" for the operations. We discuss some inherent difficulties arising from this technique and present a simple example of an abstract type for which the method cannot be applied.
Software Clustering based on Information Loss Minimization
Authors: Periklis Andritsos, Vassilios Tzerpos
Venue: Proceedings of the 10th Working Conference on Reverse Engineering (2003)

The majority of the algorithms in the software clusteringliterature utilize structural information in order to decomposelarge software systems. Other approaches, such as usingfile names or ownership information, have also demonstratedmerit. However, there is no intuitive way to combine informationobtained from these two different types of techniques.In this paper, we present an approach that combines structuraland non-structural information in an integrated fashion.LIMBO is a scalable hierarchical clustering algorithm basedon the minimization of information loss when clustering asoftware system.We apply LIMBO to two large software systems in a numberof experiments. The results indicate that this approachproduces valid and useful clusterings of large software systems.LIMBO can also be used to evaluate the usefulnessof various types of non-structural information to the softwareclustering process.
Energy-aware Logic Synthesis and Technology Mapping for MUX-based FPGAs
Authors: Maitrali Marik, Ajit Pal
Venue: Proceedings of the 17th International Conference on VLSI Design (2004)

The paper is concerned with the widely addressed problemof logic synthesis and technology mapping for multiplexerbased (MUX-based) Field-Programmable Gate Arrays(FPGAs). A novel approach for the synthesis of logicfunctions in terms of multiplexer based FPGAs (ACTELlike) has been presented in this paper. The logic functionsare represented by decomposed Binary Decision Diagrams(BDDs). The approach comprises two basic steps - optimizing decomposed BDDs with the help of ratio-parameterbased heuristic and then technology mapping ofthe optimized BDDs onto FPGA cells. Techniques like nodeduplication and sharing have been applied to minimize thenumber of FPGA cells and delay during technologymapping. Cell configurations have been chosen such thatthe switched capacitance and hence the power dissipation isminimized. The result, in terms of area, represented by thenumber of FPGA cells is comparable, but the performancein terms of delay and energy (power-delay product) aresuperior to the existing reported results.
Defuzzification within a multicriteria decision model
Authors: Serafim Opricovic, Gwo-Hshiung Tzeng
Venue: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (2003)

In many cases, criterion values are crisp in nature, and their values are determined by economic instruments, mathematical models, and/or by engineering measurement. However, there are situations when the evaluation of alternatives must include the imprecision of established criteria, and the development of a fuzzy multicriteria decision model is necessary to deal with either "qualitative" (unquantifiable or linguistic) or incomplete information. The proposed fuzzy multicriteria decision model (FMCDM) consists of two phases: the CFCS phase - Converting the Fuzzy data into Crisp Scores, and the MCDM phase - MultiCriteria Decision Making. This model is applicable for defuzzification within the MCDM model with a mixed set of crisp and fuzzy criteria. A newly developed CFCS method is based on the procedure of determining the left and right scores by fuzzy min and fuzzy max, respectively, and the total score is determined as a weighted average according to the membership functions. The advantage of this defuzzification method is illustrated by some examples, comparing the results from three considered methods.
Improving spatial classification methods by using concomitant information
Authors: James Andrew Shine
Venue:  (2003)

This dissertation will investigate spatial statistics, in particular spatial covariance structure, and its applications and commonalities with computational statistics methods for image classification. Important facets of the research include handling massive amounts of data (high spatial resolution and multiple observation times), high dimensional data (high spectral resolution), and assessing accuracy of various classifiers. The particular data sets for evaluation were selected from multispectral 4-band imagery data. Spatial resolution for data sets is 1&ndash;4 meters per data observation (or pixel), and each data set contains millions of pixels. Spatial covariance information can assist in both data compression and in imagery classification.
The computer-aided engineer: Prospects and risks
Authors: James H. Garrett,  Jr.
Venue: Artificial Intelligence for Engineering Design, Analysis and Manufacturing (1998)

Within the last 20 years, much research and development has been conducted to deliver computer tools to assist engineers in performing their tasks. We are now experiencing the power of worldwide networked computing environments and the ability to easily share large quantities of information over geographically dispersed environments. However, are the computing environments available today supporting engineers in doing their job or defining how they must do their job? We need to develop systems that are more transparent and understandable to the users and that are more responsive to the individual needs and idiosyncrasies of the persons using these assistants.
Operation jump start: a CORDS integration prototype using DCE
Authors: Gopi K. Attaluri, Dexter Bradshaw, Patrick J. Finnigant, Nigel Hinds, Michael Kalantar, Kelly A. Lyons, Andrew D. Marshall, Jan K. Pachl, Hong Tran
Venue: Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2 (1993)

CORDS is an ongoing project whose goal is to create a prototype environment for developing and managing distributed applications. This paper describes the Jump Start Project, in which mechanisms were added to the existing midware layer of CORDS and OSF/DCE to assist in developing distributed applications, and the CORDS environment was used to develop distributed applications. The applications developed were an integrated office with a White Pages directory, a mail system, a personal calendar system, and a transaction-based automatic teller machine.
Optimal design of an aircraft engine mount via bit-masking oriented genetic algorithms
Authors: Luigi Iuspa, Francesco Scaramuzzino, Pietro Petrenga
Venue: Advances in Engineering Software (2003)

In this paper a geometric-topologic structural optimisation procedure for a transport aircraft engine mount is shown. In order to achieve the minimum structural weight under some functional and operative constraints, both static and dynamic aspects have been treated. A parametric FEM model with extended self-consistent controls on topology has been developed. The genetic algorithm used for the optimisation procedure was based on a specific bit-masking oriented data structure able to handle properly both continuous and discrete design variables requested by the hybrid geometric-topological model of the structure.
Design and Implementation of 935 MHz FM Transceiver for Radio Telemetry and 2.45 GHz Direct AQPSK Transmitter in CMOS
Authors: Amlan Ghosh, Bevin G. Perumana, Ashudeb Dutta, Padmanava Sen, Yogesh Kumar, Vipul Garg, T. K. Bhattacharyya, Nirmal B. Chakrabarti
Venue: Proceedings of the 17th International Conference on VLSI Design (2004)

This paper presents the design of a single-chip FMtransceiver at 935 MHz and a AQPSK transceiver at 2.45GHz. The fully integrated FM transceiver design instandard 0.18 µm CMOS process incorporates atransmit/receive switch, a single-ended input differentialoutput low noise amplifier, differential input single-endedoutput power amplifier, an LC tuned quadrature voltagecontrolled oscillator, mixer, IF amplifier, a gm-C basedoscillator and a chopper stabilized amplifier used forwireless sensor applications. The power output is about50mW.The AQPSK transceiver design in standard0.25 µm CMOS process incorporates a baseband inputprocessor, a low frequency quadrature modulator, aquadrature RF VCO, an upconverter and a linear poweramplifier.
Information resources development in China: history, present situation and problem discussion
Authors: Lai Maosheng, Fu Xin, Zhang Liyang
Venue: Managing IT in government business & communities (2003)

This chapter introduces the history and current situation of information resources development in China, with emphasis on the introduction of various initiatives underway and the initial impact of some information resources development policies of the Chinese government. It also analyzes problems in China's information resources development and raises possible solutions.
Information Flows in E-Government
Authors: Tsau Young (T. Y.) Lin
Venue: Proceedings of the 27th Annual International Conference on Computer Software and Applications (2003)

Classical MAC and DAC are re-examined in the light ofE-Government. In this paper, we focus on the informationflows, which have been addressed by classical MAC, inmy view, somewhat inadequately, and never beenaddressed by Classical DAC.
MDA-based Development of E-Learning System
Authors: Hong Wang, Dong Zhang
Venue: Proceedings of the 27th Annual International Conference on Computer Software and Applications (2003)

Model-Driven Architecture (MDA) focuses on theevolution and integration of applications acrossheterogeneous middleware platforms. It provides asystematic framework using engineering methods andtools to understand, design, operate, and evolve enterprisesystems .MDA promotes modeling different aspects ofsoftware systems at levels of abstraction, and exploitinginterrelationships between these models.In this paper, we propose a model-driven approach toE-Learning system development based on core ObjectManagement Group (OMG) MDA standards,. In order tomake maximum use of Domain facilities provided by MDA,our E-learning system is modeled in the form of anormative Platform Independent Model (PIM) expressedby UML, and augmented by a normative Platform SpecificModel (PSM) expressed by UML profile for EJB interfacedefinitions.
A hierarchical approach to program testing
Authors: Janusz W. Laski
Venue: ACM SIGPLAN Notices (1980)

A real-environment interactive testing procedure is presented which is based upon a hierarchical decomposition of a program into levels of abstraction. Such a decomposition is defined in terms of a program model which involves both control and data flow. The testing strategy adopted is supposed to follow a typical progress of a programmer who carries out a series of experiments with his program. Several semantical and structural issues involved are discussed.
Case study: observing a volume rendered fetus within a pregnant patient
Authors: Andrei State, David T. Chen, Chris Tector, Andrew Brandt, Hong Chen, Ryutarou Ohbuchi, Mike Bajura, Henry Fuchs
Venue: Proceedings of the conference on Visualization '94 (1994)

Augmented reality systems with see-through head-mounted displays have been used primarily for applications that are possible with today's computational capabilities. We explore possibilities for a particular application---in-place, real-time 3D ultrasound visualization---without concern for such limitations. The question is not "How well could we currently visualize the fetus in real time," but "How well could we see the fetus if we had sufficient compute power?"Our video sequence shows a 3D fetus within a pregnant woman's abdomen---the way this would look to a HMD user. Technical problems in making the sequence are discussed. This experience exposed limitations of current augmented reality systems; it may help define the capabilities of future systems needed for applications as demanding as real-time medical visualization.
Control categories and duality: on the categorical semantics of the lambda-mu calculus
Authors: Peter Selinger
Venue: Mathematical Structures in Computer Science (2001)

We give a categorical semantics to the call-by-name and call-by-value versions of Parigot's &lambda;&mu;-calculus with disjunction types. We introduce the class of control categories, which combine a cartesian-closed structure with a premonoidal structure in the sense of Power and Robinson. We prove, via a categorical structure theorem, that the categorical semantics is equivalent to a CPS semantics in the style of Hofmann and Streicher. We show that the call-by-name &lambda;&mu;-calculus forms an internal language for control categories, and that the call-by-value &lambda;&mu;-calculus forms an internal language for the dual co-control categories. As a corollary, we obtain a syntactic duality result: there exist syntactic translations between call-by-name and call-by-value that are mutually inverse and preserve the operational semantics. This answers a question of Streicher and Reus.
Hierarchical Automatic Behavioral Model Generation of Nonlinear Analog Circuits Based on Nonlinear Symbolic Techniques
Authors: Lutz Näthke, Volodymyr Burkhay, Lars Hedrich, Erich Barke
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

We present an extended method of automatic behavioral model generation for nonlinear analog circuits. The focus is on a decrease of simulation time. A procedural model formulation approach is introduced, together with a new simpli.cation method based on the recognition of physical transistor properties of the element models. The simplification process is performed with respect to simulation time, and a hierarchical modeling approach is proposed. The result of these extensions are models with an obvious speed-up in simulation time compared to the simulation of the original netlists.
Adaptive Behavior of Impatient Customers in Tele-Queues: Theory and Empirical Support
Authors: Ety Zohar, Avishai Mandelbaum, Nahum Shimkin
Venue: Management Science (2002)

We address the modeling and analysis of abandonments from a queue that is invisible to its occupants. Such queues arise in remote service systems, notably the Internet and telephone call centers; hence, we refer to them astele-queues. A basic premise of this paper is that customers adapt their patience (modeled by an abandonment-time distribution) to their service expectations, in particular to their anticipated waiting time. We present empirical support for that hypothesis, and propose anM/M/m-based model that incorporates adaptive customer behavior. In our model, customer patience depends on themean waiting time in the queue. We characterize the resulting system equilibrium (namely, the operating point in steady state), and establish its existence and uniqueness when changes in customer patience are bounded by the corresponding changes in their anticipated waiting time. The feasibility of multiple system equilibria is illustrated when this condition is violated. Finally, a dynamic learning model is proposed where customer expectations regarding their waiting time are formed through accumulated experience. We demonstrate, via simulation, convergence to the theoretically anticipated equilibrium, while addressing certain issues related to censored-sampling that arise because of abandonments.
Red-black trees in a functional setting
Authors: Chris Okasaki
Venue: Journal of Functional Programming (1999)

Everybody learns about balanced binary search trees in their introductory computer science classes, but even the stouthearted tremble at the thought of actually implementing such a beast. The details surrounding rebalancing are usually just too messy. To show that this need not be the case, we present an algorithm for insertion into red-black trees (Guibas and Sedgewick, 1978) that any competent programmer should be able to implement in fifteen minutes or less.
Conservative Front Tracking with Improved Accuracy
Authors: James Glimm, Xiaolin Li, Yingjie Liu, Zhiliang Xu, Ning Zhao
Venue: SIAM Journal on Numerical Analysis (2003)

We propose a fully conservative front tracking algorithm for systems of nonlinear conservation laws. The algorithm improves by one order in its convergence rate over most finite difference schemes. Near tracked discontinuities in the solution, the proposed algorithm has ${\mathcal O}(\Delta x)$ errors, improving over ${\mathcal O}(1)$ errors commonly found near a discontinuity. Numerical experiments which confirm these assertions are presented.
Fragments of order
Authors: Aristides Gionis, Teija Kujala, Heikki Mannila
Venue: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining (2003)

High-dimensional collections of 0--1 data occur in many applications. The attributes in such data sets are typically considered to be unordered. However, in many cases there is a natural total or partial order &pr; underlying the variables of the data set. Examples of variables for which such orders exist include terms in documents, courses in enrollment data, and paleontological sites in fossil data collections. The observations in such applications are flat, unordered sets; however, the data sets respect the underlying ordering of the variables. By this we mean that if A &pr; B &pr; C are three variables respecting the underlying ordering &pr;, and both of variables A and C appear in an observation, then, up to noise levels, variable B also appears in this observation. Similarly, if A1 &pr; A2 &pr; &hellip; &pr; Al-1 &pr; Ai is a longer sequence of variables, we do not expect to see many observations for which there are indices i < j < k such that Ai and Ak occur in the observation but Aj does not.In this paper we study the problem of discovering fragments of orders of variables implicit in collections of unordered observations. We define measures that capture how well a given order agrees with the observed data. We describe a simple and efficient algorithm for finding all the fragments that satisfy certain conditions. We also discuss the sometimes necessary postprocessing for selecting only the best fragments of order. Also, we relate our method with a sequencing approach that uses a spectral algorithm, and with the consecutive ones problem. We present experimental results on some real data sets (author lists of database papers, exam results data, and paleontological data).
Architecture and implementation of multimodal plug and play
Authors: Christian Elting, Stefan Rapp, Gregor Möhler, Michael Strube
Venue: Proceedings of the 5th international conference on Multimodal interfaces (2003)

This paper describes the handling of multimodality in the Embassi system. Here, multimodality is treated in two modules. Firstly, a modality fusion component merges speech, video traced pointing gestures, and input from a graphical user interface. Secondly, a presentation planning component decides upon the modality to be used for the output, i.e., speech, an animated life-like character (ALC) and/or the graphical user interface, and ensures that the presentation is coherent and cohesive. We describe how these two components work and emphasize one particular feature of our system architecture: All modality analysis components generate output in a common semantic description format and all render components process input in a common output language. This makes it particularly easy to add or remove modality analyzers or renderer components, even dynamically while the system is running. This plug and play of modalities can be used to adjust the system's capabilities to different demands of users and their situative context. In this paper we give details about the implementations of the models, protocols and modules that are necessary to realize those features.
CACTUS: a symbolic CMOS two-dimensional compactor
Authors: Tomás Pérez-segovia, Anne-Françoise Joanblanq
Venue: Proceedings of the conference on European design automation (1990)

This paper describes CACTUS, a two dimensional symbolic compactor that can handle stacking rules, transistors with any shape, long contact plus body-ties. Other features are (i) wire-length minimization, (ii) overconstraints relaxation, (iii) user-defined constraints, (iv) four different types of envelop positioning. CACTUS is internally based on an enhanced virtual grid structure and constraint graphs.
Homological methods in algebraic map theory
Authors: David B. Surowski, W. Christopher Schroeder
Venue: European Journal of Combinatorics (2003)

The primary intent of the present paper is to adapt familiar notions of algebraic topology, such as the fundamental group, homology, and cohomology to the context of algebraic maps and their (ramified) covering projections. The notion of a principal derived map is already fairly well understood in terms of the defining voltages; however, once it is recognized that voltages are essentially cohomological in nature, the functorial interplay among homology provides a very tractible methodology for studying such properties as connectivity or regularity of the covering, or for obtaining explicit constructions of the voltages affording the given covering map.