ppxscal/embedding_network huggingface dataset:
Physically-based deformations: copy and paste
Authors: Jian Chang, Jian J. Zhang, L. H. You
Venue: The Visual Computer: International Journal of Computer Graphics (2006)

In contrast with purely geometric approaches, physically-based deformation techniques usually afford greater realism in the animation of soft objects and characters, due to the consideration of the inherent physical properties of the materials. In this paper, we present a novel physically-based technique allowing versatile deformation effects to be created using simple copy and paste operations. The copy process involves the extraction of the deformation behaviour from a source object, and the paste operation applies it to a different object (target), resulting in the target object being deformed in a physically plausible manner. Our technique defines the deformation of an object as a linear combination of a set of carefully chosen fundamental solutions from classic mechanics, which separates the deformation data from the geometry. The deformation of the source object can be computed using any existing physically-based technique. To copy the deformation from an object is to formulate the weighting coefficients to the fundamental solutions. To paste the deformation to another object is to apply our deformation model to the target object with the derived weighting coefficients. Repeated copy and paste operations allow various local and global deformation effects to be created. In addition to visual realism, the main advantages of our technique compared with other existing physically-based methods are its capability to reuse the deformation data, computational efficiency and friendliness to animators.
Hands-On Oracle Database 10g Express Edition for Windows, 1 edition
Authors: Steve Bobrowski
Venue:  (2006)

The fastest way to get up and running on Oracle Database XETake full advantage of all the powerful features available in Oracle Database 10g Express Edition with help from this easy-to-follow Oracle Press guide. Hands-On Oracle Database 10g Express Edition for Windows shows you, step by step, how to set up, administer, tune, troubleshoot, and secure a robust database system. You will also learn to use PL/SQL and Oracle Application Express to build custom database applications. Get started today with the Oracle database that's free to develop, deploy, and distribute.Table of contentsPart I: Getting StartedChapter 1: Introduction to Databases and OracleChapter 2: Install and Start Using Oracle Database 10g Express EditionPart II: Fundamentals of Application DevelopmentChapter 3: Access Database Data with SQLChapter 4: Code Database Access Programs with PL/SQLChapter 5: Build a Basic Relational SchemaChapter 6: Build an Application with Oracle Application ExpressPart III: Database AdministrationChapter 7: Secure Database AccessChapter 8: Manage Database SpaceChapter 9: Protect Your Oracle XE DatabaseChapter 10: Tune Application and Database Instance Performance Index 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
Combining ACL2 and an automated verification tool to verify a multiplier
Authors: Erik Reeber, Jun Sawada
Venue: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications (2006)

We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to verify a multiplier used in an industrial floating point unit. The property we ultimately verify corresponds to the correctness of the component that produces a pair of bit-vectors whose summation is equal to the product. This property is beyond the scale of the SixthSense system alone. In this paper we show how we verified the multiplier by illustrating key ACL2 lemmas and theorems, and also properties checked by SixthSense.
Mastering Digital Photography, Second Edition (Mastering)
Authors: David D. Busch
Venue:  (2005)

Coverage includes- David D. Busch has been demystifying arcane computer and imaging technology since the early 1980s. However, he had a successful career as a professional photographer for a decade before he sat down at the keyboard of his first personal computer. Busch has worked as a newspaper photographer, done commercial studio and portrait work, shot weddings, and roved the United States and Europe as a photojournalist. His articles on photography and image editing have appeared in magazines as diverse as Popular Photography and Imaging, Petersen's PhotoGraphic, Rangefinder, and The Professional Photographer, as well as computer magazines such as Macworld and Computer Shopper. He's currently reviewing digital cameras for CNet and Computer Shopper. Full-color book with excellent illustrations. Written by a working photographer and well-known author in the digital photography field. Full-color images clearly illustrate each hands-on lesson.
Yahoo! Hacks
Authors: Paul Bausch
Venue:  (2005)

