ppxscal/embedding_network huggingface dataset:
User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation
Authors: David Brach, P. Eng
Venue: ACM SIGAda Ada Letters (2002)

CMC Electronics Inc. has gained experience using the Ravenscar Profile by developing avionics software using the Aonix ObjectAda RAVEN toolset. The Aonix toolset was selected by CMC Electronics for several reasons including familiarity with the product family, the well-known IDE, the small kernel footprint, the claimed Ravenscar Profile compatibility (at the time of evaluation the only claimant) and the certifiability option. The Aonix toolset met all our criteria for an avionics software development toolset. From our development experience certain conclusions with respect to the Ravenscar Profile and Aonix toolset have been reached, which will be expressed herein.
Inverting Gravitational Lenses
Authors: Peter R. Newbury, Raymond J. Spiteri
Venue: SIAM Review (2002)

Gravitational lensing provides a powerful tool to study a number of fundamental questions in astrophysics. Fortuitously, one can begin to explore some nontrivial issues associated with this phenomenon without a lot of very sophisticated mathematics, making an elementary treatment of this topic tractable even to senior undergraduates. In this paper, we give a relatively self-contained outline of the basic concepts and mathematics behind gravitational lensing as a recent and exciting topic for courses in mathematical modeling or scientific computing. To this end, we have designed and made available some interactive software to aid in the simulation and inversion of gravitational lenses in a classroom setting.
TCP/IP Clearly Explained, 3rd edition
Authors: Pete Loshin
Venue:  (1999)

:In this third edition, Pete Loshin provides an introduction to TCP/IP: what it is, how it works, and what it does. Following in the tradition of the previous editions, TCP/IP Clearly Explained, Third Edition offers even clearer explanations of some of the trickier aspects of TCP/IP based upon comments from readers, as well as coverage of the most recent protocol developments. TCP/IP Clearly Explained, Third Edition introduces TCP/IP networking to anyone interested in understanding how the Internet works from a nuts-and-bolts perspective. Users at all levels will find it an invaluable introduction and reference volume.
Bluetooth 1.1: Connect Without Cables, Second Edition, 2nd edition
Authors: Jennifer Bray, Charles Sturman
Venue:  (2001)

:The first complete guide to the new Bluetooth 1.1 wireless specification! The Bluetooth specification has been updated to deliver dramatic improvements in both reliability and interoperability. Bluetooth 1.1: Connect Without Cables, Second Edition updates the industry's #1 Bluetooth guide to cover these critical new enhancementsand to offer detailed guidance on every aspect of Bluetooth 1.1 development. The authoritative, in-depth guide to the new Bluetooth 1.1 specification Bluetooth 1.1's dramatic improvements in interoperability and reliability Includes thoroughly revised coverage of Bluetooth security and power conservation New Bluetooth profilesincluding the long-awaited Personal Area Networking profile! Bluetooth SIG committee members Jennifer Bray and Charles Sturman place Bluetooth 1.1 in context, covering markets, applications, complementary technologies, key development issues, and explaining every goal of the new release. They review the components of a Bluetooth system, explain how Bluetooth connections work, introduce essential concepts such as piconets and scatternets, and cover the Bluetooth protocol stack in detail from top to bottom. Interoperability between 1.0b and 1.1 Details of 1.1 improvements with explanations of the reasons behind each change Important changes to Bluetooth low-power modes, encryption, and authentication Bridging Ethernet and Bluetooth with Bluetooth Network Encapsulation Protocol How to use Universal Plug and Play with the Bluetooth protocol stack Profiles which will bring new products including: Human Interface Devices, Hands-Free Phone usage, Basic Printing, Basic Imaging, and Hard Copy Cable Replacement Technologies used by Bluetooth: OBEX, WAP, GSM TS07.10, UPnP, Q.931, and UUIDs Comparison of related technologies: DECT, IrDA, Home RF, HiperLAN, and 802.11 Whether you're experienced with V.1.0 or working with Bluetooth for the first time, Bluetooth 1.1: Connect Without Cables, Second Edition is your definitive resource for building interoperable, reliable wireless applicationsright now!
The Filmmaker's Handbook: A Comprehensive Guide for the Digital Age, 1st edition
Authors: Steven Ascher, Edward Pincus
Venue:  (1999)

:Whether it's indoors or outdoors, big budgets or small, 35mm or hand-held video...whether you're behind the camera or in the lab...no matter how much time you have, how much money you want to spend...what style you want to use...whatever equipment, skills, and terminology you want to master... You'll find the most current, cutting-edge information in clear, accessible language in The Filmmaker's Handbook, the definitive guide that gives every aspiring professional and beginning filmmaker the guidance and tools needed to master the fine art of making movies.
Practical C++ Programming, 2nd edition
Authors: Steve Oualline
Venue:  (2002)

