ppxscal/embedding_network huggingface dataset:
Parallel computations in mixed formats
Authors: Wlodzimierz Pogribny, Marcin Drechny
Venue: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology (2007)

This paper presents the new approach to parallel calculations with the use of mixed formats. Usually parallel computations are done in multibit Pulse Code Modulation (PCM). Using this format requires doing multibit multiplications what often decreases the speed of calculations. Mixed formats, which join differential modulation codes such as Delta Modulation (DM) with PCM, can lead to the decrease of code word length and speed-up operation in DSP (Digital Signal Processing). Some kinds of DM such as MDPCM-PCM (Modified Differential Pulse Code Modulation) and SDPCMPCM (Synthetic DPCM) enable to replace the time-consuming multiplications with fast shift operations. The purpose of this work is working out the new processing methods for the fast-acting increase of DSP algorithms on the basis of parallel computations in mixed formats, especially with the use of MDPCM-PCM and SDPCM-PCM formats.
A New Semantic-based Query Processing Architecture
Authors: Guangtao Xue, Qunhua Pan, MingLu Li
Venue: Proceedings of the 2007 International Conference on Parallel Processing Workshops (2007)

With rapid development of sensor networks technology, it becomes feasible to deploy multiple sensor networks in relevant area to collect interested information. Sensor nodes belonging to different sensor networks may not be able to collaborate properly to gain the capacity or performance due to inability to exchange information with each other. In this paper we propose a semantic-based query processing architecture that enables in-network processing of multiple sensor networks with unified protocol. In this architecture, there are low-level semantics in raw sensory data which are the mapping of the physical world. Semantics will be attached to the data to make the sensory data be understood more easily. In the process of matching, aggregated data are generated and semantics are attached to the aggregated data. The advantage of semantic-based architecture is that it can solve the problems in more complex situations. It makes the exchange of sensory data in multiple sensor networks possible and efficiently. The process of semantic creation and maintenance is described. We also introduce the concept of semantic data model. This infrastructure enables efficient information exchange and information extraction among multiple sensor networks.
Special Feature Evolved Software for the 80's
Authors: L. A. Belady
Venue: Computer (1979)

To reach a better balance between free innovation and disciplined construction, we must bring an experimental element to software engineering, creating a modifiable and configurable software inventory composed of reusable and verified program parts.
Integrating Boundary Information in Pairwise Segmentation
Authors: Andrea Torsello, Marco Di Gesu, Marcello Pelillo
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

Proximity-based, or pairwise, data clustering techniques are gaining increasing popularity due to their versatility and their ability to easily integrate information of different nature. Despite this, most applications to image segmentation incorporate only region-based information, mainly color and texture similarity. In this paper we propose a general approach for integrating boundary information in a pairwise segmentation framework. To this end we propose a measure of distance between pair of pixels that integrates the value of an edge-response function along a path joining the two pixels. Experiments performed using the dominant sets framework show that the proposed approach is competitive with the state of the art pairwise segmentation algorithms even while using boundary information only. Furthermore, we show that the approach can effectively be used when adopting an out of sample approach to pairwise segmentation.
Some new Farkas-type results for inequality systems with DC functions
Authors: Radu Ioan Boţ, Ioan Bogdan Hodrea, Gert Wanka
Venue: Journal of Global Optimization (2007)

We present some Farkas-type results for inequality systems involving finitely many DC functions. To this end we use the so-called Fenchel-Lagrange duality approach applied to an optimization problem with DC objective function and DC inequality constraints. Some recently obtained Farkas-type results are rediscovered as special cases of our main result.
Accelerating Scientific Applications with Reconfigurable Computing: Getting Started
Authors: Volodymyr V. Kindratenko, Craig P. Steffen, Robert J. Brunner
Venue: Computing in Science and Engineering (2007)

High-performance reconfigurable computing combines the advantages of the coarse-grain parallel processing provided in conventional multiprocessor systems with the fine-grain parallel processing available in field-programmable gate arrays.
Symbolic Treatment of Certain Selector Functions
Authors: P. A. Holst
Venue: IEEE Transactions on Computers (1972)

A selector function is defined as a choice function, which selects one particular argument in a set of arguments according to given selection criteria. A notation has been developed which states the algorithms that apply for symbolic treatment of the selector functions. Some examples of selector functions are given and the corresponding physical interpretations indicated.
Low-loss microwave interconnections by using polymeric based coplanar waveguides on low resistivity silicon substrates
Authors: Romolo Marcelli, Simone Catoni, Luciano Frenguelli
Venue: Microelectronic Engineering (2008)

