ppxscal/embedding_network huggingface dataset:
Integrating Computer Technology into the Classroom, 2nd edition
Authors: Gary R. Morrison, Deborah L. Lowther
Venue:  (2001)

:This text focuses on integrating computers into teaching through the use of an inquiry-based, easy-to-use model for creating lesson plans. Teachers can use this 10-step process to design student-centered learning environments in which computer technology is integrated as a tool for learning rather than as a delivery mechanism. In addition, this text provides many practical examples and tips throughout to facilitate student understanding of chapter content. Coupled with this approach is an underlying foundation that addresses the National Education Technology Standards for Students and Teachers and the national curriculum standards. Features of this edition: New Chapter 3, Teacher as Designer I: Teacher's Toolbox, includes new material on writing behavioral and cognitive objectives, learner analysis, task analysis, and generative strategies. New Chapter 5, Implementations: From Plan to Action, provides step-by-step guidance for setting up and implementing a lesson that has students using computers during problem-solving lessons. New Chapter 8, The Role of Assessment, presents information on how to use multiple forms of assessment, such as task lists and rubrics, to assess student learning from an integrated lesson. New Chapter 12, Presentation of Results, synthesizes the ideas presented in two chapters of the first edition. It describes and illustrates how students can use various computer tools to present their results. New Chapter 14, Educational Software, describes strategies for assessing and integrating inquiry-based and traditional types of software into an NTeQ lesson plan.The two Internet chapters from the first edition have been revised to include a sharper focus on web tools, policies, and using the Internet as a tool in a new Chapter 13, The Internet in the Classroom. A Companion Website extends the content of the text, provides students with many helpful resources, activities, and projects, and allows students to check their comprehension of chapter material.
Proceedings of the 2nd international workshop on Mobile commerce
Venue: International Workshop on Mobile Commerce (2002)

Welcome to the Second ACM International Workshop on Mobile Commerce, held in conjunction with the Eighth Annual International Conference on Mobile Computing and Networking (MobiCom 2002). The workshop provides a forum for researchers and technologists in the field to discuss all aspects of mobile commerce. Its goal is to connect the electronic commerce and the pervasive computing communities, to foster interaction among the participants, and to promote cross-fertilization of ideas.Our call for papers attracted 26 paper submissions from 11 countries. These papers addressed a wide range of topics in mobile commerce, describing vision and issues, exploratory research, as well as industrial efforts and experiences. An outstanding collection of 9 submissions was accepted as full papers, and 6 other strong submissions were accepted as short papers. The resulting program offers an excellent reflection of the field, with sessions covering service discovery and advertising, location- and context-awareness, management of data and content, and commerce and business applications. Each session consists of presentations of the corresponding papers and a discussion forum for clarifying and comparing the papers.
Electromagnetic Optimization by Genetic Algorithms, 1st edition
Authors: Yahya Rahmat-Samii, Eric Michielssen
Venue:  (1999)

:Authoritative coverage of a revolutionary technique for overcoming problems in electromagnetic design Genetic algorithms are stochastic search procedures modeled on the Darwinian concepts of natural selection and evolution. The machinery of genetic algorithms utilizes an optimization methodology that allows a global search of the cost surface via statistical random processes dictated by the Darwinian evolutionary concept. These easily programmed and readily implemented procedures robustly locate extrema of highly multimodal functions and therefore are particularly well suited to finding solutions to a broad range of electromagnetic optimization problems. Electromagnetic Optimization by Genetic Algorithms is the first book devoted exclusively to the application of genetic algorithms to electromagnetic device design. Compiled by two highly competent and well-respected members of the electromagnetics community, this book describes numerous applications of genetic algorithms to the design and optimization of various low- and high-frequency electromagnetic components. Special features include:*Introduction by David E. Goldberg, "A Meditation on the Application of Genetic Algorithms"*Design of linear and planar arrays using genetic algorithms*Application of genetic algorithms to the design of broadband, wire, and integrated antennas*Genetic algorithmdriven design of dielectric gratings and frequency-selective surfaces*Synthesis of magnetostatic devices using genetic algorithms*Application of genetic algorithms to multiobjective electromagnetic backscattering optimization*A comprehensive list of the up-to-date references applicable to electromagneticdesign problemsSupplemented with more than 250 illustrations, Electromagnetic Optimization by Genetic Algorithms is a powerful resource for electrical engineers interested in modern electromagnetic designs and an indispensable reference for university researchers.
Nonblocking commit protocols
Authors: Dale Skeen
Venue: Proceedings of the 1981 ACM SIGMOD international conference on Management of data (1981)

