ppxscal/embedding_network huggingface dataset:
Block flipping and white space distribution for wirelength minimization
Authors: Chiu-Wing Sham, Evangeline F. Y. Young
Venue: Integration, the VLSI Journal (2009)

Floorplanning plays an important role in the physical design of very large scale integration (VLSI) circuits. Traditional floorplanners use heuristics to optimize a floorplan based on multiple objectives. Besides traditional floorplanning approaches, some post-floorplanning steps can be applied to consider block flipping, pin assignment and white space distribution to optimize the performance. If we can consider the above three optimizations simultaneously as a post-floorplanning step, the total wirelength can be further reduced without modifying the original floorplan topology. Experimental results show that our approach can handle these issues simultaneously and wirelength can be further improved with a small penalty in runtime. Thus, this approach is highly desirable to be incorporated into a floorplanner as a post-processing step for wirelength optimization.
The Minimum Substring Cover problem
Authors: Danny Hermelin, Dror Rawitz, Romeo Rizzi, Stéphane Vialette
Venue: Information and Computation (2008)

In this paper, we consider the problem of covering a set of strings S with a set C of substrings in S, where C is said to cover S if every string in S can be written as a concatenation of the substrings in C. We discuss applications for the problem that arise in the context of computational biology and formal language theory. We then proceed to show several hardness of approximation results for the problem, and in the main part of the paper, we focus on devising approximation algorithms using two generic paradigms-the local-ratio technique and linear programming rounding.
Information behavior and value creation potential of information capital: Mediating role of organizational learning
Authors: Mei-Chi Lai, Yu-Tzu Lin, Lee-Hsuan Lin, Wei-Kang Wang, Hao-Chen Huang
Venue: Expert Systems with Applications: An International Journal (2009)

This work draws on recent literature concerning information capital and organizational learning to explore how this may affect information behavior and value (IBV) of the healthcare industry in an emerging economy. Whether organizational learning mediates the relationships between information capital and both information behavior and information value (IBV) is also examined. Additionally, a parsimonious and plausible empirical model is proposed to examine the links among contextual variables. Data are collected from full-time medical staff of medical centers in Taiwan, including physicians and nurses. To clarify the relationships among these variables, structural equation modeling (SEM) is conducted to examine the model fit and three hypotheses. The SEM results clearly demonstrate the mediating role of organizational learning in the impact of information capital on both information behavior and information value. Consequently, organizational learning leads to appropriate information behavior and information value (that is, information sharing and information integrity, respectively) only when integrated with organizational learning and information capital for healthcare organizations.
A Method for Searching Keyword-Lacking Files Based on Interfile Relationships
Authors: Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
Venue: Proceedings of the OTM Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: 2008 Workshops: ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS (2008)

Traditional full-text searches cannot search keyword-lacking files, even if the files are related to the keywords. In this paper, we propose a method for searching keyword-lacking files named FRIDAL (File Retrieval by Interfile relationships Derived from Access Logs). The proposed method derives interfile relationship information from file access logs in the file server, based on the concept that those files opened by a user in a particular time period are related.
Simulink®-based heterogeneous multiprocessor SoC design flow for mixed hardware/software refinement and simulation
Authors: Sang-Il Han, Soo-Ik Chae, Lisane Brisolara, Luigi Carro, Katalin Popovici, Xavier Guerin, Ahmed A. Jerraya, Kai Huang, Lei Li, Xiaolang Yan
Venue: Integration, the VLSI Journal (2009)

As a solution for dealing with the design complexity of multiprocessor SoC architectures, we present a joint Simulink-SystemC design flow that enables mixed hardware/software refinement and simulation in the early design process. First, we introduce the Simulink combined algorithm/architecture model (CAAM) unifying the algorithm and the abstract target architecture. From the Simulink CAAM, a hardware architecture generator produces architecture models at three different abstract levels, enabling a trade-off between simulation time and accuracy. A multithread code generator produces memory-efficient multithreaded programs to be executed on the architecture models. To show the applicability of the proposed design flow, we present experimental results on two real video applications.
Simulation of atmospheric binary mixtures based on two-fluid model
Authors: Shiguang Liu, Zhangye Wang, Zheng Gong, Qunsheng Peng
Venue: Graphical Models (2008)

