ppxscal/embedding_network huggingface dataset:
Automated Nanomanufacturing System to Assemble Carbon Nanotube Based Devices
Authors: King Wai Chui Lai, Ning Xi, Carmen Kar Man Fung, Jiangbo Zhang, Hongzhi Chen, Yilun Luo, Uchechukwu C. Wejinya
Venue: International Journal of Robotics Research (2009)

In this paper we report the design and implementation of a novel automated manufacturing system for carbon nanotube (CNT)-based nanodevices, which integrates a new dielectrophoretic (DEP) microchamber into a robotic-based deposition workstation. The microchamber has been fabricated to separate and select CNTs with the desired electronic property by using DEP force. Moreover, a series of tools for mass-producing consistent nanodevices has been developed with the CNT deposition workstation, such as computer-controllable micromanipulators and a micro-active nozzle. Detailed experimental studies of the CNT separation and deposition processes have been performed on both single-walled carbon nanotubes (SWCNTs) and multi-walled carbon nanotubes (MWCNTs). Preliminary results show that CNTs could be manipulated to multiple pairs of microelectrodes repeatedly. Consistent I-V characteristics and CNT formations of the fabricated devices were obtained. The yield of semi-conducting CNTs was also increased by using our system. Therefore, by using the proposed CNT separation and deposition system, CNT-based nanodevices with specific and consistent electronic properties can be manufactured automatically and effectively.
Towards an Adoption Model of Grid Information Technology in the Organisational Arena
Authors: J. Maqueira, S. Bruque
Venue: Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (2006)

Grid technologies are becoming of increasing interest in science and technology around the world. But little work has analysed these technologies in the organisational arena. The current work centres on this area of knowledge, and is justified by the expectation that the emergence of these technologies has generated in the business world. We analyse the determinant factors of the adoption of these technologies by organisations, and propose an adoption model that integrates contributions from two of the most relevant models used in studies of IT adoption: (1) Premkumar's contingent model; and (2) Davis's Technology Acceptance Model (TAM)..
LWOAD: A Specification Language to Enable the End-User Develoment of Coordinative Functionalities
Authors: Federico Cabitza, Carla Simone
Venue: Proceedings of the 2nd International Symposium on End-User Development (2009)

In this paper, we present an observational case study at a major teaching hospital, which both inspired and gave us valuable feedback on the design and development of LWOAD. LWOAD is a denotational language we propose to support users of an electronic document system in declaratively expressing, specifying and implementing computational mechanisms that fulfill coordinative requirements. Our focus addresses (a) the user-friendly and formal expression of local coordinative practices; (b) the agile mocking-up of corresponding functionalities; (c) the full deployment of coordination-oriented and context-aware behaviors into legacy electronic document systems. We give examples of LWOAD mechanisms taken from the case study and discuss their impact for the EUD of coordinative functionalities.
MYGEN: automata-based on-line test generator for assertion-based verification
Authors: Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boulé, Zeljko Zilic
Venue: Proceedings of the 19th ACM Great Lakes symposium on VLSI (2009)

To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monitors and generators, we have extended the monitor generator tool MYGEN to produce synthesizable on-line generators. We have tested the resulting generators in simulation and by emulation on an FPGA. The combination of multiple generators provides an efficient way to model the environment of modules within a DUT, facilitating an equivalent of software "unit testing" under real conditions, early in the design flow.
A semantic GRID resource matchmaker
Authors: Hae-Sun Jung, Yong-Woo Lee, Chang-Sung Jeong
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

In this paper, we introduce a semantic GRID resource matchmaker (SEGREM) for ubiquitous grid system which provides ubiquitous Grid services by providing not only dynamic computing power but also context-aware services. SEGREM is based on ontology and gives intelligent context-aware services. In this paper, we explain the architecture of our SEGREM and the job management using it.
Using visualization to teach security
Authors: Dino Schweitzer, Wayne Brown
Venue: Journal of Computing Sciences in Colleges (2009)

Interactive visualization tools have been shown to be an effective means for engaging students in the learning process. Information security is a complex topic that can benefit from judicious design and application of classroom visualizations. At our institution, we have developed a series of interactive visualizations to teach students security concepts in different courses at different levels of experience. This paper describes the approach used to design and implement the visualizations, their use in the classroom, and our experience with their effectiveness in increasing student understanding.
101 Internet Businesses You Can Start from Home: How to Choose and Build Your Own Successful e-Business (101 Internet Businesses You Can Start from Home How to Choose &), 3rd edition
Authors: Susan Sweeney
Venue:  (2008)

