ppxscal/embedding_network huggingface dataset:
The ColdFusion 4.0 Web Application Construction Kit, Third Edition with CD Rom, 3rd edition
Authors: Ben Forta, David E. Crawford, Nate Weiss
Venue:  (1998)

From the Book:During the past three years the software industry has moved at an astounding pace. From the moment the first Web page was viewed with Mosaic until the present, change at an unprecedented rate has swept up everything and everyone in its path. Behind all of this turbulence is the relatively simple set of technologies that composes the World Wide Web. The Web has evolved from its early years as a publishing medium into its adolescence as a simple, two-way information exchange platform. We are now entering the next phase of growth, and it promises to be the most exciting one yet-the emergence of the Web as a platform for distributed applications. 'Me effect of this next stage of growth will be no less than revolutionary. What has made (and will continue to make) this revolution tick is the many thousands of pioneers and visionaries who recognized the potential of the Web and acted on that recognition. They are the people who saw that the Web provided remarkably simple solutions to extremely complex problems-and who made these solutions happen. These visionaries provided Allaire with the inspiration and ideas to create ColdFusion, a complete platform for Web application development. We began work on ColdFusion over three years ago and are now shipping our -fifth major release of the product. Our original vision for ColdFusion remains intact: to provide a simple and powerful toolset that empowers developers to go from inspiration to implementation as rapidly as possible. Our mission was to create a platform that was accessible to the novice developer, powerful enough to satisfy expert developers, and scalable enough to deliver the most demanding sites and applications. With this book, Ben Forta has once again created the definitive learning and reference guide for ColdFusion. Every great development platform I have encountered has a defining book that serves as an ongoing road map for developers seeking to exploit the platform to its fullest. For the ColdFusion development platform, this is that book. As a learning tool for beginners, the book contains the key information needed to get started, including the basics of ColdFusion, an explanation of databases and application design, and indepth information on using SQL. For experienced ColdFusion developers, the depth of information about CFML-including tips and tricks that I didn't even know of myself-will make it a phenomenal reference. And for those of you who want to be on the cutting edge of Web applications, advanced materials on creating CFX extensions, full-text indexing and searching with Verity, and accessing directories with LDAP (among many others) will enable you to push the limits of the Web platform. With this book we welcome you to a rapidly growing worldwide community of developers powering their applications with ColdFusion. J.J. Allaire Executive VP of Products Allaire Corp.
New Perspectives on Microsoft FrontPage 2000 -- Comprehensive, 1st edition
Authors: Jessica Evans, Roger L. Hayen
Venue:  (2000)

:Part of our New Perspectives Series, this text offers a case-based, problem-solving approach to learning the basic to more advanced features of Microsoft FrontPage 2000.
Teach Yourself Microsoft Access 2000, 1st edition
Authors: Charles Siegel, Kellerman
Venue:  (1999)

:Use wizards to quickly create tables, queries, forms, and reports; build a relational database to easily access and retrieve information; generate, analyze, and create custom forms and reports; link a database to a Word document or an Excel spreadsheet; and publish Access documents on the Web.
The Dictionary of Computer Words: An A to Z Guide to Today's Computers (Revised Ed.), 1st edition
Authors: American Heritage
Venue:  (1995)

:The Dictionary of Computer Words, Revised Edition, has been completely expanded and updated to include dozens of new entries for important words as well as new information to keep readers on top of the fast-changing electronic environment. From archie to Veronica, From MPEG to MIDI, PC and Mac users will find everything they need to navigate a trip trough the Internet or a multimedia landscape.
Wireless LANs: Implementing High Performance IEEE 802.11 Networks, 2nd edition
Authors: Jim Geier, James T. Geier
Venue:  (2001)

:This book provides the following benefits to readers: Ability to select the most effective wireless LAN type from a wide assortment of recent and emerging standards.Independent assessment of competing wireless LAN technologies. More efficient design and operational support of wireless LANs because of an understanding of wireless LAN protocol operations and frame structures. Definition of typical requirements and technology assessment parameters, providing a basis for evaluating wireless LANs. Vision of the future of wireless LANs. Real-world experiences through case studies and implementation tips located throughout the book. Quick overview of the features, pros, and cons of each of the wireless LAN standards located at the beginning of each chapter.
C for the Microprocessor Engineer
Authors: S. J. Cahill, Sid Katzen
Venue:  (1994)

