ppxscal/embedding_network huggingface dataset:
A boundary integral method for simulating the dynamics of inextensible vesicles suspended in a viscous fluid in 2D
Authors: Shravan K. Veerapaneni, Denis Gueyffier, Denis Zorin, George Biros
Venue: Journal of Computational Physics (2009)

We present a new method for the evolution of inextensible vesicles immersed in a Stokesian fluid. We use a boundary integral formulation for the fluid that results in a set of nonlinear integro-differential equations for the vesicle dynamics. The motion of the vesicles is determined by balancing the non-local hydrodynamic forces with the elastic forces due to bending and tension. Numerical simulations of such vesicle motions are quite challenging. On one hand, explicit time-stepping schemes suffer from a severe stability constraint due to the stiffness related to high-order spatial derivatives and a milder constraint due to a transport-like stability condition. On the other hand, an implicit scheme can be expensive because it requires the solution of a set of nonlinear equations at each time step. We present two semi-implicit schemes that circumvent the severe stability constraints on the time step and whose computational cost per time step is comparable to that of an explicit scheme. We discretize the equations by using a spectral method in space, and a multistep third-order accurate scheme in time. We use the fast multipole method (FMM) to efficiently compute vesicle-vesicle interaction forces in a suspension with a large number of vesicles. We report results from numerical experiments that demonstrate the convergence and algorithmic complexity properties of our scheme.
Relativized Hyperequivalence of Logic Programs for Modular Programming
Authors: Mirosław Truszczyński, Stefan Woltran
Venue: Proceedings of the 24th International Conference on Logic Programming (2008)

A recent framework of relativized hyperequivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in program optimization and modular programming due to its flexibility that allows us to restrict, independently of each other, the head and body alphabets in context programs. We study relativized hyperequivalence for the three semantics of logic programs given by stable, supported and supported minimal models. For each semantics, we identify four types of contexts, depending on whether the head and body alphabets are given directly or as the complement of a given set. Hyperequivalence relative to contexts where the head and body alphabets are specified directly has been studied before. In this paper, we establish the complexity of deciding relativized hyperequivalence wrt the three other types of context programs.
Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems
Authors: Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

Due to the rapidly increasing software content in embedded systems, Hardware-dependent Software (HdS) has become a critical topic in system design. In this paper, we provide a brief overview on the topic of HdS, discuss the issues and complexities involved in the design of HdS, and motivate the need for special attention to HdS in research and development.
"Dip in the Wave": interactive sound installation controlled by the rope
Authors: Seiichiro Matsumura
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

"Dip in the Wave" is the interactive sound installation that people can directly compose continuous sound design in space by their physical approach. The way of the interaction is just changing the shape of the rope laid on the floor across the area. That shape is captured by the video camera and is converted to 1 cycle of sound wave. Then its sound comes out from audio speakers. The relation between what people do and the result is obvious both in visual and in hearing.
Analysis of the errors in the modelling of manipulators with Gaussian RBF neural networks
Authors: Juan Ignacio Mulero-Martínez
Venue: Neurocomputing (2009)

Dynamic modelling plays an important role in the design of controllers for robot manipulators. The presence of uncertainties such as those from unknown parameters makes the structured network modelling a powerful tool. In this sense, static neural networks based on the Kronecker product are introduced and some interesting properties connected to the dynamics are exploited. The main result of this work is the mathematical determination of the bandwidth regarding with nonlinear terms of the dynamics equations. In order to follow a methodological approach that is consistent with the sampling theorem, it is necessary to treat the dynamics in the context of multivariate Fourier analysis. Finally, the selection of design parameters is crucial in the performance of the system, making a tremendous influence on both the boundedness of the weights and the approximation errors so that explicit formulae are provided to treat with this topic.
Equiprime, 3-prime and c-prime fuzzy ideals of nearrings
Authors: Babushri Srinivas Kedukodi, Syam Prasad Kuncham, Satyanarayana Bhavanari
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2009)

In this paper, we present the notions of equiprime fuzzy ideal, 3-prime fuzzy ideal and c-prime fuzzy ideal of a nearring. We characterize these fuzzy ideals using level subsets and fuzzy points. If f: N &rarr; M is an onto nearring homomorphism, we show that the map defines a one-to-one correspondence between the set of all f-invariant (alternatively with sup property) equiprime (3-prime and c-prime, respectively) fuzzy ideals of N and the set of all equiprime (3-prime and c-prime, respectively) fuzzy ideals of M. Finally, we define fuzzy cosets determined by generalized fuzzy ideals; obtain fundamental results and isomorphism theorems.
SAS 9.2 SQL Procedure User's Guide
Authors: SAS Publishing
Venue:  (2008)