In a freshly-updated third edition, this invaluableresource takes an in-depth look into the new American dreamrunning ones own e-business from home. Starting with a guide to defining what is most importanttime with family, a flexible schedule, financial freedom, and risk levelsthis study moves into an investigation of how online business works, followed by profiles of 101 proven ideas guaranteed to fuel entrepreneurial thinking. From getting started in online and offline promotion, this handbook is sure to accommodate all needs and interests.The guidebook also includes a password that provides access to the companion website,offering the latest internet business news, expanded information, and additional online resources.
Estimation of graphical models whose conditional independence graphs are interval graphs and its application to modelling linkage disequilibrium
Authors: Alun Thomas
Venue: Computational Statistics Data Analysis (2009)

Estimation of graphical models whose conditional independence graph comes from the general class of decomposable graphs is compared with estimation under the more restrictive assumption that the graphs are interval graphs. This restriction is shown to improve the mixing of the Markov chain Monte Carlo search to find an optimal model with little effect on the haplotype frequencies implied by the estimates. A further restriction requiring intervals to cover specified points is also considered and shown to be appropriate for modelling associations between alleles at genetic loci. As well as usefully describing the patterns of associations, these estimates can also be used to model population haplotype frequencies in statistical gene mapping methods such as linkage analysis and association studies.
Software reliability in real-time systems
Authors: Bharat Bhargava
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

This paper investigates techniques to enhance the continuity of operations of the enroute air traffic control system. First the issues of software reliability and fault tolerance in realtime systems are discussed. Next, a list of problems associated with nonstop operations of flight dataprocessing (FDP) subsystem of the enroute air traffic control system are assumed, based on limited knowledge of the system; and possible solutions are suggested and analyzed. Implementation issues of recovery block scheme such as architecture, design of alternates and acceptance tests, and cost vs. reliability are studied. Four architectures of recovery block scheme are analyzed, and results of a simulation study using flight data processing subsystem as a test case are discussed.
Internet addiction's effect on likeability and rapport
Authors: Anthony Iacovelli, Stavros Valenti
Venue: Computers in Human Behavior (2009)

The Internet Paradox refers to findings that demonstrated that the increase in communications brought about by Internet usage actually had negative effects on user's psychological well-being and social involvement. This study proposes that face-to-face contact promotes the development of rapport and thereby individuals that use the internet excessively will lack these necessary social skills. Specifically, we investigate whether, through use of telephone communications, average users ratings of likeability and rapport would differ when speaking to excessive internet users. This experiment utilized previously unacquainted individuals who conversed by telephone while discussing both, a cooperative and an adversarial task. Results indicate that excessive users were more likely to be depressed and socially inhibited, and also were rated as having a lower level of rapport and likeability. Further research is required in order to explain the role of personality in excessive internet usage.
Fast false path identification based on functional unsensitizability using RTL information
Authors: Yuki Yoshikawa, Satoshi Ohtake, Tomoo Inoue, Hideo Fujiwara
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

In this paper, we propose a method for identifying false paths based on functional unsensitizability of path delay faults. By using RTL structural information, a number of gate level paths are bound into an RTL path and the bundle of them can be identified in a reasonable amount of time. The identified false paths are useful for over-testing reduction caused by DFT techniques, such as scan design, and also area and performance optimization of circuits during logic synthesis. Experimental results show that our proposed method can identify false paths in a few seconds for several benchmarks.
On the dynamic resource availability in grids
Authors: Alexandru Iosup, Mathieu Jan, Ozan Sonmez, Dick H. J. Epema
Venue: Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (2007)

