ppxscal/embedding_network huggingface dataset:
Nonlinear Tracking Over Compact Sets with Linear Dynamically Varying \boldmath $H^\infty$ Control
Authors: Stephan Bohacek, Edmund Jonckheere
Venue: SIAM Journal on Control and Optimization (2001)

Linear dynamically varying $H^{\infty}$ controllers are developed for tracking natural trajectories of a broad class of nonlinear systems defined over compact sets. It is shown that the existence of a suboptimal $H^{\infty}$ controller is related to the existence of a bounded solution to a functional algebraic Riccati equation. Even though nonlinear systems running over compact sets could exhibit sensitive dependence on initial conditions, the Riccati solution is continuous in the suboptimal case, but it may be discontinuous in the optimal case.
Looking Good in Presentations, 3rd edition
Authors: Molly W. Joss
Venue:  (1999)

:Features a 32 full-color page insert showing effective use of color techniques in presentation graphics. Includes real-world design guidelines and principles. Contains special section showcasing graphics "design crimes," helping presenters avoid common mistakes. Presents professional techniques using any design software package with nonsoftware-specific approach. Provides saavy design advice and insightful how-tos in an easy-to-use format. From the publisher of Looking Good in Print, which has sold over 300,000 copies. Features new material covering sound, video, motion, Web presentations, and e-mail transmission. Covers the newest trends in presentation design, including linear and non-linear format options.
Reliable Plan Selection by Intelligent Machines
Authors: John E. McInroy, George N. Saridis, Joseph C. Musto
Venue:  (1995)

:This book derives techniques which allow reliable plans to be automatically selected by intelligent machines. It concentrates on the uncertainty analysis of candidate plans so that a highly reliable candidate may be identified and used. For robotic components, such as a particular vision algorithm for pose estimation or a joint controller, methods are explained for directly calculating the reliability. However, these methods become excessively complex when several components are used together to complete a plan. Consequently, entropy minimization techniques are used to estimate which complex tasks will be performed reliably. The book first develops tools for directly calculating the reliability of sub-systems, and methods of using entropy minimization to greatly facilitate the analysis are explained. Since these sub-systems are used together to accomplish complex tasks, the book then explains how complex tasks can be efficiently evaluated.
Worst-case traffic for oblivious routing functions
Authors: Brian Towles, William J. Dally
Venue: Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures (2002)

This paper presents an algorithm to find a worst-case traffic pattern for any oblivious routing algorithm on an arbitrary interconnection network topology. The linearity of channel loading offered by oblivious routing algorithms enables the problem to be mapped to a bipartite maximum-weight matching, which can be solved in polynomial time for most practical routing functions. Finding exact worst-case performance was previously intractable, and we demonstrate an example case where traditional characterization techniques overestimate the throughput of a particular routing algorithm by 47%.
Monotonic Optimization: Problems and Solution Approaches
Authors: Hoang Tuy
Venue: SIAM Journal on Optimization (2000)

Problems of maximizing or minimizing monotonic functions of n variables under monotonic constraints are discussed. A general framework for monotonic optimization is presented in which a key role is given to a property analogous to the separation property of convex sets. The approach is applicable to a wide class of optimization problems, including optimization problems dealing with functions representable as differences of increasing functions (d. i. functions).
Pattern Recognition and Applications, 1st edition
Authors: M. Ines Torres, Alberto Sanfeliu
Venue:  (2000)

:This book deals with novel scientific and technology research in Pattern Recognition and Applications. It presents a selection of papers that summarises the main research activities in these areas developed in Spanish research centres. The book is supported by the "Asociaci&oacute;n Espa&ntilde;ola de Reconocimiento de Formas y An&aacute;lisis de Im&aacute;genes" (AERFAI), associated to the International Pattern Recognition Association (IAPR). It includes thirty-one works organised into four categories reflecting the present areas of interest in the Spanish Pattern Recognition Community:* Pattern Recognition: this Section consists of nine papers in the areas of statistical and syntactic-structural approaches. They include new approaches related to classical pattern classification problems and methodologies like multiedit algorithm, gradient-descent methods, hierarchical clustering, nearest neighbours rule, tree language compression, function described graphs, etc. * Computer Vision: this Section includes ten papers. They present new methods in colour segmentation, visual tracking, alignment in 3D reconstruction, trademark search techniques, visual behaviours for binocular navigation and active vision systems. * Speech Recognition and Translation: this Section consists of five papers related to continuous speech recognition and statistical translation. They include new proposals in acoustic and language models, based on Connectionist and Syntactic Pattern Recognition approaches. The word categorisation problem is also addressed in the statistical translation background. * Applications in Computer Vision, Speech Recognition and Translation: this Section includes seven papers. They deal with application to digital TV, biomedical images, mammography, trabecular bone patterns and new calibration methods for large surface topography. A Continuous Speech Recognition system developed by a Spanish group as well as a preliminary version of a Spanish-Catalan translation system are also included in this Section. The Scientific Committee includes nine international and twenty-two Spanish specialists in the Pattern Recognition field. Three members of this Scientific Committee have reviewed all the papers published in this book. These papers are a good summary of the Spanish research in the fields of Pattern Recognition and Image Analysis, as well as in their Applications. We would like to thank all the authors who have submitted papers for their effort and kind collaboration. We are also grateful to the members of the Scientific Committee for their help in selecting the papers presented in this book. We also would like to thank Dr. L&oacute;pez de Mantaras, editor of the IOS Press series Frontiers in Artificial Intelligence and Applications, for his support and encourage in the initial book project. Finally, we are particularly thanks to Esther Alonso for her effort in compiling the papers.
Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
Authors: Denis Thérien, Thomas Wilke
Venue: SIAM Journal on Computing (2002)

