ppxscal/embedding_network huggingface dataset:
Lean job design and musculoskeletal disorder risk: A two plant comparison
Authors: Sarah K. Womack, Thomas J. Armstrong, Jeffrey K. Liker
Venue: Human Factors in Ergonomics Manufacturing (2009)

This study examined the relationship between lean job design and work-related musculoskeletal disorder (WMSD) risk factors. Repetition, force, and posture were assessed for a sample of 56 production jobs across departments at a lean automobile-manufacturing plant and compared to 56 similar jobs at a traditional automobile-manufacturing plant. The results showed greater productivity in the lean plant: less waiting (p = .006) and walking (p < .001); and greater repetition exposure (p = .001). The mean rating for repetition was 5.5 in the lean plant, compared to 5.0 in the traditional plant based on the Latko (1997) hand activity level scale. However, the lean plant had significantly lower peak hand force ratings (p = .01). When examining force and repetition combined, the lean plant had a lower percentage of jobs above the American Conference for Governmental Industrial Hygienists (ACGIH)-recommended Threshold Limit Value (TLV&reg;). The findings suggest that lean manufacturing does not necessarily increase workers' risk for WMSD injuries. &copy; 2009 Wiley Periodicals, Inc.
Can we improve on the identification of transcription factor binding sites?
Authors: H. P. Shanahan
Venue: Proceedings of the KDD-09 Workshop on Statistical and Relational Learning in Bioinformatics (2009)

