ppxscal/embedding_network huggingface dataset:
Verification of embedded systems using a petri net based representation
Authors: Luis Alejandro Cortés, Petru Eles, Zebo Peng
Venue: Proceedings of the 13th international symposium on System synthesis (2000)

The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness. New verification methods that overcome the limitations of traditional techniques and, at the same time, are suitable for hardware/software systems are needed. In this work we formally define the semantics of PRES+, a Petri net based computational model aimed to represent embedded systems. We introduce an approach to formal verification of such systems: we make use of model checking to prove the correctness of embedded systems by determining the truth of CTL and TCTL formulas that specify required properties with respect to a PRES+ model. An ATM server illustrates the feasibility of our approach on practical applications.
Modems for Dummies, 2nd edition
Authors: Tina Rathbone
Venue:  (1994)

:Modems aren't just for techies anymore. Everyone wants or needs to get online -- whether it's for business, school, or plain old fun. Modems For Dummies, 3rd Edition, shows DOS, Windows, and Mac users how to select, install, and use modems and modem software. After you're connected, you can use the tips in this book to get the most out of the Internet and the World Wide Web, Bulletin Board Systems, and commercial services, such as CompuServe and America Online. Inside, find helpful advice on how to: Cut through the jargon to discover the essentials of working with modems and getting online Get the most for your money when buying a modem and communications software Access technical support from computer companies, gurus, and other online sources Understand online basics like sending and receiving e-mail, chatting, faxing, conferencing, and cruising the World Wide Web Reduce connect charges with Tina's tips for saving money online Save money with coupons for Internet access, software, and more! Discover online resources for information, shopping, gaming, and news Graze the top-rated communication programs and pick software to match your needs and pocketbook Decipher smileys, taglines, ASCII art, signature files, and other mysteries of the online world
Sams Teach Yourself Quicken Deluxe 2000 in 24 Hours, 1st edition
Authors: Patrice-Anne Rutledge
Venue:  (1999)

:Sams Teach Yourself Quicken Deluxe 2000 in 24 Hours uses a friendly, conversational approach to teach you the basics of Quicken 2000 and personal finance. This book covers everything you need to know to use Quicken, from installation to transaction entry to reporting and analysis. It provides comprehensive coverage of all basic Quicken features in a way that's easy for beginners to follow. Each hour-long chapter teaches you how to perform an essential Quicken task, and the hours progress from the basics to more advanced tasks, such as downloading information from the Internet and analyzing investment portfolios.
AutoCAD Release 14 for Dummies, 2nd edition
Authors: Bud E. Smith
Venue:  (1997)

:Whether you are encountering AutoCAD for the first time or upgrading to Release 14 from a previous release of AutoCAD, you will find the answers to all of your most frustrating questions in this easy-to-use reference. AutoCAD Release 14 For Dummies shows you how to create professional-quality drawings and how to get around those tricky "gotchas" that you encounter when setting up AutoCAD, creating drawings, and editing. Inside, find helpful advice on how to Set up AutoCAD so that it works with you, not against you Use blocks and external references to save time and avoid mistakes Drive AutoCAD from the command line to save time like the experts Take advantage of new Release 14 features to make your life easier and more productive Pan and zoom smoothly -- as easily as you draw Eliminate screen refreshes and REGENs (screen regenerations) Include scanned images, such as blueprints and photos, in your AutoCAD drawings
Optimal computation of the Voronoi diagram of disjoint clusters
Authors: Xuehou Tan
Venue: Information Processing Letters (2001)

