ppxscal/embedding_network huggingface dataset:
Optimal organizations for pipelined hierarchical memories
Authors: Gianfranco Bilardi, Kattamuri Ekanadham, Pratap Pattnaik
Venue: Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures (2002)

In a recent paper (SPAA'01), we have established that the Pipelined Hierarchical Random Access Machine (PH-RAM) is a powerful model of computation, where most of the memory latency can be hidden by concurrency of accesses. In the present work, we explore the physical feasibility of PH-RAMs.A pipelined hierarchical memory of size $S$ is characterized by two metrics: the access function &alpha;(&khgr;), denoting the time required by an access to location $x$, and the pipeline period $p(S)$, denoting the minimum time between subsequent accesses that can be sustained. Physical constraints on minimum device size and maximum signal speed imply that, for a memory laid out in $d$ dimensions, a(&khgr;)= &OHgr;(&khgr;1/d)$. We propose a novel memory organization scheme that can be specialized to yield optimal performance &alpha;(&khgr;)=O(&khgr;^1/d)$ and $p(S)=O(1)$, for any $d \geq 1$.Managing a large number of concurrent load and store instructions would pose a significant burden on a traditional RISC processor, requiring both a large register file and complex logic to properly synchronize instructions. We show how these obstacles can be circumvented by introducing the Scalable transPORT (SPORT) computer where a simple processor drives a version of our pipelined hierarchical memory capable of servicing memory-to-memory instructions. We show that SPORT provides a feasible, scalable implementation of the PH-RAM model.
Object Oriented Design in Java (Mitchell Waite Signature Series), 1st edition
Authors: Stephen Gilbert, Tom Cabanski
Venue:  (1998)

:To take full advantage of Java, or of any of today's object-oriented languages, programmers must learn fundamental design principles as well as the syntax of code. This tutorial teaches program design in a format even beginning programmers can understand. You'll learn to use a design notation system that makes it easier to represent the design features of a program. Unlike conventional texts in software design, this book starts with concrete solutions and uses examples to demonstrate theory and abstract principles. This approach is aimed at hands-on programmers who learn best by working through problems in step-by-step fashion.
SilkRoute: A framework for publishing relational data in XML
Authors: Mary Fernández, Yana Kadiyska, Dan Suciu, Atsuyuki Morishima, Wang-Chiew Tan
Venue: ACM Transactions on Database Systems (TODS) (2002)

XML is the "lingua franca" for data exchange between interenterprise applications. In this work, we describe SilkRoute, a framework for publishing relational data in XML. In SilkRoute, relational data is published in three steps: the relational tables are presented to the database administrator in a canonical XML view; the database administrator defines in the XQuery query language a public, virtual XML view over the canonical XML view; and an application formulates an XQuery query over the public view. SilkRoute composes the application query with the public-view query, translates the result into SQL, executes this on the relational engine, and assembles the resulting tuple streams into an XML document. This work makes some key contributions to XML query processing. First, it describes an algorithm that translates an XQuery expression into SQL. The translation depends on a query representation that separates the structure of the output XML document from the computation that produces the document's content. The second contribution addresses the optimization problem of how to decompose an XML view over a relational database into an optimal set of SQL queries. We define formally the optimization problem, describe the search space, and propose a greedy, cost-based optimization algorithm, which obtains its cost estimates from the relational engine. Experiments confirm that the algorithm produces queries that are nearly optimal.
Times of the Technoculture: From the Information Society to the Virtual Life
Authors: Kevin Robins, Frank Webster
Venue:  (1999)

:Times of the Technoculture, explores the issues surrounding technological change, from the politics of information to questions of culture and identity in cyberspace. The late twentieth century has seen a rapid succession of technological innovations, from the silicon chip to virtual reality and the Internet. Each development has been accompanied by intense public debate, in which anxieties about change and upheaval combine with excitement at the new possibilities for democracy, education and recreation in the 'information society'. But how much faith should we place in technology's ability to improve our lives? In this book, Robins and Webster question whether the new information and communications technologies, such as the Internet, justify the utopian rhetoric with which they are promoted, suggesting, in fact, that they often work to reproduce conservative social practices under a new guise. They also provide a genealogy of new technologies, from the Industrial Revolution and 'the coming of the machine' to the development of mass production in the early twentieth century and today's global network society. Times of the Technoculture shows how the military has influenced the development of the information society, how commercial imperatives have determined its course, and how government has sought to guide its direction.
Generalizing the C4 four-directional box spline to surfaces of arbitrary topology
Authors: Luiz Velho
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

In this paper we introduce a new scheme that generalizes the four-directional box spline of class C4 to surfaces of arbitrary topological type. The scheme is composed of semi-regular binary refinement together with separable two-pass smoothing by repeated convolution.
Two-Prover Protocols---Low Error at Affordable Rates
Authors: Uriel Feige, Joe Kilian
Venue: SIAM Journal on Computing (2000)

We introduce the miss-match form for two-prover one-round proof systems. Any two-prover one-round proof system can be easily modified so as to be in miss-match form. Proof systems in miss-match form have the "projection" property that is important for deriving hardness of approximation results for NP-hard combinatorial optimization problems.Our main result is an upper bound on the number of parallel repetitions that suffice in order to reduce the error of miss-match proof systems from p to $\epsilon$. This upper bound depends only on p and on $\epsilon$ (polynomial in 1/(1-p) and in $1/\epsilon$). Based on previous work, it follows that for any $\epsilon >0,$ NP has two-prover one-round proof systems with logarithmic-sized questions, constant-sized answers, and error at most $\epsilon$.As part of our proof we prove upper bounds on the influence of random variables on multivariate functions, which may be of independent interest.
Environmental Data Management
Authors: Nilgun B. Harmancioglu, Vijay P. Singh, M. Necedet Alpaslan
Venue:  (1998)

:Two basic tools for integrated management of the environment are modeling and environmental data. Both tools were available and valid in the past; however, the recent requirements for integrated environmental management have also led to a significant evolution of both modeling procedures and data management systems. Regarding these advances, current literature provides vast amounts of studies on modeling of different environmental processes. However, issues related to data management systems are barely touched in a comprehensive framework. Data requirements and data availability are mentioned merely as subtopics in most environmental studies although it is well recognized that data constitute the basis for all environmental management activities. In particular, there is no book as yet published that focuses exclusively on data management systems. In this respect, the present book fills in an important gap by covering various aspects of environmental data management in a systematic approach. This volume will be useful to faculty members, researchers, professional engineers, planners and managers, and graduate students, who are involved in environmental management, data collection and dissemination, and information retrieval. It will as well be of interest to research and data centres, international programmes and organizations related to environmental management.
Software Cost Estimation with Cocomo II with Cdrom, 1st edition
Authors: Barry W. Boehm, Clark, Horowitz, Brown, Reifer, Chulani, Ray Madachy, Bert Steece
Venue:  (2000)

:Don't become a statistictake control of your software projects and plan for success! Success in all types of organization depends increasingly on the development of customized software solutions, yet more than half of software projects now in the works will exceed both their schedules and their budgets by more than 50%. While some types of overruns remain unpredictable, most can be avoided by sound modeling. COCOMO II provides you with a thorough rework of the classic COCOMO model to address modern software processes and construction techniques along with representative examples of applying the models to key software decision situations. It was calibrated and validated using innovative statistical techniques to fit both expert judgment and 161 carefully collected project data points. The book also introduces emerging COCOMO II extensions for cost and schedule estimation of COTS integration and rapid development. You'll also: Learn firsthand from knowledgeable authorsover 100 person-years of software cost estimation experience Make better software decisions by exploring their cost implications Use the cost and schedule estimates to better plan and control your projects and manage your risks Get started now with the software on the accompanying CD Keep up to date with the authors' Web site Software engineers, managers, and students will all find Software Cost Estimation with COCOMO II an invaluable guide to developing and managing successful software projects on time and under budget. About the CD-ROM The accompanying CD-ROM includes a current copy of COCOMO II,along with demonstration versions of three commercial COCOMO II packages and an extensive documentation suite. All examples from the book are provided live, so you can work them hands on, along with the reading.
Java Language Specification, Second Edition: The Java Series, 2nd edition
Authors: James Gosling, Bill Joy, Guy Steele, Gilad Bracha
Venue:  (2000)

:Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) programming language. If you want to know the precise meaning of the language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language. It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.
Book Reviews Introduction
Authors: R. Bruce Kellogg
Venue: SIAM Review (1999)