This paper gives a brief introduction into the biology of Transcription Factor Bindings Sites (TFBS's) and their importance. It discusses the present methods employed in detecting them, which are typically based on single-site frequencies, their shortcomings and how new data is likely to revolutionise the area in the near future. The challenges associated with motif detection for methods that do not employ the standard approaches are addressed. Finally, there is a walk through of some of the available data sets for those interested in working on this problem.
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
Authors: Georgios Meditskos, Nick Bassiliades
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

We describe a framework for the development of production rule programs on top of OWL ontologies, following a hybrid Object-Oriented (OO) approach. The hybrid nature is realized by separating ontologies and rules, interfacing an external DL reasoner and a production rule engine. The OO nature is realized by mapping OWL ontologies into the OO model, in such a way, so to preserve the extensional ontology semantics when the OO ontology constructs are matched in the production rule conditions.
Design and implementation of PD controller for an AUV 'ISiMI100'
Authors: Sungkook Park, Jihong Lee, Fill Youb Lee, Hyungwon Shim, Bonghuan Jun
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

This paper presents design and implementation of PD controller for an autonomous underwater vehicle (AUV) called ISiMI100 which is developed by Maritime and Ocean Engineering Research Institute (MOERI). An AUV is a system that is too difficult to control. It has coupling between control input and output. And it is nonlinear, under-actuated system. In this research, we propose a revised PD controller for an AUV. This controller is different from typical PD controller. It is based on strong correlation between control input and a state of an AUV (system output) from dynamics of an AUV. Finally, we validate the algorithm by simulation and Ocean Engineering Basin experiment in KORDI.
Identifying Inter-task Communication in Shared Memory Programming Models
Authors: Per Larsen, Sven Karlsson, Jan Madsen
Venue: Proceedings of the 5th International Workshop on OpenMP: Evolving OpenMP in an Age of Extreme Parallelism (2009)

Modern computers often use multi-core architectures, covering clusters of homogeneous cores for high performance computing, to heterogeneous architectures typically found in embedded systems. To efficiently program such architectures, it is important to be able to partition and map programs onto the cores of the architecture. We believe that communication patterns need to become explicit in the source code to make it easier to analyze and partition parallel programs. Extraction of these patterns are difficult to automate due to limitations in compiler techniques when determining the effects of pointers.In this paper, we propose an OpenMP extension which allows programmers to explicitly declare the pointer based data-sharing between coarse-grain program parts. We present a dependency directive, expressing the input and output relation between program parts and pointers to shared data, as well as a set of runtime operations which are necessary to enforce declarations made by the programmer. The cost and scalability of the runtime operations are evaluated using micro-benchmarks and a benchmark from the NAS parallel benchmark suite. The measurements show that the overhead of the runtime operations is small. In fact, no performance degradation is found when using the runtime operations in the benchmark from the NAS parallel benchmark suite.
Treaty of Cryptography by Joaquin Garcia Carmona?
Authors: Jose Ramon Soler Fuensanta
Venue: Cryptologia (2009)

The true identity of Joaquin Garcia Carmona, the famous Spanish cryptologist, author Treaty of Cryptography with Special Application to the Army, is revealed in this paper and biographical details are provided.
Asynchronous Session Types: Exceptions and Multiparty Interactions
Authors: Marco Carbone, Nobuko Yoshida, Kohei Honda
Venue: Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures (2009)

Session types are a formalism for structuring communication based on the notion of session: the structure of a conversation is abstracted as a type which is then used as a basis of validating programs through an associated type discipline. While standard session types have proven to be able to capture many real scenarios, there are cases where they are not powerful enough for describing and validating interactions involving more complex scenarios. In this note, we shall explore two extensions of session types to interactional exceptions and multiparty session in presence of asynchronous communication.
The secret life of bugs: Going past the errors and omissions in software repositories
Authors: Jorge Aranda, Gina Venolia
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people, and to navigate through issues of accountability, ownership, and organizational structure. This paper reports on a field study of coordination activities around bug fixing that used a combination of case study research and a survey of software professionals. Results show that the histories of even simple bugs are strongly dependent on social, organizational, and technical knowledge that cannot be solely extracted through automation of electronic repositories, and that such automation provides incomplete and often erroneous accounts of coordination. The paper uses rich bug histories and survey results to identify common bug fixing coordination patterns and to provide implications for tool designers and researchers of coordination in software development.
Introduction: Aspects of Artificial General Intelligence
Authors: Pei Wang, Ben Goertzel
Venue: Proceeding of the 2007 conference on Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms: Proceedings of the AGI Workshop 2006 (2007)

This introductory chapter sets the stage for the book as a whole. First, the purpose of the conference that led to the book is reviewed. Then, the notion of “Artificial General Intelligence” (AGI) is clarified, including a brief survey of the past and present situation of the field, an analysis and refutation of some common objections and doubts regarding the AGI area of research, and a discussion of what needs to be addressed by the field as a whole in the near future. Finally, there is a summary of the contents of the other chapters in the book.
Research on Logistics Technology and Analysis on the Beijing Olympic Games Requirements
Authors: Lihu Lu, Xifu Wang
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

This paper combines with logistics management of Olympic Games and its operational characteristics and the requirement of plan and preparation and organization of BOG (Beijing Olympic Games) in 2008, introduces the meaning and classification, service management and operational mode. With researching on the aim that logistics of BOG should be fulfilled and the effect of modern logistics on the BOG, does helpful exploring on the demand degree of logistics of BOG and correlative technology, and puts forward the basic countermeasures to complete the logistics of Olympic Games.
Audio Post-Production in Your Project Studio, 1st edition
Authors: Casey Kim
Venue:  (2007)

Whether you are producing an audio CD, a multimedia application, a movie, or a television program, there are many stages of production that you need to consider before your project is complete and sounds professional. The audio post-production process formerly required huge audio post-production facilities with massive film and/or video synchronizing machines and other expensive hardware. These days, professional audio post-production can be done using inexpensive hardware and software inside a home or project studio. Audio Post-Production in Your Project Studio teaches you how to deliver professional-quality audio post-production projects using these readily available tools. Topics of discussion include editing, software effects, mixing, monitoring, software mastering, running a successful project studio, and much more. Instruction is presented using a non-software-specific approachthe techniques discussed are applicable to any Digital Audio Workstation you choose. Whether youre an experienced musician just getting into post-production, a first-time project studio operator, or a hobbyist curious to learn more information, youll find all the insights and knowledge you need to make your recordings sound professional. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A new approach to the decomposition of boolean functions. 4. non-disjoint decomposition: the method of p, q-partitions
Authors: B. Ye. Rytsar
Venue: Cybernetics and Systems Analysis (2009)

A set-theoretical approach to the non-disjoint decomposition of different forms of representation of Boolean functions of n variables is considered. This approach is based on the method of p,q-partitions of conjuncterms and on the concept of a decomposition clone. Two techniques of searching for some non-disjoint functional decomposition are described. Theorems on the non-disjoint decomposition of full and partial functions and their systems are formulated. The proposed approach is illustrated by examples.
Refined binary particle swarm optimization and application in power system
Authors: Po-Hung Chen, Cheng-Chien Kuo, Fu-Hsien Chen, Cheng-Chuan Chen
Venue: WSEAS TRANSACTIONS on SYSTEMS (2009)

This paper presents new solution methods and results based on a refined binary particle swarm optimization (RBPSO) for solving the generation/pumping scheduling problem within the power system operation with pumped-storage units. The proposed RBPSO approach combines a basic particle swarm optimization (PSO) with binary encoding/decoding techniques. Complete solution algorithms and encoding/decoding techniques are proposed in the paper. The optimal schedules of both pumped-storage and thermal units are concurrently obtained within the evolutionary process of evaluation functions. Significantly, no hydro-thermal iteration is needed. The proposed approach is applied with success to an actual utility system, which consists of four pumped-storage units and 34 thermal units. The results indicate the attractive properties of the RBPSO approach in practical application, namely, a highly optimal solution cost and more robust convergence behavior.
PEIR, the personal environmental impact report, as a platform for participatory sensing systems research
Authors: Min Mun, Sasank Reddy, Katie Shilton, Nathan Yau, Jeff Burke, Deborah Estrin, Mark Hansen, Eric Howard, Ruth West, Péter Boda
Venue: Proceedings of the 7th international conference on Mobile systems, applications, and services (2009)

PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estimates of environmental impact and exposure. It is an example of an important class of emerging mobile systems that combine the distributed processing capacity of the web with the personal reach of mobile technology. This paper documents and evaluates the running PEIR system, which includes mobile handset based GPS location data collection, and server-side processing stages such as HMM-based activity classification (to determine transportation mode); automatic location data segmentation into "trips''; lookup of traffic, weather, and other context data needed by the models; and environmental impact and exposure calculation using efficient implementations of established models. Additionally, we describe the user interface components of PEIR and present usage statistics from a two month snapshot of system use. The paper also outlines new algorithmic components developed based on experience with the system and undergoing testing for integration into PEIR, including: new map-matching and GSM-augmented activity classification techniques, and a selective hiding mechanism that generates believable proxy traces for times a user does not want their real location revealed.
Running tree automata on probabilistic XML
Authors: Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv
Venue: Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2009)

