ppxscal/embedding_network huggingface dataset:
Plenary lecture VII: system dynamics models for business process optimization: an application to supply chain management
Authors: Roberto Revetria
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

In today's global market, managing the entire supply chain becomes a key factor for the successful business. World-class organizations now realize that non-integrated manufacturing processes, nonintegrated distribution processes and poor relationships with suppliers and customers are inadequate for their success. They realize the impact of an organization's plan on the other areas of the supply chain. The impact of an organization's plan on the whole supply chain is unpredictable before its execution. That's why system dynamics models are constructed in order to prognosticate and visualize the behavior of of the system and to improve its performance. The use of System Dynamics Modelling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply chain management focuses on inventory decision and policy development, time compression, demand amplification, supply chain design, and international supply chain management. Computer simulations are widely used to analyse supply chain dynamics. It is too complex to manage an entire inventory by mathematical analysis because more than two echelons are involved and the inventory management is usually carried out with the aid of computer simulation (Ballou, 1992). Computer simulations can be divided into the static and dynamics models. The primary difference between them is the way in which they treat timerelated events. Static simulations do not pay enough attention to time-period interplay but the dynamic simulationsevaluate system performance across time (Bowersox, Closs, & Helferich, 1986). Simulation permits the evaluation of operating performance prior to the execution of a plan. In the practical application of this concept, the development of the simulation model for the supply chain management has become a necessity. There are different types of computer software for simulations like Dynamo, iThink/Stella, PowerSim, Vensim, AnyLogic, Berkely Madonna, etc. It is possible to perform good system dynamics work with all the above mentioned programs, however in our case we use Berkely MAdonna, developed by Robert Macey and George Oster of the University of California at Berkely under the sponsership of NSF and NIH.
GigaVoxels: ray-guided streaming for efficient and detailed voxel rendering
Authors: Cyril Crassin, Fabrice Neyret, Sylvain Lefebvre, Elmar Eisemann
Venue: Proceedings of the 2009 symposium on Interactive 3D graphics and games (2009)

We propose a new approach to efficiently render large volumetric data sets. The system achieves interactive to real-time rendering performance for several billion voxels. Our solution is based on an adaptive data representation depending on the current view and occlusion information, coupled to an efficient ray-casting rendering algorithm. One key element of our method is to guide data production and streaming directly based on information extracted during rendering. Our data structure exploits the fact that in CG scenes, details are often concentrated on the interface between free space and clusters of density and shows that volumetric models might become a valuable alternative as a rendering primitive for real-time applications. In this spirit, we allow a quality/performance trade-off and exploit temporal coherence. We also introduce a mipmapping-like process that allows for an increased display rate and better quality through high quality filtering. To further enrich the data set, we create additional details through a variety of procedural methods. We demonstrate our approach in several scenarios, like the exploration of a 3D scan (81923 resolution), of hypertextured meshes (163843 virtual resolution), or of a fractal (theoretically infinite resolution). All examples are rendered on current generation hardware at 20--90 fps and respect the limited GPU memory budget.
Empirical evaluation in Computer Science research published by ACM
Authors: Jacques Wainer, Claudia G. Novoa Barsottini, Danilo Lacerda, Leandro Rodrigues Magalhães de Marco
Venue: Information and Software Technology (2009)

This paper repeats part of the analysis performed in the 1995 paper ''Experimental evaluation in Computer Science: a quantitative study'' by Tichy and collaborators, for 147 papers randomly selected from the ACM, published in the year 2005. The papers published in 2005 are classified in the following way: 4% theory, 17% empirical, 4.7% hypothesis testing, 3.4% other, and 70% design and modeling (using the 1995 paper categories). Within the design and modeling class, 33% of the papers have no evaluation. The numbers of the 2005 sample are very similar to the original figures for the 1995 sample, which shows that Computer Science research has not increased significantly its empirical or experimental component.
A RFID case-based logistics resource management system for managing order-picking operations in warehouses
Authors: T. C. Poon, K. L. Choy, Harry K. H. Chow, Henry C. W. Lau, Felix T. S. Chan, K. C. Ho
Venue: Expert Systems with Applications: An International Journal (2009)