Atmospheric binary mixtures such as tornado, sandstorm are common natural phenomena in our daily life. There are two fluid systems in these phenomena, which are air flow (wind field) and dust particle flow. Due to the complex mechanism of two fluid systems and the interaction between them, few works have been done on simulating these phenomena. In this paper, for the first time, we have simulated such two fluid phenomena under a unified framework by a Reynolds-average two-fluid model (RATFM) based on the Navier-Stokes equations. In RATFM, the air flow and dust particle flow are simulated accurately by two different Navier-Stokes equations, respectively. The interaction between two fluids is also simulated by introducing an interaction force. Then, a RATFM solver on GPU is designed to achieve fast simulation. In addition, multiple scattering effects of the participating media are considered for realistic rendering.
Theoretical and practical aspects for study and optimization of the aircrafts' electro energetic systems
Authors: Nicolae Jula, Lungu Mihai, Tudor Ursu, Costin Cepisca, Ciprian Racuciu, Dan Raducanu
Venue: WSEAS Transactions on Circuits and Systems (2008)

The paper presents a concrete case of an actual aircraft electric power system analysis. Using the Boolean logical structures we define a conceptual fault tree. The fault tree will express all the combination of factors that can lead to system failure in the onboard electric system. The further on analysis rely on AND -OR logic elements, and the goal is to improve the fault-tolerance behavior of the system. The examples and numeric figures are for a c.c. electric power system of an operational aircraft.
Retrieval of atmospheric and oceanic properties from MERIS measurements: A new Case-2 water processor for BEAM
Authors: Th. Schroeder, M. Schaale, J. Fischer
Venue: International Journal of Remote Sensing (2007)

A freely available data processor for the B asic E RS & ENVISAT ( A )ATSR and M ERIS Toolbox (BEAM) was developed to retrieve atmospheric and oceanic properties above and of Case-2 waters from Medium Resolution Imaging Spectrometer (MERIS) Level1b data. The processor was especially designed for European coastal waters and uses MERIS Level1b Top-Of-Atmosphere (TOA) radiances to retrieve atmospherically corrected remote sensing reflectances at the Bottom-Of-Atmosphere (BOA), spectral aerosol optical thicknesses (AOT) and the concentration of three water constituents, namely chlorophyll-a (CHL), total suspended matter (TSM) and the absorption of yellow substance at 443 nm (YEL). The retrieval is based on four separate artificial neural networks which were trained on the basis of the results of extensive radiative transfer (RT) simulations by taking various atmospheric and oceanic conditions into account. The accuracy of the retrievals was acquired by comparisons with concurrent in situ ground measurements and was published in full detail elsewhere. For the remote sensing reflectance product a mean absolute percentage error (MAPE) of 18% was derived within the spectral range 412.5-708.75 nm while the accuracy of the AOT at 550 nm in terms of MAPE was calculated to be 40%. The accuracies for CHL, TSM and YEL were derived from match-up analysis with MAPEs of 50%, 60% and 71%, respectively.
Finding the optimal quantum size: Sensitivity analysis of the M/G/1 round-robin queue
Authors: Varun Gupta
Venue: ACM SIGMETRICS Performance Evaluation Review (2008)

We consider the round robin (RR) scheduling policy where the server processes each job in its buffer for at most a fixed quantum, q, in a round-robin fashion. The processor sharing (PS) policy is an idealization of the quantum-based round-robin scheduling in the limit where the quantum size becomes infinitesimal, and has been the subject of many papers. It is well known that the mean response time in an M/G/1/PS queue depends on the job size distribution via only its mean. However, almost no explicit results are available for the round-robin policy. For example, how does the variability of job sizes affect the mean response time in an M/G/1/RR queue? How does one choose the optimal quantum size in the presence of switching overheads? In this paper we present some preliminary answers to these fundamental questions.
A reactive GRASP for a commercial territory design problem with multiple balancing requirements
Authors: Roger Z. Ríos-Mercado, Elena Fernández
Venue: Computers and Operations Research (2009)

In this paper we present a reactive GRASP approach to a commercial territory design problem motivated by a real-world application in a beverage distribution firm. The mathematical framework includes, as planning criteria, minimizing a measure of territory dispersion, balancing the different node activity measures among territories and territory contiguity. The proposed GRASP approach incorporates several features such as reactivity, by allowing self-adjustment of the restricted candidate list quality parameter, and filtering, which avoids executing the local search phase in unpromising bad solutions generated by the construction phase. The algorithm has been tested in several data sets. The results show the effectiveness of the proposed approach. It was observed that the reactivity and the filtering proved very useful in terms of feasibility with respect to the balancing constraints, and find more robust solutions when tested over the basic GRASP. The local search scheme proved to be very effective as well. Moreover, the proposed approach obtained solutions of much better quality (in terms of both its dispersion measure and its feasibility with respect to the balancing constraints) than those found by the firm method in relatively fast computation times.
Affine invariant object shape matching using genetic algorithm with multi-parent orthogonal recombination and migrant principle
Authors: Angus Wu, P. W. M. Tsang, T. Y. F. Yuen, L. F. Yeung
Venue: Applied Soft Computing (2009)