Protocols that allow operational sites to continue transaction processing even though site failures have occurred are called nonblocking. Many applications require nonblocking protocols. This paper investigates the properties of nonblocking protocols. Necessary and sufficient conditions for a protocol to be nonblocking are presented and from these conditions a method for designing them is derived. Both a central site nonblocking protocol and a decentralized nonblocking protocol are presented.
Using indexed data structures for program specialization
Authors: Jung Gyu Park, Myong-Soon Park
Venue: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002)

Given a program and values of static (fixed) inputs, program specialization generates an optimized version of the program that only requires dynamic (run-time) inputs. It has been an useful tool for such areas as operating systems, multimedia applications, and scientific applications. However, the size of specialized code may grow up exponentially which makes program specialization impractical for many applications. In this paper, we present a mechanism to address this problem by using indexed data structures. Unlike traditional program specialization, which encodes the result of specialization only into run-time code, our method encodes the values of multi-valued static expressions into indexed data structures and single-valued static expressions into run-time code. Because the sizes of the indexed data structures are much smaller than that of program code, we can overcome the size problem of program specialization. With a preliminary implementation for Java, we achieved improvement in performance up to a factor of 3 with very low memory and space requirements and overheads.
Integrated Product and Process Development: Methods, Tools, and Technologies
Authors: John M. Usher, Utpal Roy, Parsaei Hamid
Venue:  (1998)

:Emphasizing applications, this extremely user-friendly guide covers everything from basic principles to cutting-edge research. It addresses ideas and methods in product design as well as issues related to process design and manufacturing. Case studies illustrate the application of various tools and techniques of IPPD in manufacturing for the defense industry, making the most of product planning, applications of quality function deployment (QFD), the effective use of design optimization, and integrating design and process planning.
Peachtree "X" For Dummies
Authors: Elaine Marmel, Diane Koers
Venue:  (2000)

:The bottom line on creating reports, handling your payroll, and more! Find out how to keep track of checks and receivables Make sense out of all your dollars and cents with this fun and easy guide And you thought business accounting couldn't be fun and easy. These pages are packed with tips to help you tackle the sometimes daunting chore of keeping track of all those debits and credits. You'll find this friendly guide to Peachtree 8 invaluable for simplifying your accounting tasks  so you can get down to business! Discover how to: Set up easy invoicing Tackle general ledger tasks Create budgets and balance sheets Generate quarterly reports and W-2s Use powerful import/export features The Dummies Way Explanations in plain English "Get in, get out" information Icons and other navigational aids Tear-out cheat sheet Top ten lists A dash of humor and fun Get smart! Register to win cool prizes Browse exclusive articles and excerpts Get a free Dummies Daily e-mail newsletter Chat with authors and preview other books Talk to us, ask questions, get answers
Semidiscrete Central-Upwind Schemes for Hyperbolic Conservation Laws and Hamilton--Jacobi Equations
Authors: Alexander Kurganov, Sebastian Noelle, Guergana Petrova
Venue: SIAM Journal on Scientific Computing (2001)

We introduce new Godunov-type semidiscrete central schemes for hyperbolic systems of conservation laws and Hamilton--Jacobi equations. The schemes are based on the use of more precise information about the local speeds of propagation and can be viewed as a generalization of the schemes from [A. Kurganov and E. Tadmor, J. Comput. Phys., 160 (2000), pp. 241--282; A. Kurganov and D. Levy, SIAM J. Sci. Comput., 22 (2000), pp. 1461--1488; A. Kurganov and G. Petrova, A third-order semidiscrete genuinely multidimensional central scheme for hyperbolic conservation laws and related problems, Numer. Math., to appear] and [A. Kurganov and E. Tadmor, J. Comput. Phys., 160 (2000), pp. 720--742]. The main advantages of the proposed central schemes are the high resolution, due to the smaller amount of the numerical dissipation, and the simplicity. There are no Riemann solvers and characteristic decomposition involved, and this makes them a universal tool for a wide variety of applications.At the same time, the developed schemes have an upwind nature, since they respect the directions of wave propagation by measuring the one-sided local speeds. This is why we call them central-upwind schemes.The constructed schemes are applied to various problems, such as the Euler equations of gas dynamics, the Hamilton--Jacobi equations with convex and nonconvex Hamiltonians, and the incompressible Euler and Navier--Stokes equations. The incompressibility condition in the latter equations allows us to treat them both in their conservative and transport form. We apply to these problems the central-upwind schemes, developed separately for each of them, and compute the corresponding numerical solutions.
Inside Adobe PhotoShop 5.5
Authors: Gary David Bouton, Barbara Bouton
Venue:  (2000)

:In Inside Adobe Photoshop 5.5, Gary Bouton's learning methodology is set up to give you hands-on experience with Photoshop's features, using either the imagery created in the book or the user's own. Gary goes well beyond simply reviewing the features and grounds his readers in the most practical and useful aspects of Photoshop-the real-world uses of this powerful program-before delving into the more complex, arcane, or esoteric uses of the program. Each chapter includes a balance of textual discussion, hands-on excercises, and review material, all written in Gary's highly praised style.
Essential Macromedia Dreamweaver 4 for Web Professionals
Authors: Tony Arguelles
Venue:  (2001)