Let d(a,b) denote the Euclidean distance between two points a, b in the plane. For a cluster C of sites, and for a point p, define d (p, C) = max {d(p,x) | x &egr; C} as the distance between p and C. The Voronoi diagram of a set S of clusters C1,...,Cm is a partition of the plane into domains, one for each cluster, such that a point p belongs to the domain of Ci if and only if d(p,Ci) is leass than or equal to d(p, Cj), i does not equal j. In this note, we present an optimal time O(nlogn) algorithm for computing the Voronoi diagram of a set of convex-hull dijoint clusters, where n is the sum of cardinalities of all clusters. This improves upon the previous O(nsquaredx(n)) time bound, where x(n) is the inverse Ackermann function. OUr result is obtained by examining a new variant of the Voronoi diagram where each site is associated with a convex and unbounded region in which it is active.
A Parallel Architecture for the 2-D Discrete Wavelet Transform with Integer Lifting Scheme
Authors: M. Ferretti, D. Rizzo
Venue: Journal of VLSI Signal Processing Systems (2001)

In this paper we propose a dedicated architecture to implement a 2-D discrete wavelet transform computed by adopting the new lifting scheme framework. Through this new construction tool it is possible to obtain integer versions of the wavelet transform. This is a very interesting issue when the goal is lossless compression of images, whose pixels are represented through integers. In the classical approach to the discrete wavelet, the filter coefficients are real numbers and so are the resulting coefficients. When pursuing hardware implementations for real time and embedded applications, this causes the need to manage fixed point operations and unavoidable quantization. If the output can be produced with integer values instead, perfect reconstruction and lossless compression are possible. Typical applications include scenarios with limited bandwidth and big image sizes, such as medical imaging for tele-medicine or satellite image transmission, not suited to lossy compression, or high quality images in digital cameras.We analyze the data flow and dependencies to define an architecture to implement the integer lifting wavelet transform. The paper covers all lifting implementations based on a single &lsquo;lifting stepr&rsquo; and uses the Deslauriers-Dubuc (4, 2) filter as a guiding example, but the approach is general and the results can be easily extended to other filters. We outline a very general framework, to be used either in a custom VLSI implementation, or in mappings onto existing &lsquo;computing cells&rsquo;. The overall resources needed are less than those for the equivalent classical FIR version computed through a systolic architecture.
Interplay of language and culture in global E-commerce: a comparison of five companies' multilingual websites
Authors: Shaoyi He
Venue: Proceedings of the 19th annual international conference on Computer documentation (2001)

This paper reports the results of a pilot study on the interplay of language and culture in global e-commerce, comparing the multilingual websites of five multinational companies, namely, Cisco, Hewlett-Packard, IBM, Intel and Microsoft. These five companies' websites in English are compared with the translated websites in both Simplified Chinese (SC) and Traditional Chinese (TC) in terms of contents and interfaces. The differences as well as similarities among the original websites in English and the translated websites in Simplified and Traditional Chinese are analyzed for the addition, omission and retention of linguistic and cultural elements. The results suggest that the adaptation to native language and local culture of the target audience and market is one of the important quality indicators for multilingual websites. The results also show that language and culture are inseparable for developing quality multilingual websites in global e-commerce.
Theoretical Models in Biology: The Original of Life, the Immune System, and the Brain
Authors: Glen W. Rowe
Venue:  (1994)

:This book surveys theoretical models in three broad areas of biology (the origin of life, the immune system, and memory in the brain), introducing mathematical and (mainly) computational methods that have been used to construct simulations. Most current books on theoretical biology fall into one of two categories: (a) books that specialize in one area of biology and treat theoretical models in considerable depth; and (b) books that concentrate on purely mathematical models, with computers used only to find numerical solutions to differential equations, for example. Although some mathematical models are considered in this book, the main emphasis is on stochastic computer models of biological systems. Such techniques have a much greater potential for producing detailed, realistic models of individual systems, and are likely to be the preferred modelling methods of the future. By considering three different areas in biology, the book shows how several of these modelling techniques have been successfully applied in diverse areas. Put simply, this book is important because it shows how the power of modern computers is allowing researchers in theoretical biology to break free of the constraints modelling that were imposed by the traditional differential equation approach.
DOS for Dummies, 3rd edition
Authors: Dan Gookin
Venue:  (1998)