In the supply chain, a warehouse is an essential component for linking the chain partners. It is necessary to allocate warehouse resources efficiently and effectively to enhance the productivity and reduce the operation costs of the warehouse. Therefore, warehouse management systems (WMSs) have been developed for handling warehouse resources and monitoring warehouse operations. However, it is difficult to update daily operations of inventory level, locations of forklifts and stock keeping units (SKUs) in real-time by using the bar-code-based or manual-based warehouse management systems. In this paper, RFID technology is adopted to facilitate the collection and sharing of data in a warehouse. Tests are performed for evaluating the reading performance of both the active and passive RFID apparatus. With the help of the testing results, the efficient radio frequency cover ranges of the readers are examined for formulating a radio frequency identification case-based logistics resource management system (R-LRMS). The capabilities of R-LRMS are demonstrated in GSL Limited. Three objectives are achieved: (i) a simplification of RFID adoption procedure, (ii) an improvement in the visibility of warehouse operations and (iii) an enhancement of the productivity of the warehouse. The successful case example proved the feasibility of R-LRMS in real working practice.
Hyman's method revisited
Authors: A. Galántai, C. J. Hegeds
Venue: Journal of Computational and Applied Mathematics (2009)

The QR algorithm is considered one of the most reliable methods for computing matrix eigenpairs. However, it is unable to detect multiple eigenvalues and Jordan blocks. Matlab's eigensolver returns heavily perturbed eigenvalues and eigenvectors in such cases and there is no hint for possible principal vectors. This paper calls attention to Hyman's method as it is applicable for computing principal vectors and higher derivatives of the characteristic polynomial that may help to estimate multiplicity, an important information for more reliable computation. We suggest a test matrix collection for Jordan blocks. The first numerical tests with these matrices reveal that the computational problems are deeper than expected at the beginning of this work.
Keeping CAI humane in the humanities
Authors: Helen J. Schwartz
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

Existing courseware in the humanities includes text feedback (such as readability formulas), drill and practice (such as grammar and punctuation drill), and tutorials (including tutoring in composition and poetry interpretation). Sample programs show limitations in hardware and the state of the art in programming and rhetoric can cause problems unless the instructor announces such limitations and uses them as a basis for instruction beyond the capabilities of the courseware. Tutorials should be open-ended and thoughtful in anticipating students' responses. In summary, CAI for the humanities should be designed to respect and build on the students' responses in order to serve their needs.
Quadratic spherical spline quasi-interpolants on Powell--Sabin partitions
Authors: A. Lamnii, H. Mraoui, D. Sbibih
Venue: Applied Numerical Mathematics (2009)

Spline quasi-interpolation methods are local tools approximating functions or discrete data. In this paper we deal with the problem of constructing quasi-interpolants in the space of quadratic spherical Powell-Sabin splines on uniform spherical triangulations of a sphere-like surface S. Discrete and differential quasi-interpolants of optimal approximation order are developed and numerical tests for illustrating theoretical results are presented.
Bringing design considerations to the mobile phone and driving debate
Authors: Leila Takayama, Jo Ann G. Sison, Brian Lathrop, Nicholas Wolfe, Abe Chiang, Alexia Nielsen, Clifford Nass
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Though legislation is increasingly discouraging drivers from holding on to their mobile phones while talking, hands-free devices do not improve driver safety. We offer two design alternatives to improve driver safety in the contexts of voice-based user interfaces and mobile phone conversations in cars' side tones (auditory feedback used in landline phones) and location of speakers. In a 2 (side tone: present vs. not) x 2 (location of speakers: headphones vs. dashboard) between-participants experiment (N=48), we investigated the impact of these features upon driver experience and performance on a simulated mobile phone conversation while driving. Participants became more verbally engaged in the conversation when side tones were present, but also experienced more cognitive load. Participants drove more safely when voices were projected from the dashboard rather than from headphones. Implications for driver user interface design are discussed.
Near-Field Mapping System to Scan in Time Domain the Magnetic Emissions of Integrated Circuits
Authors: Thomas Ordas, Mathieu Lisart, Etienne Sicard, Philippe Maurine, Lionel Torres
Venue: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers (2009)

This paper introduces a low cost near-field mapping system. This system scans automatically and dynamically, in the time domain, the magnetic field emitted by integrated circuits during the execution of a repetitive set of instructions. Application of this measurement system is given to an industrial chip designed with a 180nm CMOS process. This application demonstrates the efficiency of the system but also the helpfulness of the results obtained to identify paths followed by the current, enabling to locate the potential IR drop zones.
The Design of Guidance on Suborbital Reentry
Authors: Liaoni Wu, Yimin Huang, Jun Zhang
Venue: Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics (2009)

The guidance technique for suborbital reentry is discussed based on the flight characteristics and constraints of RLV. The suborbital reentry is divided by three sequential phases: Alpha Hold, Nz Hold and Alpha Transition. Firstly, the factors contributing to dynamic pressure rate are analyzed, and the guidance strategy is designed to arrest the sink rate to restrict dynamic pressure. Secondly, the alpha and normal acceleration commands are chosen, and the simulation result shows the structure and control constraints are well satisfied. Lastly, an automatic guidance method is present to adjust the alpha and Nz command based on keeping the maximum dynamic pressure near that of the nominal when initial altitude is uncertain.
Towards a Methodology for Semantic Business Process Modeling and Configuration
Authors: Ingo Weber, Jörg Hoffmann, Jan Mendling, Jörg Nitzsche
Venue: Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers (2009)

