ppxscal/embedding_network huggingface dataset:
IPTV Crash Course, 1 edition
Authors: Joseph W. Weber, Tom Newberry
Venue:  (2006)

Get up to speed on this billion-dollar technologyIPTV Crash Course offers an accessible overview of this rapidly evolving technology that is radically impacting the landscape of television distribution and broadcasting services. This practical resource offers straightforward, easy-to-follow explanations of the fundamentals of digital television as well as basic and advanced IPTV technology. You'll also find in-depth coverage of IP network client devices including hardware and software, allowing for an enriched entertainment experience.The Latest InnovationsThis book delves into new advancements in the field, examining both the technological layers of digital television and Internet service offerings, and how they are converging to create new business models. Soon, the integration of television entertainment into daily life will change, and IPTV Crash Course is an essential read for anyone interested in this groundbreaking technology.Full coverage of IPTV including:Overview of the Television Services Business * IPTV System Architecture * Digital Compression Process * Digital Television Technology * Digital Home Networking * IP Client Device Architectures (HW SW) * Copy Protection and Digital Rights Management * IPTV Standardization Efforts Table of contentsAcknowledgmentsForewordIntroductionChapter 1. How IPTV Changes the Business of TelevisionChapter 2. The IPTV System ModelChapter 3. The Technology of Internet Protocol NetworksChapter 4. The Technology of Digital TelevisionChapter 5. IPTV in the HomeChapter 6. Copy Protection and Digital Rights ManagementChapter 7. IPTV Standardization EffortsChapter 8. The End of TV as We Know It or Business as Usual?Appendix A: Further Details on Channel Change DelaysAppendix B: IPTV Company References and Information SourcesGlossaryIndex
Windows Server 2003 Pocket Administrator, 1 edition
Authors: Nelson Ruest, Danielle Ruest
Venue:  (2003)

This handy resource offers busy network administrators clear and concise information for daily on-the-job tasks--all in a portable format. Key management tasks are presented in logically organized sections. You’ll get details on file, print, application, mail, terminal, streaming media, and remote servers--and much more.Table of contents 1: General Server Administration 2: Administering File and Print Servers 3: Administering Network Infrastructure Servers 4: Administering Identity Servers 5: Administering Application Servers A: Task Frequency List
A verifying core for a cryptographic language compiler
Authors: Lee Pike, Mark Shields, John Matthews
Venue: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications (2006)

A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler for &mu;Cryptol, a stream-based language for encryption algorithm specification that targets Rockwell Collins' AAMP7 microprocessor (and is designed to compile efficiently to hardware, too). This paper reports on our success in verifying the "core" transformations of the compiler -- those transformations over the sub-language of &mu;Cryptol that begin after "higher-order" aspects of the language are compiled away, and finish just before hardware or software specific transformations are exercised. The core transformations are responsible for aggressive optimizations. We have written an ACL2 macro that automatically generates both the correspondence theorems and their proofs. The compiler also supplies measure functions that ACL2 uses to automatically prove termination of &mu;Cryptol programs, including programs with mutually-recursive cliques of streams. Our verifying compiler has proved the correctness of its core transformations for multiple algorithms, including TEA, RC6, and AES. Finally, we describe an ACL2 book of primitive operations for the general specification and verification of encryption algorithms.
Performance Modeling and Evaluation of E-Business Systems
Authors: Giovanna Ferrari, Paul Ezhilchelvan, Isi Mitrani
Venue: Proceedings of the 39th annual Symposium on Simulation (2006)

A general model of an E-business system comprising an Application Server and a Database engine is analyzed and evaluated. Incoming jobs, once admitted for processing, compete for the available resources. Database accesses are of different types and are subject to time-outs. An efficient approximate solution is provided; its accuracy is evaluated by comparing the model estimates with those obtained from simulations. The effect of several controllable parameters on the performance of the system is examined in a series of numerical and simulation experiments.
IIS 6: The Complete Reference, 1 edition
Authors: Hethe Henrickson, Scott Hofmann
Venue:  (2003)