:Discover why millions of computer users trust Dan Gookin to demystify DOS and communicate the essentials of computing. His clear explanations and down-to-earth style make exploring this operating system painless -- even fun! With complete coverage of all versions of DOS, as well as DOS under Windows 98, DOS For Dummies, 3rd Edition (the latest edition of this best-selling guide), offers frustrated DOS users more help than ever before. Inside, find helpful advice on how to Graps the facts and features of MS-DOS in Windows 98 Share data between DOS programs and Windows -- easily Find that lost file and retrieve your program if it crashes Handle error messages in DOS -- without panicking Work with all versions of DOS Discover more about modems and DOS utilities Understand complex terminology with clear explanations in a glossary of terms Run programs directly from the DOS prompt
Customer Service on the Internet: Customer Support, Direct Marketing, and Up-Selling, 1st edition
Authors: Jim Sterne
Venue:  (1996)

:Imagine a customer service operation ready to meet your customers 24 hours a day, seven days a week, cheaply, and efficiently. That is precisely what the Web has to offer, and Web marketing expert Jim Sterne outlines exactly how to do it. From managing your corporate image to organizing the information and making it readily available to prospects to answering customer questions, this book explores both the technical and strategic issues of tapping into the very latest Web methods. This book also provides a cost/benefit analysis and makes recommendations on what type of information a company should provide over the Net.
Windows 98: Exam 70-98
Authors: Patrick Terrance Neal
Venue:  (1998)

:Becoming a Microsoft Certified Systems Engineer just got easier. Accelerated MCSE Study Guides are written by experts - MCSEs and MCTs - for computer professionals who want to pass their exams the first time around. It's all here: everything you need to approach the exam with confidence, in a handy, study-anywhere format. The Windows 98 Accelerated MCSE Study Guide provides exactly the kind of guidance necessary to get you ready for the implementing and Supporting Microsoft Windows 98 exam - an optional core test for getting your MCSE credentials. Pick any topic - from handling various file systems and sharing and securing resources, to unattended operating system installations, to dial-up networking, RAS, and Netware - and the information is all there, right where you want it.
10 Minute Guide to Quattro Pro for Windows, Release 6.0, 1st edition
Authors: Joe Kraynak
Venue:  (1994)

:In approximately 20 mini-tutorials, this unique book offers the fastest way to learn spreadsheet basics. Users learn the most often-used features of Quattro Pro, as well as get tips and advice on how to make the most of worksheets, databases, graphs, and more.Simple two-color graphic approach helps users find the information they need quicklyIncludes Timesaver Tips, Plain English definitions, and Panic Button troubleshooting adviceThe perfect quick guide to spreadsheet productivity
AppleScript Language Guide, 1st edition
Authors: CORPORATE Apple Computer Inc.
Venue:  (1994)

:This book is an essential reference for anyone using AppleScript to modify existing scripts or write new ones. It provides many sample scripts and discusses advanced topics such as writing command handlers for script applications, the scope of script variables and properties declared at different levels in a script, and inheritance and delegation among script objects.
Inside Solidworks, 2nd edition
Authors: David Murray
Venue:  (2000)

:Inside SolidWorks, 2nd Edition, continues to provide beginning through intermediate users with a host of manufacturing-based examples and step-by-step tutorials. In addition to exploring the ins and outs of specific SolidWorks 2000 commands and processes, this book emphasizes the mindset needed to create professional 3D designs and solid models vs. classic 2D-oriented approaches. Drafting with parting lines, unrolling sheet metal, using the Rip function, step and repeat functions, assembly component mating techniques, as well as new lighting sources and surfacing functionality are just a few of the new features covered in this edition. Numerous opportunities to apply SolidWorks functionality in the context of a wide variety of manufacturing processes; plus detailed examples within each chapter that enable readers to build a sample part, make this a valuable how-to and reference manual for users of all abilities.
AutoCAD 14 & 3D Studio VIZ 2.0 Training Pak
Authors: Nancy Fulton
Venue:  (1997)

