ppxscal/embedding_network huggingface dataset:
ASP.Net 2.0: A Developer's Notebook
Authors: Wei Meng Lee
Venue:  (2005)

When ASP.NET hit the street a couple of years ago, it was a real eye-opener. Microsoft's tool for creating dynamic, server side web applications introduced Web Forms, a feature with the same rapid drag and drop convenience enjoyed by Visual Basic developers, along with a method for creating XML-based web services. ASP.NET was more than an upgrade of Active Server Pages it was a quantum leap ahead. Now Microsoft has a new version of ASP.NET as part of its upcoming next generation release of the Visual Studio .NET development platform. ASP.NET 2.0 is already available in beta release, and web developers are anxious to get a good look at it. That's exactly what our new Developer's Notebook allows you to do. More than just an introduction to ASP.NET 2.0, this practical guide acquaints you with all of the new features through nearly 50 hands-on projects. Each one places emphasis on changes in the new release that can increase productivity, simplify programming tasks, and help you add functionality to your applications. For example, ASP.NET 2.0 includes master pages, themes, and skins so you can build applications with a consistent page layout and design. Other changes allow for the automatic creation of web pages for use on mobile devices, while wizards and controls allow you to perform frequent tasks (like data access) without having to write a single line of code. ASP.NET 2.0: A Developer's Notebook also includes suggestions for further experimentation, links to on-line documentation, and practical notes and warnings from the author regarding changes to the new version. The new Developer's Notebooks series from O'Reilly offers an in-depth first look at important new tools for software developers. Emphasizing example over explanation and practice over theory, they focus on learning by doing you'll get the goods straight from the masters, in an informal and code-intensive style. If you want to get up to speed on ASP.NET 2.0 before its official release, this all lab, no lecture book will get you there.
Microprogramming the AN/UYK-17(XB-1)(V) signal processing element signal processing arithmetic unit
Authors: Tomlinson G. Rauscher
Venue: ACM SIGMICRO Newsletter (1974)

The AN/UYK-17(XB-1)(V) Signal Processing Element (SPE) is a high performance computer system being developed at the Naval Research Laboratory for radar, sonar, and communication applications. To perform signal processing tasks efficiently, the SPE comprises multiple functional units that execute different processes in parallel. Due to the inherent parallelism in signal processing tasks, horizontal microprograms are used to control the functional units [references 5 and 6]. This report overviews the SPE, describes the Signal Processing Arithmetic Unit (SPAU) in detail, discusses ANIMIL-the microprogramming language for representing SPAU microprograms, and illustrates the use of the ANIMIL translator with a simple microprogram. Companion documents describe the SPAU simulator program (reference 3) and the formal syntax and semantics of the ANIMIL language (reference 4).
Use of a computer algebra software in the functional validation of continuous simulations
Authors: Yvon Resplandy
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Due to the numeric integration algorithms with multiple iterations and the coupling effects between variables, verification and validation of simulations of continuous systems is a complex task. A method involving a Computer Algebra Software (CAS) is presented that allows preparing general parameterized test cases that cannot be achieved by hand. It applies to flat systems that are causal systems, whose outputs and states can be expressed through derivation and algebraic operations by a set of given variables (mechanical systems for example). These variables are set as temporal expressions with no or few symbolic expansion through derivation such as trigonometric or polynomial functions. Formal expressions of the inputs and outputs are calculated by means of a CAS and coded into the environment test. In addition to the verification and validation, this test is useful to assess the precision level of the integration method with respect to the variability of the inputs. 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
Complementary intron sequence motifs associated with human exon repetition: a role for intragenic, inter-transcript interactions in gene expression
Authors: Richard J. Dixon, Ian C. Eperon, Nilesh J. Samani
Venue: Bioinformatics (2007)