As book review editor, I have become very aware of the many books in control theory that are appearing. The subject uses sophisticated mathematical tools in functional analysis and at the same time has great practical importance. Our thanks go to Joe Ball for giving a valuable survey of some recent offerings in control theory.
Global Stabilization of Nonlinear Systems with Inputs Subject to Magnitude and Rate Bounds: A Parametric Optimization Approach
Authors: Julio Solís-Daun, Rodolfo Suárez, José Álvarez-Ramírez
Venue: SIAM Journal on Control and Optimization (2000)

A bounded feedback control design approach is proposed for the global asymptotic stabilization of a class of nonlinear systems with stable free dynamics. The control inputs and their derivatives are constrained to take values on sets defined by a Cartesian product of $\eta $-dimensional closed balls $\mathcal{B}_{\mathbf{r}}^{\eta }(p)$, which are defined by means of a p-norm and a radius vector parameter $\mathbf{r}$. In order to derive the bounded control stabilizer, the resulting procedure implies that gains (as state-functions) are obtained from the solution to a set of c -parameterized nonlinear programming problems. In general, the resulting closed-loop system could be implicitly defined, i.e., consisting of a system of differential equations plus a set of nonlinear algebraic equations (required to compute the control). Special interest is focused on an important class of homogeneous systems that includes a class of globally asymptotically stabilizable systems by linear feedback and bilinear systems. For those systems, the problem of inputs subject to globally bounded rates is also addressed.
Multiaccess, Mobility and Teletraffic Advances in Wireless Networks
Authors: David Everitt, Michael Rumsewicz
Venue:  (1998)