Tree automata (specifically, bottom-up and unranked) form a powerful tool for querying and maintaining validity of XML documents. XML with uncertain data can be modeled as a probability space of labeled trees, and that space is often represented by a tree with distributional nodes. This paper investigates the problem of evaluating a tree automaton over such a representation, where the goal is to compute the probability that the automaton accepts a random possible world. This problem is generally intractable, but for the case where the tree automaton is deterministic (and its transitions are defined by deterministic string automata), an efficient algorithm is presented. The paper discusses the applications of this result, including the ability to sample and to evaluate queries (e.g., in monadic second-order logic) while requiring a-priori conformance to a schema (e.g., DTD). XML schemas also include attribute constraints, and the complexity of key, foreign-key and inclusion constraints are studied in the context of probabilistic XML. Finally, the paper discusses the generalization of the results to an extended data model, where distributional nodes can repeatedly sample the same subtree, thereby adding another exponent to the size of the probability space.
Nested and specialized associations
Authors: Tormod Vaksvik Håvaldsrud, Birger Møller-Pedersen
Venue: Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages (2009)

UML supports specialization of associations, but with sparse semantics. It is recognized that specialization is different from subsetting of association end sets, and UML indicates that it has a meaning similar to specialization for classes (or classifiers in general). Recent efforts on the introduction of associations into programming languages have claimed, with convincing examples, that specialization of associations can not be defined similar to specialization for classes. In this paper we demonstrate that these examples really call for the notion of nested associations; in addition it is demonstrated that other examples call for real specialization (as for classes) of associations. The two notions: nested associations and specialization of associations have been implemented in a prototype tool for an experimental modeling language, and together they open for rich modeling of associations similar to what we have for classes.
Video Semantics and the Sensor Web
Authors: Alan F. Smeaton
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

The most widespread way in which content-based access to video information is supported is through using a combination of video metadata (date, time, format, etc.) and user-generated description (user tags, ratings, reviews, etc.). This has had widespread usage and is the basis for navigation through video archives in systems such as YouTube, Open Video and the Internet Archive. However, there are limitations with this such as vocabulary issues, and authentication across the users who annotate content.
A Note on Auto-tuning GEMM for GPUs
Authors: Yinan Li, Jack Dongarra, Stanimire Tomov
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