Motivation: Exon repetition describes the presence of tandemly repeated exons in mRNA in the absence of duplications in the genome. The regulation of this process is not fully understood. We therefore investigated the entire flanking intronic sequences of exons involved in exon repetition for common sequence elements. Results: A computational analysis of 48 human single exon repetition events identified two common sequence motifs. One of these motifs is pyrimidine-rich and is more common in the upstream intron, whilst the other motif is highly enriched in purines and is more common in the downstream intron. As the two motifs are complementary to each other, they support a model by which exon repetition occurs as a result of trans-splicing between separate pre-mRNA transcripts from the same gene that are brought together during transcription by complementary intronic sequences. The majority of the motif instances overlap with the locations of mobile elements such as Alu elements. We explore the potential importance of complementary intron sequences in a rat gene that undertakes natural exon repetition in a strain specific manner. The possibility that distant complementary sequences can stimulate inter-transcript splicing during transcription suggests an unsuspected new role for potential secondary structures in endogenous genes. Availability: Contact: rd67@le.ac.uk Supplementary information: Supplementary data are available at Bioinformatics online.
Metadata handling: A video perspective
Authors: Chitra L. Madhwacharyula, Marc Davis, Philippe Mulhem, Mohan S. Kankanhalli
Venue: ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP) (2006)

This article addresses the problem of processing the annotations of preexisting video productions to enable reuse and repurposing of metadata. We introduce the concept of automatic content-based editing of preexisting semantic home video metadata. We propose a formal representation and implementation techniques for reusing and repurposing semantic video metadata in concordance with the actual video editing operations. A novel representation for metadata editing is proposed and an implementation framework for editing the metadata in accordance with the video editing operations is demonstrated. Conflict resolution and regularization operations are defined and implemented in the context of the video metadata editing operations.
Realtime Garbage Collection
Authors: David F. Bacon
Venue: Queue (2007)

Traditional computer science deals with the computation of correct results. Realtime systems interact with the physical world, so they have a second correctness criterion: they have to compute the correct result within a bounded amount of time. Simply building functionally correct software is hard enough. When timing is added to the requirements, the cost and complexity of building the software increase enormously.
Hardware Design Verification: Simulation and Formal Method-Based Approaches (Prentice Hall Modern Semiconductor Design Series)
Authors: William K. Lam
Venue:  (2005)

The Practical, Start-to-Finish Guide to Modern Digital Design VerificationAs digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today's most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.Author William K. Lam, one of the world's leading experts in design verification, is a recent winner of the Chairman's Award for Innovation, Sun Microsystems' most prestigious technical achievement award. Drawing on his wide-ranging experience, he introduces the foundational principles of verification, presents traditional techniques that have survived the test of time, and introduces emerging techniques for today's most challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.Coverage includes Simulation-based versus formal verification: advantages, disadvantages, and tradeoffs Coding for verification: functional and timing correctness, syntactical and structure checks, simulation performance, and more Simulator architectures and operations, including event-driven, cycle-based, hybrid, and hardware-based simulators Testbench organization, design, and tools: creating a fast, efficient test environment Test scenarios and assertion: planning, test cases, test generators, commercial and Verilog assertions, and more Ensuring complete coverage, including code, parameters, functions, items, and cross-coverage The verification cycle: failure capture, scope reduction, bug tracking, simulation data dumping, isolation of underlying causes, revision control, regression, release mechanisms, and tape-out criteria An accessible introduction to the mathematics and algorithms of formal verification, from Boolean functions to state-machine equivalence and graph algorithms Decision diagrams, equivalence checking, and symbolic simulation Model checking and symbolic computationSimply put, Hardware Design Verification will help you improve and accelerate your entire verification process--from planning through tape-out--so you can get to market faster with higher quality designs.
Supporting data quality management in decision-making
Authors: G. Shankaranarayanan, Yu Cai
Venue: Decision Support Systems (2006)

In the complex decision-environments that characterize e-business settings, it is important to permit decision-makers to proactively manage data quality. In this paper we propose a decision-support framework that permits decision-makers to gauge quality both in an objective (context-independent) and in a context-dependent manner. The framework is based on the information product approach and uses the Information Product Map (IPMAP). We illustrate its application in evaluating data quality using completeness--a data quality dimension that is acknowledged as important. A decision-support tool (IPView) for managing data quality that incorporates the proposed framework is also described.
Rapid and brief communication: Why direct LDA is not equivalent to LDA
Authors: Hui Gao, James W. Davis
Venue: Pattern Recognition (2006)