Yahoo! took the world by storm in the 1990s as a one-of-a-kind, searchable list of interesting web sites. But ten years later, it has expanded into a department store overflowing with useful and innovative tools and services-from email, blogging, social networking, and instant messaging, to news, financial markets, shopping, movie and TV listings, and much more. Today's Yahoo! keeps you connected with every aspect of your life and every corner of the Web. Yahoo! Hacks shows you how to use, expand, personalize, and tweak Yahoo! in ways you never dreamed possible. You'll learn how to: Fine-tune search queries with keyword shortcuts and advanced syntax Manage and customize Yahoo! Mail, using it as your universal email client to access all your other accounts Explore your social networks with Yahoo! 360, blogging your life, keeping up with friends, and making new contacts Store, sort, blog, feed, track, and otherwise share photos with Flickr and RSS Make My Yahoo! your Yahoo!, and personalize Yahoo!'s many properties Roll your own Yahoo! applications with Yahoo! new Web Services API and Perl, PHP, Java, Python, Ruby, or the programming language of your choice Visualize search results and topics, mash up images from around the Web, and remix other web content List (or hide) your site with Yahoo!, and integrate Yahoo! Groups, Messenger, contextual search (Y!Q), or other Yahoo! features Whether you want to become a power searcher, news monger, super shopper, or innovative web developer, Yahoo! Hacks provides the tools to take you further than you ever thought possible.
Random Switching Logic: A New Countermeasure against DPA and Second-Order DPA at the Logic Level
Authors: Daisuke Suzuki, Minoru Saeki, Tetsuya Ichikawa
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2007)

This paper proposes a new countermeasure, Random Switching Logic (RSL), against DPA (Differential Power Analysis) and Second-Order DPA at the logic level. RSL makes a signal transition uniform at each gate and suppresses the propagation of glitch to allow power consumption to be independent of predictable data. Furthermore, we implement basic logic circuits on the FPGA (Field Programmable Gate Array) by using RSL, and evaluate the effectiveness. As a result, we confirm the fact that the secure circuit can be structured against DPA and Second-Order DPA.
Efficient parsimony-based methods for phylogenetic network reconstruction
Authors: Guohua Jin, Luay Nakhleh, Sagi Snir, Tamir Tuller
Venue: Bioinformatics (2007)

Motivation: Phylogenies---the evolutionary histories of groups of organisms---play a major role in representing relationships among biological entities. Although many biological processes can be effectively modeled as tree-like relationships, others, such as hybrid speciation and horizontal gene transfer (HGT), result in networks, rather than trees, of relationships. Hybrid speciation is a significant evolutionary mechanism in plants, fish and other groups of species. HGT plays a major role in bacterial genome diversification and is a significant mechanism by which bacteria develop resistance to antibiotics. Maximum parsimony is one of the most commonly used criteria for phylogenetic tree inference. Roughly speaking, inference based on this criterion seeks the tree that minimizes the amount of evolution. In 1990, Jotun Hein proposed using this criterion for inferring the evolution of sequences subject to recombination. Preliminary results on small synthetic datasets. Nakhleh et al. (2005) demonstrated the criterion's application to phylogenetic network reconstruction in general and HGT detection in particular. However, the naive algorithms used by the authors are inapplicable to large datasets due to their demanding computational requirements. Further, no rigorous theoretical analysis of computing the criterion was given, nor was it tested on biological data. Results: In the present work we prove that the problem of scoring the parsimony of a phylogenetic network is NP-hard and provide an improved fixed parameter tractable algorithm for it. Further, we devise efficient heuristics for parsimony-based reconstruction of phylogenetic networks. We test our methods on both synthetic and biological data (rbcL gene in bacteria) and obtain very promising results. Contact: ssagi@math.berkeley.edu
Semantic patches for documenting and automating collateral evolutions in Linux device drivers
Authors: Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
Venue: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems (2006)

