ppxscal/embedding_network huggingface dataset:
A method for comparison of standardized information within systems biology
Authors: Lena Strömbäck
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Standards and standardized data representation to allow efficient exchange of information is an important topic within systems biology. Within this area there is currently a rapid development of new standards as well as a need for import of datasets into various computer tools for further analysis. As the number of available standards within systems biology is large, tools for comparison and translation of standards are of high interest. In this paper we present a method for comparison of standards. We illustrate how the method works by providing an analysis of the three standards SBML, PSI MI and BioPAX. The analysis gives information on how similar the three standards are and it also gives pointers on how to build tools to aid a user in the analysis of a standard.
News and notices
Authors: R. E. Merwin
Venue: ACM SIGMICRO Newsletter (1973)

The News and Notices in this issue include reprints from recent journals. The following is a list of the items included in this section.
Energy consumption of the IEEE Std 802.15.3 MAC protocol in communication link set-up over UWB radio technology
Authors: Leonardo Goratti, Jussi Haapola, Ian Oppermann
Venue: Wireless Personal Communications: An International Journal (2007)

This paper examines the overhead associated with the IEEE Std 802.15.3 medium access control (MAC) protocol when used in conjunction with Ultra Wide-Band (UWB) radio technology. Particular features of the protocol examined include establishing, modifying and terminating data streams. The main focus of the paper is to investigate the overhead introduced in terms of energy consumption to manage the communication links. One of the main UWB technology candidates, Impulse-Radio (IR-UWB), utilizes very short time domain pulses which are low power and difficult to detect. This raises the question of how to design an efficient MAC protocol to harness the potential of the physical layer (PHY). For high data rate WPAN applications, the IEEE Std 802.15.3 protocol has been proposed as a suitable MAC. In the simulations the data source rate and the number of devices in the network are varied and the considerable overhead produced by command frames is observed.
A framework for software evolution in sensor networks
Authors: Joel Koshy, Raju Pandey
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (2006)

Wireless sensor networks (WSNs) have received considerable attention for their promising applications in diverse realms. Remote reprogrammability is an obvious need when access to deployed nodes is impossible. The main requirements of remote reprogramming mechanisms are: (i) energy and bandwidth efficiency, (ii) low latency, and (iii) security and reliability. These requirements also apply to mobile computing environments with reprogramming needs. For example, context-aware mobile devices in smart spaces may need to download modules dynamically, depending on services available in a given setting. Existing methods update software either through high level application scripts interpreted by suitable middleware [3], or perform true updates at the binary level [4]. The former approach allows efficient updates through the smaller code capsules afforded by the high level of abstraction. However, this approach lacks flexibility because the middleware cannot be updated. The latter approach solves this problem, but binary updates can be large, leading to costly updates in terms of energy and bandwidth requirements. This poster presents our experiences with a technique [1] to provide flexible low-cost updates, and discusses various research issues we are focusing on to enable its use within a framework for software evolution in WSNs.
Universally Composable Hierarchical Hybrid Authenticated Key Exchange
Authors: Haruki Ota, Kazuki Yoneyama, Shinsaku Kiyomoto, Toshiaki Tanaka, Kazuo Ohta
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2007)

Password-based authenticated key exchange protocols are more convenient and practical, since users employ human-memorable passwords that are simpler to remember than cryptographic secret keys or public/private keys. Abdalla, Fouque, and Pointcheval proposed the password-based authenticated key exchange protocol in a 3-party model (GPAKE) in which clients trying to establish a secret do not share a password between themselves but only with a trusted server. On the other hand, Canetti presented a general framework, which is called universally composable (UC) framework, for representing cryptographic protocols and analyzing their security. In this framework, the security of protocols is maintained under a general protocol composition operation called universal composition. Canetti also proved a UC composition theorem, which states that the definition of UC-security achieves the goal of concurrent general composition. A server must manage all the passwords of clients when the 3-party password-based authenticated key exchange protocols are realized in large-scale networks. In order to resolve this problem, we propose a hierarchical hybrid authenticated key exchange protocol (H2AKE). In H2AKE, forwarding servers are located between each client and a distribution server, and the distribution server sends the client an authentication key via the forwarding servers. In H2AKE, public/private keys are used between servers, while passwords are also used between clients and forwarding servers. Thus, in H2AKE, the load on the distribution server can be distributed to the forwarding servers concerning password management. In this paper, we define hierarchical hybrid authenticated key exchange functionality. H2AKE is the universal form of the hierarchical (hybrid) authenticated key exchange protocol, which includes a 3-party model, and it has the characteristic that the construction of the protocol can flexibly change according to the situation. We also prove that H2AKE is secure in the UC framework with the security-preserving composition property.
Adobe Premiere Pro 2.0 Studio Techniques
Authors: Jacob Rosenberg
Venue:  (2006)