See why Microsoft Internet Information Server 6 is quickly becoming a force in the Web Server area. Get step-by-step instruction on installing, configuring, maintaining, and administering IIS 6. Troubleshoot the Web Server, learn industry security standards, and cover Virtual Directories and Servers as well as FrontPage Webs, and much more.Table of contents Part I: Basic IIS Services 1: IIS Fundamentals 2: The WWW Service 3: The FTP Service 4: The SMTP Service 5: The NNTP Service Part II: IIS Administration 6: Security 7: Authentication 8: TCP/IP and DNS 9: Administration Tasks 10: Encryption 11: Logging Part III: IIS Programming 12: ASP Programming 13: COM Web Programming 14: ASP.NET Web Forms 15: ASP.NET Web Services 16: ATL Server 17: ISAPI Extensions Part IV: IIS Extras 18: Software Process and Methodology for Web Applications 19: Bringing It All Together: Creating Your Own Web Site Using IIS 20: Troubleshooting Appendix: XML Escape Values
iPod & iTunes (Missing Manuals)
Authors: J D. Biersdorfer
Venue:  (2005)

Whether it's the ultra-thin, pocket-sized iPod or the vast music library known as iTunes, it seems like everyone is relying on these marvels of technology for their musical needs. CDs and cassettes? They're so twentieth century! But like any cutting-edge technology, improvements come fast and furious. To keep up with all the recent changes to iPod and iTunes, O'Reilly has once again fully updated and refreshed its bestselling Missing Manual. This third edition now reflects the following cool advancements: the fourth-generation iPod, which has a capacity of 10,000 songsiPod Photo and iPod Shuffle: the two newest members of the iPod familyAirport Express (featuring AirTunes), a gadget that streams iTunes music wirelessly through the speakers of a nearby stereothe latest version of iTunes (4.7) Covering all iPod models for both Mac and Windows, iPod & iTunes: The Missing Manual, 3rd Edition lays bare an astonishing collection of useful tips, tricks, and shortcuts. For prospective iPod owners, it reveals how the iPod can be used as a PalmPilot, a hard drive, an e-book, and even as a GameBoy. Experienced iPodders, meanwhile, will benefit from the up-to-the-minute nature of the book's content. And if the deep reservoir of the iTunes music store is more your style, it's also the ultimate guide to the iTunes software and iTunes Music Store for both Mac and Windows. Like the rest of the Missing Manual series, iPod & iTunes: The Missing Manual is written in a witty and entertaining style that makes it an easy read for even the most non-technical of consumers.
Uniqueness and Hölder continuity of the solution to multivalued equilibrium problems in metric spaces
Authors: Lam Quoc Anh, Phan Quoc Khanh
Venue: Journal of Global Optimization (2007)

Multivalued equilibrium problems in general metric spaces are considered. Uniqueness and Hölder continuity of the solution are established under Hölder continuity and relaxed Hölder-related monotonicity assumptions. The assumptions appear to be weaker and the inclusion to be properly stronger than that of the recent results in the literature. Furthermore, our theorems include completely some known results for variational inequalities in Hilbert spaces, which were demonstrated via geometrical techniques based on the orthogonal projection in Hilbert spaces and the linearity of the canonical pair $$\langle .,.\rangle$$ .
Supporting excess real-time traffic with active drop queue
Authors: Yaqing Huang, Roch Guérin, Pranav Gupta
Venue: IEEE/ACM Transactions on Networking (TON) (2006)

Real-time applications often stand to benefit from service guarantees, and in particular delay guarantees. However, most mechanisms that provide delay guarantees also hard-limit the amount of traffic the application can generate, i.e., to enforce to a traffic contract. This can be a significant constraint and interfere with the operation of many real-time applications. Our purpose in this paper is to propose and investigate solutions that overcome this limitation. We have four major goals: 1) guarantee a delay bound to a contracted amount of real-time traffic; 2) transmit with the same delay bound as many excess real-time packets as possible; 3) enforce a given link sharing ratio between excess real-time traffic and other service classes, e.g., best-effort; and 4) preserve the ordering of real-time packets, if required. Our approach is based on a combination of buffer management and scheduling mechanisms for both guaranteeing delay bounds, while allowing the transmission of excess traffic. We evaluate the "cost" of our scheme by measuring the processing overhead of an actual implementation, and we investigate its performance by means of simulations using video traffic traces.
Research note: microcode bit optimization is NP-hard
Authors: Edward L. Robertson
Venue: ACM SIGMICRO Newsletter (1977)