Describes the basics of using PROC SQL, including retrieving data from single and multiple tables; selecting specific data from tables; subsetting, ordering, and summarizing data; updating tables; combining tables to create new tables and useful reports; performing queries on database management system (DBMS) tables; using PROC SQL with the SAS macro facility; and debugging and optimizing PROC SQL code.
Growth dynamics and characteristics of fabricated Fiber Bragg Grating using phase mask method
Authors: Ho Sze Phing, Jalil Ali, Rosly Abdul Rahman, Saktioto
Venue: Microelectronics Journal (2009)

In this paper, Fiber Bragg Gratings (FBGs) are written by photoinduced refractive index changes in optical fibers. Experimental setup and results are presented to show the growth dynamics and the characteristics of the FBG that are written using phase mask method with different exposure time. In this paper, the effect of various UV exposure times and pulse energy during fabrication onto the reflectivity and Bragg wavelength has been defined.
Spatial Factors Affecting User's Perception in Map Simplification: An Empirical Analysis
Authors: Vincenzo Fatto, Luca Paolino, Monica Sebillo, Giuliana Vitiello, Genoveffa Tortora
Venue: Proceedings of the 8th International Symposium on Web and Wireless Geographical Information Systems (2008)

In this paper, we describe an empirical study we conducted on the application of a simplification algorithm, meant to understand which factors affect the human's perception of map changes. In the study, three main factors have been taken into account, namely Number of Polygons, Number of Vertices and Screen Resolution. An analysis of variance (ANOVA) test has been applied in order to compute such evaluations. As a result, number of vertices and screen resolution turn out to be effective factors influencing the human's perception while number of polygons as well as interaction among the factors do not have any impact on the measure.
PowerNap: eliminating server idle power
Authors: David Meisner, Brian T. Gold, Thomas F. Wenisch
Venue: ACM SIGPLAN Notices (2009)

Data center power consumption is growing to unprecedented levels: the EPA estimates U.S. data centers will consume 100 billion kilowatt hours annually by 2011. Much of this energy is wasted in idle systems: in typical deployments, server utilization is below 30%, but idle servers still consume 60% of their peak power draw. Typical idle periods though frequent--last seconds or less, confounding simple energy-conservation approaches. In this paper, we propose PowerNap, an energy-conservation approach where the entire system transitions rapidly between a high-performance active state and a near-zero-power idle state in response to instantaneous load. Rather than requiring fine-grained power-performance states and complex load-proportional operation from each system component, PowerNap instead calls for minimizing idle power and transition time, which are simpler optimization goals. Based on the PowerNap concept, we develop requirements and outline mechanisms to eliminate idle power waste in enterprise blade servers. Because PowerNap operates in low-efficiency regions of current blade center power supplies, we introduce the Redundant Array for Inexpensive Load Sharing (RAILS), a power provisioning approach that provides high conversion efficiency across the entire range of PowerNap's power demands. Using utilization traces collected from enterprise-scale commercial deployments, we demonstrate that, together, PowerNap and RAILS reduce average server power consumption by 74%.
Rediscovering the passion, beauty, joy, and awe: making computing fun again, continued
Authors: Daniel D. Garcia, Robb Cutler, Zachary Dodds, Eric Roberts, Alison Young
Venue: ACM SIGCSE Bulletin (2009)

At the SIGCSE Symposium in 2007, the ACM Education Board organized a well-attended special session exploring the crisis in computing education and its underlying causes. The idea behind the session was to provide a forum at which a larger and more broadly representative subset of the education community could engage in direct dialogue with the members of the ACM Education Board and Education Council, who are charged with developing educational policy for the ACM as a whole. Last year, we extended that dialogue and explored concrete strategies for emphasizing the "passion, beauty, joy, and awe" (PBJA) of computing about which Grady Booch spoke so eloquently in his 2007 keynote address. The extremely positive feedback we received served as motivation to continue the discussion this year, to allow us to hear from new voices and receive updates on the current state of the crisis. It is increasingly clear that students today find less joy in the process of creating software than their predecessors did a generation ago. At the same time, these skills have become increasingly important, forcing companies to cast an ever widening net in their search for people with the necessary skills and training. Continued progress in the computing disciplines--and indeed the economic health of a society that relies increasingly on computing technology--can continue only if we can encourage an even larger number of students to pursue the many opportunities that careers in computing provide.
Experimental investigation of nonlinear effects of submicro-diameter optical fiber
Authors: Z. Q. Ye, F. Ye, X. J. Zhang
Venue: Proceedings of the 2008 International Conference on Advanced Infocomm Technology (2008)