Genetic algorithm has served as a viable means for object shape matching. However, the success rate of correctly matching a pair of contours is generally low and inconsistent. In this paper a novel scheme based on the integration of two techniques: the migrant principle and multi-parent orthogonal recombination, are introduced to alleviate the problem. The proposed algorithm has been evaluated with object contours that are captured under good lighting condition, as well as images that have been contaminated with noise. In both cases experimental results revealed that the proposed method exhibited superior performance over its peers in terms of stability, speed, and success rate.
Estimation of mechanical parameters of deformable solids from&#x00a0;videos
Authors: C&#x00e9;dric Syllebranque, Samuel Boivin
Venue: The Visual Computer: International Journal of Computer Graphics (2008)

In this paper, we present a new method to estimate the mechanical parameters of soft bodies directly from videos of solids getting deformed under external user action. Our method requires one standard camera, a deformable solid made of homogeneous material, and a regular light source. We make estimations using an inverse method based on a quasi-static FEM simulation and a visual error metric. The result is a set of two parameters, the Young modulus and the Poisson ratio, that can be used for more complex simulations, or force feedback applications like virtual surgery, for example. We also present a new device for capturing the external forces applied on the deformable solids.
Comparing the spatial content of thematic maps
Authors: W. G. Rees
Venue: International Journal of Remote Sensing (2008)

Measures of categorical association can be used to assess the degree of similarity between two thematic maps, having regard to the spatial distribution of map classes but not to the identity of the classes. Such measures can be used, for example, to compare maps that use different classification schemes, or to identify misregistration between maps. The theory of these measures and their relationship to measures of categorical agreement are discussed. Three representative measures of categorical association are investigated quantitatively using various categorical maps, including maps generated by classification of satellite images, of a study area in the Russian north. On the basis of this investigation, it is suggested that Cramer's V statistic provides a simple but effective measure of the similarity in the spatial content of maps.
An Efficient Algorithm for Workflow Graph Structural Verification
Authors: Fodé Touré, Karim Baïna, Khalid Benali
Venue: Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems: (2008)

Any big enterprise is organized around business process having a value towards its customers and its products. Appropriate definition, analysis, checking and improvement of those business process models are indispensable before their deployment within workflow management systems. In this paper, we focus on business process model verification that insures business process structural correctness. Our proposal consist in a new efficient hybrid algorithm of workflow graph structural validation combining graph reduction and traversal mechanisms. Our algorithm will be disussed and compared to existing workflow structural checking approaches from completeness and performance points of view.
Stability of tensor product B-splines on domains
Authors: Bernhard Mößner, Ulrich Reif
Venue: Journal of Approximation Theory (2008)

We construct a uniformly stable family of bases for tensor product spline approximation on domains in R^d. These bases are derived from the standard B-spline basis by normalization with respect to the L^p-norm and a selection process relying on refined estimates for the de Boor-Fix functionals.
Using ePortfolios Enhancing for Learning through Computer-Mediated Interaction in a Course on HCI
Authors: Sonja Kabicher, Simone Kriglstein, Kathrin Figl, Renate Motschnig-Pitrik
Venue: Proceedings of the 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for Education and Work (2008)

Web-services have established their role as facilitating tools for interactive and collaborative learning that supports social knowledge construction. In particular, ePortfolios are gaining importance in supporting the learning process and students' reflection. This motivated us to introduce and investigate an interactive mode in an academic course on Human---Computer Interaction (HCI) that adopted ePortfolio or diary-services, interactive spaces for team projects, and personal as well as interpersonal reflection. The qualitative content analysis of the ePortfolio entries illuminates those aspects in the learning process that were unique due to the computer-mediated interaction offerings in the course.
Spatial retrieval of soil reflectance from SPOT multispectral data using the empirical line method
Authors: E. Vaudour, J. Moeys, J. M. Gilliot, Y. Coquet
Venue: International Journal of Remote Sensing (2008)

The use of empirical relationships to calibrate remotely sensed data has been reported by many authors, but few studies have been devoted to the specific retrieval of soil reflectance and most studies have used two calibration targets only, using few ( = 5) validation targets to assess the error in the empirical relationships. Absolute corrections based on empirical line methods have seldom been applied to satellite data, particularly Satellite pour l'Observation de la Terre (SPOT) images. In this study, which deals with bare cultivated soils, the empirical line method was used to retrieve soil reflectance from three programmed SPOT satellite images with 20 m and 10 m resolution based on independent sets of 8 calibration and 15 validation field targets of bare soil. The empirical line method was applied to orthorectified images with digital number (DN) values interpolated both with the cubic convolution and the nearest neighbour interpolation mode. Root mean squared errors (RMSEs) between corrected and measured values at calibration sites were lower than 0.56% for the two visible bands and ranged between 0.61% and 1.97% for the near-infrared band, whereas at all validation sites they were mostly lower than 2.5% except for most near-infrared bands. Such accurate results have been facilitated both by the flat topographical conditions of the Beauce region (Western Parisian Basin, France) and the homogeneous sky conditions in a small study area (2500 ha). Differences in illumination conditions in both orbital and field cases did not appear to affect the results dramatically, which suggest that even oblique viewing images can be used for such correction. Errors could also be due to changes in soil moisture and roughness related to soil management practices, or slight vegetation growth over the end of the study period. Due to spatial error, the 20-m resolution with cubic convolution mode led to a much lower performance than the 10-m images with either interpolation modes. The achieved results are generalizable to European sedimentary basins with loess deposits, where similar soils and topographic conditions are to be found over thousands of km2.
On absolute stability of discrete systems
Authors: A. I. Barkin
Venue: Automation and Remote Control (2008)