:Multiaccess, Mobility and Teletraffic: Advances in Wireless Networks addresses fundamental theoretical issues about future wireless networks, such as capacity improvements theoretically attainable from spread spectrum systems, and practical concerns associated with current networks such as signalling, implementation of GSM and CDMA networks, and implementation of packet data services over wireless networks. As well as the papers looking at specific technologies, this book contains a number of papers discussing more generic problems in mobile networks, such as issues associated with handoff, resource management, frequency reuse, mobility, signalling and wireless packet networks.
Becoming Virtual: Reality in the Digital Age, 1st edition
Authors: Pierre Levy
Venue:  (1998)

:Examining the cultural and social impact of new digital technologies, Levy tackles the concept of "the virtual," clearly defining it alongside "the real," "the actual," and "the possible." He shows how the body, the text, and the economy, are made virtual. He then reveals how the Internet and web sites are now transforming the virtual into a "collective intelligence" linked to digital communication. Though Levy agrees with many contemporary philosophers of science that these changes are producing a cultural revolution, he is uniquely optimistic. Allaying the fears of those who think technology will dehumanize society, he demonstrates how the virtual has always been an enduring component of the human mind.
Swords and Circuitry: A Designer's Guide to Computer Role-Playing Games
Authors: Neal Hallford, Jana Hallford
Venue:  (2001)