Ready to discover not just the how, but also the why behind some of the most powerful features in Premiere Pro? In Adobe Premiere Pro 2.0 Studio Techniques, author Jacob Rosenberg goes beyond conventional stepby- step instruction to give you a real-world perspective on editing with Premiere Pro. Using Jacob's fi lm footage or your own, you'll learn to deliver professional-quality results. Whether you're looking for advice on editing, effects, titles, or working with audio, this easy-to-read guide will help you add more punch to your productions. · New features in Premiere Pro 2.0: Native HD support, native HDV editing, 24P/24PA support, DVD authoring from the timeline, expedited reviewing with Adobe Clip Notes-it's all here. Find out how Premiere Pro has been improved, what's been added, and how to use new features. · Working fundamentals: From capturing video to assembling your project to the new, panel-based user interface, get an under-the-hood understanding of this powerful application. · Advanced techniques: Through hands-on lessons, learn the ins and outs of color correction, color matching, multiple-camera editing, dynamic photomontages, titling, audio and video effects, sound mixing, professional workflows for feature films and HD productions, and more. · Companion DVD: You'll fi nd extra chapters and bonus reference material to read, video tutorials to watch, media fi les to use with the book's lessons, tryout versions of Adobe Premiere Pro 2.0 and Adobe Audition 2.0, and indispensable plug-ins to install. Jacob Rosenberg is a Los Angelesï¾based independent filmmaker who has directed nationally broadcast commercials, music videos for such groups as the Baha Men, and several short films. Recently, Jacob has worked as a post-production supervisor on a number of feature films that used high-definition video as their digital intermediate format. A current member of the Adobe Premiere development team, and the featured instructor for Premiere Pro on the highly acclaimed Total Training Instructional DVD series, Jacob continues to raise the bar by creating new workflows and educating others about them. From IBC in Amsterdam to NAB in Las Vegas, Jacob teaches classes around the world on using Premiere Pro and other Adobe products. “With this book and Adobe Premiere Pro, you'll have all the tools you need to create your own professional-quality movies and videos. Jacob shows you how to think like a filmmaker, get the job done, and understand the creative process from start to finish.” -Steven Warner Director of Engineering, Adobe Systems Inc. “Jacob has tirelessly advanced the art of filmmaking with Premiere's ever-expanding functionality, and his book demonstrates the depth and breadth of his creative artistry and technical know-how.” -Rob Legato Film director and Academy-Award-winning Visual Effects Supervisor for Titanicï¾ 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 linear programming
Authors: Hugo D. Scolnik
Venue: Issue 15 (November 1973) (1973)

This is a preliminary report on a new method which is able to solve the standard LP problem.MIN Z = <C, X>subject to Ax=b where A is a M-BY-N MATRIXA &ge; 0in a number of operations which is bounded by a polynomial in M and N.
Launching Your Yahoo! Business
Authors: Frank F. Fiore, Linh Tang
Venue:  (2006)

You've made the decision to take your business online, but where do you go from here?ï¾ Launching Your Yahoo! Business helps you do everything from creating a business plan toï¾ using basic marketing strategies to promote your business toï¾ managing a Yahoo! store. It also includes tips and warnings on howï¾ to avoid common pitfalls, as well as terms and directions to web resources for additional information. This book will show you how to put the "e" in e-commerce with a successful Yahoo! store.
A comparison of two zone-visitation sequencing strategies in a distribution centre
Authors: Ying-Chin Ho, Shang-Pu Chien
Venue: Computers and Industrial Engineering (2006)

The environment of this study is modelled after a distribution centre in Taiwan. One unique characteristic of this environment is that the picking area has been divided into different zones. A picker often has to visit more than one zone to pick all the items in an order. This environment has one important restriction - no more than one picker can simultaneously be in the same zone. This paper focuses on one problem of this environment, i.e. finding the best zone-visitation sequence a picker can follow. Two zone-visitation sequencing strategies - the fixed zone-visitation sequencing strategy and the dynamic zone-visitation sequencing strategy - are proposed and studied for the problem. Both strategies incorporate a two-phase optimization process. An initial starting solution is found using a nearest-neighbour type generative algorithm NPZF, then a simulated annealing improvement algorithm SA brings this solution towards optimality. This ensures that each strategy is represented by good exemplars of their class. Simulation experiments are conducted to evaluate the performance of the proposed strategies in three performance measures - total travel distance of pickers (TTD), total required system Time to complete the picking operations (TRST), and total picking time of pickers (TPT). The simulation results show that the fixed strategy is about 20.9% better than the dynamic strategy in TTD, but about 17% less effective than the dynamic strategy in TRST and TPT. This indicates that the dynamic strategy will be a better strategy if one can prevent the possible physical fatigue experienced by pickers due to the greater travel distance.
One-dimensional problems in unconstrained signomial programming: an interval arithmetic approach
Authors: Louis J. Mancini
Venue: Issue 19 (August 1975) (1975)

