ppxscal/embedding_network huggingface dataset:
Brockett's Problem of Classification of Finite-Dimensional Estimation Algebras for Nonlinear Filtering Systems
Authors: Shanjian Tang
Venue: SIAM Journal on Control and Optimization (2000)

In his talk at the International Congress of Mathematicians in 1982, Brockett proposed to classify all finite-dimensional estimation algebras arising in nonlinear filters. Recently, Chen, Yau, and Leung [ SIAM J. Control Optim., 35 (1997), pp. 1132--1141] claimed that they had classified all finite-dimensional estimation algebras of maximal rank when the dimension of the state-space is less than or equal to four. In this paper, we introduce a series of completely new computations about the estimation algebra, and we find two sets of new equations about the $\Omega$-matrix. As a consequence, we can prove, without any dimension assumption on the state-space, that the $\Omega$-matrix is a constant matrix, and thus we succeed in classifying all finite-dimensional estimation algebras of maximal rank with the state-space dimension being arbitrary.
PC Upgrade and Repair Simplified, 1st edition
Authors: Paul Whitehead, Ruth Maran
Venue:  (1998)

:Who better to provide easy-to-read, step-by-step, computer repair and maintenance advice than the award-winning maranGraphics team? With PC Upgrade and Repair Simplified&reg;, Ruth Maran and her 3-D Visual cohorts have delivered the penultimate PC upkeep manual. Each chapter is clearly presented with helpful illustrations, common considerations, FAQs, troubleshooting tips, and software benefits. PC Upgrade and Repair Simplified walks you through computer essentials, communication devices, and everything in between.
Graphics in finance
Authors: Barry J. Solem
Venue: Proceedings of the 1st annual conference on Computer graphics and interactive techniques (1974)

Since 1969, the Boeing Company has supported the continuous development of a major interactive computing and online data base resource for direct use by its functional personnel. Interactive graphics were added in 1972 when terminal graphic equipment became affordable for widespread use in business application. Today several hundred persons are using this system daily in business, finance and management application including Tektronix 4010/4014 interactive graphic terminals and offline graphics on Stromberg Carlson 4020 hardware.The system known within Boeing as EIS (Estimating Information System) is directed by its users through the EIS command language. The language provides access to broad computational capability through free form algebraic commands, statistical analysis capability, online data input and display, data base input and retrieval in structured and nonstructured files, formal report generating capability, a collection of macro commands tailored to specific user groups and general housekeeping commands.The system accepts any combination of terminal entry and file resident commands with the result that EIS supports a wide range of applications from single use exercises where the sequence of instructions is guided by intermediate results and the availability of data to complex modeling tasks, management support programs and other repetitive processes, all of which are developed and exercised by the end user of the results.The data bases provide users efficient access to historic, current and forecast program information, organizational and economic statistics and a wide range of uniquely structure-defined data bases.The graphics capability like all other system resources is activated by a single graphics command which includes a series of customizing options. The system responds with a display appropriate to the data, the device and options selected. Graphics capability can be further integrated with the resources of the EIS Form Processor to give the user complete control over the output display.In our experience there are three conditions which must be satisfied in order to provide useful graphics service in interactive business support. First, it must be affordable. Secondly, it must be easily controllable by the user. Thirdly, graphics is significant as a support aid in some broader mission, but rarely useful as an end product in its own right.In two years of use graphics has been effective in shortening the discovery process, reducing job cost and improving the communication between business support personnel and company management. 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
Optimizability and Estimatability for Infinite-Dimensional Linear Systems
Authors: George Weiss, Richard Rebarber
Venue: SIAM Journal on Control and Optimization (2000)

An infinite-dimensional linear system described by $\dot{x}(t)=Ax(t)+Bu(t)$ $(t\geq 0)$ is said to be optimizable if for every initial state x(0), an input $u\in L^2$ can be found such that $x\in L^2$. Here, A is the generator of a strongly continuous semigroup on a Hilbert space and B is an admissible control operator for this semigroup. In this paper we investigate optimizability (also known as the finite cost condition) and its dual, estimatability. We explore the connections with stabilizability and detectability. We give a very general theorem about the equivalence of input-output stability and exponential stability of well-posed linear systems: the two are equivalent if the system is optimizable and estimatable. We conclude that a well-posed system is exponentially stable if and only if it is dynamically stabilizable and input-output stable. We illustrate the theory by two examples based on PDEs in two or more space dimensions: the wave equation and a structural acoustics model.
HTML Artistry: More than Code, 1st edition
Authors: Ardith Ibanez, Natalie Zee
Venue:  (1998)