:Learn from the designer behind role-playing best-sellers like Betrayal at Krondor, Planet's Edge, and Might & Magic III: Isles of Terra Computer role-playing games (RPGs) allow players to assume the role of a hero on an epic quest. During the course of the game, the player's character "learns" new spells and skills that, in turn, allow him or her to explore even more of the game world and to solve the challenge presented by the game designers. Never in the history of gaming have role-playing titles been more popular. Neal Hallford has been a professional game designer for more than ten years and has led several best-selling computer role-playing titles. He co-authored the story behind the New York Times best-selling novel "Krondor: the Betrayal," and has created stories and designs for well-known computer role-playing games (RPGs) including Betrayal at Krondor, Planet's Edge, and Dungeon Siege. Jana ("Jayna") Ondrechen Hallford started out as an art critic, then moved on to public relations and marketing. She spent over five years promoting books and authors for an international publishing company. Jana has also supplied background material for two Sci Fi Channel specials, and has spoken at science fiction and fantasy conventions in the U.S. and the U.K. Swords & Circuitry: A Designer's Guide to Computer Role-Playing Games takes the reader on a journey into the arcane world of game development, deciphering the mysteries of the role-playing audience, the history of RPGs, the technical definition of the genre, the roles of a game designer, the fundamentals of building good gameplay and interfaces, and last, but certainly not least, the art of professional worldbuilding. Featuring actual design document excerpts from the hit games Deus Ex, Fallout, Nox, and Stonekeep, it also presents in-depth interviews with top role-playing designers like John Cutter (Betrayal at Krondor), Chris Taylor (Dungeon Siege), Trent Oster (Neverwinter Nights), Sarah Stocker (Pools of Radiance II: The Ruins of Myth Drannor), Jon Van Caneghem (Might & Magic series), and Carly Staehlin (Ultima Online). Game industry artists Shawn Sharp, Jon Gwyn, Jim Wible, and Jeff Perryman also provide exciting and topical illustrations that evoke not only the look, but the feel, of the worlds that every role-playing designer strives to create. Co-written by a veteran marketeer and the designer behind role-playing bestsellers Betrayal at Krondor, Planet's Edge, and Dungeon Siege, Swords & Circuitry provides everything that a role-playing title must have to succeed!
Poor Richard's Creating eBooks
Authors: Christopher Van Buren, Matt Wagner, Jeff Cogswell
Venue:  (2000)

:Reasons to publish electronically, how to enter the market, and how to decide upon an e-book format are explained in detail in this guide to producing and marketing electronic books. Questions and concerns about entering the market, formatting content, and marketing, selling, and protecting this content are covered in a discussion about the new e-publishing models and the different ways to produce e-books. Methods of distribution and print-on-demand technology are included, as are the economics of e-publishing versus print publishing. Contractual issues-copyright, security, and encryption-are dissected for the prospective e-book publisher who is uncertain about how to enter this unchartered market. "It's as inevitable as page two's following page one. Books are goners as far as being the dominant form of reading." -Steven Levy, Newsweek Author Biography: Chris Van Buren has written more than 15 books, including Using Excel for Macintosh, and The MacWorld Excel 5 Companion. He is currently a literary agent with Waterside Productions. He lives in San Diego, California. Matt Wagner is the vice president of Waterside Productions. He lives in Placerville, California. Jeff Cogswell is a software engineer and the author of Simple Internet and Learn Delphi 2 Database Programming Today. He lives in Lake Mary, Florida. Doug Clapp is the author of The Complete Macintosh Sourcebook, The Macintosh Hacker's Bible, and The Macintosh Reader. He lives in Edina, Minnesota.
Optimization of synchronous circuits
Authors: Soha Hassoun, Tiziano Villa
Venue: Logic Synthesis and Verification (2001)

We study techniques for optimizing synchronous sequential circuits. These techniques use either state-based or structural gate-level models. We survey recent advances in state-based techniques focusing on the computation of the flexibility in synthesizing or resynthesizing a node in a network of Finite State Machines. We then survey structural sequential optimization techniques that either relocate registers within the circuit (retiming) or that modify both register placement and the circuit's combinational logic.
Eigenvalues of Words in Two Positive Definite Letters
Authors: Charles R. Johnson, Christopher J. Hillar
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

