ppxscal/embedding_network huggingface dataset:
A 4-states algebraic solution to linear cellular automata synchronization
Authors: Jean-Baptiste Yunès
Venue: Information Processing Letters (2008)

In this paper, we aim to present a completely new solution to the firing squad synchronization problem based on Wolfram's rule 60. This solution solves the problem on an infinite number of lines but not all possible lines. The two remarkable properties are that the state complexity of it is the lowest possible, say 4 states and 32 transitions (we prove that no line of length n>=5 can be synchronized with only 3 states) and that the algorithm is no more based on geometric constructions but relies on some algebraic properties of the transition function. The solution is almost in minimal time: up to one unit of time.
On identifying the skills needed for software architects
Authors: Jack Downey, Muhammad Ali Babar
Venue: Proceedings of the first international workshop on Leadership and management in software architecture (2008)

This position paper claims that software architects need a unique set of skills that may be difficult to gain solely from academic qualifications and/or training courses. We believe that socio-cognitive factors and artifacts with which software engineers work have a vital role in identifying the skill-set for software architects. Based on social cognitive theory and an artifact-centric framework, we have designed an instrument to investigate the skills needed by software architects. We believe that such an instrument will enable researchers and practitioners to gather the skill-set information by considering the personal traits of software architects, their behaviors, and the organization they work in together with the artifacts they use. This paper explains how the different concepts of social cognitive theory and an artifact-centric framework can stimulate discussion with software architects in order to gather information about their skills. We also briefly describe our experience of using this instrument in a pilot study.
Explicit constructions of loops with commuting inner mappings
Authors: Aleš Drápal, Petr Vojtchovský
Venue: European Journal of Combinatorics (2008)

In 2004, Csorgo constructed a loop of nilpotency class three with abelian group of inner mappings. As of now, no other examples are known. We construct many such loops from groups of nilpotency class two by replacing the product xy with xyh in certain positions, where h is a central involution. The location of the replacements is ultimately governed by a symmetric trilinear alternating form.
Autonomic Computing in SQL Server
Authors: Abdul Mateen, Basit Raza, Tauqeer Hussain, M. M. Awais
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

With the growing size of enterprise data, the task of managing a database is becoming more and more complex as well as time-consuming. A database administrator spends most of his time in activities that can be made automatic. Also, scarcity of skilled database administrators have motivated the database industry to develop Autonomic Database Management Systems (ADBMS) which can alleviate many of the database administrators’ problems. These ADBMS may have one or more autonomic properties. In this paper, autonomic characteristics of Microsoft SQL Server are presented and analyzed to illustrate how self-managing behaviour of an ADBMS can reduce the workload of a DBA significantly. It has also been discussed which components of SQL Server are not fully autonomic and require Human Intervention. This provides the motivation for devising algorithms to further reduce the degree of human intervention still required in ADBMS.
Accelerated parallel texture optimization
Authors: Hao-Da Huang, Xin Tong, Wen-Cheng Wang
Venue: Journal of Computer Science and Technology (2007)

Texture optimization is a texture synthesis method that can efficiently reproduce various features of exemplar textures. However, its slow synthesis speed limits its usage in many interactive or real time applications. In this paper, we propose a parallel texture optimization algorithm to run on GPUs. In our algorithm, k-coherence search and principle component analysis (PCA) are used for hardware acceleration, and two acceleration techniques are further developed to speed up our GPU-based texture optimization. With a reasonable precomputation cost, the online synthesis speed of our algorithm is 4000+times faster than that of the original texture optimization algorithm and thus our algorithm is capable of interactive applications. The advantages of the new scheme are demonstrated by applying it to interactive editing of flow-guided synthesis.
The levitation controller design of an electromagnetic suspension vehicle using gain scheduled control
Authors: Min-Soo Kim, Yeun-Sub Byun, Young-Hoon Lee, Kwan-Sup Lee
Venue: Proceedings of the 5th WSEAS International Conference on Circuits, Systems, Electronics, Control & Signal Processing (2006)

Maglev vehicles constitute a new class of transport systems that has been constantly developed and improved to become a new alternative of comfortable and secure transport. These vehicles have suspension, propulsion and guidance systems based on magnetic forces. Electromagnetic suspension vehicle systems are highly nonlinear and essentially unstable systems. Levitation of an electromagnetically levitated vehicle prototype can be accomplished with the action of attraction forces produced by electromagnets. This paper describes a robust controller design method of electromagnetic suspension systems using gain scheduled control. For achieving the levitation control of the DC electromagnetic suspension system, we considered gain scheduling method. The proposed gain scheduling is based on linear quadratic Gaussian(LQG) and continuous Kalman estimator for widely varying nonlinear and parameter dependent dynamic system. Simulation results show that the proposed gain scheduling method based on LQG and continuous Kalman filter methodology robustly yields uniform performance with adequate gap response over the mass variation range.
Learning through creating learning objects: experiences with a class project in a distributed systems course
Authors: Cristina L. Abad
Venue: ACM SIGCSE Bulletin (2008)