We reveal an intimate connection between semidirect products of finite semigroups and substitution of formulas in linear temporal logic. We use this connection to obtain an algebraic characterization of the until hierarchy of linear temporal logic. (The kth level of that hierarchy is comprised of all temporal properties that are expressible by a formula of nesting depth k in the until operator.) Applying deep results from finite semigroup theory we are able to prove that each level of the until hierarchy is decidable. By means of Ehrenfeucht--Fraissé games, we extend the results from linear temporal logic over finite sequences to linear temporal logic over infinite sequences.
Selection of training parameters for an enhanced artificial neural network architecture: a preliminary report
Authors: Anastassios Tassopoulos, Petros A. M. Gelepithis
Venue: Neural, Parallel Scientific Computations (2002)

The recent research escalation in the area of neural networks in business is due to the fact that the underlying structures and associated functions controlling business data are generally unknown. Neural networks offer a class of tools that can approximate financial patterns to a satisfactory degree of accuracy. The vast majority of relevant studies rely on a gradient algorithm, typically a variation of the backpropagation one.This paper uses the feed forward backpropagation (FBP) algorithm in order to improve the topology of predictive neural network for finance. It also identifies the most significant parameters of the training and the optimisation procedures and compares the performance of different back propagation feed forward neural networks' topologies. We show that an appropriate selection of the training parameters ensures convergence of the (FBP) and can be used for predictions in intelligent trading.
Open source basics: definitions, models, and questions
Authors: Johndan Johnson-Eilola
Venue: Proceedings of the 20th annual international conference on Computer documentation (2002)

In this paper, I will provide a basic overview of issues related to the use of open source models for development and distribution of computer documentation. The first section of the paper defines the key relations among different "open" categories (ranging from open standards to free software). The second section of the paper argues for two different methods for implementing open source models for computer documentation, one that offers increased user input into documentation projects and another that works to redefine how users and customers understand the importance and value of documentation.
Performance Enhancements in a Frequency Hopping GSM Network
Authors: Thomas Toftegaard Nielsen, Jeroen Wigard
Venue:  (2000)

:Due co the explosive global growth in the number of mobile subscribers, as well as the growth predicted in the mobile data segment, the need for improved spectrum efficiency on the radio interface becomes more and more important. Frequency hopping (FH) is an effective method for improving the spectrum efficiency. One of the advantages of FH is that it can be combined with other spectral efficiency improving features like power control, handover and reuse partitioning. Performance Enhancements in a Frequency Hopping GSM Network treats FH and some of the additional features in detail. It begins with an in-depth description of the basic concept of FH on link level as well as on system level. Different methods have been used for analysis such as link level simulations, network level simulations and classic tele-traffic theory. Special Features of Performance Enhancements in a Frequency Hopping GSM Network: combines the practical experiences of operator and vendor with more theoretical research methods. An in-depth treatment of prevailing problems in GSM networks. Presentation of a new method, computer aided network design (CAND), which has been developed to analyse the complex network structures of a GSM network. CAND provides the possibility for more realistic performance evaluations than conventional methods. Provides GSM-specific analysis of functionality improvements in power control, discontinuous transmission and several handover algorithms. Explanation of the quality and capacity gains of features like the combination of FH and reuse partitioning, referred to as intelligent frequency hopping. A frequency planning method forFH GSM networks is presented. This method exploits the benefits from FH directly in the allocation process, increasing the overall frequency plan.
Apache Server for Dummies (with CD-ROM), 1st edition
Authors: Ken A. Coar, Dummies Press, Roy T. Fielding
Venue:  (1998)