The general problem of formating microinstruction so as to minimize the width of words in control memory is shown to be computationally difficult. Hence, we should not attempt to solve the general case, but concentrate on heuristics for reasonable subcases.
GEO-RBAC: A spatially aware RBAC
Authors: Maria Luisa Damiani, Elisa Bertino, Barbara Catania, Paolo Perlasca
Venue: ACM Transactions on Information and System Security (TISSEC) (2007)

Securing access to data in location-based services and mobile applications requires the definition of spatially aware access-control systems. Even if some approaches have already been proposed either in the context of geographic database systems or context-aware applications, a comprehensive framework, general and flexible enough to deal with spatial aspects in real mobile applications, is still missing. In this paper, we make one step toward this direction and present GEO-RBAC, an extension of the RBAC model enhanced with spatial-and location-based information. In GEORBAC, spatial entities are used to model objects, user positions, and geographically bounded roles. Roles are activated based on the position of the user. Besides a physical position, obtained from a given mobile terminal or a cellular phone, users are also assigned a logical and device-independent position, representing the feature (the road, the town, the region) in which they are located. To enhance flexibility and reusability, we also introduce the concept of role schema, specifying the name of the role, as well as the type of the role spatial boundary and the granularity of the logical position. We then extend GEO-RBAC to support hierarchies, modeling permission, user, and activation inheritance, and separation of duty constraints. The proposed classes of constraints extend the conventional ones to deal with different granularities (schema/instance level) and spatial information. We conclude the paper with an analysis of several properties concerning the resulting model.
Design and UV-LIGA microfabrication of an electro-statically actuated power relay
Authors: S. J. Jeong, W. Wang
Venue: Microsystem Technologies (2006)

A novel type of micro power relay has been designed and fabricated using UV-LIGA technology. The relay is based on electrostatic actuation and SU-8 was used as a functional material. The unique character of this novel power relay is that other than two SU-8 strips used both as electrical insulators mechanical connectors, all other components are made of metal or alloys. Because UV-LIGA technology has the advantages of broad material selection and the capability of making high aspect ratio microstructures, the technology is best suited for fabricating micro electro mechanical system power relays. A multi-step, multi-layer UV-LIGA process has been successfully developed and a prototype relay has been successfully fabricated.
The Photoshop CS2 Help Desk Book
Authors: Dave Cross
Venue:  (2005)

After years of fielding questions at seminars from Photoshop users, Dave Cross realized there was a lot of common ground: there were many questions that were indeed "frequently asked." In addition, most questions seemed start with “How come I can't...." "How do I...." or "Why won't the (fill in the blank) tool work?" This book addresses the most common problems and questions in Photoshop by both providing answers to the most frequently asked questions, and outlining strategies that can help you avoid problems in the first place.You'll see:· Where to start when things don't work: from tool settings to re-installing Photoshop· The most common warning dialogs: why they appears, how to fix them, and how to avoid them· The Photoshop CS2 Checklist: what to check when things go wrong, or before you start working, to help avoid problems· Solutions to typical problems when using the Adobe Creative Suite· How to avoid problems by creating flexible documents (adjustment layers, layer masks, groups, smart object, layer comps, and more)· Frequently asked questions-and their answers-in all key areas of Photoshop CS2:· general operations (palettes, workspaces, menus, etc.)· color (CMYK, color management, spot color, choosing color, etc.)· type· selections ·ï¾ making adjustments· layers· preferences and settings·ï¾ image capture (resolution, Camera Raw, file size)· sizing (canvas size, image size, copping)· automation (actions, batch, built-in automation commands)· common image problems (exposure, focus, noise, color cast, etc.)· painting (brushes, choosing color)· output (web, PDF, video, printing)· special effects (filters, layer styles)· tools (that don't fit into any other category)· How to customize Photoshop CS2 to work the way you want it to (actions, menus, workspaces, shortcuts, preferences)·ï¾ How to make your own brushes, swatches, shapes, styles, and patterns
Sams Teach Yourself OpenOffice.org All In One
Authors: Greg Perry, Kenyon Brown
Venue:  (2003)