:HTML Artistry is an advanced, hands-on guide to the aesthetics of utilizing HTML tags in Web pages. Concise, practical advice helps readers make the best decisions about when and where to use which HTML elements to create better Web pages. This book will clearly illustrate all aspects of HTML design, from the simple table layout to full animation with Dynamic HTML. Advanced tips and tricks are sprinkled throughout for optimizing the look and speed of the page. All the examples are actual techniques that are used on today's top web sites. Readers will receive expert advice through examples and case studies on how to achieve sophisticated page layouts through the use of innovative typography, animations, and interactive effects that work on BOTH Netscape Navigator and Internet ExplorerInspirational case studies demonstrate what works in real world contexts and how to apply them to the webStunning artwork illustrates innovative layouts, typography, animations all with HTMLLearn how to design for cross-browser Dynamic HTML examples are already fine tuned to work on BOTH Netscape 4 and IE 4
The socio-technical beginnings of APL
Authors: E. E. McDonnell
Venue: ACM SIGAPL APL Quote Quad (1979)

This paper gives some of the history of the early implementations of APL, and concentrates on the system aspects of these implementations, paying special attention to the evolution of the workspace concept, the time-sharing scheduling strategy, and the handling of the terminal. It contrasts the development of APL with the development of other time-sharing systems which were being built at the same time.
Tomorrow Never Dies
Authors: Joe Grant Bell, David Jon Winding
Venue:  (1999)

:Detailed mission maps of every levelComprehensive weapons and gadgets listsAll hostile forces and adversaries uncoveredStealthy spy strategiesComplete walkthroughs of every levelTop secret mission objectives revealed
The 'new' ICTs environment in Europe: closing or widening the gaps?
Authors: Jan Servaes, Francois Heinderyckx
Venue: Telematics and Informatics (2002)

This paper addresses some of the complex issues related to the so-called European Information Society from at least three interrelated perspectives: from theory (on the basis of a brief literature review), from practice (referring to a number of available surveys and research data) and from a policy perspective. It points at major contradictions in and between both European policy statements and the data collected as part of the ongoing Measuring Information Society (MIS) surveys. It concludes by formulating a number of recommendations for both policymakers and researchers.
Dreamweaver 3/Fireworks 3 Hands-On Training Bundle
Authors: Lynda Weinman
Venue:  (2000)

:Web designers have discovered that Macromedia Fireworks and Dreamweaver are ideal companions for building professional-quality, dynamic Web sites. Designers can create and edit their Web graphics in Fireworks, then integrate them seamlessly into Dreamweaver-generated Web pages. This shrink-wrapped bundle contains the best-selling Dreamweaver 3 Hands-On Training book, which provides a series of lessons that explore all of DreamweaverÕs basic and more complex Web authoring features. Also included in this bundle is Lynda WeinmanÕs training CD package, Learning Fireworks 3, filled with more than 5 hours of instructional QuickTime movies and sample images. Viewers will learn how to optimize images, create JavaScript rollovers, slices, and animations; integrate Fireworks and Dreamweaver, and much more.
Some extremal problems of graphs with local constraints
Authors: Mieczyslaw Borowiecki, Elzbieta Sidorowicz
Venue: Discrete Mathematics (2002)

Let P be a family of graphs. A graph G is said to satisfy a property P locally if G[N(υ)] ∈ P for every υ ∈ V(G). The class of graphs that satisfies the property P locally will be denoted by L(P) and we shall call such a class a local property.Let P be a hereditary property. A graph is said to be maximal with respect to a hereditary property P (shortly P-maximal) if it belongs to P and none of its proper supergraphs of the same order has the property P. A graph is P-extremal if it has the maximum number of edges among all P-maximal graphs of given order. This number is denoted by ex(n, P). If the number of edges of a P-maximal graph of order n is minimum, then the graph is called P-saturated and its number of edges is denoted by sat(n, P).In this paper, we shall describe the numbers ex(n,L(Ok)) and ex(n,L(Jk)) for k ≥ 1. Also, we give sat(n,L(Ok)) and sat(n,L(Jk)) for k = 1,2.
HIPIQS: A High-Performance Switch Architecture Using Input Queuing
Authors: Rajeev Sivaram, Craig B. Stunkel, Dhabaleswar K. Panda
Venue: IEEE Transactions on Parallel and Distributed Systems (2002)