:AutoCAD 14 Training CD delivers seven hands-on, practical courses in AutoCAD Release 14, covering drawing and editing commands, dimensioning, customization, 3D, layers, blocks and tables.This CD is perfect for new users who need to master AutoCAD Release 14, and for users upgrading from previous releases of AutoCAD. The 3D Studio VIZ Training CD delivers 40 hands-on projects covering lighting, materials, modeling, linking projects to AutoCAD files, walkthough animations, walls, doors, windows and camera matching. About the Author: Nancy Fulton has written more than fourteen interactive training tools for Autodesk products. She teaches computer aided design and animation for UCLA and serves as a consultant to Autodesk for interactive training materials.
Sams Teach Yourself MAC OS 9 in 24 Hours, 1st edition
Authors: Rita F. Lewis
Venue:  (1999)

:Sams Teach Yourself Mac OS 9 in 24 Hours provides you with insight into the new OS 9 features and technologies. Focusing on tutorials that teach you how to get around on a Macintosh system, you'll learn to customize the desktop, manage files, use fonts and color, learn about audio and video features, and how to search and use the Web. This book gives in-depth coverage of popular features, such as Sherlock and QuickTime. In addition to providing instruction for new users, this book meets the needs of people who want to dig deeper into Mac OS 9 by introducing you to some of the advanced features of the operating system. Advanced subjects include automating the Mac with Applescript, optimizing the Mac, and troubleshooting.
NetAffx: affymetrix probeset annotations
Authors: Guoying Liu, Ann E. Loraine, Ron Shigeta, Melissa Cline, Jill Cheng, Stephen A. Chervitz, David Kulp, Michael A. Siani-Rose
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

One challenge in microarray experiments is assessing when the results are biologically significant. This assessment can be aided by detailed annotation of the probeset target sequences, including gene function or category, protein product, and pathway information. NetAffx compiles public and in-house annotations for all Affymetrix chip sets. Public annotations are collected from Unigene, LocusLink and Swiss-prot. In-house annotations are produced by Generalized Rapid Automated Protein Analysis (GRAPA), a high-accuracy HMM method for protein annotation. GRAPA has been used to generate novel annotations under three classification schemes: Structural Classification of Proteins (SCOP), Enzyme Commission (EC), and G protein coupled receptors (GPCR). In addition, annotations are generated by searching Pfam and BLOCKS databases. These annotation schemes have been applied to diverse genomes including human, mouse, rat, drosophila, and yeast, then mapped onto Affymetrix microarray probesets. The combination of protein-level annotations with public source annotations creates a powerful description of genes at both the genomic and protein levels. Users can collect information on a target sequence, or cluster microarray probe sets according to a given domain or functional category. NetAffx is available on the web at http://www.NetAffx.com/.
Object Database Development: Concepts and Principles, 1st edition
Authors: David W. Embley
Venue:  (1997)

:FEATURES: Takes an object-oriented approach to modeling and developing database applications. Provides a seamless way to move from analysis through specification and design into implementation. Focuses on concepts and principles that provide a sound theoretical foundation for database application development. Presents several case studies (Oracle, UniSQL, O2, ObjectStore, and Ode), that show how to turn theory into practice.
Using Access 97: With CD-ROM
Authors: Roger Jennings
Venue:  (1997)

:Platinum Edition Using Access 97 is unique because it will teach the reader, but it starts higher and moves faster, and the reader learns more topics in greater depth. Low end books cannot match our breadth of coverage and high end books fail to provide a starting point nor do they possess our depth of coverage on core topics. The CD provides a wealth of database applications, code libraries, web application templates, development tools, and more. The book features a comprehensive electronic index and key chapters and excerpts from Que s Access library. Developers will quickly find the answers they seek to their Access 2, Access 95, and Access 97 questions.A clear step beyond the Special Edition Using series, Platinum Edition Using Access 97 is designed for the power user who wants in depth, technical informationExpanded coverage of hot topics such as dynamic data-driven web sites, Office integration, VBA development, and expert forms designPlatinum Edition Using Access 97 builds upon three generations of Special Edition Using Access to deliver an unmatched tutorial reference for the Access power user and developer
Cisco IOS 12.0 Dial Solutions
Authors: Cisco Systems
Venue:  (1999)