Nonlinear effects of submicro-diameter optic fiber were investigated by experiment. The results show that submicro-diameter optic fiber has smaller nonlinear threshold value, more nonlinear spectral lines than the common optical fiber, which is highly important to weak light optical fiber communication and the design of fiber optic sensors.
Observer-invariant histopathology using genetics-based machine learning
Authors: Xavier Llorà, Anusha Priya, Rohit Bhargava
Venue: Natural Computing: an international journal (2009)

Prostate cancer accounts for one-third of noncutaneous cancers diagnosed in US men and is a leading cause of cancer-related death. Advances in Fourier transform infrared spectroscopic imaging now provide very large data sets describing both the structural and local chemical properties of cells within prostate tissue. Uniting spectroscopic imaging data and computer-aided diagnoses (CADx), our long term goal is to provide a new approach to pathology by automating the recognition of cancer in complex tissue. The first step toward the creation of such CADx tools requires mechanisms for automatically learning to classify tissue types--a key step on the diagnosis process. Here we demonstrate that genetics-based machine learning (GBML) can be used to approach such a problem. However, to efficiently analyze this problem there is a need to develop efficient and scalable GBML implementations that are able to process very large data sets. In this paper, we propose and validate an efficient GBML technique-- $${\tt NAX}$$ --based on an incremental genetics-based rule learner. $${\tt NAX}$$ exploits massive parallelisms via the message passing interface (MPI) and efficient rule-matching using hardware-implemented operations. Results demonstrate that $${\tt NAX}$$ is capable of performing prostate tissue classification efficiently, making a compelling case for using GBML implementations as efficient and powerful tools for biomedical image processing.
Integrated object-oriented framework-based testing environment
Authors: Jehad Al Dallal
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

Object-oriented frameworks provide reusable design, implementation, and testing for a family of software systems. Several non-integrated testing techniques are introduced to test the frameworks and their applications at different engineering stages and testing levels. This paper introduces an environment in which four framework-based testing techniques are integrated. The testing techniques are originally introduced to test the framework and hooks during the domain engineering stage, and to re-test the framework and test the framework interface classes during the application engineering stage. The integration is proposed in such a way that the testing redundancy is minimized and the testing reusability is maximized.
Tolerating process variations in high-level synthesis using transparent latches
Authors: Yibo Chen, Yuan Xie
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

Considering process variability at the behavior synthesis level is necessary, because it makes some instances of function units slower and others faster, resulting in unbalanced control steps and reducing the attainable frequency of the circuit. To tackle this problem, this paper proposes a methodology to replace the edge-trigged flip-flops by transparent latches, to exploit latches' extra ability of passing time slacks and tolerating delay variations. In the paper we first define the timing yield in high-level synthesis, and then present how to replace flip-flops with latches to improve timing yield and mitigate the impact of process variations. We then discuss the benefits and overheads for the replacement, and propose an optimization framework for latch replacement in high-level synthesis design flow. Experimental results show that the latch-based design can achieve an average of 27% improvement of timing yield compared with traditional flip-flop based design.
Exploring the relationships between work task and search task in information search
Authors: Yuelin Li
Venue: Journal of the American Society for Information Science and Technology (2009)

To provide a basis for making predictions of the characteristics of search task (ST), based on work task (WT), and to explore the nature of WT and ST, this study examines the relationships between WT and ST (inter-relationships) and the relationships between the different facets of both WT and ST (intra-relationships), respectively. A faceted classification of task was used to conceptualize work task and search task. Twenty-four pairs of work tasks and their associated search tasks were collected, by semistructured interviews, and classified based on the classification. The results indicate that work task shapes different facets or sub-facets of its associated search tasks to different degrees. Several sub-facets of search task, such as Time (Length), Objective task complexity, and Subjective task complexity, are most strongly affected by work task. The results demonstrate that it is necessary to consider difficulty and complexity as different constructs when investigating their influence on information search behavior. The exploration of intra-relationships illustrates the difference of work task and search task in their nature. The findings provide empirical evidence to support the view that work task and search task are multi-faceted variables and their different effects on users' information search behavior should be examined. &copy; 2009 Wiley Periodicals, Inc.
Composing architectural aspects based on style semantics
Authors: Christina Chavez, Alessandro Garcia, Thais Batista, Marcel Oliveira, Claudio Sant'Anna, Awais Rashid
Venue: Proceedings of the 8th ACM international conference on Aspect-oriented software development (2009)