In this paper, we present counter arguments against the direct LDA algorithm (D-LDA), which was previously claimed to be equivalent to Linear Discriminant Analysis (LDA). We show from Bayesian decision theory that D-LDA is actually a special case of LDA by directly taking the linear space of class means as the LDA solution. The pooled covariance estimate is completely ignored. Furthermore, we demonstrate that D-LDA is not equivalent to traditional subspace-based LDA in dealing with the Small Sample Size problem. As a result, D-LDA may impose a significant performance limitation in general applications.
Apple Pro Training Series: Getting Started With Motion (Apple Pro Training)
Authors: Mary Plummer
Venue:  (2005)

It's not that you didn't want to create motion graphics for your video or DVD projects: You simply didn't have the time or money to take on a program like After Effects. Now you don't need to! With Apple's $299 Motion and this project-based guide to it, you'll be animating like a pro in no time! Assuming no prior motion graphics knowledge, this Apple-certified guide (the only one geared to newcomers to the field) starts slow, introducing you to motion graphics aesthetics at the same time you learn the program. From the first chapter, you'll be playing with the interface, building projects, and adding behaviors as you learn what makes Motion tick and how to use it effectively. Each lesson builds on the last as you learn about the time pane; behavior; particles; working with text, keyframes, Audio Editor, and sprites; importing/exporting and rendering; managing media; creating layered projects; and more. Review questions reinforce the knowledge, and a DVD with lesson files and media lets you work along with the book's projects. 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
Improving hospital evacuation planning using simulation
Authors: Kevin Taaffe, Matt Johnson, Desiree Steinmann
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Hospital evacuation in the event of a hurricane is a complex and unpredictable process. Recent natural disasters have called attention to the importance of a timely evacuation plan. The success of an evacuation greatly depends on developing and evaluating alternative plans. However, there is no standard approach to address the issues of a hospital evacuation. This research describes the development of a simulation model and initial analysis to assess the effectiveness of an evacuation plan given different scenarios and resources.
Learning in varieties of the form V*LI from positive data
Authors: Pedro García, José Ruiz
Venue: Theoretical Computer Science (2006)

Grammatical inference and finite semigroup theory are continuously developing. Nevertheless it seems that they are not interacting too much. We propose in this paper an inference method for languages that belong to varieties of the form V*LI. Many well known families of languages like locally testable, reversible, dot-depth one, etc. are of that form. The method unifies existing algorithms for inference of some of those families and can be applied to some others that had not been inferred yet. It uses a result about the cascade product in which one of the factors is a transducer and the second is the automaton obtained by inferring the base case of the family using the transduction of the sample as input.
Pro Tools 6 Power!
Authors: Colin MacQueen, Steve Albanese
Venue:  (2004)

Coverage includes- Colin MacQueen is the author of the Digital Audio Dictionary (Prompt Publications) with Steve Albanese, as well as the previous edition of Pro Tools Power! (Muska & Lipman/Thomson Course Technology), covering 5.xx versions of Pro Tools LE and TDM. He wrote and created the movie tutorials for various interactive CD-ROMs about audio and MIDI, including Pro Tools 6 CSi Starter, Cubase SX 2 CSi Starter, and Cubase SX CSi Master; assisted Dave Egan as co-author of GarageBand CSi Starter; and contributed several movie tutorials to Audio Plug-Ins CSi Master. A musician, composer, technical writer, sound designer, and virtual audio engineer, he has been involved for years with the music- and video-production industries and live performance, as well as in the distribution of Digidesign products in the USA and Spain. As an educator on digital audio-related topics, he has taught at broadcast school and university programs. Colin also created or edited much of the text in the original Cool School Interactus, the Cool Breeze CD-ROM series about Pro Tools, general digital audio, and MIDI sequencing topics. Other recent credits include original music production and interactive sound design for 11 original CD-ROM titles by Sunday Software. In addition to sound design and audio production, Colin plays a mean guitar, doubles on bass, sings like a bird (albeit some yet unknown species), and quantizes the heck out of a keyboard performance. Steve Albanese is an interactive media developer, audio engineer, media systems consultant, and founder of the Cool Breeze Systems, Inc. and Cool School Interactus training environments. Steve is currently continuing the development of CSi and new learning products at Thomson Course Technology in Boston, Massachusetts. His years of educational and development experience include his role as Media Production Supervisor at the Recording Workshop, Chef Instructor Pro School Midwest, and President of Cool Breeze Systems. Steve has also worked for years as an audio professional, recording, mixing, and mastering many music projects; posting videos and films; and providing sound for television commercials, radio spots, and interactive media. Steve also co-authored the Digital Audio Dictionary, the previous edition of Pro Tools Power!, CSi vol. 1-Pro Tools Basics, CSi vol. 2-Pro Tools Tips and Plug-ins, and CSi vol. 3-Desktop Audio, with Colin MacQueen; and has written and edited the "Cool Tip" monthly column for the Web version of Electronic Musician magazine. Packed with quality instructions and visual content that truly educates readers on Pro Tools 6. Provides many creative suggestions and practical tips for intermediate and advanced users, but can still function to get beginners up and running. Written so that it continues to be a valuable resource for future and previous versions of Pro Tools. Acts as a great reference and includes a complete Table of Contents, easily-browsed chapter and section headings, and a complete index. Mac or PC compatible, it covers both LE and TDM versions of Pro Tools.
Leveraging Identity-Based Cryptography for Node ID Assignment in Structured P2P Systems
Authors: Sunam Ryu, Kevin Butler, Patrick Traynor, Patrick McDaniel
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