Developing and maintaining drivers is known to be one of the major challenges in creating a general-purpose, practically-useful operating system [1, 3]. In the case of Linux, device drivers make up, by far, the largest part of the kernel source code, and many more drivers are available outside the standard kernel source tree. New drivers are needed all the time, to give access to the latest devices. To ease driver development, Linux provides a set of driver support libraries, each devoted to a particular bus or device type. These libraries encapsulate much of the complexity of interacting with the device and the Linux kernel, and impose a uniform structure on device-specific code within a given bus or device type.
Analysis of OBS networks with limited wavelength conversion
Authors: Zvi Rosberg, Andrew Zalesky, Hai L. Vu, Moshe Zukerman
Venue: IEEE/ACM Transactions on Networking (TON) (2006)

Presented herein is a scalable framework for estimating path blocking probabilities in optical burst switched (OBS) networks where limited wavelength conversion is possible. Although presented under the guise of OBS, it is pertinent to a broader class of optical networks based on the principle of bufferless unacknowledged switching. By applying the framework to the NSFNET topology, it is shown that even the most limited conversion range may reduce path blocking probabilities by several orders of magnitude, compared with no wavelength conversion. Moreover, contrary to previous results derived for all-optical non-OBS networks with acknowledgement, OBS with full wavelength conversion achieves significantly lower blocking probabilities than OBS with limited wavelength conversion when the conversion range is small. Underpinning the framework is a generalization of the classical reduced load approximation. Assuming links evolve independently of each other allows decoupling of the network into its constituent links. A set of fixed-point equations describing the evolution of each conversion range are then solved by successive substitution to estimate link blocking probabilities. Having these link blocking probabilities, path blocking probabilities are evaluated. The complexity of the framework is dominated by the wavelength conversion range and is independent of the number of wavelengths per link under certain symmetry conditions. Both just-in-time (JIT) and just-enough-time (JET) scheduling are considered. Simulations are implemented to corroborate the accuracy of the framework.
Preventive Photoshop: Take the Best Digital Photographs Now for Better Images Later
Authors: Douglas Ford Rea
Venue:  (2006)

How many times have you said, “I'll just fix it in Photoshop”? And then you discover that “fixing” an image means hours in front of your computer. Wouldn't it be better - and easier - to take the time to shoot your digital photographs correctly in the first place and minimize the back-breaking hours hunched over a keyboard? Preventive Photoshop shows you how to shave hours off your computer time by learning essential photographic techniques that, when coupled with Adobe Photoshop, let you create professional-quality images. According to author Douglas Ford Rea, the key is knowing which problems are more easily solved before the shutter is clicked rather than after the files are downloaded. By understanding image fundamentals like lighting, white balance, and color correction, you'll begin to “think in Photoshop.” You'll learn: How to eliminate image noise for sharp-looking images Why shooting camera raw yields the best image results How to color manage your camera and your computer Why in-camera sharpening must be turned off How to read histograms and highlight warnings Why previewing images on your camera LCD is misleading How to create a camera-to-computer feedback loop 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
MCSA/MCSE Managing and Maintaining a Windows Server 2003 Environment Exam Cram 2 (Exam Cram 70-290)
Authors: Dan Balter, Ed Tittel
Venue:  (2003)

This Exam Cram 2 helps you pass the 70-290 exam, which is one of the four core exams in Microsoft's MCSE 2003 certification program as well as a core exam in the MCSA 2003 program. This book assumes that you have a solid foundation of knowledge but could use a refresher on important concepts, as well as a guide to exam topics and objectives. The book features test-taking strategies, time-saving study tips, and a special Cram Sheet that includes tips, acronyms, and memory joggers not available anywhere else! The Cram Sheet is especially useful for last-minute review before the test begins.The best-selling Exam Cram 2 series is supported online at examcram.com. Each book is published under the direction of Series Editor Ed Tittel, the leading authority on IT certification. This book has been subjected to rigorous technical review by a team of industry experts, ensuring content is superior in both coverage and technical accuracy, and has earned the distinction of Cramsession(TM) Approved Study Material.
Mike Meyers' A+ Guide: Essentials (Exam 220-601), 2 edition
Authors: Michael Meyers
Venue:  (2007)