Currently deployed grids gather together thousands of computational and storage resources for the benefit of a large community of scientists. However, the large scale, the wide geographical spread, and at times the decision of the rightful resource owners to commit the capacity elsewhere, raises serious resource availability issues. Little is known about the characteristics of the grid resource availability, and of the impact of resource unavailability on the performance of grids. In this work, we make first steps in addressing this twofold lack of information. First, we analyze a long-term availability trace and assess the resource availability characteristics of Grid’5000, an experimental grid environment of over 2,500 processors. The average utilization for the studied trace is increased by almost 5%, when availability is considered. Based on the results of the analysis, we further propose a model for grid resource availability. Our analysis and modeling results show that grid computational resources become unavailable at a high rate, negatively affecting the ability of grids to execute long jobs. Second, through trace-based simulation, we show evidence that resource availability can have a severe impact on the performance of the grid systems. The results of this step show evidence that the performance of a grid system can rise when availability is taken into consideration, and that human administration of availability change information results in 10–15 times more job failures than for an automated monitoring solution, even for a lowly utilized system.
A methodology for unit testing actors in proprietary discrete event based simulations
Authors: Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkinson, Stuart H. Kurkowski
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation via an xUnit testing framework. The fundamental purpose of discrete event based computer network simulation is verification of networking protocols used in physical--not simulated--networks. Thus, use of rigorous unit testing and test driven development methodologies mitigates risk of modeling the wrong system. We validate the methodology through the design and implementation of OPNET-Unit, an xUnit style unit testing application for an actor oriented discrete event based network simulation environment, OPNET Modeler.
Two-variable logic on data trees and XML reasoning
Authors: Mikoaj Bojańczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Venue: Journal of the ACM (JACM) (2009)

Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on data trees is investigated. The nodes of a data tree have a label from a finite set and a data value from a possibly infinite set. It is shown that satisfiability for two-variable first-order logic is decidable if the tree structure can be accessed only through the child and the next sibling predicates and the access to data values is restricted to equality tests. From this main result, decidability of satisfiability and containment for a data-aware fragment of XPath and of the implication problem for unary key and inclusion constraints is concluded.
Research of Variable Pavement Vehicle SBC Based on Adaptive RBF Neural Network Sliding Mode Control
Authors: Zhiguang Zhou, Guixiang Zhang
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

Automotive SBC system is a nonlinear time-varying and uncertain system, tire character changes in the scope of large, and vehicles model is uncertain, so it is difficult to establish the precise mathematical model for non-linear vehicle braking process. Based on the basis of model parameters gaining the estimated optimal slip rate, this paper presents using adaptive RBF neural network sliding mode control algorithm in the control of variable pavement vehicle SBC, with the control of vehicle under the optimal slip rate, the simulation results show that the braking performance is very good. This shows the feasibility and validity of the adaptive RBF neural network sliding mode control algorithm presented by this paper to the vehicle SBC system.
The landlocked island: Information access and communications policy in Nepal
Authors: Robin Shields
Venue: Telecommunications Policy (2009)

This paper examines information access in Nepal, its current limitations, and opportunities for expansion, particularly in rural areas. It argues that government policies and the regulatory environment have failed to create the competition necessary for rapid expansion of information access through information and communication technologies (ICTs), particularly in rural areas. Furthermore, restrictive approaches to licensing and exorbitant fees have hindered the ability of civil society organizations, non-governmental organizations (NGOs), and small and medium enterprises (SMEs) to provide information access at the local level. This has resulted in very limited access to information outside a few urban centers and created some of the world's highest access costs in one of its poorest countries. To successfully address this situation, the newly installed republican government will need to create an environment that promotes competition in less lucrative rural markets while negotiating the demands of existing license holders.
Considering Context and Users in Interactive Systems Analysis
Authors: José Creissac Campos, Michael D. Harrison
Venue: Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (2008)

Although the take-up of formal approaches to modelling and reasoning about software has been slow, there has been recent interest and facility in the use of automated reasoning techniques such as model checking [5] on increasingly complex systems. In the case of interactive systems, formal methods can be particularly useful in reasoning about systems that involve complex interactions. These techniques for the analysis of interactive systems typically focus on the device and leave the context of use undocumented. In this paper we look at models that incorporate complexity explicitly, and discuss how they can be used in a formal setting. The paper is concerned particularly with the type of analysis that can be performed with them.
Explicit bounds for the solutions of second order linear differential equations
Authors: Pedro Almenar, Lucas Jódar
Venue: Computers Mathematics with Applications (2009)