The question of whether all words in two real positive definite letters have only positive eigenvalues is addressed and settled (negatively). This question was raised some time ago in connection with a long-standing problem in theoretical physics. A large class of words that do guarantee positive eigenvalues is identified, and considerable evidence is given for the conjecture that no other words do. In the process, a fundamental question about solvability of symmetric word equations is encountered.
A Hermitian Lanczos Method for Normal Matrices
Authors: Marko Huhtanen
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

We present an algorithm for iteratively solving a linear system Nx=b, with a normal $N\in \mathbb{C}^{n \times n}$ and $b \in \mathbb{C}^n$, with an optimal 3-term recurrence by extending the Hermitian Lanczos method to normal matrices. This is achieved by considering the Toeplitz decomposition N=H+iK of N with Hermitian H and K. Generically, the inverse of a normal matrix is a polynomial in its Hermitian part. Using this and the fact that N and H commute, we obtain a minimization problem $$\min_{p_{j-1}\in {\cal P}_{j-1}}\left|\left| Np_{j-1}(H)b-b \right|\right|= \min_{p_{j-1}\in {\cal P}_{j-1}} \left|\left| p_{j-1}(H)Nb-b\right|\right|,$$ where ${\cal P}_{j-1}$ denotes the set of polynomials of degree j-1 at most. Thus, at the jth step, the best approximation to b needs to be found from the Krylov subspace ${\cal K}_j(H;Nb)$. Since this involves the Hermitian matrix H, this is realizable with a 3-term recurrence.
Environmental Information Management and Analysis: Ecosystem to Global Scales
Authors: William K. Michener, James W. Brunt, Susan G. Stafford
Venue:  (1994)

:Most environmental studies are based upon data collected at fine spatial scales plots, sediments, cores, etc.. Furthermore, temporal scales of these studies have been relatively short days, weeks, months and few studies have exceeded three years duration the typical funding cycle.; Despite this history, environmental scientists are now being called upon to extrapolate findings from "plot-level" studies to broader spatial scales and from short-term studies to longer temporal scales, up to decades for questions related to long-term processes such as global warming and the rise in sea level.; The complex questions being addressed internationally require that scientists take advantage of new technologies including remote sensing, geographic information systems GIS, and powerful climatic and environmental simulation models. As more environmental scientists begin to work at these broader spatial and temporal scales, and to utilize many of the newer technologies, they are recognizing a whole new class of problems.; This book aims to address the most pertinent issues, and includes a comprehensive review of selected topics, case studies, and theoretical discussions, divided into seven sections each preceded by a brief introduction.
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Authors: A. K. McIver
Venue: Theoretical Computer Science (2002)

In this paper we show how quantitative program logic (Morgan et al., ACM Trans. Programming Languages Systems 18 (1996) 325) provides a formal framework in which to promote standard techniques of program analysis to a context where probability and nondeterminism interact, a situation common to probabilistic distributed algorithms. We show that overall expected time can be formulated directly in the logic and that it can be derived from local properties of components. We illustrate the methods with an analysis of expected running time of the probabilistic dining philosophers (Lehmann and Ravin, Proc 8th Annu. ACM. Symp. on principles of Programming Languages, ACM, New York, 1981, p. 133).
Fault Diagnosis of Analog Circuits Using Bayesian Neural Networks with Wavelet Transform as Preprocessor
Authors: Farzan Aminian, Mehran Aminian
Venue: Journal of Electronic Testing: Theory and Applications (2001)

We have developed an analog circuit fault diagnostic system based on Bayesian neural networks using wavelet transform, normalization and principal component analysis as preprocessors. Our proposed system uses these preprocessing techniques to extract optimal features from the output(s) of an analog circuit. These features are then used to train and test a neural network to identify faulty components using Bayesian learning of network weights. For sample circuits simulated using SPICE, our neural network can correctly classify faulty components with 96% accuracy.