: Get results with Dreamweaver 4today! Learn from real-world projects and downloadable program code Master forms, tables, CSS, layers, hand-coding and behaviors Create DHTML drop-down menus, site management, script debugging, templates, library items, and more Get focused, quick, specific, step-by-step solutions to real problems!Now you can master Dreamweaver 4's powerful Web development features fast by building a complete site that solves today's most common Web design problems! Start with simple examples, then work your way up to sophisticated techniques, learning practical skills you'd otherwise need months, or years, to learn. From Dreamweaver fundamentals to sophisticated site automation and management, you'll learn it herehands-on. As you practice, refer to the companion website where you can download all the files you'll need and discover exactly how your finished pages will look and work!You'll learn all this, and much more: Working efficiently in the Dreamweaver 4 workspace Using tables to create effective layouts Building powerful, usable forms Making the most of CSS and layers Adding powerful site functionality with Behaviors Tweaking your HTML code by hand Using Dreamweaver 4's powerful site administration features Working with Dreamweaver's built-in JavaScript debuggerLook to Essential books for ALL the Web Skills You Need!All these books share the same great format... so once you've used one, learning from the others is easy. EssentiaProfessionals Essential JSP for Web Professionals Essential WAPTM for Web Professionals Essential Flash 5 for Web Professionals Essential ColdFusion 5 for Web Professionals Essential FrontPage 2002 for Web Professionals Essential CSS & DHTML for Web Professionals Essential PHP for Web Professionals Essential ASP for Web Professionals Essential Design for Web Professionals Essential PERL 5 for Web Programmers Essential Photoshop 6 for Web Designers Essential JavaScript for Web Programmers Essential Apache for Web Professionals With more to come! 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
Discrete Mathematics for New Technology, 1st edition
Authors: Rowan Garnier, J. Taylor
Venue:  (1994)

:Discrete Mathematics for New Technology has been designed to cover the mathematics requirement for undergraduate computer science students in the UK and the USA. This has been approached in a comprehensive way whilst maintaining an easy to follow progression from the basic mathematical concepts covered by the GCSE in the UK and by high-school algebra in the US, to the more sophisticated mathematical concepts examined in the later stages of the book.
Java Master Reference, 1st edition
Authors: Arthur Griffith, Northington
Venue:  (1997)

:Why get another book on Java when your shelf is cluttered with dozens of them? Because Java Master Reference isnt your run-of-the-mill Java title. Packed with over 1600 pages of detailed information and code, Java Master Reference is the ultimate Java programmers resource. Get explanations for over 7,000 keywords, API calls, class libraries, and language constructs. Youll also find complete coverage of JDK 1.1, JavaBeans, inner classes, introspection, and security. Java Master Reference is organized alphabetically with cross-reference, so finding the material you need is quick and painless. Look up topics by keyword, function, concept, structure, and capability. Java Master Reference also includes a CD-ROM that contains the Sun JDK as well as every example of source code used in the book.
Director 6 Bible, 1st edition
Authors: Jonathan Bacon, Kurt Cagle, Deborah Miller
Venue:  (1997)

:So you want to be in pictures, kid? Why not start on the Web with Director 6 Bible -- the latest multimedia reference guide from IDG Books Worldwide. For starters, every celluloid neophyte needs to master Lingo -- not Hollywood catchphrases, but Directors scripting language -- and Director 6 Bible will explain how. Director 6 Bible covers the latest tools and techniques for creating interactive media applications, Web-based Shockwave projects, animation, games, and more. Director 6 Bible will also help you Manipulate Director behaviors to incorporate interactivity without using a scripting language Construct self-contained, reusable objects through object-oriented programming Create Web-ready Shockwave movies from your Director movies Implement 3D systems using QuickDraw 3D and Lingo Create powerful, sophisticated dialog boxes using Macromedia User Interface (MUI) Xtra Plus, Director 6 Bible comes with a CD-ROM packed with clip art, digital video, sound clips, and dynamic tools, such as WebXtra, PaintShop Pro, and Media Cleaner Pro.
Semantic analysis of normalisation by evaluation for typed lambda calculus
Authors: Marcelo Fiore
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and shows how it can be adapted to unify definability and normalisation, yielding an extensional normalisation result. In the second part of the paper the analysis is refined further by considering intensional Kripke relations (in the form of glueing) and shown to provide a function for normalising terms, casting normalisation by evaluation in the context of categorical glueing. The technical development includes an algebraic treatment of the syntax and semantics of the typed lambda calculus that allows the definition of the normalisation function to be given within a simply typed meta-theory.
Contents provider-assisted dynamic voltage scaling for low energy multimedia applications
Authors: Eui-Young Chung, Giovanni De Micheli, Luca Benini
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