In this paper a new approach to manufacture low losses coplanar waveguide (CPW) lines for microwave and millimeter wave signal processing is presented. A photolithographic process is performed by using SU-8 thick negative photo-resist on low resistivity silicon wafers, to obtain CPW lines elevated with respect to the substrate, in order to take advantages, in terms of propagation losses, from transmission line structures which are almost on-the-air.
Real-Time Scheduling with Task Splitting on Multiprocessors
Authors: Shinpei Kato, Nobuyuki Yamasaki
Venue: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2007)

This paper presents a real-time scheduling algorithm with high schedulability and few preemptions for multiprocessor systems. The algorithm is based on an unorthodox method called portioned scheduling that assigns each task to a particular processor like partitioned scheduling but can split a task into two processors if there is not enough capacity remaining on a processor. We describe an algorithm for assigning tasks to processors as well as an algorithm for scheduling the assigned tasks on per-processor. The schedulability analysis provides a formula to calculate the upper bound of the schedulable per-processor utilization for the algorithm. We then prove that the least upper bound of the whole system utilization is 50%. In addition, we propose heuristic procedures to improve schedulability. The simulation results show that the algorithm can often successfully schedule a task set with system utilization much higher than 50%, though the least upper bound is 50%. We also show that the algorithm achieves higher schedulability with fewer preemptions compared to the existiting algorithms.
Experience with the Parallel Solution of Partial Differential Equations on a Distributed Computing System
Authors: E. Gelenbe
Venue: IEEE Transactions on Computers (1982)

It is of interest to determine whether loosely coupled multiprocessors can be profitably used for the solution of larger numerical problems. We present here a performance evaluation of the gain obtained by solving partial differential equation systems on such an architecture. The experimental setting is an LSI 11 based multimicroprocessor system using a fiber optics local area network designed and implemented at Laboratoire de Recherche en Informatique, Université Paris-Sud. The paper includes a discussion of the numerical methods and of their implementation, a performance model of the parallel processing system, and measurements taken on the experimental system. The experimentally validated theoretical results confirm the interest of our approach based on performance models.
The exploration of consumers' behavior in choosing hospital by the application of neural network
Authors: Wan-I Lee, Bih-Yaw Shih, Yi-Shun Chung
Venue: Expert Systems with Applications: An International Journal (2008)

The economic in Taiwan has been dramatically improved in the last two decades. During this period, the national health insurance was first conducted in 1995 and plans of health insurance payment have been modified several times. Demands of high quality and service on medical care are brought up in consumers' mind. Nowadays, hospital operating environment is getting more and more competitive. Therefore, how to take the advantage of competitiveness is the urgent topic of gaining advantage of competitiveness. The research applied neural network to classify consumers' behavior in choosing hospitals. A quantitative research of questionnaire was first conducted to explore consumers' behavior in choosing hospitals in southern Taiwan. Factors of consumers' behavior were categorized into four types. Then, a back propagation neural network classification model was developed. The model demonstrates the usefulness of 85.1% classification rate in classifying consumers' styles. Finally, their marketing implications were discussed. Based on the results of the research, the evidence is enough to suggest that the neural network model is useful in identifying existing patterns of hospitals' consumers.
Generation of Topological Boundary Representations from Octree Encoding
Authors: Tosiyasu Kunii, Toshiaki Satoh, Kazunori Yamaguchi
Venue: IEEE Computer Graphics and Applications (1985)

By generating a sequence of Euler operations, the algorithms presented here make it possible to convert octree models to a variety of boundary representation models.
Sensing behavior and mechanism of titanium dioxide-based MOS hydrogen sensor
Authors: Lallan Yadav, Naveen Chandra Gupta, R. Dwivedi, Ravi S. Singh
Venue: Microelectronics Journal (2007)

A Pd/TiO"2/Si MOS sensor (Pdtisin sensor) is proposed for the detection of hydrogen gas. The sensor is fabricated on a p-type silicon wafer having resistivity of 3-6@Wcm. The thickness of TiO"2 in this structure is about 600nm. The capacitance-voltage (C-V) and conductance-voltage (G-V) characteristics of the device is observed on the exposure of hydrogen gas at room temperature. The mechanism of hydrogen sensing of titanium dioxide-based MOS sensor (MOS capacitor) has been investigated by evaluating the change in flat-band voltage (V"F"B) and fixed surface state density of the device in presence of hydrogen gas. The device exhibits very large parallel shift in C-V as well in G-V characteristics. The possible mechanism on Pd/TiO"2 and TiO"2/Si surface in presence of hydrogen gas has been proposed. The response and recovery time of the device is also measured at room temperature.
Navigating in a Shape Space of Registered Models
Authors: Randall Smith, Richard Pawlicki István Kókai Jörg Finger Thomas Vetter
Venue: IEEE Transactions on Visualization and Computer Graphics (2007)

