ppxscal/embedding_network huggingface dataset:
Evaluating Visual Analytics at the 2007 VAST Symposium Contest
Authors: Catherine Plaisant, Georges Grinstein, Jean Scholtz, Mark Whiting, Theresa O'Connell, Sharon Laskowski, Lynn Chien, Annie Tat, William Wright, Carsten Görg, Zhicheng Liu, Neel Parekh, Kanupriya Singhal, John Stasko
Venue: IEEE Computer Graphics and Applications (2008)

The second Visual Analytics Science and Technology (VAST) contest's data consisted of a heterogeneous synthetic collection of news articles with additional supporting files. It also contained a scenario with embedded threats that provided ground truth. Using visual analytic tools, participants sought evidence of illegal and terrorist activities. The authors report the results and lessons learned.
Competitions and dynamics of duopoly wireless service providers in dynamic spectrum market
Authors: Juncheng Jia, Qian Zhang
Venue: Proceedings of the 9th ACM international symposium on Mobile ad hoc networking and computing (2008)

Dynamic spectrum access can significantly improve the spectrum utilization. For wireless service providers, the emergence of dynamic spectrum access brings new opportunities and challenges. The flexible spectrum acquisition gives a particular provider the chance to easily adapt its system capacity to fit end users' demand. However, the competition among several providers for both spectrum and end users complicates the situation. In this paper, we propose a general three-layer spectrum market model for the future dynamic spectrum access system, in which the interaction among spectrum holder, wireless service providers and end users are considered. We study a duopoly situation, where two wireless service providers participate in bandwidth competition in spectrum purchasing and price competition to attract end users, with the aim of maximizing their own profit. We believe we are the first one to explicitly study the relation of these two competitions in dynamic spectrum market. We formulate the wireless service providers' competition as a non-cooperative two-stage game. We first analyze the static game when full information is available for providers. Under general assumptions about the price and demand functions, a unique pure Nash equilibrium is identified as the outcome of the game, which shows the stability of the market. We further evaluate the market efficiency of the equilibrium in a symmetric case, and show that the gap with the social optimal is bounded within a small constant ratio. When the market information is limited, we provide myopically optimal adjustment algorithms for the providers. With such strategies, short term price updating converges to the Nash equilibrium of the given subgame, while long term bandwidth updating converges to a point close to the Nash equilibrium of the full game.
A Particle Modeling for Rendering Irregular Volumes
Authors: Koji Koyamada, Naohisa Sakamoto, Satoshi Tanaka
Venue: Proceedings of the Tenth International Conference on Computer Modeling and Simulation (2008)

In this paper, we describe a particle modeling technique for rendering irregular volume datasets. It is well known that the memory bandwidth consumed by visibility sorting becomes the limiting factor when carrying out volume rendering of large irregular volume datasets. Previously we proposed a volume rendering without the visibility-sort, which represents a given irregular volume dataset as a set of opaque and emissive particles and projects particle into sub-pixels. In our original technique, the resulting image cannot be comparable to the volume ray-casting image with an adequate sub-pixel size since the size of a particle was not explicitly specified. To solve these problems, we introduce a particle size which is identical to the sub-pixel size to estimate the accurate particle density. To confirm its effectiveness, we applied our proposed technique to large irregular volume datasets, and made clear that the image quality is improved with the decrease of the particle size, theoretically and experimentally.
Comments on magnetohydrodynamic unsteady flow of a non-Newtonian fluid through a porous medium
Authors: Mostafa A. A. Mahmoud
Venue: Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science (2005)

The governing equations describing the unsteady boundary layer flow of a power-law non-Newtonian conducting fluid through a porous medium past an infinite porous flat plate are transformed to a third order non linear ordinary differential equation. An additional boundary condition is written as f(O) = O by (Gamal M. Abdel- Rahman [1] (IASME transa-ctions 1(3), July 2004)). This boundary condition has not any physical meaning and is not matching to the mathematical analysis described. In this article, the second order non-linear ordinary differential equation with the appropriate boundary condition is solved analytically using the method of successive approximations and numerically using the shooting method.
Parametric tail copula estimation and model testing
Authors: Laurens de Haan, Cláudia Neves, Liang Peng
Venue: Journal of Multivariate Analysis (2008)

Parametric models for tail copulas are being used for modeling tail dependence and maximum likelihood estimation is employed to estimate unknown parameters. However, two important questions seem unanswered in the literature: (1) What is the asymptotic distribution of the MLE and (2) how does one test the parametric model? In this paper, we answer these two questions in the case of a single parameter for ease of illustration. A simulation study is provided to investigate the finite sample performance of the proposed estimator and test.
Multispectral Imaging System Applied to Element Testing of Biology
Authors: Zhao Jing, Pang Qichang, Ma Ji, Zheng Xiwen, Meng Qingxia
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