The development of high performance dense linear algebra (DLA) critically depends on highly optimized BLAS, and especially on the matrix multiplication routine (GEMM). This is especially true for Graphics Processing Units (GPUs), as evidenced by recently published results on DLA for GPUs that rely on highly optimized GEMM. However, the current best GEMM performance, e.g. of up to 375 GFlop/s in single precision and of up to 75 GFlop/s in double precision arithmetic on NVIDIA's GTX 280, is difficult to achieve. The development involves extensive GPU knowledge and even backward engineering to understand some undocumented insides about the architecture that have been of key importance in the development. In this paper, we describe some GPU GEMM auto-tuning optimization techniques that allow us to keep up with changing hardware by rapidly reusing, rather than reinventing, the existing ideas. Auto-tuning, as we show in this paper, is a very practical solution where in addition to getting an easy portability, we can often get substantial speedups even on current GPUs (e.g. up to 27% in certain cases for both single and double precision GEMMs on the GTX 280).
Practical Web Services for Beginners, 1st edition
Authors: B. M. Harwani, Ivan Bayross
Venue:  (2007)

Today, everywhere there is a demand of Web Services. Companies around the world have opened up their treasure of information stored in their databases to be used by their clients. This book explains how the server side Web Services are made and also includes all the steps involved in consuming those webservices. The latest technology : ASP.NET, Apache SOAP as well as ASP.NET AJAX is used for developing the webservice. All code has been rechecked and verified to work correctly Sit on Computer with this book and you will learn making Webservices in hours This book covers : Creating Web Services through ASP.Net How to use Proxy classes to make webservice clients Installation of Apache SOAP server and client Making of Web Services through Apache SOAP Making Web Services through ASP.NET AJAX All the steps involved are explained in detail Includes figures at each step
Multi-quantum well design parameter variation in InP-based VCSEL
Authors: K. Kumarajah, P. S. Menon, M. Ismail, B. Y. Yeop, S. Shaari
Venue: Proceedings of the 8th WSEAS international conference on Microelectronics, nanoelectronics, optoelectronics (2009)

We present the design parameter variations of multi quantum wells (MQW) in the active region of an InP-based vertical-cavity surface emitting laser (VCSEL) utilizing an air-post design. The MQW and barrier thickness were varied and their effect on the device threshold current, gain and lattice temperature were analysed and presented.
On Networks of Evolutionary Processors with Nodes of Two Types
Authors: Artiom Alhazov, Carlos Martín-Vide, Bianca Truthe, Jürgen Dassow, Yurii Rogozhin
Venue: Fundamenta Informaticae (2009)

We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumerable language can be generated by a network with one deletion and one insertion node. Networks with an arbitrary number of deletion and substitution nodes only produce finite languages, and for each finite language one deletion node or one substitution node is sufficient. Networks with an arbitrary number of insertion and substitution nodes only generate context-sensitive languages, and (up to an intersection with a monoid) every context-sensitive language can be generated by a network with one substitution node and one insertion node. All results are optimal with respect to the number of nodes.
T-Mobile G1 For Dummies
Authors: Chris Ziegler
Venue: For Dummies (2009)

Excited about the new Google phone? T-Mobiles G1 android phone is packed with possibilities, and T-Mobile G1 For Dummies will help you make the most of them. This fun and friendly guide shows you how to navigate the G1s android interface, make phone calls, view maps, manage contacts, browse the Web, and a whole lot more. Your T-Mobile G1 is so much more than a phoneits also an administrative assistant, movie theater, jukebox, mobile office, and several more things all rolled into one device. With T-Mobile G1 For Dummies, you can: Find out all about the Android smartphone operating system and what it offers Learn your way around the G1s keyboard, buttons, and touch screen See how your G1 connects to both Wi-Fi networks and T-Mobiles high-speed network Surf the Web, download music and picture files, and tweak browser settings Send and receive Gmail, get where youre going with Google Maps, and stay organized with Google Calendar Take photos, check out YouTube, and fill your phone with media Manage your e-mail and choose which messages will be synced to your phone Shop the Android Market and discover more cool apps for your G1 Dont waste a single cool feature of your T-Mobile G1! T-Mobile G1 For Dummies shows you how to use all the great Google functions, play (and even buy) music, browse the Web, add apps, and more.
Rational play and rational beliefs under uncertainty
Authors: Nils Bulling, Wojciech Jamroga
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1 (2009)

Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents' abilities. Constructive Strategic Logic (csl) is a variant of atl for imperfect information games that allows to express strategic and epistemic properties of coalitions under uncertainty. In this paper, we propose a logic that extends csl with a notion of plausibility that can be used for reasoning about the outcome of rational behavior (in the game-theoretical sense). Moreover, we show how a particular notion of beliefs can be defined on top of plausibility. The resulting logic, cslp, turns out to be very expressive. We show that beliefs satisfy axioms KD45 in the logic. We also demonstrate how solution concepts for imperfect information games can be characterized and used in cslp and that the model checking complexity increases only slightly when plausibility and rational beliefs are added.