Structured peer-to-peer systems have grown enormously because of their scalability, efficiency and reliability. These systems assign a unique identifier to each user and object. However, current assignment schemes allow an adversary to carefully select user IDs and/or simultaneously obtain many pseudo-identities--leading ultimately to an ability to disrupt the P2P system in very targeted (and dangerous) ways. In this paper, we propose novel ID assignment protocols based on identity-based cryptography. This approach permits the acquisition of node IDs to be tightly regulated without many of the complexities and costs associated with traditional certificate solutions. We broadly consider the security requirements of ID assignment and present three protocols representing distinct threat and trust models. A detailed empirical study of the protocols is given. Our analysis shows that the cost of our identity-based protocols is nominal, and that the associated identity services can scale to millions of users using a limited number of servers.
Simulation and visualization of air-side operations at Detroit Metropolitan Airport
Authors: Hiam M. Khoury, Vineet R. Kamat, Photios G. Ioannou
Venue: Proceedings of the 38th conference on Winter simulation (2006)

This paper presents the simulation model and 3D animation of the airside operations at Detroit Metro Airport, Romulus, Michigan. The paper illustrates how simulation modeling and visualization can be of substantial help in studying airside airport operations, and by consequence can greatly contribute in planning and designing construction operations at airports in a way that has the least impact on airside operations. Given that construction processes modeling was studied effectively in previous research efforts, the presented example investigates only airport operations. The focus of the presented work is on evaluating the capabilities of state-of-the-art construction simulation and visualization tools in being able to accurately model and animate airside airport operations. The solution to the problem is described in detail using a simulation model developed in STROBOSCOPE and a 3D animation created using VITASCOPE.
Extracting image orientation feature by using integration operator
Authors: Xudong Jiang
Venue: Pattern Recognition (2007)

This paper presents an orientation operator to extract image local orientation features. We show that a proper employment of image integration leads to an unbiased orientation estimate, based on which an orientation operator is proposed. The resulting discrete operator has flexibility in the scale selection as the scale change does not violate the bias minimization criteria. An analytical formula is developed to compare orientation biases of various discrete operators. The proposed operator shows lower bias than eight well-known gradient operators. Experiments further demonstrate higher orientation accuracy of the proposed operator than these gradient operators.
Evaluating arrival rate uncertainty in call centers
Authors: Thomas R. Robbins, D. J. Medeiros, Paul Dum
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Inbound call center operations are challenging to manage, in large part because there is considerable uncertainty in estimates of arrival rates, which vary over time. We have developed a general purpose simulation model for inbound call center operations which supports time varying and uncertain arrival rates along with variable staffing. We outline the conceptual and technical design of the simulation model. We then define and conduct an initial experiment that uses the model to evaluate the impact of arrival rate uncertainty on call center performance. We find that arrival rate uncertainty creates significant planning challenges for managers attempting to satisfy tight performance targets, particularly one-sided performance measures. We also find that abandonment rate has a major impact on call center performance.