In order to test the content and distribution of elements, a multispectral imaging system is presented in the paper. The liquid crystal tunable filters (LCTFs) are placed into an ordinary optical imaging system as the spectrum-dividing component. The spectrum resolution of the system is up to 0.5nm, and the spatial resolution depends on the LCTFs, CCD camera and the lenses. The software was also designed to control the data capturing, data processing and data showing. The transmission rate and linear working range of the device were measured for getting the character spectrum of the sample. To research the spectrum stability of the device, the spectrum of standard lamps were tested. A piece of coptis which is a kind of traditional Chinese medicine was tested as an experiment. The results show that both the content and the distribution of the main element of the coptis can be got in-vivo. The device is useful in many fields such as biology, life sciences, etc.
Just Genes: The Ethics of Genetic Technologies, 1 edition
Authors: Carol Isaacson Barash
Venue:  (2007)

Advances in genetics research, largely, though not entirely, spawned by the Human Genome Project, have led to a broad array of new technologies that promise to revolutionize life as we have known it. Medicine and agriculture are already starting to utilize new technologies to greatly improve disease prevention and treatment and food production. Yet, these "improvements" often raise ethical questions that are not easy to untangle. Some have gone as far to as to argue that certain applications, such as embryonic stem cell research, threaten the very fiber of our moral compass. While the application of scientific advances to better mankind has always raised thorny ethical issues, the ethical impact of genetic advances arguably reaches a new height because the applicability of advances is exceptionally broad, deep, and potentially irreversible. To utilize such technologies could mean saving thousands of lives, but where and how do we draw the line? Here, Barash sheds light on the actual ethical concerns surrounding various types of genetic technologies, introducing readers to the competing issues at stake in the arguments about the scientific application of the new technologies available and those on the horizon. She begins by illustrating the history of genetic advances, their societal applications, and the ethical issues that have arisen from those applications. Using case studies and examples throughout, she walks readers through the various considerations involved in a variety of areas related to the application of genetic technologies currently available and possible in the future. Covering topics ranging from stem cell research to genetically modified food, genetic mapping to cloning, this book offers a thoughtful approach to the complex issues at play in the various fields of genetic technologies.
[mc]square: A Model Checker for Microcontroller Code
Authors: Bastian Schlich, Stefan Kowalewski
Venue: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (2006)

The paper presents details of a model checker for microcontroller-based embedded systems, called [mc]square. The purpose of the tool is to make model checking technology applicable in an embedded systems industry context. Consequently, it does not implement new theory but combines existing techniques to achieve the necessary efficiency and usability in a novel application area. One of the pragmatic requirements has been that model checking must be possible without any kind of manual preprocessing of the code. In its core, [mc]square is an explicit state, CTL model checker which builds the state space from the hardware-specific assembly code. The paper describes the tool features in detail and illustrates its abilities using two realistic examples.
Toward a Perceptual Theory of Flow Visualization
Authors: Colin Ware
Venue: IEEE Computer Graphics and Applications (2008)

Perceptual theory has much to tell us about effective flow visualization. Since visualization is a practical tool, a meaningful theory must be constructive–not just descriptive–leading to better data representations. The author contend that such a useful body of theory exists and though it might be incomplete it still can be useful. Major gaps in the theory provide promising avenues for future research in a multidisciplinary program that can benefit both the human perception field and the applied science of data visualization.
Kinetic typography for ambient displays
Authors: Mitsuru Minakuchi, Yutaka Kidawara
Venue: Proceedings of the 2nd international conference on Ubiquitous information management and communication (2008)

We propose the use of kinetic typography for displaying text information on ambient displays. We conducted a preliminary experiment on the readability of kinetic typography in a dual-task situation. The results showed that kinetic typography might be less readable but was effective for catching the user's attention and gave an aesthetically pleasing impression. We implemented our AmbientMailer system that notifies the user of e-mail messages in ubiquitous environments using the characteristics of kinetic typography.
Execution Time Analysis of a Parallel Steiner Tree Algorithm on Server-Client Model of Computation
Authors: Rashid Bin Muhammad
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

This paper presents the computational analysis and simulation of the parallel Steiner tree problem on the client-sever model of computation. In particular, this work analyzes the time delays among server and clients, presents an algorithm for an event-driven simulation of Steiner tree problem on server-client model, and examines some consequences of time delays on the execution time. In addition, the paper calculates the expression for the optimal number of client processors required by the parallel algorithm for optimal efficiency. The compact mathematical expressions can be use confidently to simulate or implement parallel Steiner tree on the server-client model of computation.
E-beam lithography of catalyst patterns for carbon nanotube growth on insulating substrates
Authors: M. Häffner, A. Haug, R. T. Weitz, M. Fleischer, M. Burghard, H. Peisert, T. Chassé, D. P. Kern
Venue: Microelectronic Engineering (2008)