An alternative for Microsoft Office and StarOffice users has arrived in the form of OpenOffice.org. If you are part of the growing number of people who are making the switch from Microsoft Office or StarOffice to the free OpenOffice.org 1.1 suite, Sams Teach Yourself OpenOffice.org All In One is a must-have tool. Make a smooth transition from Microsoft Office to OpenOffice.org 1.1 with this task tutorial, starter kit CD-ROM and step-by-step instruction guide. Learn how to productively use the Writer, Calc, Impress and Draw applications in the OpenOffice.org 1.1 suite and how you will be able to easily work with those still using Microsoft Office and StarOffice. Don't lose valuable time trying to learn OpenOffice.org 1.1 on your own - let Sams Teach Yourself help!
Retro Gaming Hacks
Authors: Chris Kohler, Al Lowe
Venue:  (2005)

Maybe it was the recent Atari 2600 milestone anniversary that fueled nostalgia for the golden days of computer and console gaming. Every Game Boy must ponder his roots from time to time. But whatever is driving the current retro gaming craze, one thing is certain: classic games are back for a big second act, and they're being played in both old and new ways.Whether you've just been attacked by Space Invaders for the first time or you've been a Pong junkie since puberty, Chris Kohler's Retro Gaming Hacks is the indispensable new guide to playing and hacking classic games. Kohler has complied tons of how-to information on retro gaming that used to take days or weeks of web surfing to track down and sort through, and he presents it in the popular and highly readable Hacks style.Retro Gaming Hacks serves up 85 hard-nosed hacks for reviving the classic games. Want to game on an original system? Kohler shows you how to hack ancient hardware, and includes a primer for home-brewing classic software. Rather adapt today's equipment to run retro games? Kohler provides emulation techniques, complete with instructions for hacking a classic joystick that's compatible with a contemporary computer. This book also teaches readers to revive old machines for the original gaming experience: hook up an Apple II or a Commodore 64, for example, and play it like you played before.A video game journalist and author of Power Up: How Japanese Video Games Gave the World an Extra Life, Kohler has taught the history of video games at Tufts University. In Retro Gaming Hacks, he locates the convergence of classic games and contemporary software, revealing not only how to retrofit classic games for today's systems, but how to find the golden oldies hidden in contemporary programs as well.Whether you're looking to recreate the magic of a Robotron marathon or simply crave a little handheld Donkey Kong, Retro Gaming Hacks shows you how to set the way-back dial.
Constraint-based design of B-spline surfaces from curves
Authors: P. Michalik, B. D. Brüderlin
Venue: Proceedings of the ninth ACM symposium on Solid modeling and applications (2004)

In this paper we describe the design of B-spline surface models by means of curves and tangency conditions. The intended application is the conceptual constraint-driven design of surfaces from hand-sketched curves. The solving of generalized curve surface constraints means to find the control points of the surface from one or several curves, incident on the surface, and possibly additional tangency and smoothness conditions. This is accomplished by solving large, and generally under-constrained, and badly conditioned linear systems of equations. For this class of linear systems, no unique solution exists and straight forward methods such as Gaussian elimination, QR-decomposition, or even blindly applied Singular Value Decomposition (SVD) will fail. We propose to use regularization approaches, based on the so-called L-curve. The L-curve, which can be seen as a numerical high frequency filter, helps to determine the regularization parameter such that a numerically stable solution is obtained. Additional smoothness conditions are defined for the surface to filter out aliasing artifacts, which are due to the discrete structure of the piece-wise polynomial structure of the B-spline surface. This leads to a constrained optimization problem, which is solved by Modified Truncated SVD: a L-curve based regularization algorithm which takes into account a user defined smoothing constraint.
Pastiche scenarios: Fiction as a resource for user centred design
Authors: Mark A. Blythe, Peter C. Wright
Venue: Interacting with Computers (2006)