New product development involves people with different backgrounds.Designers, engineers, and consumers all have different criteria, and these criteria interact.Early concepts evolve in this kind of collaborative context, and there is a need for dynamic visualization of the interaction between design shape and other shape-related design criteria. In this paper, a Morphable Model is defined from simplified representations of suitably chosen real cars, providing a continuous shape space to navigate, manipulate, and visualize. Physical properties and consumer-provided scores for the real cars (such as 'weight' and 'sportiness') are estimated for new designs across the shape space.This coupling allows one to manipulate the shape directly while reviewing the impact on estimated criteria, or conversely, to manipulate the criterial values of the current design to produce a new shape with more desirable attributes.
Fuzzy CMAC Model Predictive Control
Authors: Zhiyong Tang, Xiang_an Yan
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

Conventional model predictive controller (MPC) described by a linear model may not be able to cope with highly nonlinear process. This has led to the development of a number of nonlinear MPC (NMPC). Most of these methods are excellent in theory but it is difficult to apply them to the industrial cases because of tremendous computation. The fuzzy cerebellar model articulation controller (CMAC) neural network is adopted as the model of the predictive control to describe the nonlinear process. The quickness of prediction is guaranteed by the principle of the fuzzy CMAC neural network characterized simple architecture. A novel online learning algorithm is proposed. The errors between the historical actual output and predictive output are used to adjust the weigh of the hypercubers in feedback correcting. Finally, the predictive control based on fuzzy CMAC model is demonstrated by the nonlinear tape rectification.
A Forensic Computing System Using a Digital Right Management Technique
Authors: Wolyoung Lee, Chul Hwang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 03 (2007)

Most information in the world is created in digital form. Digital works are easily reproduced, manipulated and erased. Therefore, digital works are frequently infringed. To prevent such infringements by capturing legal evi- dence, we need special techniques. This paper devel- oped an active forensic computing system capable of recognizing such infringements immediately using a digital right management technique. The system notifies the user of the contravention item if a digital work is illegally used in a client system. Furthermore, the sys- tem can record information on infringement users, in- fringement items, and laws related to intellectual prop- erty rights.
BlogWall: personal and poetic expressions
Authors: Owen Noel Newton Fernando, Janaka Prasad Wijesena, Adrian David Cheok, Wei Liu, Naoko Tosa
Venue: Proceedings of the 2nd international conference on Digital interactive media in entertainment and arts (2007)

Blogwall extends the short message service (SMS) to a new level of self expression and public communication by combining art and poetry. The application can generate Japanese "Haiku" (haiku is a mode of Japanese poetry) based on a SMS it receives.
Formation Control and Collision Avoidance for Multi-agent Non-holonomic Systems: Theory and Experiments
Authors: Silvia Mastellone, Dušan M. Stipanović, Christopher R. Graunke, Koji A. Intlekofer, Mark W. Spong
Venue: International Journal of Robotics Research (2008)

In this paper we present a theoretical and experimental result on the control of multi-agent non-holonomic systems. We design and implement a novel decentralized control scheme that achieves dynamic formation control and collision avoidance for a group of non-holonomic robots. First, we derive a feedback law using Lyapunov-type analysis that guarantees collision avoidance and tracking of a reference trajectory for a single robot. Then we extend this result to the case of multiple non-holonomic robots, and show how different multi-agent problems, such as formation control and leader-follower control, can be addressed in this framework. Finally, we combine the above results to address the problem of coordinated tracking for a group of agents. We give extensive experimental results that validate the effectiveness of our results in all three cases.
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
Authors: Peter F. Linington, Pulitha Liyanagama
Venue: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (2007)

There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these models to generate refinements leading to usable im- plementations over specific platforms. There is also interest in factoring out a number of non-functional aspects, such as security, to provide reusable solutions applicable to a num- ber of different applications. This paper brings these two approaches together, inves- tigating, in particular, the way behaviour from the different sources can be combined and integrated into a single de- sign model. Doing so involves transformations that weave together the constraints from the various aspects and are, as a result, more complex to specify than the linear pipelines of transformations used in most MDE work to date. The ap- proach taken here involves using an aspect model as a tem- plate for refining particular patterns in the business model, and the transformations are expressed as graph rewriting rules for both static and behaviour elements of the models.
H∞ tracking of uncertain SISO nonlinear systems: an observer-based adaptive fuzzy approach
Authors: G. G. Rigatos, S. G. Tzafestas
Venue: International Journal of Systems Science (2007)

