ppxscal/embedding_network huggingface dataset:
Information flow inference for ML
Authors: François Pottier, Vincent Simonet
Venue: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002)

This paper presents a type-based information flow analysis for a call-by-value &lambda;-calculus equipped with references, exceptions and let-polymorphism, which we refer to as Core ML. The type system is constraint-based and has decidable type inference. Its non-interference proof is reasonably lightweight, thanks to the use of a number of orthogonal techniques. First, a syntactic segregation between values and expressions allows a lighter formulation of the type system. Second, non-interference is reduced to subject reduction for a non-standard language extension. Lastly, a semi-syntactic approach to type soundness allows dealing with constraint-based polymorphism separately.
Sams Teach Yourself TurboTax Deluxe in 24 Hours
Authors: Jill S. Gilbert
Venue:  (1998)

:The definitive tutorial reference for the new user of TurboTax software for the completion of income taxes. Step-by-step reference to lead the reader through the necessary considerations in preparing his/her taxes while using TurboTax.
Modification and extension to a fortran preprocessor (RATFOR) for compatibility with the Xerox CP-V operating system
Authors: John R. Suber
Venue: Proceedings of the 16th annual Southeast regional conference (1978)

After being introduced to RATFOR, a structured FORTRAN preprocessor at the University of California, Irvine Campus in 1977, the author became impressed with its potential and obtained a copy for use at the University of Southern Mississippi. Upon returning to U.S.M. in September 1977 an initial copy of the preprocessor was installed by the author and checked out in September of 1977.
Hide Your Assets and Disappear: A Step-by-Step Guide to Vanishing without a Trace, 1st edition
Authors: Edmund J. Pankau
Venue:  (1999)

:Are you tired of the way you're living? Are you fed up with everyone trying to take your most valuable possessions - your money and assets - away? Are you sick of having creditors, the IRS, or a vindictive ex-spouse nipping at your heels? If only you could disappear without a trace..if only you could resurface in some exotic foreign place with a whole new identity and a brand-spanking new life. And on the other side, how would you like to track down that ex (and his assets) who owes you money? Want to know his tricks? For most people, this is just a fantasy. But it doesn't have to be. In Hide Your Assets and Disappear, one of the nation's top-ten-rated private investigators, Edmund J. Pankau, reveals all the tricks of his trade to show you how to hide it all or find someone who has. 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
Microelectronic System Interconnections: Performance and Modeling
Authors: Stuart K. Tewksbury
Venue:  (1993)

:Perfect for professionals who design and build microelectronic systems using contemporary components, or engineers who need to ensure the utmost performance of the circuits in their workplace, Tewksbury has combined, in one source, classic articles and an invaluable original introduction for engineers new to the field. Microelectronic System Interconnections provides a unique approach to the subject. Unlike other books in the field that stress the technological aspects of advanced packaging and interconnections, this volume addresses the performance and modeling of general interconnections structures. It also focuses on digital signal interconnections, as well as optical interconnections. An extensive review of the various approaches is provided in the specially prepared introduction, which includes a comprehensive list of references developed by the advisory board of experts.
Core MySQL: the serious developer's guide
Venue:  (2002)

Experienced developers worldwide are choosing MySQL as a low-cost, open-source foundation for their key Web applications. Now, here's a book that gives them all the code and insight they need to build enterprise-class MySQL applications---fast. Core MySQL starts by introducing the fundamentals of MySQL: SQL queries, database design, normalization, transactions, and concurrency. It then systematically reviews each of MySQL's most important features, and presents efficient techniques for interacting with MySQL databases directly from C, Java, PHP, Perl, Python, and other programming environments.
Lower bounds for merging networks
Authors: Shigeki Iwata
Venue: Information and Computation (2001)

A lower bound theorem is established for the number of comparators in a merging network. Let M(m, n) be the least number of comparators required in the (m, n)-merging networks, and let C(m, n) be the number of comparators in Batcher's (m, n)-merging network, respectively. We prove for n ¡Ý 1 that M(4, n) = C(4, n) for n 2 mod 4, and M(5, = C(5, n) for n 0, 1, 5 mod 8. Futhermore Batcher's (6, 8k +6)-, (7, 8k + 7)-, and (8, 8k + 8)- merging networks are optimal for k ¡Ý 0. Our lower bound for (m, n)- merging networks, m ¡Ü n, has the same terms as C(m, n) has as far as n is concerned. Thus Batcher's (m, n)-merging network is optimal up to a constant number of comparators, where the constant depends only on m. An open problem posed by Yao and Yao (Lower bounds on merging network, J. Assoc. Comput. Mach. 23, 566-571) is solved: limn--->∞M (m, n)/n=log m/2+m/2[log m] Copyright 2001 Academic Press.
Hocman: supporting mobile group collaboration
Authors: Mattias Esbjörnsson, Mattias Östergren
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