This paper discusses potential benefits from adding semantics to Business Process Management from a methodological point of view, with a focus on the Modeling and Configuration phases. For this purpose, in each of these phases the established activities are examined and new activities are suggested: Firstly, we suggest combining existing control flow validation techniques with semantic process validation techniques. Second, discovery and composition techniques can be used to find implementations, e.g. services (or combinations of services), for the implementation of process activities at modeling time. The discovered implementations allow for mapping the process steps to the IT infrastructure according to several strategies during process configuration, which helps clearly separating modeling from configuration concerns. Furthermore, a new way of testing executable process models is suggested.
Combining flexibility and scalability in a peer-to-peer publish/subscribe system
Authors: Chi Zhang, Arvind Krishnamurthy, Randolph Y. Wang, Jaswinder Pal Singh
Venue: Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware (2005)

The content-based publish/subscribe model has been adopted by many services to deliver data between distributed users based on application-specific semantics. Two key issues in such systems, the semantic expressiveness of content matching and the scalability of the matching mechanism, are often found to be in conflict due to the complexity associated with content matching. In this paper, we present a novel content-based publish/subscribe architecture based on peer-to-peer matching trees. The system achieves scalability by partitioning the responsibility of event matching to self-organized peers while allowing customizable matching functionalities. Experimental results using a variety of real world datasets demonstrate the scalability and flexibility of the system.
Hierarchical spanning tree network design with Nash genetic algorithm
Authors: Jong Ryul Kim, Jae Uk Lee, Jung-Bok Jo
Venue: Computers and Industrial Engineering (2009)

In this paper, we will propose a Nash genetic algorithm (Nash GA) for solving a hierarchical spanning tree network design problem, formulated as a bi-level programming problem. The proposed algorithm can be employed in designing the backbone topology in a hierarchical link-state (LS) routing domain. Because the well-designed backbone topology structure has a great impact on the overall routing performance in a hierarchical LS domain, the importance of this research is evident. The proposed algorithm is to find an optimal configuration of backbone network for backbone provider (BP) and distribution network for internet service provider (ISP), properly meeting two-aspect engineering goals: i.e., average message delay and connection costs. Also, it is assumed that there are the decision makers for BP and the decision makers for ISP join in the decision making process in order to non-cooperatively optimize the own objective function. From the experiment results, we can see clearly that our proposed algorithm can be employed in effectively designing the spanning tree network of hierarchical LS routing domain considering not only engineering aspects but also specific benefits from systematical layout of backbone network.
Feature Extraction Using Gabor-Filter and Recursive Fisher Linear Discriminant with Application in Fingerprint Identification
Authors: M. Dadgostar, P. R. Tabrizi, E. Fatemizadeh, H. Soltanian-Zadeh
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

Fingerprint is widely used in identification and verification systems. In this paper, we present a novel feature extraction method based on Gabor filter and Recursive Fisher Linear Discriminate (RFLD) algorithm, which is used for fingerprint identification. Our proposed method is assessed on images from the biolab database. Experimental results show that applying RFLD to a Gabor filter in four orientations, in comparison with Gabor filter and PCA transform, increases the identification accuracy from 85.2% to 95.2% by nearest cluster center point classifier with Leave-One-Out method. Also, it has shown that applying RFLD to a Gabor filter in four orientations, in comparison with Gabor filter and PCA transform, increases the identification accuracy from 81.9% to 100% by 3NN classifier. The proposed method has lower computational complexity and higher accuracy rates than conventional methods based on texture features.
Cascaded search for similar documents between mobile devices
Authors: Kristóf Csorba, István Vajk
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

This paper presents a novel method for searching documents which have similar topics to a given document set. It is designed for mobile device users to search for documents which have similar topic to the ones on the users own device. The algorithms are designed for slower processor and memory capacity, and small data traffic between the devices. These features allow the application in an environment of mobile devices like phones or PDA-s. The keyword list based topic comparison is enhanced with cascading, leading to a series of document searching elements specialized on documents not selected by previous stages. Details on the applied methods and experimental results are presented in this paper.
Designing user studies for security applications: a case study with wireless network configuration
Authors: Cynthia Kuo, Adrian Perrig, Jesse Walker
Venue: International Journal of Security and Networks (2009)