One-dimensional problems arise in both primal and dual signomial programs. Primal problems are of interest since many multidimensional search procedures involve one-dimensional searches. Dual problems occur naturally since many engineering design problems can be expressed as signomial programs with a single degree of difficulty. This paper applies an interval arithmetic version of Newton's method to one-dimensional unconstrained problems in signomial programming. The interval arithmetic method is guaranteed to generate all the stationary points. 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 glass float line simulation: modeling methodology and applications
Authors: Scott R. Schultz
Venue: Proceedings of the 38th conference on Winter simulation (2006)

A glass float line begins as a continuous process, liquid glass in a furnace, being pulled down a cooling conveyor in a continuous ribbon of glass. The process then becomes discrete as the ribbon is scored and broken into individual streams. Using some insight, a simulation model is developed that is strictly discrete. Four applications of the model are presented. The first demonstrates how the model assists with the day to day operation of the float line. A second application looks at modifying the control rules which sequence and schedule the glass production. The final two applications show how the model is used to study design alternatives for a future float line.
The Holy Grail of Network Storage Management
Authors: Jon William Toigo
Venue:  (2003)

The Holy Grail of Network Storage Management, by noted IT veteran and author Jon William Toigo, is a comprehensive, vendor-neutral guide to networked storage management. The book gives consumers straight information on the business value of current products and technologies, and describes how to make informed purchases that will help realize current and strategic goals. This book is intended for storage administrators, IT decision-makers and architects, financial investors examining the storage industry, and vendors who are seeking to meet customer requirements with solutions that deliver measurable business value.
Does computer confidence relate to levels of achievement in ICT-enriched learning models?
Authors: P. Cretchley
Venue: Education and Information Technologies (2007)