We introduce the Hocman prototype, supporting mobile group collaboration among motorcyclists. The design is based on findings from a field study. The motorcyclists are a group with a strong social commitment, however their mobile practice creates collaborative problems. They deal with it by using a website on the Internet, but collaborative issues still remains. For this purpose we have developed a prototype, based on web technology. The prototype is built for handheld computers and wireless communication, allowing the users to share rich content when being in the vicinity of each other.
Microsoft Pocket Guide to Microsoft Word 2000, 1st edition
Authors: Stephen L. Nelson
Venue:  (1999)

:Microsoft Word 2000 was designed to be the easiest way to create common Web, e-mail, and print documents around the world. Microsoft Word is the application of choice for creating print documents. Word 2000 embraces HTML as a first-class file format and extends Word's industry-leading ease of use to the Web and e-mail. Word 2000 also extends the ease of use to international users, making it easy to create multilingual documents. The key focus for Word 2000 includes four main goals: Enable Web-centered document creation. The Web has great potential to improve user productivity through better communication and enhanced collaboration. Seamlessly support rich e-mail creation. Word 2000 is tightly integrated with the Microsoft Outlook 2000 messaging and collaboration client, allowing users to create and edit all of their e-mail with Word. Take ease of use to the next level. New levels of intelligence enable Word 2000 to become personalized based on usage patterns, making it easier than ever to create business documents. Provide support for international users. Word 2000 provides a single code base for all worldwide users, making it as easy to handle multiple languages in Word as it is to handle one. Hot New Features: Click and Type. Within Microsoft Word 2000, users can move the cursor anywhere on a page, click, and start typing. Print Zoom. Microsoft Word 2000 lets users scale pages of documents at print time. This is useful for multinational companies that use different paper sizes. 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
MCSE Training Kit: Microsoft Windows 2000 Server
Authors: Microsoft Corporation
Venue:  (2000)

:This official MCSE Training Kit teaches IT professionals how to install, configure, and administer the Windows 2000 Server operating system-asthey prepare for the corresponding MCP exam. Topics include administering system resources such as printers, files and folders, applications, andWeb sites; configuring and managing client computers, server computers, and other hardware devices and drivers; and optimizing the systemcomponents that provide high availability, load balancing, and disaster recovery capabilities. Students learn through an integrated system of skills-based tutorials and hands-on lab exercises. An economical alternative to classroom instruction, this kit enables students to set their own pace andlearn by doing.
Towards bridging the gap between programming languages and partial evaluation
Authors: Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel
Venue: ACM SIGPLAN Notices (2002)

Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem.We have developed a high-level, module-based language allowing the programmer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the syntax of this language is similar to the declaration syntax of the target language of the partial evaluator. To provide feedback to the programmer, declarations are checked throughout the analyses performed by partial evaluation. The language has been successfully used by a signal-processing expert in the design of a specializable Forward Error Correction component.
The Network Manager's Handbook, 1999
Authors: John M. Lusa
Venue:  (1998)

:The Network Manager's Handbook is a compendium of technology, management techniques, and related information that assists network managers with their daily and longer-term strategic, business activities. It doubles as a valuable and convenient desk reference that covers a wide range of topics. An optimum mix of user, vendor, and academic input, The Network Manager's Handbook provides both researched knowledge and real-world experience.
Logic and Visual Information
Authors: Eric M. Hammer
Venue:  (1996)

:The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in computation. This book examines the logical foundations of visual information presented in the form of diagrams, graphs, charts, tables and maps.
Anticipatory Planning Support System
Authors: John R. Surdu, John M. D. Hill, Udo W. Pooch
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

A new approach to military planning and execution has been proposed. This approach seeks to merge planning and execution, and replaces reaction to events with anticipation of events. This paper presents a methodology for building an automated system to support Anticipatory Planning. A Plan Description is developed to manage the many tree-like branches that occur in planning and execution of an operation. A Planning Executive can use the differences between the plan and the actual operation to control the activities of Planners and Execution Monitors in anticipating future branches to the plan. At the heart of the system are inference mechanisms for determining branches in the plan and simulations for predicting future states. This methodology enables the development of a prototype Anticipatory Planning Support System for evaluation of this new approach to military planning and execution. This paper concentrates on the activities of the Execution Monitors and their use of simulation to support those activities.
Object-oriented C++ data structures for real programmers
Venue:  (2001)