:Whether you're a novice or an experienced Webmaster interested in setting up an Internet or intranet, this book is for you. Apache Server For Dummies helps you understand the details of providing Web content with the terrifically popular Apache Web server. You will quickly and easily find out how to install and configure Apache, take control of the command-line environment, and set up your own place on the Net. Inside, find helpful advice on how to Install the Apache Web server Create your Web document hierarchy Use CGI and Perl scripts with Apache Set up password-protected Web pages Use the Apache Web server to make your system look like multiple Web sites Troubleshoot problems with your Apache Web server Record accesses to your Web server Monitor your Apache Web server's activity
Introduction to Programming Concepts and Methods with ADA, 1st edition
Authors: James F. Smith, Thomas S. Frank
Venue:  (1994)

:Finally,a computer science book which uses the large and complex language of ADA without overwhelming the reader with detail. Principles of good program design and software engineering are emphasized using abundant but manageable ADA program code. The book also features an early treatment of "exceptions. "
Evasiveness of Subgraph Containment and Related Properties
Authors: Amit Chakrabarti, Subhash Khot, Yaoyun Shi
Venue: SIAM Journal on Computing (2002)

We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [ Combinatorica, 4 (1984), pp. 297--306]. For the property of containing a subgraph isomorphic to a fixed graph, and a fairly large class of related n-vertex graph properties, we show evasiveness for an arithmetic progression of values of n. This implies a $\frac12n^2 - O(n)$ lower bound on the decision tree complexity of these properties.We prove that properties that are preserved under taking graph minors are evasive for all sufficiently large n. This greatly generalizes a theorem due to Best, van Emde Boas, and Lenstra [A Sharpened Version of the Aanderaa--Rosenberg Conjecture, Report ZW 30/74, Mathematisch Centrum, Amsterdam, The Netherlands, 1974] which states that planarity is evasive. We prove a similar result for bipartite subgraph containment.
Cybermeeting: How to Link People and Technology in Your Organization, 1st edition
Authors: James L. Creighton, James W. Adams
Venue:  (1997)

:CyberMeeting is a breakthrough book that will help you head off money-wasting scenarios and take full advantage of new technologies. It provides a first-of-its-kind look at the new "collaborative technology," and tells you how to manage the transition to cybercollaboration smoothly and effectively - so that your organization reaps all the rewards from its investment and gains a competitive edge. CyberMeeting takes readers beyond the initial fascination and "oh wow" aspect of new technologies, and gives you practical guidance on the many concerns to be considered before leaping into this new world. Specifically, it will help you determine people's needs accurately (if they don't need it, they won't use it!), develop a winning business rationale to persuade your company of the advantages of collaborative technology, negotiate constraints of corporate culture for smoother integration of new systems, and ultimately give you a greater understanding of the dynamics of working in groups.
Career plateau and professional plateau: impact on work outcomes of information technology professionals
Authors: Patrick C. B. Lee
Venue: ACM SIGCPR Computer Personnel (2002)

Career plateau is a popular construct that has been associated with a number of work outcomes. This study introduced a related construct called professional plateau. It is defined as the point where employees find their job unchallenging and it provides few opportunities for professional development and future employability. The study proposed that career plateau and professional plateau are related to three work outcomes: namely, career satisfaction, job satisfaction, and turnover intentions. It also proposed that professional plateau accounts for a significant variance in the three outcomes beyond those accounted for by the objective and perceptual measures of career plateau. The hypotheses were tested using data collected from a questionnaire survey. The results support the hypotheses. One practical implication of these results is that employers need to understand that career plateau and professional plateau are two types of plateau that have impact on the attitudes and intentions of information technology professionals.
Space-Time Discretization of Series Expansion Methods for the Boltzmann Transport Equation
Authors: Christian Ringhofer
Venue: SIAM Journal on Numerical Analysis (2000)

The approximate solution of the Boltzmann transport equation via Galerkin-type series expansion methods leads to a system of first order differential equations in space and time for the expansion coefficients. This system is extremely stiff close to the fluid dynamical regime (for small Knudsen numbers), and exhibits a mildly dispersive behavior, due to the acceleration of waves by the external force (the electric field). In this paper a class of difference methods is presented and analyzed which represent a generalization of the well-known Scharfetter--Gummel exponential fitting approach for the drift-diffusion equations. It is shown that, by using appropriate operator splitting methods for the time discretization, one obtains stability properties which are only mildly dependent on the Knudsen number and essentially independent of the size of the electric field.
Associative language descriptions
Authors: Alessandra Cherubini, Stefano Crespi Reghizzi, Pierluigi San Pietro
Venue: Theoretical Computer Science (2002)