:C for the Microprocessor Engineer is designed to introduce the reader to the use, problems and advantages of using C as the programming medium for embedded microprocessor systems. It can be used as a general stand-alone text in microprocessor technology, since only a limited background is expected in microprocessor hardware and software. Key Features: written from an engineering point of view rather than taking a traditional software approach; real-world commercial hardware and software products used throughout; comparison between 8-bit (6809) and 16/32-bit (68000) processor made in order to emphasize the portability advantages of a high-level language; introduction of software tools such as relocatable assemblers, linkers, compilers and simulators; and use of a mini-project to bring together, compare and contrast the various concepts introduced in the text.
An Introduction to Functional Programming Systems Using Haskell
Authors: Antony J. T. Davie
Venue:  (1992)

:The basic concepts of applicative programming are presented using the language Haskell for examples.
Asynchronous transfer of control in the real-time specification for java&trade;
Authors: Benjamin M. Brosgol, Ricardo J. Hassan,  II, Scott Robbins
Venue: Proceedings of the 11th international workshop on Real-time Ada workshop (2002)

The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the Thread class. This mechanism allows the programming of useful idioms such as timeouts and thread termination without the latency found in polling, and it avoids the problems inherent in the Thread class's stop() and destroy() methods.
An Algebraic Approach to the Construction of Polyhedral Invariant Cones
Authors: Maria Elena Valcher, Lorenzo Farina
Venue: SIAM Journal on Matrix Analysis and Applications (2000)

In this paper, based on algebraic arguments, a new proof of the spectral characterization of those real matrices that leave a proper polyhedral cone invariant [ Trans. Amer. Math. Soc., 343 (1994), pp. 479--524] is given. The proof is a constructive one, as it allows us to explicitly obtain for every matrix A, which satisfies the aforementioned spectral requirements, an A-invariant proper polyhedral cone $\mathcal{K}$.Some new results are also presented, concerning the way A acts on the cone $\mathcal{K}$. In particular, $\mathcal{K}$-irreducibility, $\mathcal{K}$-primitivity, and $\mathcal{K}$-positivity are fully characterized.
Immutability specification and its applications
Authors: Igor Pechtchanski, Vivek Sarkar
Venue: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (2002)

A location is said to be immutable if its value and the values of selected locations reachable from it are guaranteed to remain unchanged during a specified time interval. We introduce a framework for immutability specification, and discuss its application to code optimization. Compared to a final declaration, an immutability assertion in our framework can express a richer set of immutability properties along three dimensions --- lifetime, reachability and context. We present a framework for processing and verifying immutability annotations in Java, as well as extending optimizations so as to exploit immutability information. Preliminary experimental results show that a significant number (82%) of read accesses could potentially be classified as immutable in our framework. Further, use of immutability information yields substantial reductions (33% to 99%) in the number of dynamic read accesses, and also measurable speedups in the range of 5% to 10% for certain benchmark programs.
Real Law at Virtual Space: Communication Regulation in Cyberspace
Authors: Susan J. Drucker, Gary Gumpert
Venue:  (1999)

:Legislators, service providers, consumers, and courts are grappling with the liability and free expression implications of technological developments. Through the process of litigation and legislation the principles of "cyberlaw" are emerging. The technology of communication challenges developments in speech, copyright and intellectual property, and obscenity, as well as sexual harassment and jurisdictional issues. This edited volume addresses existing law and explores the issues which will require legislative and judicial attention in the near future as the law develops and focuses on communicative rights and liabilities in the mediated realm of cyberspace.
Nintendo 64 Survival Guide
Authors: J. Douglas Arnold, Mark Elies
Venue:  (1998)

:Strategies, moves secrets and codes for the Nintendo 64.
Checking Approximate Computations of Polynomials and Functional Equations
Authors: Funda Ergün, S. Ravi Kumar, Ronitt Rubinfeld
Venue: SIAM Journal on Computing (2002)

A majority of the results on self-testing and correcting deal with programs which purport to compute the correct results precisely. We relax this notion of correctness and show how to check programs that compute only a numerical approximation to the correct answer. The types of programs that we deal with are those computing polynomials and functions defined by certain types of functional equations. We present results showing how to perform approximate checking, self-testing, and self-correcting of polynomials, settling in the affirmative a question raised by [P. Gemmell et al., Proceedings of the 23rd ACM Symposium on Theory of Computing, 1991, pp. 32--42; R. Rubinfeld and M. Sudan, Proceedings of the Third Annual ACM-SIAM Symposium on Discrete Algorithms, Orlando, FL, 1992, pp. 23--43; R. Rubinfeld and M. Sudan, SIAM J. Comput., 25 (1996), pp. 252--271]. We obtain this by first building approximate self-testers for linear and multilinear functions. We then show how to perform approximate checking, self-testing, and self-correcting for those functions that satisfy addition theorems, settling a question raised by [R. Rubinfeld, SIAM J. Comput., 28 (1999), pp. 1972--1997]. In both cases, we show that the properties used to test programs for these functions are both robust (in the approximate sense) and stable. Finally, we explore the use of reductions between functional equations in the context of approximate self-testing. Our results have implications for the stability theory of functional equations.
A Legendre Spectral Galerkin Method for the Biharmonic Dirichlet Problem
Authors: Bernard Bialecki, Andreas Karageorghis
Venue: SIAM Journal on Scientific Computing (2000)