An alternative to a final programming project in a Distributed Systems course is presented. The alternative project, which can easily be adapted to several Computer Science courses, consists in assigning different course topics to pairs of students, for them to develop an interactive learning object to help their classmates and future students of the class understand the subject. The project was well received by the students of the class, and their comments and survey results suggest that their knowledge on the subject improved both by using the learning objects of their peers and by working in developing their own.
Semantic based collaborative P2P in ubiquitous computing
Authors: Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco Maria Donini
Venue: Web Intelligence and Agent Systems (2007)

We present a collaborative environment for semantic-enabled mobile devices (e.g., PDAs, cell phones, laptops) in peer to peer scenarios. Within the environment, resource discovery is performed exploiting technologies and techniques for Knowledge Representation originally developed for the Semantic Web, which have been adapted to cope with the highly flexible structure of ad-hoc networks in ubiquitous computing. The approach exploits the standard Bluetooth stack, using the original UUID payload, to carry semantically annotated data. The framework is motivated and presented in a museum case study.
Compositional specification and realisation of mixed-initiative web dialogs
Authors: Naren Ramakrishnan, Manuel A. Perez-Quinones, Atul Shenoy
Venue: International Journal of Web Engineering and Technology (2008)

We present DialogXML &ndash; a markup language approach to specifying and realising mixed-initiative web dialogs on mobile devices. By capturing the functional structure of the dialog independent of the modalities used to realise it, DialogXML facilitates the implementation of web interfaces that integrate hyperlink and speech modes of interaction. It enables the creation of websites that adapt to the needs of users yet permits the designer fine-grained control over what interactions to support. The framework uses an algorithm based on staging transformations &ndash; an approach that represents dialogs by programs and uses program transformations to simplify them based on user input. Design methodology, implementation details, and two case studies are presented.
Predictive dynamic thermal management for multicore systems
Authors: Inchoon Yeo, Chih Chun Liu, Eun Jung Kim
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

Recently, processor power density has been increasing at an alarming rate resulting in high on-chip temperature. Higher temperature increases current leakage and causes poor reliability. In this paper, we propose a Predictive Dynamic Thermal Management (PDTM) based on Application-based Thermal Model (ABTM) and Core-based Thermal Model (CBTM) in the multicore systems. ABTM predicts future temperature based on the application specific thermal behavior, while CBTM estimates core temperature pattern by steady state temperature and workload. The accuracy of our prediction model is 1.6% error in average compared to the model in HybDTM [8], which has at most 5% error. Based on predicted temperature from ABTM and CBTM, the proposed PDTM can maintain the system temperature below a desired level by moving the running application from the possible overheated core to the future coolest core (migration) and reducing the processor resources (priority scheduling) within multicore systems. PDTM enables the exploration of the tradeoff between throughput and fairness in temperature-constrained multicore systems. We implement PDTM on Intel's Quad-Core system with a specific device driver to access Digital Thermal Sensor (DTS). Compared against Linux standard scheduler, PDTM can decrease average temperature about 10%, and peak temperature by 5&deg;C with negligible impact of performance under 1%, while running single SPEC2006 benchmark. Moreover, our PDTM outperforms HRTM [10] in reducing average temperature by about 7% and peak temperature by about 3&deg;C with performance overhead by 0.15% when running single benchmark.
A scalable key management and clustering scheme for wireless ad hoc and sensor networks
Authors: Jason H. Li, Bobby Bhattacharjee, Miao Yu, Renato Levy
Venue: Future Generation Computer Systems (2008)