Observer-based adaptive fuzzy H∞ control is proposed to achieve H∞ tracking performance for a class of nonlinear systems, which are subject to model uncertainty and external disturbances and in which only a measurement of the output is available. The control scheme is tested in the cart-pole balancing problem.
Supporting cost-effective innovation
Authors: Tim Cheng
Venue: IEEE Design Test (2007)

In the nanoscale regime, speed and density of semiconductor technology continue to increase. However, skyrocketing design costs for developing gigascale system chips have slowed the creation of new design projects. Moreover, existing design and test solutions have not addressed increasing variability and reliability concerns. Variability can stem from noise, process variations, thermal effects, and power-related issues. Among these, power-induced variations can wreak havoc on performance verification and delay testing. This issue of D&T examines recent progress in dealing with noise and variations caused by IR-drop and power supply noise effects.
COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems
Authors: Xu Ke, Krzysztof Sierszecki, Christo Angelov
Venue: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2007)

The paper presents a generative development methodology and component models of COMDES-II, a component-based software framework for distributed embedded control systems with real-time constraints. The adopted methodology allows for rapid modeling and validation of control software at a higher level of abstraction, from which a system implementation in C can be automatically synthesized. To achieve this objective, COMDES-II defines formally various kinds of components to address the critical requirements of the targeted domain, taking into consideration both the architectural and behavioral aspects of the system. Accordingly, a system can be hierarchically composed from reusable components with heterogeneous models of computation, whereas behavioral aspects of interest are specified independently, following the principle of separation-of-concerns. The paper introduces the established generative methodology for COMDES-II from a general perspective, describes the component models in details and demonstrates their application through a DC-Motor control system case study.
SA-REST: Semantically Interoperable and Easier-to-Use Services and Mashups
Authors: Amit P. Sheth, Karthik Gomadam, Jon Lathem
Venue: IEEE Internet Computing (2007)

Services based on the representational state transfer (REST) paradigm, a lightweight implementation of a service-oriented architecture, have found even greater success than their heavyweight siblings, which are based on the Web Services Description Language (WSDL) and SOAP. By using XML-based messaging, RESTful services can bring together discrete data from different services to create meaningful data sets; mashups such as these are extremely popular today.
Television quiz show simulation
Authors: Jonnie Lynn Hill
Venue: Simulation and Gaming (2007)

This article explores the simulation of four television quiz shows for students in China studying English as a foreign language (EFL). It discusses the adaptation and implementation of television quiz shows and how the students reacted to them.
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Authors: Frederic Pourraz, Herve Verjus
Venue: Proceedings of the International Conference on Software Engineering Advances (2007)

Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. Service- Oriented Architectures promote loose coupling, services distribution, dynamicity and agility. As services involved in a SOA are remote and autonomous services, the SOA designer does not control them and unpredictable behaviour can occur. Services orchestration is a key issue in order to fit expectations and reach objectives. Thus, service-oriented architectures have to be designed and deployed with rigor in order to be plainly useful and quality aware. Orchestration languages (BPEL4WS, BPML, etc.) fail in some points due to the lack of formalization and expressiveness, particularly when addressing service-based architecture evolution. This paper presents Diapason, an engineering approach for fully and formally designing service-based architectures, deploying them on the Internet, executing them according to the design and dynamically evolving them taking into account business changes and modifications.
Coordinating a two-level supply chain with production interruptions to restore process quality
Authors: Ahmed M. A. El Saadany, Mohamad Y. Jaber
Venue: Computers and Industrial Engineering (2008)

The classical inventory model, known as the lot size problem (LSP), assumes items produced and stocked to be of perfect quality. In reality, production processes are not defect free. Such imperfect processes generate defects that are reworked, and in some cases scrapped. The move by practitioners towards smaller lot sizes; e.g., just-in-time (JIT), as a mean of improving process and product quality prompted researchers to modify the LSP to represent reality more faithfully. The studies conducted by these researchers confirmed the observed benefits of smaller lot sizes. The inventory models developed in these studies assume that defects increase as the lot size increases, and that adjusting the process within a production cycle is not possible. Contrary to this assumption, in a JIT environment workers are authorized to stop production if a quality or production problem arises. This practice encouraged Khouja [Khouja, M. (2005). The use of minor setups within production cycles to improve product quality and yield. International Transactions in Operations Research, 12(4), 403-416] to reformulate some inventory models which take into account the negative relationship between lot size and quality and the possibility of performing minor setups. This requires stopping the process during a production cycle. This paper investigates the work of Khouja in a centralized decision model where players in a two-level (manufacturer-retailer) supply chain coordinate their orders to minimize their local costs and that of the chain. Mathematical models are developed with numerical results discussed.