Employer expectations have changed: university students are expected to graduate with computer competencies appropriate for their field. Educators are also harnessing technology as a medium for learning in the belief that information and communication technologies (ICT's) can enliven and motivate learning across a wide range of disciplines. Alongside developing students' computer skills and introducing them to the use of professional software, educators are also harnessing professional and scientific packages for learning in some disciplines. As the educational use of information and communication technologies increases dramatically, questions arise about the effects on learners. While the use of computers for delivery, support, and communication, is generally easy and unthreatening, higher-level use may pose a barrier to learning for those who lack confidence or experience. Computer confidence may mediate in how well students perform in learning environments that require interaction with computers. This paper examines the role played by computer confidence (or computer self-efficacy) in a technology-enriched science and engineering mathematics course in an Australian university. Findings revealed that careful and appropriate use of professional software did indeed enliven learning for the majority of students. However, computer confidence occupied a very different dimension to mathematics confidence: and was not a predictor of achievement in the mathematics tasks, not even those requiring use of technology. Moreover, despite careful and nurturing support for use of the software, students with low computer confidence levels felt threatened and disadvantaged by computer laboratory tasks. The educational implications of these findings are discussed with regard to teaching and assessment, in particular. The TCAT scales used to measure technology attitudes, computer confidence/self-efficacy and mathematics confidence are included in an Appendix. Well-established, reliable, internally consistent, they may be useful to other researchers. The development of the computer confidence scale is outlined, and guidelines are offered for the design of other discipline-specific confidence/self-efficacy scales appropriate for use alongside the computer confidence scale.
A purchasing problem solved by CAPFLO
Authors: Martin Fieldhouse
Venue: Issue 18 (February 1975) (1975)

The Chief Buyer has to decide from which suppliers he will buy containers. He wants 10 containers of type 1, 5 of type 2 and 20 of type 3. 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
Intelligent off-road navigation algorithms and strategies of Team Desert Buckeyes in the DARPA Grand Challenge 2005: Field Reports
Authors: Qi Chen, Ümit Özgüner
Venue: Journal of Robotic Systems (2006)

This paper describes one aspect of our approach in developing an intelligent off-road autonomous vehicle, the Intelligent Off-Road Navigator (ION), as Team Desert Buckeyes from the Ohio State University for the DARPA Grand Challenge 2005. The real-time navigation is one of the critical components in an autonomous ground vehicle system. In this paper, we focus on the navigation module, whose main responsibility is to generate smooth and obstacle-free local paths with appropriate speed setpoints. For the smooth path generation, we introduce a polynomial interpolation method. To generate obstacle-free paths, a steering controller utilizing a fuzzy obstacle avoidance algorithm is presented. A speed fuzzy controller is introduced to generate the speed setpoints. These two fuzzy controllers collaborate with each other to guide our vehicle ION to the goal safely. The obstacle avoidance algorithm proposed in this paper was also tested in simulations and on small robots successfully. Other issues related to the navigation module are discussed in the paper as well, such as the vehicle's system structure and its finite state machine. As a result, ION achieved great performance in the National Qualification Event, covered about 30 miles in the Nevada Desert with complete autonomous operations, and finished 10th in the Grand Challenge 2005. &copy; 2006 Wiley Periodicals, Inc.
Microsoft SQL Server 2005 Notification Services (SQL Server Series)
Authors: Shyam Pather
Venue:  (2006)

Microsoft SQL Server 2005 Notification Services covers the basic problems of notification applications, describes the SQL Notification Services platform and describes how to use it to build rich, scalable notification applications. Written by Shyam Pather,ï¾ the Technical Lead for the SQL Notification Services Team, this book is based on his three years of experience teaching SQL Notification Services to new customers. This book is your complete resource for learning SQL Notification Servicesï¾ application development and the underlying architectural concepts.ï¾ 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
Two-Band Excitation for HMM-Based Speech Synthesis
Authors: Sang-Jin Kim, Minsoo Hahn
Venue: IEICE - Transactions on Information and Systems (2007)

This letter describes a two-band excitation model for HMM-based speech synthesis. The HMM-based speech synthesis system generates speech from the HMM training data of the spectral and excitation parameters. Synthesized speech has a typical quality of "vocoded sound" mostly because of the simple excitation model with the voiced/unvoiced selection. In this letter, two-band excitation based on the harmonic plus noise speech model is proposed for generating the mixed excitation source. With this model, we can generate the mixed excitation more accurately and reduce the memory for the trained excitation data as well.
Two Problems on Reduction Graphs in Lambda Calculus
Authors: Benedetto Intrigila, Anna R. Laurenzi
Venue: Fundamenta Informaticae (2000)

In this paper we solve two open problems in the theory of reduction graphs in lambda calculus. The first question is whether the condensed reduction graph of a lambda term is always locally finite (conjecture of M.Venturini Zilli 1984). We give a negative answer to the conjecture by providing a counterexample. The second problem is whether there is a term such that its reduction graph is composed of two reduction cycles (not loops) intersecting in just one point (problem of J.W.Klop 1980). We show that such a term cannot exist.
Knowledge discovery by means of inductive methods in wastewater treatment plant data
Authors: Joaquim Comas, Saso Dzeroski, Karina Gibert, Ignasi R.-Roda, Miquel Sànchez&dash;Marrè
Venue: AI Communications (2001)

Artificial intelligence techniques, including machine learning methods, and statistical techniques have shown promising results as decision support tools, because of their capabilities of knowledge discovery, heuristic reasoning and working with uncertain and qualitative information. Wastewater treatment plants are complex environmental processes that are difficult to manage and control. This paper discusses the qualitative and quantitative performance of several machine learning and statistical methods to discover knowledge patterns in data. The methods are tested and compared on a wastewater treatment data set. The methods used are: induction of decision trees, two different techniques of rule induction and two memory&dash;based learning methods: instance&dash;based learning and case&dash;based learning. All the knowledge patterns discovered by the different methods are compared in terms of predictive accuracy, the number of attributes and examples used, and the meaningful&dash;ness to domain experts.
O'Leary Series: Microsoft Access 2003 Introductory, 1 edition
Authors: Timothy J. O'Leary, Linda I. O'Leary
Venue:  (2004)

The goal of the O’Leary Series is to give students a basic understanding of computing concepts and to build the skills necessary to ensure that information technology is an advantage in whatever career they choose in life. The O’Leary Microsoft Office 2003 texts are crafted to be the true step-by-step way for students to develop Microsoft Office application skills. The text design emphasizes step-by-step instructions with full screen captures that illustrate the results of each step performed. Each Tutorial (chapter) combines conceptual coverage with detailed software-specific instructions. A running case that is featured in each tutorial highlights the real-world applications of each software program and leads students step-by-step from problem to solution.Table of contentsIntroduction to Microsoft Office 2003Overview of Microsoft Office Access 2003Lab 1:Creating a DatabaseLab 2:Modifying a Table and Creating a FormLab 3:Analyzing Data and Creating ReportsWorking Together 1: Linking Access and WordLab 4:Working with Multiple TablesLab 5:Creating Custom FormsLab 6:Creating Custom Reports, Macros, and SwitchboardsWorking Together 2:Exporting Data and Creating Data Access PagesCommand SummaryGlossary of Key Terms