:Fast becoming the standard language of commercial software development, C++ is an update of the C programming language, adding object-oriented features that are very helpful for today's larger graphical applications. Practical C++ Programming is a complete introduction to the C++ language for the beginning programmer, and also for C programmers transitioning to C++. Unlike most other C++ books, this book emphasizes a practical, real-world approach, including how to debug, how to make your code understandable to others, and how to understand other people's code. Almost as important, this book is written in the readable style that has made Nutshell Handbooks(R) famous. Topics covered include: Good programming style C++ syntax, what to use and what not to use C++ class design Debugging and optimization Common programming mistakes At the end of each chapter are a number of exercises you can use to make sure you've grasped the concepts. Solutions to most are provided. Practical C++ Programming describes standard C++ features that are supported by all UNIX C++ compilers (including gcc) and DOS/Windows and NT compilers (including Microsoft Visual C++). Comparison: Practical C++ Programming vs. C++: The Core Language O'Reilly's policy is not to publish two books on the same topic for the same audience. We'd rather spend twice the time on making one book the industry's best. So why do we have two C++ tutorials? Which one should you get? The answer is they're very different. Steve Oualline, author of the successful book Practical C Programming, came to us with the idea of doing a C++ edition. Thus was born Practical C++ Programming. It's a comprehensive tutorial to C++, starting from the ground up. It also covers the programming process, style, and other important real-world issues. By providing exercises and problems with answers, the book helps you make sure you understand before you move on. While that book was under development, we received the proposal for C++: The Core Language. Its innovative approach is to cover only a subset of the language -- the part that's most important to learn first -- and to assume readers already know C. The idea is that C++ is just too complicated to learn all at once. Instead, you learn the basics solidly from this short book, which prepares you to start programming and to understand some of the other C++ books you'll need for reference. These two books are based on different philosophies and are for different audiences. But there is one way in which they work together. If you are a C programmer, we recommend you start with C++: The Core Language, then read about advanced topics and real-world problems in Practical C++ Programming.
Computational Discrete Mathematics: advanced lectures
Authors: Helmut Alt
Venue: Lecture Notes In Computer Science; Vol. 2122 (2001)

This book is based on a graduate education program on computational discrete mathematics run for several years in Berlin, Germany, as a joint effort of theoretical computer scientists and mathematicians in order to support doctoral students and advanced ongoing education in the field of discrete mathematics and algorithmics.
Automatic derivation of compiler machine descriptions
Authors: Christian S. Collberg
Venue: ACM Transactions on Programming Languages and Systems (TOPLAS) (2002)

We describe a method designed to significantly reduce the effort required to retarget a compiler to a new architecture, while at the same time producing fast and effective compilers. The basic idea is to use the native C compiler at compiler construction time to discover architectural features of the new architecture. From this information a formal machine description is produced. Given this machine description, a native code-generator can be generated by a back-end generator such as BEG or burg. A prototype automatic Architecture Discovery Tool (called ADT) has been implemented. This tool is completely automatic and requires minimal input from the user. Given the Internet address of the target machine and the command-lines by which the native C compiler, assembler, and linker are invoked, ADT will generate a BEG machine specification containing the register set, addressing modes, instruction set, and instruction timings for the architecture. The current version of ADT is general enough to produce machine descriptions for the integer instruction sets of common RISC and CISC architectures such as the Sun SPARC, Digital Alpha, MIPS, DEC VAX, and Intel x86.
Functional and Logic Programming: Proceedings of the Third Fuji International Symposium-Aist, Kyoto, Japan 2-4 April 1998
Authors: Masahiko Sato, Yoshihito Toyama
Venue:  (1998)

:This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.
Education: teaching computer graphics visual literacy to art and computer science students
Authors: Dena Eber, Rosalee Wolfe
Venue: ACM SIGGRAPH Computer Graphics (2000)

Instructors in both art and computer science departments experience difficulties in motivating students to develop a visual literacy in computer graphics. Although a highly prized skill in industry, visual literacy is intimidating to computer science students because they are uneasy about using their eyes to examine computer-synthesized images. Even though they are used to using their eyes for acquiring information, the topics of analysis and interpretation intimidate art students. Further, art students may not have as much background to understand the technical terminology. This first column in a two-part series discusses an interdisciplinary approach for teaching visual literacy that overcomes these obstacles. With this approach students become more familiar with the limits and possibilities of the medium of computer graphics, learn how to analyze and talk about what visual images might mean and develop a deeper understanding of time constraints. In addition, they gain confidence with technological terminology and the idea of suggesting alternative algorithms to create a desired visual "look." As a result, both computer science and art students become more able to communicate effectively about and with visual imagery.
DCE Today with Cdrom
Authors: X-Open, Open Group
Venue:  (1998)