A Legendre spectral Galerkin method is presented for the solution of the biharmonic Dirichlet problem on a square. The solution and its Laplacian are approximated using the set of basis functions suggested by Shen, which are linear combinations of two Legendre polynomials. A Schur complement approach is used to reduce the resulting linear system to one involving the approximation of the Laplacian of the solution on the two vertical sides of the square. The Schur complement system is solved by a preconditioned conjugate gradient method or the Cholesky method. The total cost of the algorithm is O(N3). Numerical results demonstrate the spectral convergence of the method.
Mapping Cyberspace
Authors: Martin Dodge, Rob Kitchin
Venue:  (2000)

:"Space is central to our lives. Because of this, much attention is directed at understanding and explaining the geographic world. Mapping Cyberspace is a book, which extends this analysis to provide a geographic exploration and critical reading of cyberspace and information and communication technologies. Mapping Cyberspace: provides an understanding of what cyberspace looks like and the social interactions that take place there; explores the impacts of cyberspace, and information and communication technologies, on cultural, political and economic relations; charts the spatialities, spatial forms and space-time relations of virtual spaces; and details empirical research and examines a wide variety of maps and spatialisations of cyberspace and the information society." "Mapping Cyberspace draws together the findings and theories of researchers from geography, cartography, sociology, cultural studies, computer-mediated communications, information visualisation, literary theory and cognitive psychology. It is illustrated with over fifty black and white illustrations and a colour plate section. This book will be a valuable addition to the growing body of literature on cyberspace and what it means for the future."--BOOK JACKET.
Fundamentals of Logic Design, 4th edition
Authors: Charles H. Roth
Venue:  (1992)

:FUNDAMENTALS OF LOGIC DESIGN provides a thorough presentation of fundamental concepts for a first course in the logic design of digital systems for both engineering and computer science students. The book covers in depth such essential concepts as the use of Boolean algebra to describe the signals and interconnections in a logic network, use of systematic techniques for simplification of a logic network, interconnection of simple components to perform a more complex logic function, analysis of a sequential logic network in terms of timing charts or a state graph, and use of a control network to control the sequence of events in a digital system. It offers a balance of theory and practical applications that prepares readers for more advanced studies in digital systems design and switching theory. Ideal for use in a self-paced course, FUNDAMENTALS OF LOGIC DESIGN provides self-study aids such as reading assignments and study questions within each of its 27 study units. A computer-aided logic design program, LogicAid, is suggested for use with this text.
Transmission scheduling in ad hoc networks with directional antennas
Authors: Lichun Bao, J.J. Garcia-Luna-Aceves
Venue: Proceedings of the 8th annual international conference on Mobile computing and networking (2002)

Directional antennas can adaptively select radio signals of interest in specific directions, while filtering out unwanted interference from other directions. Although a couple of medium access protocols based on random access schemes have been proposed for networks with directional antennas, they suffer from high probability of collisions because of their dependence on omnidirectional mode for the transmission or reception of control packets in order to establish directional links. We propose a distributed receiver-oriented multiple access (ROMA) channel access scheduling protocol for ad hoc networks with directional antennas, each of which can form multiple beams and commence several simultaneous communication sessions. Unlike random access schemes that use on-demand handshakes or signal scanning to resolve communication targets, ROMA determines a number of links for activation in every time slot using only two-hop topology information. It is shown that significant improvements on network throughput and delay can be achieved by exploiting the multi-beam forming capability of directional antennas in both transmission and reception. The performance of ROMA is studied by simulations, and compared with a well-know static scheduling scheme that is based on global topology information.
Pro/Engineer Solutions and Plastic Design, 1st edition
Authors: Norman Ladouceur, John McKeen
Venue:  (1999)

:Plastics technology has become increasingly sophisticated. Products traditionally made from other types of materials are being replaced with plastics for applications never dreamed possible - and the trend shows no sign of leveling off. Pro/ENGINEER Solutions and Plastic Design covers the range of issues involved in plastic design and teaches you how to create robust, delivery-ready models for a wide array of manufacturing processes. The book provides the specifics of Pro/ENGINEER functionality and technique while serving as a more broadly applicable sourcebook for the "inside" know-how of plastic design.
Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic
Authors: Luigi Di Lascio
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