We present a process for fabricating small catalyst particles for carbon nanotube growth on insulating substrates. For this purpose we define hydrogen silsesquioxane (HSQ) resist structures on top of conducting and grounded metallic catalyst layers and a sacrificial chromium layer, using e-beam lithography. The developed resist structures act as an etch mask in the subsequent ion milling step, by which the surrounding metal layers are removed. Having wet etched the Cr mask and HSQ resist, metal structures remain which serve as catalyst in a chemical vapour deposition (CVD) process resulting in single wall carbon nanotubes with a diameter range of 0.8-2.0nm on insulating substrates.
Signal Analysis of Pathogens' Genomic Sequences
Authors: Paul Dan Cristea, Rodica Tuduce, Jan Cornelis
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

The conversion of symbolic nucleotide sequences into digital signals allows applying signal processing methods to the analysis of genomic data. The method reveals regularities in the distribution of nucleotides and pairs of nucleotides along the genomic sequences, that would be difficult to detect in symbolic form. The structural restrictions of genomic sequences are reflected in mathematical regularities easily noticeable in the corresponding genomic signals. This approach is also adequate for analyzing the variability of pathogens' genomes, of individual genes, or of certain critical areas, to track the development of drug resistance. The paper presents results in the study of Mycobacterium tuberculosis (MT), with applications in faster diagnosis and in the elaboration of efficient treatment strategies.
Hardware Technologies for High-Performance Data-Intensive Computing
Authors: Maya Gokhale, Jonathan Cohen, Andy Yoo, W. Marcus Miller, Arpith Jacob, Craig Ulmer, Roger Pearce
Venue: Computer (2008)

Data-intensive problems challenge conventional computing architectures with demanding CPU, memory, and I/O requirements. Experiments with three benchmarks suggest that emerging hardware technologies can significantly boost performance of a wide range of applications by increasing compute cycles and bandwidth and reducing latency.
VieDAME - flexible and robust BPEL processes through monitoring and adaptation
Authors: Oliver Moser, Florian Rosenberg, Schahram Dustdar
Venue: Companion of the 30th international conference on Software engineering (2008)

VieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and performs dynamic service adaptation based on various available service selection strategies, such as availability or response time. The service adaptation happens transparently at runtime by dynamically selecting an alternative service for an existing service used in the process, without any changes to the deployed BPEL process. To gain even more flexibility, the tool provides transformation components to compensate service interface mismatches, which are likely to occur when using alternative services offered by different providers.
Artificial Intelligence and Data Mining Techniques in Medicine - Success Stories
Authors: Fariba Shadabi, Dharmendra Sharma
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Artificially Intelligent (AI) powered tools are able to deal with uncertain and incomplete data sets. Neural network classifiers have been successfully used for prediction purposes in many complex situations. Research shows that AI-based data mining tools have been also successfully used in many medical environments. This paper advances the understanding of the application of Artificial Intelligence and Data Mining tools to clinical data by demonstrating the potential of these techniques in complex clinical situations.
Xtags Maximized, 1st edition
Authors: Darryl J. Keck
Venue:  (2007)

Xtags Maximized is the first book on Xtags, which is widely known as the tagging tool of choice for QuarkXPress users. This book explores Xtags showing step-by-step examples on writing code for floating and anchored art, creating simple and complicated boxes, using relative placement, creating translation tables, overriding paragraph settings, working with databases in combination with Xtags, and so much more. The detailed examples will teach you to automate things you never thought were possible. Written by an automation/pagination specialist who has been involved in the production of over 500 college text books. This book will help you gain higher profitability through new techniques that will automate your workflow. The book has screen shots and images to offer a visual reference to guide you through the learning process. Covers versions from Xtags 4.2 through Xtags 7+.
I Wandered Lonely as a Cloud
Authors: Francis Sullivan
Venue: Computing in Science and Engineering (2008)

Columnist Francis Sullivan ponders the mysteries of Gmail, and talks about the trade-offs between what it promises and the costs of those promises.
Active shape models to automatic morphing of face images
Authors: Vittorio Zanella, Héctor Vargas
Venue: Proceedings of the 4th WSEAS International Conference on Signal Processing, Computational Geometry & Artificial Vision (2004)