Object-Oriented C++ Data Structures for Real Programmers introduces experienced object-oriented programmers to the selection, design, algorithms, and use of classic data structures. You'll learn how data structures work, so you can evaluate existing data structures more effectively and employ them in ways that makes the most sense for your programs. More importantly, you'll master the art of creating custom data structures that handle data according to your programs' precise needs. The author begins with several basic data structures, then builds on your grasp of their constituent classes to explore increasingly complex approaches and the specialized functionality they provide. The book concludes with a look at two complete example programs, each with its own different data structure requirements.
Information and control in gray-box systems
Authors: Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
Venue: Proceedings of the eighteenth ACM symposium on Operating systems principles (2001)

In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. When treating the operating system as a gray-box, one recognizes that not changing the OS restricts, but does not completely obviate, both the information one can acquire about the internal state of the OS and the control one can impose on the OS. In this paper, we develop and investigate three gray-box Information and Control Layers (ICLs) for determining the contents of the file-cache, controlling the layout of files across local disk, and limiting process execution based on available memory. A gray-box ICL sits between a client and the OS and uses a combination of algorithmic knowledge, observations, and inferences to garner information about or control the behavior of a gray-box system. We summarize a set of techniques that are helpful in building gray-box ICLs and have begun to organize a "gray toolbox" to ease the construction of ICLs. Through our case studies, we demonstrate the utility of gray-box techniques, by implementing three useful "OS-like" services without the modification of a single line of OS source code.
Java programming with Oracle JDBC
Venue:  (2001)

In this book, author Donald Bales shares his hard-won knowledge of Oracle JDBC, which is Oracle's implementation of the JDBC API. Oracle JDBC implements all the standard JDBC interfaces along with a number of Oracle-specific extensions, allowing you to take full advantage of Oracle's many database features.
Mark Minasi Windows 2000 Resource Kit with CD Rom
Authors: Mark Minasi
Venue:  (2000)

:This four book box set is the ultimate reference source for every Windows administrator as well as information services professional. The Mark Minasi Windows 2000 Resource Kit provides the most in-depth, hardcore information about Windows 2000. In addition to the four bestselling Windows 2000 titles, included in the box set is an exclusive CD that contains the full text of all four books in digital searchable format. The CD also contains useful utilities such as GHOST and VMware. The four titles in this incredible boxed set are: Mastering Windows 2000 Server 2nd edition, Mastering Windows 2000 Professional, Mastering Windows 2000 Registry, and Mastering Active Directory.
How to Use the Internet: Visually in Full Color, 2001st edition
Authors: Rogers Cadenhead
Venue:  (2000)

:How to Use The Internet, Fifth Edition, visually steps you through everything you need to know in order to get connected to the Internet, browse and create Web pages, send and receive email, read and post to newsgroups, and apply the Internet to your everyday office and home life. Over 100 two-page spreads illustrate and clearly explain each Internet task, from entry-level, beginning concepts to sophisticated techniques for more advanced users. Illustrations and figures lead you through each task with easy-to-follow directions and visual cues.
An assessment of organizational practices in data processing environments
Authors: Charles K. Woodruff
Venue: Proceedings of the 17th annual Southeast regional conference (1979)

The results of an empirical study of 202 business data processing subjects from twelve computer centers in metropolitan Atlanta are reported. Perceptions of organizational practices were measured and then subjected to factor analysis and reliability criteria. Ten factors were used in the data analysis. Management Ability to Make Decisions and Select Personnel emerged as the most significant single factor. People oriented factors appeared to offer the greatest potential payoffs. Implications for data processing management are discussed.
Computers as Theatre, 2nd edition
Authors: Brenda Laurel
Venue:  (1993)

:features a new chapter that takes the reader through virtual reality and beyond to a new level of human computer interaction that is genuinely transforming. Like its predecessor, this book presents a new theory of human-computer activity.
Online Communities: Designing Usability and Supporting Socialbilty, 1st edition
Authors: Jenny Preece
Venue:  (2000)

:Learn the enabling technologies behind some of the most successful online communitiesAlthough the Internet has grown considerably, people are still looking for more effective methods of communicating over it. This has become a hot topic among Web developers as they look for new enabling technologies. Well-respected author Jenny Preece provides readers with an in-depth look at the design of effective online communities. She evaluates these communities and then details the enabling technologies. Analysis is also included to explain what these technologies are capable of doing and what they actually should do.Companion Web site contains a forum for discussions on experiences setting up and running online communities
Road Ahead
Authors: Bill Gates
Venue:  (1999)

