ppxscal/embedding_network huggingface dataset:
Run-time management of a MPSoC containing FPGA fabric tiles
Authors: Vincent Nollet, Prabhat Avasare, Hendrik Eeckhaut, Diederik Verkest, Henk Corporaal
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2008)

Multimedia applications, like, e.g., 3-D games and video decoders, are typically composed of communicating tasks. Their target embedded computing platforms (e.g., TI OMAP3, IBM Cell) contain multiple heterogeneous processing elements. At application design-time, it is often unknown which applications will execute simultaneously. Hence, resource assignment decisions need to be made by a run-time manager. Run-time assignment of these communicating tasks onto the communication and computation resources of such a multiprocessor platform is a challenging task. In the presence of fine-grain reconfigurable hardware processing elements, the run-time manager also needs to consider the creation of a so-called configuration hierarchy. Instead of executing a dedicated hardware task, the fine-grain reconfigurable hardware fabric hosts a programmable softcore block that, in turn, executes the task functionality. Hence, the next challenge for run-time management is to efficiently handle a configuration hierarchy. This paper details a run-time task assignment heuristic that performs fast and efficient task assignment in a multiprocessor system-on-chip containing fine-grain reconfigurable hardware tiles. In addition, this algorithm is capable of managing a configuration hierarchy. We show that being capable of handling a configuration hierarchy significantly improves the task assignment performance (i.e., success rate and assignment quality). In several cases, adding a configuration hierarchy improves the assignment success rate of the assignment heuristic by 20%.
Annual oscillation criteria for second-order nonlinear elliptic differential equations
Authors: Rong-Kun Zhuang
Venue: Journal of Computational and Applied Mathematics (2008)

In this paper, we present some new oscillation criteria for the second-order nonlinear elliptic differential equation@?.(A(x)@?y)+q(x)f(y)=e(x),x@?@W,where @W is an exterior domain in R^N. These criteria are different from most known ones in the sense that they are based on the information only on a sequence of annuals of @W in R^N, rather than on the whole exterior domain @W. Also information about the distribution of the zero of solutions is obtained.
A multi-agent based system for affective peer-e-learning
Authors: Mohamed Ben Ammar, Mahmoud Neji
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

Recent research results indicate that cognitive processes are related to emotions. Since emotions are omnipresent in any kind of interaction it can be advantageous to take them into account, particularly in the context of e-learning. Emotions are now seen as closely related to cognition processes including decision-making, memory, attention, etc. Thus, e-learning environments have begun to take into consideration the emotional state of the learner in order to enhance his performance. This paper presents a tool for man-machine interaction which uses facial input. We believe that facial interaction will have its place among the interaction techniques in the near future. Our work concerns the improvement of computer based learning by mean of a lifelike presence in learning environment. Our approach combines Intelligent Tutoring System with research on human emotion in Cognitive Science, Psychology and Communication. According for relations between emotion, cognition and action in contextual learning, we propose an emotional intelligent tutoring system based on multi-agent architecture to design of adaptive distributed collaborative and peer to peer e-learning environments. An emotionally intelligent tutoring system should be able to provide feedback to students, taking into account relevant aspects of the mental state of the student.
A Weak-Tie Based Regularity Analysis of Mobile Clickstreams
Authors: Toshihiko Yamakami
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

Advances in wireless technologies and their penetration into every-day life can create a new context with multiple simultaneous sub-contexts. The mobile Internet leverages multiple contexts with its any-time/any-place capability. This leads to a new third state for Internet use contexts, a weakly-tied state, in addition to the two existing states: active (strongly-tied) and inactive. The author attempts to identify the user behavior patterns derived from this weak-tie based approach. The author proposes an interval analysis of the mobile clickstream in order to identify regular users. From the observation, the author shows a positive relation between the hourly-scale interval of mobile web visits and the revisit ratio in the next month, indicating the degree of the user loyalty to a specific mobile web site.
Node connectivity index as mobility metric for GA based QoS routing in MANET
Authors: J. Abdullah, D. J. Parish
Venue: Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology (2007)