Pastiche scenarios draw on fiction as a resource to explore the interior 'felt-life' aspects of user experience and the complex social and cultural issues raised by technological innovations. This paper sets out an approach for their use, outlining techniques for the location of source material and presenting three case studies of pastiche scenario use. The first case study is an evaluation of the Apple iPod that explores the socio-cultural meanings of the technology. The second case study focuses on the participatory design of Net Neighbours, an online shopping system where volunteers shop as intermediaries for older people who do not have access to computers. The third is an in depth consideration of a conceptual design, the 'cambadge' a wearable lightweight web cam which, upon activation broadcasts to police or public websites intended to reduce older people's fear of crime. This design concept is explored in depth in pastiche scenarios of the Miss Marple stories, A Clockwork Orange and Nineteen Eighty-four that reflect on how the device might be experienced not only by users but also by those it is used against. It is argued that pastiche scenarios are a useful complementary method for designers to reason about user experience as well as the broad social and cultural impacts of new technologies.
Spoken language classification using hybrid classifier combination
Authors: Sheila Garfield, Stefan Wermter, Siobhan Devlin
Venue: International Journal of Hybrid Intelligent Systems (2005)

In this paper we describe an approach for spoken language analysis for helpdesk call routing using a combination of simple recurrent networks and support vector machines. In particular we examine this approach for its potential in a difficult spoken language classification task based on recorded operator assistance telephone utterances. We explore simple recurrent networks and support vector machines using a large, unique telecommunication corpus of spontaneous spoken language. The main contribution of the paper is a combination of techniques in the domain of call routing. First, we find that simple recurrent networks perform better than support vector machines for this task. Second, we claim that the combination of simple recurrent networks and support vector machines provides slightly improved performance compared to the performance of either simple recurrent networks or support vector machines.
Designing Interfaces
Authors: Jenifer Tidwell
Venue:  (2005)

Designing a good interface isn't easy. Users demand software that is well-behaved, good-looking, and easy to use. Your clients or managers demand originality and a short time to market. Your UI technology -- Web applications, desktop software, even mobile devices -- may give you the tools you need, but little guidance on how to use them well. UI designers over the years have refined the art of interface design, evolving many best practices and reusable ideas. If you learn these, and understand why the best user interfaces work so well, you too can design engaging and usable interfaces with less guesswork and more confidence. Designing Interfaces captures those best practices as design patterns -- solutions to common design problems, tailored to the situation at hand. Each pattern contains practical advice that you can put to use immediately, plus a variety of examples illustrated in full color. You'll get recommendations, design alternatives, and warnings on when not to use them. Each chapter's introduction describes key design concepts that are often misunderstood, such as affordances, visual hierarchy, navigational distance, and the use of color. These give you a deeper understanding of why the patterns work, and how to apply them with more insight. A book can't design an interface for you -- no foolproof design process is given here -- but Designing Interfaces does give you concrete ideas that you can mix and recombine as you see fit. Experienced designers can use it as a sourcebook of ideas. Novice designers will find a roadmap to the world of interface and interaction design, with enough guidance to start using these patterns immediately.
The delft MS curriculum on embedded systems
Authors: Hans-Gerhard Gross, Arjan van Gemund
Venue: ACM SIGBED Review (2007)

Embedded Systems (ES) is the fastest growing sector in ICT technology [1][18]. Also in the Dutch economy, this sector is believed to become an important generator of added value. In this paper we describe a new MS program on ES that is offered in Delft as of the academic year 2006/2007. The MS program is a joint offering by the three Universities of Technology within The Netherlands (at Delft, Eindhoven, and Twente). We describe the program, its rationale, and two examples of already existing courses (Embedded Systems and Real-Time Systems), from which the new ES curriculum has emerged.