In this paper a sound and complete tableau system for the Rational Pavelka Logic is introduced. The completeness is proved thanks to fuzzy hilbertian system formulated by Hajek. A fuzzy tableau cut rule is introduced but a cut elimination theorem is proved.
A procedural approach to authoring solid models
Authors: Barbara Cutler, Julie Dorsey, Leonard McMillan, Matthias Müller, Robert Jagnow
Venue: Proceedings of the 29th annual conference on Computer graphics and interactive techniques (2002)

We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes. Sculpting and simulation operators are applied within the context of the language to shape and modify the model. Our framework treats simulation as a modeling operator rather than simply as a tool for animation, thereby suggesting a new paradigm for modeling as well as a new level of abstraction for interacting with simulation environments.Capturing real-world effects with standard modeling techniques is extremely challenging. Our key contribution is a concise procedural approach for seamlessly building and modifying complex solid geometry. We present an implementation of our language using a flexible tetrahedral representation. We show a variety of complex objects modeled in our system using tools that interface with finite element method and particle system simulations.
Simlife: The Official Strategy Guide
Authors: Rusel DeMaria, Michael Bremmer
Venue:  (1992)

:SimLife, the latest software toy from Maxis, is the first program available that gives you the power to create and evolve life right on your computer screen! And SimLife: The Official Strategy Guide is the Bible for all you electronic biologists who want to play SimLife to its fullest, whether you want to design and rule rain forests, prehistoric Earth, or alien worlds from the depths of your imagination. Written by the game's creators, this book provides the necessary scientific background you need to appreciate SimLife to the fullest, both as a game and genetic laboratory. Inside you discover myriad topics not found in the manual, including: * How to experiment with genetic algorithms * Where to find hidden controls, features, and menus * Loads of details on how to succeed in the Scenarios * the "how and why" of the simulation models * The real science behind the game * Plus an overview of the hottest new field in computer science -- artificial life This book also contains a complete tutorial, reference section, and quick reference guide. As the only official strategy guide for SimLife you'll ever find, it's simply indispensable! Whether you want to perform real science or just play == everything you need is right here!
Mastering Network Security, 2nd edition
Authors: Chris Brenton, Cameron Hunt
Venue:  (2002)

:The new edition of the highly-acclaimed and best-selling Mastering Network Security is here, and just in time! The past four significant Internet worm attacks alone have cost companies more than $10 billion in repairs and lost productivity. And as hackers continue to discover new ways to exploit vulnerable networks, the need for up-to-date security information grows. The smart security professional knows that a solid understanding of multi-protocol network security technologies is critical for keeping up with new threats that are posed every day. This new edition provides a systematic and practical approach to assessing threats to the network and implementing workable and effective security measures to avert them. The authors cover all major operating systems and provide detailed and up-to-date information on virtual private networks, wireless, encryption, intrusion detection, certificates, online commerce, and remote data access.
Conventions and articulation work in a mobile workplace
Authors: Ulrik Christensen
Venue: ACM SIGGROUP Bulletin (2001)

My research interest is in the role of information technology in cooperative systems. My work is grounded in ethnomethodologically informed observation-based workplace studies focussing on procedures, conventions and coordinative artefacts. Recently I have started investigating work settings characterized by a high degree of mobility. This work is part of the project "Developing a Research Methodology for Studying Mobile IT Usage and Person Mobility", that I work on with Gloria Mark.
mCommerce Security
Authors: Kapil Raina, Anurag Harsh
Venue:  (2001)

:Learn to design and implement a successful mCommerce security plan using this practical introductory guide. You'll understand the differences between mobile and wired security,and find out about current mCommerce security methods  including PKI and digital signatures  plus,you'll get specific instructions through actual case studies. Learn to implement a solid mCommerce security planfrom start to finish Many businesses today recognize mobile commercemCommerceas a way to increase revenue and offer customers a new level of convenience. Mobile phones and PDAs can now be used for online banking,purchasing tickets,messaging,and much more. For any transaction,security is a top priorityand this becomes increasingly complex when wireless and mobile applications are involved. This practical introductory guide clearly explains different mCommerce applications and their associated security risks. Through case studies,you'll learn best practices for implementing specific security methods in key industriesincluding banking,retail,entertainment,military,travel,and healthcare. The book also contains 8 pages of blueprints that depict secure end-to-end mCommerce architecture as well as identify key vulnerability points. Explore the latest security topics for both business and consumer mCommerce applications Improve services offered to customers through secure mCommerce applications Get details on various types of mobile applications and understand their security risksincluding commerce,payments,information,communications,gaming,and military Discover the differences between mobile versus wired security Addressmobile security issues in key industries such as banking and finance,travel,manufacturing,entertainment,public services,and defense Recognize the time- and cost-saving benefits of secured mCommerce applications through comprehensive case studies Preview the security of future mobile applicationssuch as 3G/4G networks and wearable computers