The objective of this paper is to propose a unique connectivity index, nci which indicates the quality of route when nodes move randomly. The most reliable route is then chosen using GA route selection mechanism. The node mobility model is introduced and shows that there exists upper bound for velocity in order to achieve reliable wireless communication. The nci is then derived based on contraction and expansion model. It is then utilized as one of the fitness variable in our multi objectives GA-based QOS Routing protocol. It has been observed that the performances of our protocol QOSRGA on velocity scenario are better than the BE-DSR routing protocol.
Metrics, Metrics, Metrics: Negative Hedonicity
Authors: Robert R. Hoffman, Peter Hancock, Morris Marx
Venue: IEEE Intelligent Systems (2008)

A significant challenge is that in studies of human-computer interaction, the new technologies must themselves be evaluated for effectiveness as a component within a cognitive work system. This essay focuses on the possibility of measuring "negative hedonicity." This idea stems from a 2004 essay in IEEE Intelligent Systems, which presented the Pleasure Principle of HCC: "Good tools provide a feeling of direct engagement. They simultaneously provide a feeling of flow and challenge." Hedonic factors in human-computer interaction include positive affect and increased goal-oriented motivation. Negative hedonicity is the valuation of affect and motivation as negatively impacted by the work experience. This dimension is reflected in frustration, confusion, mental (or data) overload, automation surprise, and the creation of kluges and work-arounds. The authors outline a method for hedonic measurement in evaluating cognitive work and an approach to analyzing the data.
Utilizing redundancy for timing critical interconnect
Authors: Shiyan Hu, Qiuyang Li, Jiang Hu, Peng Li
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

Conventionally, the topology of signal net routing is almost always restricted to Steiner trees, either unbuffered or buffered. However, introducing redundant paths into the topology (which leads to non-tree) may significantly improve timing performance as well as tolerance to open faults and variations. These advantages are particularly appealing for timing critical net routings in nanoscale VLSI designs where interconnect delay is a performance bottleneck and variation effects are increasingly remarkable. We propose Steiner network construction heuristics which can generate either tree or non-tree with different slack-wirelength tradeoff, and handle both long path and short path constraints. We also propose heuristics for simultaneous Steiner network construction and buffering, which may provide further improvement in slack and resistance to variations. Furthermore, incremental non-tree delay update techniques are developed to facilitate fast Steiner network evaluations. Extensive experiments in different scenarios show that our heuristics usually improve timing slack by hundreds of pico seconds compared to traditional approaches. When process variations are considered, our heuristics can significantly improve timing yield because of nominal slack improvement and delay variability reduction.
An Electromagnetic Chip for Microfluidic Manipulation of Ferromagnetic Microparticles
Authors: Kang Wang, Yi Sun, Xiansong Wang, Juan Feng, Xuemei Ma, Yi Zeng
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

There’s a growing interest in the manipulation of magnetic microparticles due to its great potential in a diverse array of biomedical applications such as microfluidics, suspension array and flow cytometry. An electromagnetic chip with radiating matrix pattern is proposed, which holds promise for more flexibility of magnetic microparticles manipulation in biological lab-on-a-chip.
Classification of Cell Membrane Proteins
Authors: Seyed Koosha Golmohammadi, Lukasz Kurgan, Brendan Crowley, Marek Reformat
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane protein is crucial for determining its function. This paper introduces an automated, in-silico method for identifying different types of membrane proteins based on their amino acid composition. Our method applies a novel, composite protein sequence representation that includes seven feature sets. The performance of the proposed method was tested on two large datasets and was compared with eight competing prediction methods. The results indicate that our method outperforms existing methods, provides improved predictions for the transmembrane protein types, and obtains 87% and 98% accuracy for the jackknife test and test on an independent dataset, respectively.
The Automatic Inference of Arden Medical Logic Modules
Authors: Qunyi Zhou, Wenxin Wang
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Clinical Decision Support System (CDSS), which importance has already been widely recognized, could improve the safety and quality of clinical diagnosis and treatment. Digitized clinical guidelines play a kernel role in CDSS. Arden syntax for Medical logic modules suggested by the HL7 is the most open and mature clinical guidelines language and widely applied. However, Arden syntax only focused on the logic representation of the medical knowledge without inference functions, which embarrassed CDSS application. By interpreting medical logic modules into rule-based format defined by C Language Integrated Production System (CLIPS), this paper realizes automatic inference of medical logic modules in order to promote CDSS real practice application in clinic.
Incremental analysis of interference among aspects
Authors: Emilia Katz, Shmuel Katz
Venue: Proceedings of the 7th workshop on Foundations of aspect-oriented languages (2008)

Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individually woven is correct relative to its specification. In this type of interference, one aspect can prevent another from having the required effect on a woven system. Such interference is defined and specifications of aspects are described. An incremental proof strategy based on model checking pairs of aspects for a generic model expressing the specifications is defined. When an aspect is added to a library of noninterfering aspects, only its interaction with each of the aspects from the library needs to be checked. Such checks for each pair of aspects are proven sufficient to detect interference or establish interference freedom for any order of application of any collection of aspects in a library. Implemented examples of interfering aspects are analyzed and the results are described, showing the advantage of the incremental strategy over a direct proof in space needed for the model check. Early analysis and detection of such interference in libraries of aspects will enable informed choice of the aspects to be applied, and of the weaving order.
Image processing of FORMOSAT-2 data for monitoring the South Asia tsunami
Authors: C. -C. Liu, J. -G. Liu, C. -W. Lin, A. -M. Wu, S. -H. Liu, C. -L. Shieh
Venue: International Journal of Remote Sensing (2007)