Image metamorphosis, commonly known as morphing, is a powerful tool for visual effects that consists of the fluid transformation of one digital image into another. There are many techniques for image metamorphosis, but in all of them there is a need for a person to supply the correspondence between the features in the source image and target image. In this paper we use the Active Shape Models to find the features in both face images and perform the metamorphosis of face images in frontal view automatically.
Improvement of User Authentication Using Schema of Visual Memory: Exploitation of "Schema of Story"
Authors: Takumi Yamamoto, Atsushi Harada, Takeo Isarida, Masakatsu Nishigaki
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

A user authentication system using "unclear images" as pass-images is proposed, in which only legitimate users can understand their meaning by viewing the original images corresponding to the unclear pass-images. These unclear images are meaningless to unauthorized users. Hence, it is difficult for attackers to memorize these unclear pass-images, even though they may have observed legitimate users' authentication trials. However, as long as the same pass-images are always used, it would not be completely impossible for unauthorized users to memorize unclear-images. Therefore, this paper discusses enhancement to the authentication system by permitting users to memorize a number of pass-images and using a different subset of pass-images at all authentication trials. To mitigate the burden imposed by memorizing pass-images in the enhanced system, we modified it by extracting a certain number of images from a video sequence. The pass-images were obtained by making the extracted images unclear. As only legitimate users were allowed to view the video sequence in their registration phase, only they could understand what the unclear pass-images meant. Thus, the unclear pass-images become easy for legitimate users to memorize. We verified the effectiveness of the enhanced system through comparative experiments.
An evaluation of stylus-based text entry methods on handheld devices in stationary and mobile settings
Authors: Koji Yatani, Khai N. Truong
Venue: Proceedings of the 9th international conference on Human computer interaction with mobile devices and services (2007)

Effective text entry on handheld devices remains a significant problem in the field of mobile computing. On a personal digital assistant (PDA), text entry methods traditionally support input through the motion of a stylus held in the user's dominant hand. In this paper, we present the design of a two-handed software keyboard for a PDA which specifically takes advantage of the thumb in the non-dominant hand. We compare our chorded keyboard design to other stylus-based text entry methods in an evaluation that studies user input in both stationary and mobile settings. Our study shows that users type fastest using the miniqwerty keyboard, and most accurately using our two-handed keyboard. We also discovered a difference in input performance with the mini-qwerty keyboard between stationary and mobile settings. As a user walks, text input speed decreases while error rates and mental workload increases; however, these metrics remain relatively stable in our two-handed technique despite user mobility.
'First do no harm': Factors influencing teachers' ability and willingness to use ICT in their subject teaching
Authors: Terry Haydn, Roy Barton
Venue: Computers Education (2008)

The paper reports on a Department of Culture, Museums and Sport (DCMS) funded project which provided modest amounts of time for teachers to be freed from their classroom teaching to explore the use of information and communications technology (ICT) in their subject teaching, and to meet up together to discuss their use of new technology. The funding was sufficient to provide a day of supply cover for two groups of secondary teachers in different curriculum subjects (history and science) to meet towards the start of the academic year to discuss their use of ICT, a day of supply cover to work on their ideas and interests, and a day to meet together again towards the end of the year to share ideas and experiences. The rationale behind the project was to allow teachers the freedom to explore their own areas of interest in the area of ICT and to avoid a prescriptive or 'coverage' based approach. There was a conscious attempt to avoid target setting and audits and teachers were encouraged to come to the end of year meeting even if they had nothing 'to put on the table'. The concluding section of the paper describes the outcomes of the project. The main issue to emerge was the highly positive reaction of the teachers involved. Whilst for some there were significant ICT outputs, all those involved found the process useful and enjoyable, especially the collaborative sharing process in the final session. This was in marked contrast to other ICT training experiences which many of the teachers had been involved with.
Making Multi-Dimensional Trust Decisions on Inter-Enterprise Collaborations
Authors: Sini Ruohomaa, Lea Kutvonen
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability challenges involved in connecting different information and communication systems. Trust or lack thereof forms a pragmatic challenge: partners must continuously evaluate whether they trust each other enough to collaborate in the face of risk. Supporting technology is needed for making trust-based decisions on routine business transactions and observing the business peers for malicious or incorrect behaviour on interactions. We present a trust model for automating routine decision-making which considers both risk probabilities and tolerance valuations in the enterprise, and is dynamically updated based on new experience gathered both locally and from third parties.
On stability of discrete Volterra equations with pattern method
Authors: V. R. Nosov, E. Castellanos-Velasco
Venue: Proceedings of the 10th WSEAS International Conference on APPLIED MATHEMATICS (2006)

The pattern equation method is used for studying the stability of some discrete Volterra equations. We consider the existence of bounded pattern functions with some asymptotic properties. We illustrate these properties with some examples.