Switch-based interconnects are used in a number of application domains, including parallel system interconnects, local area networks, and wide area networks. However, very few switches have been designed that are suitable for more than one of these application domains. Such a switch must offer both extremely low latency and very high throughput for a variety of different message sizes. While some architectures with output queuing have been shown to perform extremely well in terms of throughput, their performance can suffer when used in systems where a significant portion of the packets are extremely small. On the other hand, architectures with input queuing offer limited throughput or require fairly complex and centralized arbitration that increases latency. In this paper, we present a new input queue-based switch architecture called HIPIQS (HIgh-Performance Input-Queued Switch). It offers low latency for a range of message sizes and provides throughput comparable to that of output queuing approaches. Furthermore, it allows simple and distributed arbitration. HIPIQS uses a dynamically allocated multiqueue organization, pipelined access to multibank input buffers, and small cross-point buffers to deliver high performance. Our simulation results show that HIPIQS can deliver performance close to that of output queuing approaches over a range of message sizes, system sizes, and traffic. The switch architecture can therefore be used to build high performance switches that are useful for both parallel system interconnects and for building computer networks.
Understanding consistency maintenance in service discovery architectures during communication failure
Authors: Christopher Dabrowski, Kevin Mills, Jesse Elder
Venue: Proceedings of the 3rd international workshop on Software and performance (2002)

Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery protocols, which enable software components to locate available software services and to adapt to changing system topology, provide one foundation for such dynamic behavior. Emerging discovery protocols specify alternative architectures and behaviors, which motivate a rigorous investigation of the properties underlying their designs. Here, we assess the ability of selected designs for service-discovery protocols to maintain consistency in a distributed system during catastrophic communication failure. We use an architecture description language, called Rapide, to model two different architectures (two-party and three-party) and two different consistency-maintenance mechanisms (polling and notification). We use our models to investigate performance differences among combinations of architecture and consistency-maintenance mechanism as interface-failure rate increases. We measure system performance along three dimensions: (1) update responsiveness (How much latency is required to propagate changes?), (2) update effectiveness (What is the probability that a node receives a change?), and (3) update efficiency (How many messages must be sent to propagate a change throughout the topology?). We use Rapide to understand how failure-recovery strategies contribute to differences in performance. We also recommend improvements to architecture description languages.
A Note on the LDLT Decomposition of Matrices from Saddle-Point Problems
Authors: Miroslav Tuma
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

Sparse linear systems Kx=b are considered, where K is a specially structured symmetric indefinite matrix. These systems arise frequently, e.g., from mixed finite element discretizations of PDE problems. The LDLT factorization of K with diagonal D and unit lower triangular L is known to exist for natural ordering of K, but the resulting triangular factors can be rather dense. On the other hand, for a given permutation matrix P, the LDLT factorization of PTKP may not exist.In this paper a new way to obtain a fill-in minimizing permutation based on initial fill-in minimizing ordering is introduced. For an important subclass of matrices arising from mixed and hybrid finite element discretizations, the existence of the LDLT factorization of the permuted matrix is proved. Experimental results on practical problems indicate that the amount of computational savings can be substantial when compared with the approach based on Schur complement.
CD Mom: The Mother of All Windows Book, 1st edition
Authors: Woody Leonhard, Barry Simon
Venue:  (1993)

:CD-MOM: The Mother Of All Windows Books CD Version ventures where no Windows book and companion disk have gone before: into the heart of the beast, to reveal the hard Windows facts of life. Read the book and learn how Windows really works - not how its designers thought it should work - and find hundreds of ways to make it work better for you. On your computer. Day in and day out. Run the CD's software and find out which Windows products will let you work better and faster, and make it more fun. The CD contains the WinSleuth Gold Windows system snooper. CompuServe's WinCIM and a free sign-up worth $25, working models of major Windows applications - Ami Pro, ClarisWorks, Freelance Graphics, Quark XPress, IntelliDraw, PhotoStyler, and many more - in addition to the latest Windows printer and video drivers; hundreds of megabytes of video clips and video viewing software; dozens of newsletters; the new "safe" SmartDrive; the top 100 shareware Windows programs; and a hundred fonts, thousands of icons, games, utilities, and much more. CD-MOM includes detailed, step-by-step instructions on assessing and using the CD's, software, even if you don't own a CD drive. As long as you can beg, borrow, or steal a CD drive for just a few minutes you can put this incredible collection to work. Mystified by the "Use Fast Access" check box? Or why your machine locks up unexpectedly? Can't get your sound card to work? Does your modem hate you? Want to make Windows run faster? Want to make Windows run, PERIOD? Need some new hardware? Is it time to get a CD-ROM drive? MOM steps you through it all, with insight and wit. It's all here in plain English: the concepts, the practicalities, gotchas and glitches, tricks and advice, plus hundreds of previously undocumented, or worse, incorrectly documented, settings. If you want the straight scoop on Windows - no pulled punches, no warmed-over user's manuals - just ask MOM.
Access 2002 Development Unleashed
Authors: Stephen Forte, Thomas Howe, Kurt Wall
Venue:  (2001)