We report on the actions of the first daily revisit satellite, FORMOSAT-2, in the recent Indian Ocean tsunami disaster. Starting from the first images of Banda Aceh and Phuket taken on 28 December 2004, FORMOSAT-2 used its unique orbit and pointable sensor system to demonstrate the extent to which it is able to respond to emergencies. A total of 137 images throughout the Indian Ocean rim countries were taken within a month. The data were immediately analysed and turned into damage-assessment maps and other information resources for humanitarian aid. This paper focuses on the image-processing procedure followed for a fast response to the South Asia tsunami event. The imageodesy technique is used to coregister the level-2 product of FORMOSAT-2 image at high accuracy and speed. A novel approach for spectral reservation data fusion has also been proposed. With the advantages of accurate coregistration and reliable spectral property, the colour composites of FORMOSAT-2 imagery have been used as the principle source of information for our tsunami hazard assessment. The potential of FORMOSAT-2 for disaster monitoring is discussed. The technique developed in this research will be adapted to produce pan sharpened images as a standard value added product of FORMOSAT-2.
Mobile-agent-based collaborative sensor fusion
Authors: Pratik K. Biswas, Hairong Qi, Yingyue Xu
Venue: Information Fusion (2008)

Information fusion can assist in the development of sensor network applications by merging capabilities, raw data and decisions from multiple sensors through distributed and collaborative integration algorithms. In this paper, we introduce a multi-layered, middleware-driven, multi-agent, interoperable architecture for distributed sensor networks that bridges the gap between the programmable application layer consisting of software agents and the physical layer consisting of sensor nodes. We adopt an energy-efficient, fault-tolerant approach for collaborative information processing among multiple sensor nodes using a mobile-agent-based computing model. In this model the sink/base-station deploys mobile agents that migrate from node to node following a certain itinerary, either pre-determined or determined on-the-fly, and fuse the information/data locally at each node. This way, the intelligence is distributed throughout the network edge and communication cost is reduced to make the sensor network energy-efficient. We evaluate the performance of our mobile-agent-based approach as well as that of the traditional client/server-based computing model, vis-a-vis energy consumption and execution time, through both analytical study and simulation. We draw important conclusions based on our findings. Finally, we consider a collaborative target classification application, supported by our architectural framework, to illustrate the efficacy of the mobile-agent-based computing model.
Designing Software to be Used in the Context of Tutorials
Authors: Keith Moss
Venue: Proceedings of the Tenth International Conference on Computer Modeling and Simulation (2008)

It is shown that simulation can be used to enable students to the study complex algorithms and protocols. User requirements are considered in detail and how these translate into software and user interface design. For each simulation it was possible for a single person to design both the interface and any consequent mathematical analysis along with any protocols that need tobe satisfied. Two case studies are presented that show different problems produce very different outcomes in terms of how well a particular case study approaches the ideal simulation.
Improved Impossible Differential Cryptanalysis of ARIA
Authors: Shenhua Li, Chunyan Song
Venue: Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008) (2008)