:The complete, authoritative guide to DCE, today's most robust solution for distributed computing. Readers will learn how to use DCE 1.22 to deliver inoperable, secure enterprise applications that fully leverage computing resources distributed across LANs and WANs. The book covers DCE's relationship to Windows NT, Java, Sybase, Oracle, and CORBA integration. Includes a wealth of DCE 1.22 documentation on CD-ROM.
Electronic Communication Convergence
Authors: Ryota Ono
Venue:  (2000)

:This collection of original essay's examines the conceptual and practical challenges to electronic communication convergence policy in Asia by focussing on technology, industry and regulation in eight Asian countries.
Dynamic multidimensional histograms
Authors: Nitin Thaper, Sudipto Guha, Piotr Indyk, Nick Koudas
Venue: Proceedings of the 2002 ACM SIGMOD international conference on Management of data (2002)

Histograms are a concise and flexible way to construct summary structures for large data sets. They have attracted a lot of attention in database research due to their utility in many areas, including query optimization, and approximate query answering. They are also a basic tool for data visualization and analysis.In this paper, we present a formal study of dynamic multidimensional histogram structures over continuous data streams. At the heart of our proposal is the use of a dynamic summary data structure (vastly different from a histogram) maintaining a succinct approximation of the data distribution of the underlying continuous stream. On demand, an accurate histogram is derived from this dynamic data structure. We propose algorithms for extracting such an accurate histogram and we analyze their behavior and tradeoffs. The proposed algorithms are able to provide approximate guarantees about the quality of the estimation of the histograms they extract.We complement our analytical results with a thorough experimental evaluation using real data sets.
A guided tour to virtual Sagalassos
Authors: Marc Pollefeys, Luc Van Gool, Ive Akkermans, Dirk De Becker, Kris Demuynck
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

The system presented in this paper allows to take a guided tour to a virtual reconstruction of the ancient site of Sagalassos. The site has been reconstructed by combining 3D models of the landscape and remains with CAD reconstructions of monuments based on archaeological hypothesis. The 3D models were obtained using advanced image-based modelling techniques developed over the last few years in computer vision. The visitor can communicate with the virtual guide through natural speech. The guide itself is represented by a 3D face model.
Adaptive information extraction for document annotation in amilcare
Authors: Fabio Ciravegna, Alexiei Dingli, Yorick Wilks, Daniela Petrelli
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

Amilcare is a tool for Adaptive Information Extraction (IE) designed for supporting active annotation of documents for the Semantic Web (SW). It can be used either for unsupervised document annotation or as a support for human annotation. Amilcare is portable to new applications/domains without any knowledge of IE, as it just requires users to annotate a small training corpus with the information to be extracted. It is based on (LP)2, a supervised learning strategy for IE able to cope with different texts types, from newspaper-like texts, to rigidly formatted Web pages and even a mixture of them[1][5].Adaptation starts with the definition of a tag set for annotation, possibly organized as an ontology. Then users have to manually annotate a small training corpus. Amilcare provides a default mouse-based interface called Melita, where annotations are inserted by first selecting a tag from the ontology and then identifying the text area to annotate with the mouse. Differently from similar annotation tools [4, 5], Melita actively supports training corpus annotation. While users annotate texts, Amilcare runs in the background learning how to reproduce the inserted annotation. Induced rules are silently applied to new texts and their results are compared with the user annotation. When its rules reach a (user-defined) level of accuracy, Melita presents new texts with a preliminary annotation derived by the rule application. In this case users have just to correct mistakes and add missing annotations. User corrections are inputted back to the learner for retraining. This technique focuses the slow and expensive user activity on uncovered cases, avoiding requiring annotating cases where a satisfying effectiveness is already reached. Moreover validating extracted information is a much simpler task than tagging bare texts (and also less error prone), speeding up the process considerably. At the end of the corpus annotation process, the system is trained and the application can be delivered. MnM [6] and Ontomat annotizer [7] are two annotation tools adopting Amilcare's learner.In this demo we simulate the annotation of a small corpus and we show how and when Amilcare is able to support users in the annotation process, focusing on the way the user can control the tool's proactivity and intrusivity. We will also quantify such support with data derived from a number of experiments on corpora. We will focus on training corpus size and correctness of suggestions when the corpus is increased.
Sams Teach Yourself TCP/IP in 24 Hours, 1st edition
Authors: Joe Casad, Bob Willsey
Venue:  (1998)