The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-free (CF) grammars in explanatory adequacy, yet it provides a simple description and it excludes mathematical sets based on counting properties, which are rarely (if ever) used in compiler construction or in computational linguistics. The ALD model has been recently proposed as an approach consistent with current views on brain organization. ALD is a "pure", i.e., nonterminal-free definition. The strict inclusion of ALD languages in CF languages is proved, based on a lemma which strengthens the Pumping Lemma for CF languages. Basic nonclosure and undecidability properties are considered and compared with those of CF languages. It is shown that the hardest context-free language is in ALD, that there exists a hierarchy of ALD languages and that each ALD tree language enjoys the noncounting property of parenthesized CF languages. Typical technical languages (Pascal, HTML) can be rather conveniently described by ALD rules
An Introduction to the Modeling of Neural Networks
Authors: Pierre Peretto
Venue:  (1992)

:This text is a beginning graduate-level introduction to neural networks, focussing on current theoretical models, examining what these models can reveal about how the brain functions, and discussing the ramifications for psychology, artificial intelligence and the construction of a new generation of intelligent computers. The book is divided into four parts. The first part gives an account of the anatomy of the central nervous system, followed by a brief introduction to neurophysiology. The second part is devoted to the dynamics of neuronal states, and demonstrates how very simple models may simulate associative memory. The third part of the book discusses models of learning, including detailed discussions on the limits of memory storage, methods of learning and their associated models, associativity, and error correction. The final part reviews possible applications of neural networks in artificial intelligence, expert systems, optimization problems, and the construction of actual neuronal supercomputers, with the potential for one-hundred-fold increase in speed over contemporary serial machines.
Rhce Red Hat Certified Engineer Study Guide
Authors: Duncan Anderson
Venue:  (1999)

:Pass the Red Hat Certified Engineer exam - while gaining on-the-job Red Hat Linux know-how Built on the proven training methodology of Red Hat Certified training partner Global Knowledge,RHCE Red Hat Certified Engineer Linux Study Guide is a complete study guide and CD-ROM package that puts you on a learning fast track. It puts at your fingertips all you need to review for the exam (and know on-the-job),including how to: *Partition your server to achieve optimal performance of your Red Hat Linux installation *Identify the key differences between the three installation options: Workstation,Server,and Custom *Add,delete,and modify user accounts *Configure and troubleshoot the X-Windows interface *Use the Apache Web Server to provide both normal and secure Web services using the HTTP and HTTPS protocols *Reduce bandwidth utilization with Squid Proxy Server *More! You get over 225 practice exam questions. . . timed exams that identify your weak areas. . . in-depth answers to practice questions. . . and special test-taking pointers. Don't let the real test be your first test! Prepare to pass the Red Hat Certified Engineer examwhile gaining practical knowledge of Red Hat Linux for on-the-job success. Built on the proven training methodology of Red Hat Certified Training Partner Global Knowledge,this complete study guide and CD-ROM package offers classroom techniques used by more than 200,000 IT professionals each year. The Red Hat Certified Engineer Linux Study Guide covers the topics you need to review for the exam,including how to: partition your server to achieve optimal performance of your Red Hat Linux installation; identifythe key differences between the three installation options: workstation,server,and custom; add,delete,and modify user accounts; configure your system for dual boots between Windows NT and Red Hat Linux; use quotas to limit a user's or group of users' ability to consume disk space; configure and troubleshoot the X-Windows interface; use the Apache Web Server to provide both normal and secure Web services using the HTTP and HTTPS protocols; reduce bandwidth utilization with Squid Proxy Server; use your Red Hat Linux system equipped with multiple NICs as a router between two physical subnets; implement emergency boot procedures on a Red Hat Linux system.
The Non-Designer's Scan and Print Book
Authors: Robin Williams, Sandee Cohen, Sandy Cohen
Venue:  (1999)

:For most non-designers, especially beginning desktop publishers, the scanning, prepress, and printing process isn't an intuitive one. Trial and error is often the only way to learn the technical basics producing professional-looking documents. If you're tired of learning the hard way, The Non-Designer's Scan and Print Book is for you. Using the format that is so popular in Peachpit's best-selling "Non-Designer's" series, this latest offering, fully cross-platform, provides a multitude of tips, techniques, and design, prepress, and production principles to help create professional-looking documents. Clear instructions and numerous examples cover the entire process of scanning, prepress, and printing. The only book targeted specifically to non-designers that teaches how to produce and print professional-quality documents without all the confusing service bureau, prepress, and printer jargon. Newest addition to the best-selling "Non-Designer's" series which includes The Non-Designer's Design Book, The Non-Designer's Web Book, and The Non-Designer's Type Book Co-authored by Robin Williams, whose reputation and popularity are unmatched in the desktop publishing community Cross-platform approach addresses both Windows and Macintosh users.