This paper describes a scalable key management and clustering scheme for secure group communications in ad hoc and sensor networks. The scalability problem is solved by partitioning the communicating devices into subgroups, with a leader in each subgroup, and further organizing the subgroups into hierarchies. Each level of the hierarchy is called a tier or layer. Key generation, distribution, and actual data transmissions follow the hierarchy. The distributed, efficient clustering approach (DECA) provides robust clustering to form subgroups, and analytical and simulation results demonstrate that DECA is energy-efficient and resilient against node mobility. Comparing with most other schemes, our approach is extremely scalable and efficient, provides more security guarantees, and is selective, adaptive and robust.
An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200
Authors: Li Xiaolei, Tian Jin, Zhao Tingdi
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Zonal Safety Analysis (ZSA) is important to system safety analysis, and is especially required during the development of aircrafts. As the ZSA method in present specifications and standards is not well-enough designed to implement, an improved ZSA scheme was put forward here. In the new scheme, the connotation of ZSA method was clarified, and the method was made more practical in the field of engineering. Firstly, a universal set of zonal hazard factors was defined, which set boundaries for analysis of hazard factors and the hazards inside the selected zone. Secondly, hazard sources which include energy factors, product failures and hazard induced by coupling among those hazard factors in a complicated system were analyzed. Thirdly, risk of zonal hazard was comprehensive assessed to formulate rules for safety design and operation. The improved ZSA method could help to get accurate analysis result and enhance safety of products, which was illustrated by the undercarriage bay on aircraft CRJ200.
Synthesising robust schedules for minimum disruption repair using linear programming
Authors: Dávid Hanák, Nagarajan Kandasamy
Venue: Acta Cybernetica (2007)

An off-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. This schedule must, however, be executed in a dynamic and unpredictable operating environment where resources may fail and tasks may execute longer than expected. To accommodate such execution uncertainties, this paper addresses the synthesis of robust task schedules using a slack-based approach and proposes a solution using integer linear programming (ILP). Earlier we formulated a time slot based ILP model whose solutions maximise the temporal flexibility of the overall task schedule. In this paper, we propose an improved, interval based model, compare it to the former, and evaluate both on a set of random scenarios using two public domain ILP solvers and a proprietary SAT/ILP mixed solver.
Distance Estimation and Simulation Training
Authors: Garret Morawiec, Keith K. Niall, Kathleen Scullion
Venue: Proceedings of the Tenth International Conference on Computer Modeling and Simulation (2008)

An experiment was conducted to determine how feedback training affects distance estimation, in simulation. Eighteen subjects participated in this experiment and training was conducted using a night vision simulation of an original scene. Testing was performed on a PC desktop computer running VegaPrime to simulate light source halos in an open field. Subjects were exposed to three flash types; five flashes, single flash, and a prolonged flash. Flashes were presented to the subjects both above and below the horizon. There were significant improvements for the group that received feedback training; their accuracy in distance estimation persisted for two weeks, but with some deterioration in scores. Immediate feedback is an effective training technique, but simulation software must be realistic in reproducing the gamut of depth cues for naturalistic environments for effective training.
Hedging global environment risks: An option based portfolio insurance
Authors: André de Palma, Jean-Luc Prigent
Venue: Automatica (Journal of IFAC) (2008)

This paper introduces a financial hedging model for global environmental risks. Our approach is based on portfolio insurance under hedging constraints. Each investor is assumed to maximize the expected utility of his/her portfolio which includes financial and environmental assets. The optimal investment is determined for quite general utility functions and hedging constraints. Our results show how and why derivative assets should be introduced in the portfolio to hedge environmental risks. The main conclusion of the paper is that new types of options which combine both equity and environmental assets should be used, contrary to the current practice which considers two separate option markets.
Explicit expressions for the Leimkuhler curve in parametric families
Authors: José María Sarabia, María Sarabia
Venue: Information Processing and Management: an International Journal (2008)

In this paper we obtain the Leimkuhler curve in the case of some important statistical distributions proposed in the informetrics and econometrics literature. In this way, we complete the previous work of Burrell [Burrell, Q. L. (2005). Symmetry and other transformation features of Lorenz/Leimkuhler representations of informetric data. Information Processing and Management, 41, 1317-1329], where several open problems were stated. To do this, we use a recent and general definition of the Leimkuhler curve proposed by Sarabia [Sarabia, J. M. (2008a). A general definition of the Leimkuhler curve. Journal of Informetrics, 2, 156-163], and a new representation of the Leimkuhler curve in terms of the first-moment distribution of the population. Specifically, we obtain the Leimkuhler curve of the following distributions: classical and exponentiated Pareto distributions; three-parameter lognormal distribution; generalized gamma distribution, which includes to the exponential and classical gamma distributions among others; generalized beta distribution of the first kind and generalized beta distribution of the second kind, which includes as particular or limiting cases next important families like beta distribution of the second kind, Singh-Maddala, Dagum, Fisk or Lomax distributions. All the obtained Leimkuhler curves can be computed easily.
Motion planning for multiple non-holonomic robots: A geometric approach
Authors: Elias k. Xidias, Nikos a. Aspragathos
Venue: Robotica (2008)