This paper presents a new concept of DVS (Dynamic Voltage Scaling) for multimedia applications. Many multimedia applications have a periodic property, but each period shows a large variation in terms of its execution time. Exact estimation of such variation is a crucial factor for low energy software execution with DVS technique. Previous DVS techniques focused only on end users (client sites) and their quality heavily depends on the accurateness of the worst case execution time estimation. This paper proposes that contents providers (server sites) supply the information of the execution time variations in addition to the content itself. This makes it possible to perform DVS independent to worst case execution time estimation. The extra work required to the contents provider for this purpose is fully compensated by the benefits for the end users because single content is often provided to many users. Experimental results show that our method greatly reduces the energy consumption of client systems compared to previous DVS techniques.
Detection of Edges in Spectral Data II. Nonlinear Enhancement
Authors: Anne Gelb, Eitan Tadmor
Venue: SIAM Journal on Numerical Analysis (2000)

We discuss a general framework for recovering edges in piecewise smooth functions with finitely many jump discontinuities, where $[f](x):=f(x+)-f(x-) \neq 0$. Our approach is based on two main aspects--- localization using appropriate concentration kernels and separation of scales by nonlinear enhancement. To detect such edges, one employs concentration kernels, $K_\epsilon(\cdot)$, depending on the small scale $\epsilon$. It is shown that odd kernels, properly scaled, and admissible (in the sense of having small $W^{-1,\infty}$-moments of order ${\cal O}(\epsilon)$) satisfy $K_\epsilon*f(x) = [f](x) +{\cal O}(\epsilon)$, thus recovering both the location and amplitudes of all edges. As an example we consider general concentration kernels of the form $K^\sigma_N(t)=\sum\sigma(k/N)\sin kt$ to detect edges from the first $1/\epsilon=N$ spectral modes of piecewise smooth f's. Here we improve in generality and simplicity over our previous study in [A. Gelb and E. Tadmor, Appl. Comput. Harmon. Anal., 7 (1999), pp. 101--135]. Both periodic and nonperiodic spectral projections are considered. We identify, in particular, a new family of exponential factors, $\sigma^{exp}(\cdot)$, with superior localization properties. The other aspect of our edge detection involves a nonlinear enhancement procedure which is based on separation of scales between the edges, where $K_\epsilon*f(x)\sim [f](x) \neq 0$, and the smooth regions where $K_\epsilon*f = {\cal O}(\epsilon) \sim 0$. Numerical examples demonstrate that by coupling concentration kernels with nonlinear enhancement one arrives at effective edge detectors.
Principles of Database Systems with Internet and Java Applications, 1st edition
Authors: Greg Riccardi
Venue:  (2000)

:This book provides a concise and modern treatment of introductory database topics that enlists Java and the Internet to present core Database Management (DBMS) theory from an applications perspective. It incorporates programming and database applications when presenting the core theory behind DBMS and their applications. Information management is the central theme of Principles of Database Systems with Internet and Java Applications. The book motivates the development of data models and the representation of information in relational database systems. Students learn how to define database content with Entity-Relationship models, and how to represent that content in relational systems.They become thoroughly familiar with the SQL language, and learn exactly what is required to build quality information-rich applications. Students also learn how the World Wide Web and Java can work together to publish and collect information in the widest possible context. This book covers the basic material of information management in detail. Topics covered include analyzing information requirements, conceptual data modeling, translation of conceptual models to relational needs, normalization of relational schemas, SQL, and database application programming. Additional topics include object-oriented modeling and object databases, database performance and optimization, constraints and triggers, transactions, and file structures. The interaction between applications and databases is discussed and illustrated in the context of Web sites. The JDBC classes of Java provide a database- and platform-independent method of creating database applications, and all of these classes are thoroughly discussed with abundant examples. After learning the fundamentals of HTML and CGI programming, students create their own Web sites using Java programs to service CGI requests and generate HTML responses. Further topics include the use of Java servlets to replace CGI programs and the useof Java I/O classes for the development of file structures. The Java language provides the foundation for all programming examples because of its portable approach to database access through the JDBC classes. Students do not need extensive experience with Java before using this book, only knowledge of an object-oriented language.
Microsoft Certified Professional+ Internet Training Kit with Cdrom
Authors: Microsoft Corporation
Venue:  (1998)

:To succeed on the job and on the MCP exams, this kit contains everything a Webmaster, a systems administrator, or an IS support professional needs. Working at your ideal pace, use step-by-step lessons and hands-on lab exercises to learn to support and administer Web sites running on Microsoft; Windows NT. Each kit contains the information and preparation you'll need for success on four exams-including all three Microsoft Certified Professional + Internet exams. Experience Level: Intermediate/ Advanced