This paper deals with the construction of explicit bounds for solutions of second order linear differential equations of the type [p(x)y^'(x)]^'+q(x)y(x)=0, p(x),q(x)>0, x>x"0. The construction is based on the study of the evolution of two complementary functionals involving y(x) in the sequence of zeroes of y(x) and y^'(x). Based on that, both a theoretical bound and an algorithm to explicitly calculate that bound are presented. An illustrative example shows that the bounds proposed here improve previous results.
A public health data system
Authors: John C. Peck, Francis M. Crowder
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

In mid-December, 1972 Clemson University became actively engaged in the technical development of a Public Health Data System for the Appalachian II District Health Department. Phase I of the implementation (ending June 30, 1973) has now been completed and has allowed both the Health Department and Clemson to more accurately measure development costs and benefits.
Video transcoder in DCT-domain spatial resolution reduction using low-complexity motion vector refinement algorithm
Authors: Tsung-Han Tsai, Yu-Fun Lin, Hsueh-Yi Lin
Venue: EURASIP Journal on Advances in Signal Processing (2008)

We address the topic of spatial-downscaling video transcoder in DCT-domain. The proposed techniques include the hierarchical fast motion resampling (HFMR) with accuracy motion resampling, the fast refinement for nonintegral (FRNI) motion vector (MV), and the dynamic regulating search (DRS) with low-complexity motion vector refinement. Two kinds of motion vector refinement algorithms in DRS are designed for different architectures and applications. Based on brute-forcemotion compensation in DCT-domain (MC-DCT), FRNI can provide better quality than nonrefine MV and reduce the complexity. DRS can utilize the filter for half-pixel MV in MC-DCT and it is an efficient method for extracting MC-DCT block to improve the performance further. From the experiments, the proposed algorithms can improve the entire quality and also reduce the complexity for DCT-domain video transcoder.
A novel algorithm to model the queue limit
Authors: Ágnes Bogárdi-Mészöly, Tihamér Levendovszky, András Rövid
Venue: Proceedings of the 7th conference on Circuits, systems, electronics, control and signal processing (2008)

The performance of web-based software systems is one of the most important and complicated consideration. These systems access some resources while executing the requests of the clients, typically several requests arrive at the same time, thus, competitive situation is established for the resources. In case of modeling such situation queueing model-based approaches are widely recognized. The goal of our work is to model the queue limit performance factor. The proposed algorithms modeling the global and application queue limits can be applied to performance prediction. The response time and throughput performance metrics can be correctly predicted with the novel algorithms.
A Multi-facet Approach to Dynamic Agent Systems
Authors: Marek A. Bednarczyk, Wiesław Pawłowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski
Venue: Fundamenta Informaticae (2008)

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. Themodularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.
Weakest environment of communicating processes
Authors: Zhou Chaochen
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

As is well known, the concept of the weakest precondition has played an important role in sequential programming. In this paper we introduce a similar concept for distributed programming. As far as partial correctness is concerned, given an overall specification of a distributed system and of a designated part of the system, we can find a minimum specification that must be met by the rest of the system in order that the whole system meet the overall specification. This minimum specification is called the weakest environment of the first designated part with respect to the overall specification. In terms of weakest environment, a calculus for the partial correctness of processes with a master-slave communication mechanism is also given.
Mobile service audio notifications: intuitive semantics and noises
Authors: Stavros Garzonis, Chris Bevan, Eamonn O'Neill
Venue: Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat (2008)

It is hoped that context-aware systems will present users with an increasing number of relevant services in an increasingly wide range of contexts. With this expansion, numerous service notifications could overwhelm users. Therefore, careful design of the notification mechanism is needed. In this paper, we investigate how semantic richness of different types of audio stimuli can be utilised to shape the intuitiveness of mobile service notifications. In order to do so, we first develop a categorisation of mobile services so that clustered services can share the same notifications. Not surprisingly, it was found that overall speech performed better than non-speech sounds, and auditory icons performed overall better than earcons. However, exceptions were observed when richer semantics were utilised in the seemingly poorer medium. We argue that success and subjective preference of auditory mobile service notifications heavily depends on the success and level of directness of the metaphors used.
Dialogue management for social game characters using statecharts
Authors: Jenny Brusk
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

Character development in games tend to refer to those features that augment the character's skills and experiences in order for it to become better equipped to meet the challenges in the game. We mean that the next step should be to provide the characters with social skills, including the ability to interact using natural language. To date an extensive amount of significant work has been done in the field of believable characters, but not specifically aimed at being placed in game worlds. This means that the methods used not necessarily meet the necessary requirements. In this paper we present a method we believe is capable of handling both game flow as well as dialogue flow, namely statecharts. By example we also show how to specify statecharts for describing socially intelligent dialogue behavior.