:What is the information highway? How will the new technology change our lives? Do I have to learn to use a computer? Will my job become obsolete? Welcome to The Road Ahead. We have all been bombarded by the seemingly endless hype about the information highway and the coming age of technology. Now, Bill Gates - who built Microsoft into one of the most successful companies in the world - gives us his vision of what the future holds for us. The Road Ahead is his bird's-eye view of the undiscovered territory on the information highway - an authoritative, thought-provoking, and very readable travel guide for the journey. In this optimistic and refreshingly realistic book, Gates looks ahead to show how the emerging technologies of the digital age will transform all our lives. As he says, we are on the brink of a new revolution, and crossing a technology threshold that will forever change the way we buy, work, learn, and communicate with each other.
WebQuilt: A proxy-based approach to remote web usability testing
Venue: ACM Transactions on Information Systems (TOIS) (2001)

WebQuilt is a web logging and visualization system that helps web design teams run usability tests (both local and remote) and analyze the collected data. Logging is done through a proxy, overcoming many of the problems with server-side and client-side logging. Captured usage traces can be aggregated and visualized in a zooming interface that shows the web pages people viewed. The visualization also shows the most common paths taken through the web site for a given task, as well as the optimal path for that task, as designated by the designer. This paper discusses the architecture of WebQuilt and describes how it can be extended for new kinds of analyses and visualizations.
DoD initiatives in distributed simulation technology: a panel discussion
Authors: Phillip Barry, Philomena Zimmerman, Jim Metzger, Fred Hartman, Cindy Porubcansky, Joseph S. Stewart,  II
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

Panelists respond to three questions, "How does your DoD initiative promise to increase readiness for the fighting forces?", "Where will the distributed simulation technology in your program take us by 2005?" and "What changes in available DoD infrastructure would facilitate the use of the system(s) emerging from your program?" The panelists include senior members of the Department of Defense civilian management team working in the Modeling and Simulation field.
Oracle Backup and Recovery Handbook
Authors: Rama Velpuri
Venue:  (1995)

:Written by back up expert Rama Velpuri, Oracle Backup & Recovery Handbook, 7.3 Edition will give you an overview of the Oracle RDBMS architecture, including a discussion of the basic procedures needed to understand backup and recovery procedures; various backup procedures specific to certain operating system environments; the difference between logical and physical backups; concepts of recovery, involving crucial recovery structures and detailed recovery procedures; and a new case study featuring the Standby Database capabilities of Oracle7 Release 7.3. Packed with real-life case studies, Oracle Backup & Recovery Handbook, 7.3 Edition is required reading for anyone responsible for strategic data management. Case studies based on Oracle's exclusive customer histories have descriptions of system failures and solutions giving the best and fastest way to recover the database, with other recovery options listed. You'll also find actual backup scripts (code) that you can use, and discussions of Oracle7 Release 7.3's new functionality.
Multiscale pointing: facilitating pan-zoom coordination
Authors: Frédréric Bourgeois, Yves Guiard
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

In a laboratory experiment on multiscale pointing, we compared one-handed vs. two-handed input for two zoom-control devices, a wheel vs. a mini-joystick with an all or none response. Using a recent method of quantifying multiple degree-of-freedom (DOF) input coordination to evaluate pan-zoom parallelism, we confirm previous work [1] showing that multiscale pointing performance strongly depends on the degree of pan-zoom parallelism. The new finding is that two-handed input and a constant zoom speed allow more input parallelism, thereby increasing performance speed.
Calculus with Analytic Geometry, 4th Edition. Graphing Calculator Problems Manual
Authors: Howard H. McCarter
Venue:  (1992)

:This Fourth Edition has been revised to reflect the tremendous changes taking place in the way calculus is taught. Now includes coverage of the same topics that are in the Brief Edition plus additional discussions of three-dimensional space and vectors, vector-valued functions, partial derivatives, multiple integrals and vector calculus. Continues the fine tradition of earlier volumes with attention to detail, well-written explanations and a lively, accessible approach to learning. 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
The Comprehensive Guide to VB Script: The Encyclopedic Reference for Vbscript, HTML and Activex, 10th edition
Authors: Richard Mansfield
Venue:  (1996)

:Covers every feature and copmmand in VBScript. Includes a description, command, syntax, variables, and uses and cautions for each entry. Explains common Internet programming concepts and acronyms. Covers the VBScript and HTML 3.2 commands and standard ActiveX controls. Features A-to-Z listings for quick easy reference. Includes practical examples for every entry. Complete hyperlinked version of the book. All code examples included.