Essential Skills for a Successful IT Career Mike Meyers, the leading authority on CompTIA A+ training and certification, has helped hundreds of thousands of people master the skills covered on the CompTIA A+ Essentials exam--and now he can help you, too. Completely updated for the new CompTIA A+ standards, Mike Meyers' CompTIA A+&reg; Guide: Essentials will help you pass CompTIA A+ exam 220-601 and become an expert hardware technician. Inside, you'll find helpful on-the-job tips, end-of-chapter practice questions, and hundreds of photographs and illustrations.Covers all CompTIA A+ Essentials Exam Topics, Including:CPUs and RAM CMOS and BIOS settings Expansion busMotherboardsPower suppliesHard drives Removable mediaWindows 2000 Professional and Windows XP Input/output portsVideo cardsPortable PCs, PDAs, and wireless technologies PrintersNetworksSecurityThe CD-ROM Features:Two full practice exams covering the CompTIA A+ Essentials examOne hour of LearnKey video training featuring Mike Meyers teaching key CompTIA A+ topics Electronic copy of the bookComplete exam objective mapList of official CompTIA A+ acronymsUseful tools and utilities for PC technicians Each Chapter Includes:Learning objectives Photographs and illustrations Real-world examples Try This! and Cross Check exercises Tech tips, notes, and warnings End-of-chapter quizzes and lab projects Table of contentsChapter 1: Getting to Know the A+ ExamChapter 2: The Visible PC Chapter 3: Understanding CPUs Chapter 4: Understanding RAMChapter 5: Understanding BIOS and CMOSChapter 6: Understanding the Expansion Bus Chapter 7: Understanding Motherboards Chapter 8: Understanding PC PowerChapter 9: Implementing Hard DrivesChapter 10: Understanding Removable Media Chapter 11: Installing and Upgrading WindowsChapter 12: Understanding WindowsChapter 13: Maintaining WindowsChapter 14: Input/OutputChapter 15: Understanding VideoChapter 16: Portable ComputingChapter 17: Understanding PrintingChapter 18: Understanding NetworkingChapter 19: Computer SecurityChapter 20: The Complete PC TechAppendix A: Installing and Troubleshooting PrintersAppendix B: About the CD-ROMGlossaryIndex
Show Me Quicken 2006 (Show Me)
Authors: Gina Carrillo
Venue:  (2005)

Show Me Quickenï¾ 2006 shows you, literally, how to get up and running fast using the new and improved Quicken 2006. Learn how to utilize the program's many features to take control of and monitor your finances, including investments, credit cards, and savings using the step-by-step instructions that explain how to record transactions. balance accounts, and pay bills online. You'll also learn how to create reports to help summarize expenses, income, and financial status,ï¾ and how to utilize the planning tools to prepare for college spending, retirement, loans, and more.ï¾
Firefox and Thunderbird Garage (The Garage Series)
Authors: Chris Hofmann, Marcia Knous, John Hedtke
Venue:  (2005)

Welcome to the next Internet revolutionEnter your Firefox and Thunderbird Garage...where you master the incredible free software that's helping millions of people use the Web and email faster, more efficiently, and more safely. Your guides know Firefox and Thunderbird better than anyone. They're the Mozilla insiders who helped create them-sparking a new Internet revolution, in which real people take back the Internet from monopolists, spammers, and spyware artists!The basics are just the beginning: this book shows how to customize and extend Firefox and Thunderbird so they'll work exactly the way you want, and do more than you ever thought possible. We're talking better productivity, faster searches, easier downloads, and more fun. Discover why Firefox and Thunderbird blow away Internet Explorer and Outlook Express Make Firefox even more secure: Manage passwords, clean caches and history, and more Trash unwanted popups, ads, and other Web annoyances Make the most of Firefox's built-in search tools and shortcuts Create "live bookmarks" that update automatically Harness tabbed browsing to get more done faster Download files more quickly and reliably Install today's hottest Firefox and Thunderbird plug-ins Set up email, RSS, and newsgroup accounts fast-and manage them efficiently Organize the messages you want, and dump the messages you don't want Get under the hood! Hack Firefox and Thunderbird configuration files Includes quick-references to keyboard/mouse shortcuts, security, and moreWith its easy, quick-learning modules, insider tips, rants, and blog entries, Firefox and Thunderbird Garage is far more than a software manual: it's your guide to the new Internet revolution!© Copyright Pearson Education. All rights reserved.
Development and implementation of the PSI MI standard for molecular interaction
Authors: Samuel Kerrien, Henning Hermjakob
Venue: Proceedings of the 38th conference on Winter simulation (2006)