The lack of architecturally-significant mechanisms for aspectual composition might artificially hinder the specification of stable and reusable design aspects. Current aspect-oriented approaches at the architecture-level tend to mimic programming language join point models while overlooking mainstream architectural concepts such as styles and their semantics. Syntax-based pointcuts are typically used to select join points based on the names of architectural elements, exposing architecture descriptions to pointcut fragility and reusability problems. This paper presents style-based composition, a new flavor of aspect composition at the architectural level based on architectural styles. We propose style-based join point models and provide a pointcut language that supports the selection of join points based on style-constrained architectural models. Stability and reusability assessments of the proposed style-based composition model were carried out through three case studies involving different styles. The interplay of style-based pointcuts and some style composition techniques is also discussed.
Automated abstraction by incremental refinement in interpolant-based model checking
Authors: G. Cabodi, P. Camurati, M. Murciano
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

This paper addresses the field of Unbounded Model Checking (UMC) based on SAT engines, where Craig interpolants have recently gained wide acceptance as an automated abstraction technique. We start from the observation that interpolants can be quite effective on large verification instances. As they operate on SAT-generated refutation proofs, interpolants are very good at automatically abstract facts that are not significant for proofs. In this work, we push forward the new idea of generating abstractions without resorting to SAT proofs, and to accept (reject) abstractions whenever they (do not) fulfill given adequacy constraints. We propose an integrated approach smoothly combining the capabilities of interpolation with abstraction and over-approximation techniques, that do not directly derive from SAT refutation proofs. The driving idea of this combination is to incrementally generate, by refinement, an abstract (over-approximate) image, built up from equivalences, implications, ternary and localization abstraction, then (eventually) from SAT refutation proofs. Experimental results, derived from the verification of hard problems, show the robustness of our approach.
Programmable transitions for video stream editing
Authors: Alexandre Hardy
Venue: Proceedings of the 6th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa (2009)

Video editing applications provide a facility to transition from one video stream to another, or to filter a video stream in some way. New transitions are usually developed using a custom API for the particular package. In this article we present a shading language for specifying transitions and filters on video streams. Video editing is performed by constructing a tree based on the transitions. The shading language is compiled to a virtual machine, but can still be executed efficiently. We provide several examples of transitions which have been successfully applied using our video stream editing software.
System-level exploration tool for energy-aware memory management in the design of multidimensional signal processing systems
Authors: Florin Balasa, Ilie I. Luican, Hongwei Zhu, Doru V. Nasui
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

Many signal processing systems, particularly in the multimedia and telecom domains, are synthesized to execute data-dominated applications. In such systems, data transfer and storage have a significant impact on both the system performance and the major cost parameters -- power consumption and chip area. This paper presents a software tool for system-level exploration, where several memory management tasks are addressed in a common theoretical framework. The tool can compute the minimum storage requirement of a given application and can produce the graph of storage variation during the code execution; it offers memory allocation and signal assignment solutions both for flat and hierarchical organizations and optimizes the dynamic energy consumption in the memory subsystem.
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
Authors: Guido Boella, Jan Broersen, Leendert Torre
Venue: Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems (2008)

Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multi-agent system. In earlier work we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time. In this paper we consider constitutive norms and the detached counts-as conditionals and institutional facts in this framework, we introduce deadlines in the regulative norms, and we consider the corresponding role of violations. We focus on the reasoning tasks to determine whether a constitutive or regulative norm is redundant in a normative system and whether two normative systems are equivalent. We distinguish counts-as equivalence, institutional equivalence, obligation equivalence and violation equivalence, depending on whether we are interested in all normative consequences, or only a subset of them. For the various notions of equivalence, we give sound and complete characterizations.
Template Based Recovery of Fourier-Based Watermarks Using Log-polar and Log-log Maps
Authors: Shelby Pereira, Joseph J. K. O. Ruanaidh, Frederic Deguillaume, Gabriela Csurka, Thierry Pun, Joseph J. K. O. Ruanaidh
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

Digital watermarks have been proposed as a method for discouraging illicit copying and distribution of copyrighted material. This paper describes a method for the secure and robust copyright protection of digital images. We present an approach for embedding a digital watermark into an image using the fast Fourier transform. To this watermark is added a template in the Fourier transform domain to render the method robust against rotations and scaling, or aspect ratio changes. We detail a new algorithm based on the log-polar or log-log maps for the accurate and efficient recovery of the template in a rotated and scaled image. We also present results which demonstrate the robustness of the method against some common image processing operations such as compression, rotation, scaling and aspect ratio changes.