Modernization is considered of the criterion of absolute stability of discrete systems [1, 2], which uses the method of quadratic transformation of the state vector. The modernization aim is to obtain the criterion form that does not explicitly depend on the notions of this method. The new formulation permits performing all calculations in the space of the initial dimension, which reduces the complexity of the problem solution. This work represents the development of the approach suggested in [3] for continuous systems.
An ontology-based cluster analysis framework
Authors: Paweł Lula, Grażyna Paliwoda-Pękosz
Venue: Proceedings of the first international workshop on Ontology-supported business intelligence (2008)

The main objectives of this paper is to propose a conceptual and software environment in which different aspects of cluster analysis of ontology-based data could be studied. The ontology-based dataset has two core components: description of categories and description of objects and relationships between them. Similarity between objects is defined as an amalgamation function of taxonomic, relationship and attribute similarity. The different measures to calculate similarity can be used. Further research is needed in order to evaluate these measures. The creation of a software tool which allows for classification of ontology-based data and comprehensive analysis of results is essential for the research in the area of ontology-based data mining. Such a tool should be universal, extensible and open. The universality manifests itself in the possibility of processing any data sets described by OWL tailored to meet individual requirements. The system extensibility means that it can be enriched with new elements without the necessity of making changes in its main elements. The openness enables the communications with other data analysis systems. In the paper theoretical aspects of cluster analysis of ontology-based data sets are presented. Next, a framework of cluster analysis system is outlined. Finally, some technical details of the system implementation are discussed.
A Random Bag Preserving Product Operation
Authors: Michel Schellekens
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

The author's current research programme is the development of a modular calculus for the average-cost of data structuring. This modular calculus provides a novel foundation for the analysis of algorithms. Its applicability to the analysis of algorithms has been demonstrated at the Center for Efficiency-Oriented Languages (CEOL) through the design of the novel programming language MOQA and the associated average-case analysis tool DISTRI-TRACK [M. Schellekens, D. Hickey and G. Bollella, ACETT, a Linearly-Compositional Programming Language for (semi-)automated Average-Case analysis, IEEE Real-Time Systems Symposium - Work In Progress Session, 2004; M. Boubekeur, D. Hickey, J. Mc Enery and M. Schellekens, A new Approach for Modular Average-Case Timing of Real-Time Java Programs, Accepted for publication in WSEAS Transactions on Computers, 2007; M. Boubekeur, D. Hickey, J. Mc Enery and M. Schellekens, Towards Modular Average-Case Timing in Real-Time Languages: An Application to Real-Time Java, Accepted for publication on the 6th WSEAS International Conference on APPLIED COMPUTER SCIENCE (ACS'06), Tenerife, December, 2006; M. Schellekens, A Modular Calculus for the Average Cost of Data Structuring, Springer book to appear, 250 pages, May 2008 (to appear), M. Schellekens, Compositional Average-Case Analysis, preprint, under review, 2006]. Modular computations of the average cost of data structuring are possible through the fundamental notion of random bag preservation. Random bag preserving operations enable the constructive tracking of the data and the distribution of the data states during a MOQA computation. This in turn enables the (semi-)automated derivation of the average cost of the operations. Two fundamental MOQA operations enable the creation and destruction of data structures: the MOQA product operation, which is the subject of this paper, and the MOQA delete operation, which forms the subject of [M. Schellekens, Compositional Average-Case Analysis, preprint, under review, 2006]. The introduction of the entire MOQA language is well beyond the scope of this paper and will be reported in a book [M. Schellekens, A Modular Calculus for the Average Cost of Data Structuring, Springer book to appear, 250 pages, May 2008 (to appear)]. The language has been implemented at CEOL and automated derivations of average-cost of data structuring are under way. Here we report on a (simplified) version of the fundamental notion of random bag preservation and demonstrate that the central MOQA product operation possesses this crucial property.