:Teach Yourself TCP/IP in 24 Hours, is an easy-to-use introduction on the popular, but poorly documented protocol, TCP/IP. From the basics about open systems, standards and protocols, to the ins and outs of using TCP and IP, this book will teach the reader creatively--using daily tutorials, Q&A sections and Time Savers to maximize the beginner's understanding and retention of TCP/IPLearn how to deploy TCP/IP networks with SAMS Publishing's best-selling Teach Yourself series, a proven format for getting up to speed quickly with a new technology.Understand the essentials of TCP/IP and how to implement them on a multi-vendor network, from the basics of Open Systems and Protocols to more advanced topics like application integration (like FTP, Network File Systems, HTTP, etc.) and learn about the newest update of IP: IP Next Generation (IPnG or IPv6).Find out how to use, install, or manage a TCP/IP network in an easy to understand, user-friendly format that makes this potentially intimidating topic more accessible.
Developing IP Multicast Networks
Authors: Beau Williamson
Venue:  (1999)

:Developing IP Multicast Networks, Volume I covers an area of networking that is rapidly being deployed in many enterprise and service provider networks to support applications such as audio and video conferencing, distance-learning, and data replication. The concepts used in IP multicasting are unlike any other network protocol, making this book a critical tool for networking professionals who are implementing this technology. This book provides a solid foundation of basic IP multicast concepts, as well as the information needed to actually design and deploy IP multicast networks. Using examples of common network topologies, author Beau Williamson discusses the issues that network engineers face when trying to manage traffic flow. Developing IP Multicast Networks, Volume I includes an in-depth discussion of the PIM protocol used in Cisco routers and detailed coverage of the rules that control the creation and maintenance of Cisco mroute state entries. The result is a comprehensive guide to the development and deployment of IP multicast networks using Cisco routers and switches.
How to Do Everything with Your Palm Handheld
Authors: Dave Johnson, Rick Brodia
Venue:  (2000)

:Learn to use all Palm OS handheld devices, including the Palm VII handheld, the Handspring Visor, and Qualcomm pdQ smartphone with this friendly, solutions-oriented guide. Book rights: McGraw-Hill, the publisher of this eBook, is granting readers the right to print this book as well as the right to lend/give this eBook to other Adobe Acrobat eBook Plus Reader users.Printing: Users can print eBook pages as needed. This is an especially useful feature for business people. To print, click on the menu button in the Acrobat eBook Reader and select the print option. Lending/Giving We currently have two ways to lend or give a book: you can beam it to a computer if both have infrared ports, or you can send it to a computer on your network. To lend a book to someone else, go to the Library, click a book. Click the Menu button and then click Lend/Give to display the Lend/Give dialog box. Choose a loan period or click Give. To send the book over an infrared connection, click Beam. To send the book to a computer on the network, enter the computer name in the Send To box and click Send. You can either lend the book or give it away. Like a paper book, there is only ever one working copy. Once the lending period expires, you get your rights back and you can re-read the book or lend it again. Of course, if you give it away, it's gone for good (unless the recipient gives it back). Listen to your eBooksUsers have the ability to listen to the spoken text of this book. Simply click the Read Aloud button in the Adobe eBook Reader. A control panel appears at the bottom of the display area where you can pause, continue, or stop the spoken text. Please note:This feature is only available on Windows 2000 machines.
Experiences from the use of a robotic avatar in a museum setting
Authors: Maria Roussou, Panos Trahanias, George Giannoulis, George Kamarinos, Antonis Argyros, Dimitris Tsakiris, Pantelis Georgiadis, Wolfram Burgard, Dirk Haehnel, Armin Cremers, Dirk Schulz, Mark Moors, Elias Spirtounias, Mika Marianthi, Vassilis Savvaides, Alexandra Reitelman, Dimitrios Konstantios, Andromachi Katselaki
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

Access to cultural exhibits is a central issue in museums and exhibition galleries that is recently approached under a new, technological perspective. Although the cultural industries' practices in the cases of museums and cultural exhibits have remained practically unchanged for long, in recent years we are witnessing a gradual adoption of media-technologies in various aspects, such as collections archiving and digital document preservation, media- and Web-presentation, graphical animations, etc. Lately, Internet and Web-based technologies have been employed for providing access, mostly to images of exhibited objects. In few cases, the incorporation of higher-end technology, such as virtual reality, artificial intelligence, or robotics, is explored. In this paper we present such an effort, the TOURBOT project (an acronym for TOUr-guide RoBOT), which emphasizes the development of alternative ways for interactive museum telepresence, essentially through the use of robotic "avatars", and comment on the experience gained from its use in a museum setting.
Condition Number and Backward Error for the Generalized Singular Value Decomposition
Authors: Ji-guang Sun
Venue: SIAM Journal on Matrix Analysis and Applications (2000)

Let A, B be two matrices having the same number of columns, and let (AT, BT)T have full column rank. Certain normwise condition numbers for a finite generalized singular value (GSV) of the matrix pair {A, B} are defined, and explicit expressions of the condition numbers for a simple, nonzero GSV are derived. Moreover, a normwise backward error of {A, B} with respect to an approximate GSV and an associated approximate generalized singular vector group is also defined, and a computable formula of the backward error is obtained. The results are illustrated by numerical examples.