Spontaneous interactions between end users and devices are generally secured by human actions. Evaluating whether end users are able to perform these actions correctly can be challenging. Basic, textbook-style user study methods make assumptions that may not hold for security applications. In this piece, we outline five major user study assumptions. Using 802.11 network configuration as a case study, we also show how to adapt existing user study methods for evaluating security applications. We model how security experts might approach the configuration of their own home networks. Next, we combine several methods to design a study that pinpoints where end users encounter difficulties during configuration. Finally, we discuss the findings from our user study.
Efficient content-based video retrieval by mining temporal patterns
Authors: Ja-Hwung Su, Yu-Ting Huang, Vincent S. Tseng
Venue: Proceedings of the 9th International Workshop on Multimedia Data Mining: held in conjunction with the ACM SIGKDD 2008 (2008)

In recent years, multimedia content processing has become a hot topic with the rapid development of information technology and popularity of World Wide Web. Among the emerging research topics, content-based video retrieval is an attractive and challenging one since query-by-text cannot provide the users with good support in finding the desired videos effectively. In addition, query-by-image also fails in reducing the gap between the image and user's interest. In this paper, we propose an innovative method for achieving effective content-based video retrieval by mining the temporal patterns in the video contents. Based on the temporal patterns, an efficient indexing technique is proposed to reduce the computation cost in searching videos. Experimental results show that our approach delivers excellent performance for content-based video retrieval in terms of efficiency and effectiveness.
Calculating Inverse Filters for Speech Dereverberation
Authors: Masato Miyoshi, Marc Delcroix, Keisuke Kinoshita
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

Speech dereverberation is one of the most difficult tasks in acoustic signal processing. Of the various problems involved in this task, this paper highlights “over-whitening,” which flattens the characteristics of recovered speech. This distortion sometimes happens when inverse filters are directly calculated from microphone signals. This paper reviews two studies related to this problem. The first study shows the possibility of compensating for such over-whitening to achieve precise speech-dereverberation. The second study presents a new approach for approximating the original speech by removing the effect of late reflections from observed reverberant speech.
Optimal error estimates of the Fourier spectral method for a class of nonlocal, nonlinear dispersive wave equations
Authors: Zhenguo Deng, Heping Ma
Venue: Applied Numerical Mathematics (2009)

In this work, a Fourier spectral method for a class of nonlinear, nonlocal dispersive wave equations with periodic boundary conditions is analyzed. Optimal error estimates in H^1^/^2-norm are obtained for the both semi-discrete and fully discrete schemes.
Du crayon au stylo num&eacute;rique: influences des interpr&eacute;tations num&eacute;riques sur l'activit&eacute; graphique en t&acirc;ches de conception
Authors: Stéphane Safin, Roland Juchmes, Pierre Leclercq
Venue: Proceedings of the 20th International Conference of the Association Francophone d'Interaction Homme-Machine (2008)

Our reserach take place in the framework of the development of free-hand sketches softwares in architectural domain. In this paper, we study, in the preliminary stage of design, the activity of &laquo; neatening &raquo; drawings, i.e. transforming &laquo; rough &raquo; sketches in &laquo; clean &raquo; sketches. We try to identify modifications of this activity induced by a software environment. We observe four design activities and define operational conclusions for the development of architectural sketches softwares.
A Translation of Beta-binders in a Prioritized Pi-calculus
Authors: Igor Cappello, Paola Quaglia
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

A translation of Beta-binders in pi@ is presented. Beta-binders is a bio-inspired formalism that allows the modelling of processes wrapped into boundaries. No notion of enclosing compartment can instead be found in pi@, a dialect of the pi-calculus where actions are associated with a priority value driving their execution and where channel names can have a composite structure. As recently shown, pi@ is a suitable language for encoding both Bio-Ambients and Brane Calculi, two of the most well-known formalisms for modelling biological scenarios. The translation provided here, which comes together with results about the operational correspondence of Beta-binders processes and their encodings, goes in the direction of assessing pi@ as a platform for investigating the relative expressive power of various bio-inspired languages.
Modal tableaux for verifying stream authentication protocols
Authors: Mehmet A. Orgun, Guido Governatori, Chuchang Liu
Venue: Autonomous Agents and Multi-Agent Systems (2009)

To develop theories to specify and reason about various aspects of multi-agent systems, many researchers have proposed the use of modal logics such as belief logics, logics of knowledge, and logics of norms. As multi-agent systems operate in dynamic environments, there is also a need to model the evolution of multi-agent systems through time. In order to introduce a temporal dimension to a belief logic, we combine it with a linear-time temporal logic using a powerful technique called fibring for combining logics. We describe a labelled modal tableaux system for the resulting fibred belief logic (FL) which can be used to automatically verify correctness of inter-agent stream authentication protocols. With the resulting fibred belief logic and its associated modal tableaux, one is able to build theories of trust for the description of, and reasoning about, multi-agent systems operating in dynamic environments.