:Access 2002 Development Unleashed provides the experienced Access user information needed for high-end enterprise applications. This includes both Jet engine multi-user applications and SQL Server enterprise applications. This book will strengthen their existing Access knowledge and move them to a professional level of development. Written by respected Access professionals, this book will also give readers real world examples for their business solutions and advice from years of working experience. Topics include: Database Design, Data Access, VBA, Access Client/Server, User Interfaces, Interoperability, Multi-user Issues, Web Publishing with Access.
Mastering and Using: Microsoft Excel 2000: Comprehensive Course, 1st edition
Authors: H. Albert Napier, Philip J. Judd
Venue:  (1999)

:With a completion time of 75+ hours, this book features extensive step-by-step instructions combined with numerous screen illustrations to enable users to learn by doing. Solid end-of-chapter materials provide a strong reinforcement tool for learning. Case profiles show the reader the real world applications of the material they have covered while case projects emphasize the practical applications of the skills they have learned. Special sections with Internet, Caution, Notes and software TIPS provide helpful insights and enrichment information. SCANS competencies are clearly identified as well.
MS Excel 2000 En Espanol/Spanish Para PyMEs
Authors: Claudio Sanchez, Pymes
Venue:  (1999)

:Este libro de Microsoft EXCEL totalmente en Espa&ntilde;ol / Spanish, le ense&ntilde;ar&aacute; desde el manejo m&aacute;s b&aacute;sico hasta los comandos avanzados. C&oacute;mo extraer m&aacute;s informaci&oacute;n de sus datos. Optimice la gesti&oacute;n inform&aacute;tica de su empresa. Gr&aacute;ficos - Bases de datos - Funciones financieras y de an&aacute;lisis de datos. Tablas din&aacute;micas - Organigramas - Protecci&oacute;n de planillas. No encontrar&aacute; otro libro que explique mejor el desarrollo de Excel 2000 en el &aacute;mbito empresarial. La primera parte ense&ntilde;a los conceptos b&aacute;sicos necesarios para dominar el programa, como la elaboraci&oacute;n, formato e impresi&oacute;n de planillas de c&aacute;lculo. En la segunda, se avanza r&aacute;pidamente en aplicaciones espec&iacute;ficas de Excel para las "PyMEs" (Peque&ntilde;a y Mediana Empresa) no siempre desarrolladas en otros libros, como presentaciones claras con gr&aacute;ficos, operaciones con bases de datos, control del acceso a la informaci&oacute;n, funciones financieras y estad&iacute;sticas. Es v&aacute;lido tambi&eacute;n para versiones anteriores de Excel. About the Author:Claudio S&aacute;nchez es ingeniero industrial y se dedica a la ense&ntilde;anza de la computaci&oacute;n desde hace m&aacute;s de doce a&ntilde;os. Sus trabajos han aparecido en varias publicaciones de la Argentina y del exterior. Actualmente, es profesor de F&iacute;sica y de Informática en la Universidad de Flores en Argentina y colaborador habitual de la revista PC Users. Sus hobbies incluyen la divulgaci&oacute;n científica y los viajes.
Bending Moment Mixed Method for the Kirchhoff--Love Plate Model
Authors: Mohamed Amara, Daniela Capatina-Papaghiuc, Amna Chatti
Venue: SIAM Journal on Numerical Analysis (2002)

We deal with the Kirchhoff--Love model for a bending thin plate with physical boundary conditions. We propose here a new mixed formulation, based on a decomposition of the bending moment. For its discretization, we employ classical low-order conforming finite elements. Then the discrete formulation allows us to obtain directly an approximation of the bending moment, while the deflection is recovered by solving an additional second order elliptic problem. We establish optimal error estimates which prove that the method is unconditionally convergent. Moreover, its convergence rate is optimal whenever the exact solution is sufficiently smooth.
The distribution of faults in a large industrial software system
Authors: Thomas J. Ostrand, Elaine J. Weyuker
Venue: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002)

A case study is presented using thirteen releases of a large industrial inventory tracking system. Several types of questions are addressed in this study. The first involved examining how faults are distributed over the different files. This included making a distinction between the release during which they were discovered, the lifecycle stage at which they were first detected, and the severity of the fault. The second category of questions we considered involved studying how the size of modules affected their fault density. This included looking at questions like whether or not files with high fault densities at early stages of the lifecycle also had high fault densities during later stages. A third type of question we considered was whether files that contained large numbers of faults during early stages of development, also had large numbers of faults during later stages, and whether faultiness persisted from release to release. Finally, we examined whether newly written files were more fault-prone than ones that were written for earlier releases of the product. The ultimate goal of this study is to help identify characteristics of files that can be used as predictors of fault-proneness, thereby helping organizations determine how best to use their testing resources.