:Cisco IOS 12.0 Dial Solutions offers the most current information on dial-up solutions to date. This comprehensive reference focuses on the implementation of dial-up solutions for remote sites dialing into a central office, Internet Service Providers (ISPs), ISP customers at home offices, enterprise WAN system administrators implementing dial-on-demand routing, and other corporate network environments.
Gestural and audio metaphors as a means of control for mobile devices
Authors: Antti Pirhonen, Stephen Brewster, Christopher Holguin
Venue: Proceedings of the SIGCHI conference on Human factors in computing systems: Changing our world, changing ourselves (2002)

This paper discusses the use of gesture and non-speech audio as ways to improve the user interface of a mobile music player. Their key advantages mean that users could use a player without having to look at its controls when on the move. Two very different evaluations of the player took place: one based on a standard usability experiment (comparing the new player to a standard design) and the other a video analysis of the player in use. Both of these showed significant usability improvements for the gesture/audio-based interface over a standard visual/pen-based display. The similarities and differences in the results produced by the two studies are discussed
Microsoft Word 6.0 for Windows: Quick Course, 1st edition
Authors: Patricia Murphy
Venue:  (1995)

:Covers the most often used features of Microsoft Word 6.0 from beginning to advanced. Each lesson provides step-by-step instructions with several hands-on activities built in throughout each lesson. Numerous graphics and illustrations are used to provide visual reinforcement of concepts.
Fruit fly mutant data storage and retrieval system
Authors: C. E. Price
Venue: Proceedings of the 6th annual Southeastern regional meeting of the Association for Computing Machinery and national meeting of Biomedical Computing - Volume 1 (1967)

This paper describes a computer based system for maintaining a master file of data on mutants of fruit flies (Drosophila Melanogaster) on magnetic tape. Over 4,000 mutants are delineated at present. Further provisions of the system provide for outputting lists of selected data elements in various arrangements on demand. The data is input via Flexowriter produced paper tape. Data representation involves a special character set which includes upper and lower case alphabetics and superscript notation. Output is on either Flexowriter (very slow) or computer printout using a special, 120-character chain. Computers involved are the IBM 7090 and IBM 1401. The principal programming is in COBOL.
The use of small computer systems in CAI
Authors: Lorna S. Schmittou
Venue: Proceedings of the 17th annual Southeast regional conference (1979)

The purpose of this presentation is to discuss how Computer Assisted Instruction modules can be implemented through the use of mini and micro computer storage systems. Various factors will be examined in order to evaluate the extent to which small computer systems bear further investigation. Some aspects to be considered are cost effectiveness for elementary, secondary and higher level education, portability of the software, the languages being used, whether any real improvement in educational quality has been accomplished and which educational uses are giving the best results.A comparison will be made between the relative costs of small computer systems and those of a larger interactive system. The extent to which teachers become involved with the system will be considered, as well as the attitudes of students using the system. The extent to which the small computer system will be able to utilize graphics and implement complex programs will be discussed. Observations will be made concerning the present and possible future impact of micro-computers on Computer Assisted Instruction. 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
IRC Survival Guide: Talk to the World with Internet Relay Chat, 1st edition
Authors: Stuart Harris
Venue:  (1995)

:For many people, internet relay chat (irc) seems like an intimidating jungle, inhabited exclusively by UNIX nerds. In reality it's a delightful adventure, waiting to happen to almost anyone with an Internet connection. At once romantic and high tech, funny but sometime dangerous, irc is the very essence of the Internet culture, and the perfect post-modern experience for those with know-how. Although the most advanced irc client software understands over 400 commands, The irc Survival Guide can show you how to establish an identity and join the irc community using just five basic commands. Rewards are great: participation in an international culture that offers you a choice of more than 1,000 separate conversations in many languages 24 hours a day.