The pool of molecular interaction data is growing fast but nevertheless remains fragmented. Combining together data coming from heterogeneous sources is a crucial step towards a deeper understanding of the cell machinery. The Proteomics Standard Initiative offers mature standards (PSI-MI) to facilitate the exchange and analysis of Molecular Interaction data. After introducing the details of the latest version of the PSI-MI data model, we will present the implementation of PSI-MI in the IntAct project, which offers a platform for management and analysis of interaction data. Finally we will give some insight into realistically using molecular interaction data as a foundation for other research.
Simulating speech with a physics-based facial muscle model
Authors: Eftychios Sifakis, Andrew Selle, Avram Robinson-Mosher, Ronald Fedkiw
Venue: Proceedings of the 2006 ACM SIGGRAPH/Eurographics symposium on Computer animation (2006)

We present a physically based system for creating animations of novel words and phrases from text and audio input based on the analysis of motion captured speech examples. Leading image based techniques exhibit photo-real quality, yet lack versatility especially with regard to interactions with the environment. Data driven approaches that use motion capture to deform a three dimensional surface often lack any anatomical or physically based structure, limiting their accuracy and realism. In contrast, muscle driven physics-based facial animation systems can trivially integrate external interacting objects and have the potential to produce very realistic animations as long as the underlying model and simulation framework are faithful to the anatomy of the face and the physics of facial tissue deformation. We start with a high resolution, anatomically accurate flesh and muscle model built for a specific subject. Then we translate a motion captured training set of speech examples into muscle activation signals, and subsequently segment those into intervals corresponding to individual phonemes. Finally, these samples are used to synthesize novel words and phrases. The versatility of our approach is illustrated by combining this novel speech content with various facial expressions, as well as interactions with external objects.
Generating on-board diagnostics of dynamic automotive systems based on qualitative models[1].
Authors: Fulvio Cascio, Luca Console, Marcella Guagliumi, Massimo Osella, Andrea Panati, Sara Sottano, Daniele Theseider Dupré
Venue: AI Communications (1999)

On&dash;board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on&dash;board diagnostic systems is a challenging problem under several points of view. In this paper we discuss the experience we made on such a problem within the VMBD project. In particular, we discuss an approach which tries to reconcile two goals&colon; satisfying all the requirements and constraints imposed by the on&dash;board application, and exploiting the advantages of the model&dash;based approach as much as possible. The approach is based on qualitative deviation models for the automatic derivation of on&dash;board diagnostics based on decision trees. In the paper we use a specific application, the Common Rail fuel delivery system, as a concrete example, briefly discussing the on&dash;board diagnostics we designed for such a system and its prototype implementation and demonstration.This work was partially supported by the European Commission, DG XII (project BE 95/2128, &lsquo;VMBD&rsquo;). VMBD (Vehicle Model&dash;Based Diagnosis) is a Brite&dash;Euram project involving the following partners&colon; Daimler Benz, Centro Ricerche Fiat, Volvo, Bosch, Magneti Marelli, Genrad, Dassault Electronique, Universit&agrave; di Torino, Universit&eacute; Paris XIII (Paris Nord), University of Wales at Aberystwyth.