Impossible differential cryptanalysis is a method recovering secret key by getting rid of the keys that satisfy impossible differential relations. This cryptanalysis has been used to attack AES and many good results were gotten. For the new block cipher ARIA is similar to AES in structure, it is necessary to research its security against impossible differential cryptanalysis. We find a new impossible differential property of the block cipher ARIA, and we propose an attack against ARIA reduced to six rounds based on this property. In our attack, 10 bytes of round keys are needed to be guessed instead of 12 bytes in the previous one, so the time complexity is reduced by 2 to the power of 16 times. It needs 2 to the 120th power chosen plaintexts and 2 to the 96th encryptions in our attack.
Cache modeling in probabilistic execution time analysis
Authors: Yun Liang, Tulika Mitra
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution time analysis techniques borrowed from hard real-time systems domain are not particularly suitable in this context. Instead, the execution time distribution of a task provides a more valuable input to the system-level performance analysis frameworks. Both program inputs and underlying architecture contribute to the execution time variation of a task. But existing probabilistic execution time analysis approaches mostly ignore architectural modeling. In this paper, we take the first step towards remedying this situation through instruction cache modeling. We introduce the notion of probabilistic cache states to model the evolution of cache content during program execution over multiple inputs. In particular, we estimate the mean and variance of execution time of a program across inputs in the presence of instruction cache. The experimental evaluation confirms the scalability and accuracy of our probabilistic cache modeling approach.
Generation of a disparity map using piecewise linear transformation
Authors: Hyejin Kim, Jaewan Choi, Howook Chang, Kiyun Yu
Venue: Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics (2006)

The generation of a disparity map usually requires a pair of precisely rectified stereo images, which implies that the images have epipolar geometry. In many practical cases, it is not easy to obtain a rectified stereo pair without using specialized stereo camera systems. We have proposed a new approach for generating a disparity map from a random stereo pair, called a segment- based piecewise linear transformation. The basic concept relies on the fact that displacements from piecewise image to image registration approximate to the disparity. Using this approach, segmentation of the left image is carried out first, followed by extraction of conjugate points from the stereo pair. Finally, a set of linear transformation functions is determined using least squares method. By applying these functions, the displacement for each pixel is calculated to allow for the generation of a disparity map. To estimate the quality of the resulting disparity map, two stereo anaglyphs, one from the disparity map and the other from the original stereo pair, were produced and compared visually. The results show that the disparity map works well on both uniform and slanted disparity surfaces. An advantage of this approach is that it does not necessarily require stereo rectification, and that it is applicable to any set of stereo images that are not in epipolar geometry.
An Ontology and a Description Schema Base for Relational Database Integration
Authors: Nadir Salhi, Benna Amal, Zaia Alimazighi, Bilal Amrouche, Ferhat Makhloufi
Venue: Proceedings of the 2008 International Workshop on Advanced Information Systems for Enterprises (2008)

Distributed Data sources integration is a method aiming to offer access for users to multiple databases through requests on a global schema. The use of an ontology is seamlessly the most promising approach for a possible automation to deal with the semantic heterogeneity, considered as the most important difficulty. In this paper we propose approach uses a domain ontology to solve semantic conflicts considered as a global schema and a description schema base in order to manage the mappings, done manually by the administrator of every relational source, between the global schema and the different databases. Moreover, we describe the algorithms related to relevant sources localization, requests decomposition, inter-sources joint, requests rewriting and recomposition of the results as tuples. Finally, we present a prototype for relational databases integration.
Houses of Glass, Transparent Bodies: How New Technologies Affect Inviolability of the Home and Bodily Integrity in the Dutch Constitution
Authors: Bert-Jaap Koops, Merel M. Prinsen
Venue: Information and Communications Technology Law (2007)

Since time immemorial, the inviolability of the home has protected people's freedom to behave as they like in their own homes. In addition, bodily integrity is an essential fundamental right allowing citizens to do what they want with their own body. Technological developments in ICT and DNA research form a threat to these fundamental rights that current legal protection may be inadequate to stop. An increasing number of technologies are being used in the home and in the bodies of individuals, connecting them to the outside, which means that the traditional border between inside and outside is becoming blurred. Furthermore, more and more possibilities are emerging that allow us to 'see' things inside, straight through walls and clothing. What effect will these technologies have on the legal protection of home and body-in particular the protection against government surveillance? In this article, the authors analyse these issues from the perspective of the Dutch Constitution to illustrate how the current legal protection of home and body threatens to fall short in light of new technologies. This analysis of the Dutch situation may be useful for other countries when they review constitutional rights in light of new technologies.