In this paper, a geometrical approach is developed to generate simultaneously optimal (or near-optimal) smooth paths for a set of non-holonomic robots, moving only forward in a 2D environment cluttered with static and moving obstacles. The robots environment is represented by a 3D geometric entity called Bump-Surface, which is embedded in a 4D Euclidean space. The multi-motion planning problem (MMPP) is resolved by simultaneously finding the paths for the set of robots represented by monoparametric smooth C2 curves onto the Bump-Surface, such that their inverse images onto the initial 2D workspace satisfy the optimization motion-planning criteria and constraints. The MMPP is expressed as an optimization problem, which is solved on the Bump-Surface using a genetic algorithm. The performance of the proposed approach is tested through a considerable number of simulated 2D dynamic environments with car-like robots.
Microsoft PowerPoint 2007 Advanced Quick Reference Guide
Authors: Beezix Inc.
Venue:  (2007)

Laminated quick reference guide showing step-by-step instructions and shortcuts for how to use advanced features of Microsoft Office PowerPoint 2007. The following topics are covered: Reusing Slides from Other, Presentations, Adding Placeholders to a Slide Master, Adding a Customized Layout, Switching from Color to Black & White, Making Changes to a Template, Using a Theme from Another Office Document, Inserting Tables, WordArt, The Selection and Visibility Pane, Ungrouping Clip Art, Recoloring Pictures, Placing an Excel Object on the Slide, Editing an Excel Object Hiding/Showing Slides, Creating a Button to Jump to Another Slide or File During a Slide Show, Adding Custom Animations, Modifying Previewing the Effect, Annotations during a Slide Show, Self Running Presentations, Setting Timings, Recording Narration, Creating a Photo Slide Show, Saving Different Slide Orders, Packaging Presentations on a CD, Packaging Multiple Presentations on a CD. This guide is suitable as a training handout, or simply an easy to use reference guide, for any type of user.
Statistical waveform and current source based standard cell models for accurate timing analysis
Authors: Amit Goel, Sarma Vrudhula
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

Increasing variability in the manufacturing process and growing complexity of the integrated circuits has given rise to many design and verification challenges. Statistical analysis of circuits and current source based gate delay models have started to replace the conventional static timing analysis which uses lookup tables for gate delays. In this paper we develop a statistical current source based gate model. We use accurate analytical models for representing the parameters of the gate model as functions of process parameters. Using the proposed statistical gate model, the gate output signal is generated and modeled as process dependent variational waveform. We present a compact model for representation of the variational signal waveform. The proposed waveform model can accurately generate the signal waveform at any process corner for accurate timing analysis. We generated the prosed model for gates of a 90nm industry library and validated with SPICE simulations. Our model for logic gates and variational waveforms showed very good correlation with SPICE. The maximum error across all validation experiments was close to 3%.
Scable and interactive visual analysis of financal wire transactions for fraud detection
Authors: Remco Chang, Alvin Lee, Mohammad Ghoniem, Robert Kosara, William Ribarsky, Jing Yang, Evan Suma, Caroline Ziemkiewicz, Daniel Kern, Agus Sudjianto
Venue: Information Visualization (2008)

Large financial institutions such as Bank of America handle hundreds of thousands of wire transactions per day. Although most transactions are legitimate, these institutions have legal and financial obligations to discover those that are suspicious. With the methods of fraudulent activities ever changing, searching on predefined patterns is often insufficient in detecting previously undiscovered methods. In this paper, we present a set of coordinated visualizations based on identifying specific keywords within the wire transactions. The different views used in our system depict relationships among keywords and accounts over time. Furthermore, we introduce a search-by-example technique, which extracts accounts that show similar transaction patterns. Our system can be connected to a database to handle millions of transactions and still preserve high interactivity. In collaboration with the Anti-Money Laundering division at Bank of America, we demonstrate that using our tool, investigators are able to detect accounts and transactions that exhibit suspicious behaviors.
Contextual factors affecting the integration of enterprise systems in post-merger oil and gas companies
Authors: J. R. Hough, R. Haines, S. Giacomo
Venue: Enterprise Information Systems (2007)

This study examines the contextual factors of the external business environment, organization, information systems, and enterprise system software as they affect integration of enterprise resource planning (ERP) systems after a merger or acquisition in the oil and gas industry. A multiple case study method using primary and secondary data revealed: ERPs are operational necessities rather than strategic differentiators; best practice adoption is a viable alternative that supports successful integration of cultures and knowledge from two experienced organizations; schedules are extended when best practices from both companies are consolidated into a single instance; consolidation facilitates Sarbanes-Oxley compliance and lowers the cost of ownership; imposing acquirer systems on targets facilitates timely decision-making and shorter schedules.