ppxscal/embedding_network huggingface dataset:
Experience with an applicative string processing language
Authors: James H. Morris, Eric Schmidt, Philip Wadler
Venue: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980)

Experience using and implementing the language Poplar is described. The major conclusions are: Applicative programming can be made more natural through the use of built-in iterative operators and post-fix notation. Clever evaluation strategies, such as lazy evaluation, can make applicative programming more computationally efficient. Pattern matching can be performed in an applicative framework. Many problems remain.
Click and Close: E-Nabling the Real Estate Transaction
Authors: James F. Sherry, John A. Tuccillo
Venue:  (2000)

:In Click & Close: E-Nabling the Real Estate Transaction, Tuccillo and Sherry do more than just make predictions about how e-commerce will change the industry. Instead, they provide specific direction on how to make it happen: how to create a strategic plan that incorporates technology-based transactions; how to implement that strategy through planning and staffing; and how to completely utilize the investment in technology to increase profits.
3D Studio MAX 2 Fundamentals
Authors: Michael Todd Peterson, Larry Minton
Venue:  (1997)

:3D Studio MAX 2 Fundamentals is a hands-on tutorial that leads the new user through the basics of 3D modeling and animation using 3D Studio MAX. Using fully illustrated examples, the book covers all the essentials of 3D design--from building basic objects, to adding textures, to lighting the scene, to placing cameras, to rendering basic animation. 3D Studio MAX 2 Fundamentals is also built for the upgrader by providing detailed notes on how to migrate from previous releases with ease. The full-color insert includes high-resolution images that show many of the exercises in finished form, as well as inspiring professional work that the new user can achieve by using the techniques found in the book.The only complete 3D Studio MAX tutorial for the new userTeaches the 2D artist everything necessary to move into the world of 3DHundreds of fully illustrated examples make 3D modeling a snap, and the CD-ROM s support files make it easy to get productive immediately
Critical Resource Management: A Control Perspective
Authors: Fred A. Jacobs
Venue:  (1993)

:Intended to help entrepreneurs, managers, and businesses look beyond traditional financial statements and, instead, focus their attention on newer and more relevant concepts of "critical resources".
Elementary Statistics, 4th edition
Authors: N. A. Weiss
Venue:  (1998)

:Now in its Fourth Edition, Weiss has a reputation for being thorough and precise, and for using real data extensively throughout. Case studies are introduced at the beginning of the chapters and discussed at the end, showing students the links between the subject matter and how the material can be used in real life.
Clover architecture for groupware
Authors: Yann Laurillau, Laurence Nigay
Venue: Proceedings of the 2002 ACM conference on Computer supported cooperative work (2002)

In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan's generic architecture with the functional decomposition of the Clover design model. The Clover design model defines three classes of services that a groupware application may support, namely, production, communication and coordination services. The three classes of services can be found in each functional layer of our model. Our model is illustrated with a working system, the CoVitesse system, its software being organized according to our Clover architectural model.
Lower bound on latency for VLIW ASIP datapaths
Authors: Margarida F. Jacome, Gustavo de Veciana
Venue: Readings in hardware/software co-design (2001)

Traditional lower bound estimates on latency for dataflow graphs assume no data transfer delays. While such approaches can generate tight lower bounds for datapaths with a centralized register file, the results may be uninformative for datapaths with distributed register file structures that are characteristic of VLIW ASIPs. In this paper we propose a latency bound that accounts for such data transfer delays. The novelty of our approach lies in construction the "window dependency graph" and bounds associated with the problem which capture delay penalties due to operation serialization and/or data moves among distributed register files. Through a set of benchmark examples, we show that the bound is competitive with state-of-the-art approaches. Moreover, our experiments show that the approach can aid an iterative improvement algorithm in determining good functional unit assignment ?-- a key step in code generation for VLIW ASIPs.
Neurotechnology for Biomimetic Robots
Authors: Joseph Ayers
Venue:  (2002)

:The goal of neurotechnology is to confer the performance advantages of animal systems on robotic machines. Biomimetic robots differ from traditional robots in that they are agile, relatively cheap, and able to deal with real-world environments. The engineering of these robots requires a thorough understanding of the biological systems on which they are based, at both the biomechanical and physiological levels. This book provides an in-depth overview of the field. The areas covered include myomorphic actuators, which mimic muscle action; neuromorphic sensors, which, like animal sensors, represent sensory modalities such as light, pressure, and motion in a labeled-line code; biomimetic controllers, based on the relatively simple control systems of invertebrate animals; and the autonomous behaviors that are based on an animal's selection of behaviors from a species-specific behavioral "library." The ultimate goal is to develop a truly autonomous robot, one able to navigate and interact with its environment solely on the basis of sensory feedback without prompting from a human operator.
Hard variants of stable marriage
Authors: David F. Manlove, Robert W. Irving, Kazuo Iwama, Shuichi Miyazaki, Yasufumi Morita
Venue: Theoretical Computer Science (2002)

The Stable Marriage Problem and its many variants have been widely studied in the literature (Gusfield and Irving, The Stable Marriage Problem: Structure and Algorithms, MIT Press, Cambridge, MA, 1989; Roth and Sotomayor, Two-sided matching: a study in game-theoretic modeling and analysis, Econometric Society Monographs, vol. 18, Cambridge University Press, Cambridge, 1990; Knuth, Stable Marriage and its Relation to Other Combinatorial Problems, CRM Proceedings and Lecture Notes, vol. 10, American Mathematical Society, Providence, RI, 1997), partly because of the inherent appeal of the problem, partly because of the elegance of the associated structures and algorithms, and partly because of important practical applications, such as the National Resident Matching Program (Roth, J. Political Economy 92(6) (1984) 991) and similar large-scale matching schemes. Here, we present the first comprehensive study of variants of the problem in which the preference lists of the participants are not necessarily complete and not necessarily totally ordered. We show that, under surprisingly restrictive assumptions, a number of these variants are hard, and hard to approximate. The key observation is that, in contrast to the case where preference lists are complete or strictly ordered (or both), a given problem instance may admit stable matchings of different sizes. In this setting, examples of problems that are hard are: finding a stable matching of maximum or minimum size, determining whether a given pair is stableeven if the indifference takes the form of ties on one side only, the ties are at the tails of lists, there is at most one tie per list, and each tie is of length 2; and finding, or approximating, both an `egalitarian' and a `minimum regret' stable matching. However, we give a 2-approximation algorithm for the problems of finding a stable matching of maximum or minimum size. We also discuss the significant implications of our results for practical matching schemes.
On the Convergence of Galerkin Finite Element Approximations of Electromagnetic Eigenproblems
Authors: Salvatore Caorsi, Paolo Fernandes, Mirco Raffetto
Venue: SIAM Journal on Numerical Analysis (2000)

The convergence of Galerkin finite element approximations of electromagnetic eigenproblems modelling cavity resonators is studied. Since the operator involved is noncompact, the first part of the analysis is carried out in terms of the specific definition of convergence that is known to be appropriate for this case. Then, a slightly stronger definition of convergence is proposed, which is tuned to the features a practitioner of the numerical simulation of electromagnetic devices requires for a good computational model of a resonant cavity. For both definitions, necessary and sufficient conditions are introduced and discussed. Moreover, it is proved that the convergence of an approximation in the stronger sense is unaffected by the presence of different materials filling the cavity resonator. Exploiting this basic feature of the newly defined convergence, the previously developed theory is applied to generalize the convergence proof for the lowest order edge element approximations to the case of anisotropic, inhomogeneous and discontinuous material properties. Results clarifying the relationships among the various conditions occurring in our analysis and examples showing what may happen when not all the conditions for convergence hold true are also reported and contribute to a clear picture about the origin and the behavior of spurious modes.
Selecting indexing strings using adaptation
Authors: Yoshiyuki Takeda, Kyoji Umemura
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

It is not easy to tokenize agglutinative languages like Japanese and Chinese into words. Many IR systems start with a dictionary-based morphology program like ChaSen [4]. Unfortunately, dictionaries cannot cover all possible words; unknown words such as proper nouns are important for IR. This paper proposes a statistical dictionary-free method for selecting index strings based on recent work on adaptive language modeling.
Exploiting architectural design knowledge to support self-repairing systems
Authors: Bradley Schmerl, David Garlan
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

In an increasing number of domains software is now required to be self-adapting and self-healing. While in the past such abilities were incorporated into software on a per system basis, proliferation of such systems calls for more generalized mechanisms to manage dynamic adaptation. General mechanisms have the advantage that they can be reused in numerous systems, analyzed separately from the system being adapted, and easily changed to incorporate new adaptations. Moreover, they provide a natural home for encoding the expertise of system designers and implementers about adaptation strategies and policies. In this paper, we show how current software architecture tools can be extended to provide such generalized dynamic adaptation mechanisms.
Electronic Commerce, 2nd edition
Authors: James T. Perry, Gary P. Schneider
Venue:  (2001)

:"In keeping with the successful philosophy of the first edition, Electronic Commerce, Second Annual Edition balances both the technological and strategic aspects of electronic commerce essential to succeeding in today's Internet-based economy. Assuming no background in electronic commerce, this book covers the key technologies used in electronic commerce clearly and concisely. The authors have revised and updated this text to provide the most up-to-the-minute information and resource possible, including thorough discussions of both business-to-consumer and business-to-business electronic commerce. Because companies are using these strategies in a global business environment, discussions of international, legal, ethical, and tax issues are included."--BOOK JACKET.
Constructing Superior Software; Applying Proven Practices
Authors: Len Bass
Venue:  (1999)

:This is the lead book in a series of books from the Software Quality Institute (SQI). This series will bring together some of the key individuals in the Software Engineering community, and through their knowledge and experience, develop a library of books that set the standards for best practices in achieving high-quality software. This title presents a set of fundamental engineering strategies for achieving a successful software solution, with practical advice to ensure that the development project is moving in the right direction. Software designers and development managers can improve the development speed and quality of their software, and improve the processes used in development.
The Complete Y2K Home Preparation Guide
Authors: Edward Yourdon, Robert A. Roskind
Venue:  (1999)

From the Book:PREFACE: Introduction Mammoth productive facilities with computer minds, cities that engulf the landscape and pierce the clouds, planes that almost out race time- these are awesome, but they cannot be spiritually inspiring. Nothing in our glittering technology can raise man to new heights, because material growth has been made an end in itself, and, in the absence of moral purpose, man himself becomes smaller as the works of man becomes bigger. Gargantuan industry and government, woven into an intricate computerized mechanism, leave the person outside. The sense of participation is lost, the feeling that ordinary individuals influence important decisions vanishes, and man becomes separated and diminished. When an individual is no longer a true participant, when he no longer feels a sense of responsibility to his society, the content of democracy is emptied. When culture is degraded and vulgarity enthroned, when the social system does not build security but induces peril, inexorably the individual is impelled to pull away from a soulless society. This process produces alienation-perhaps the most pervasive and insidious development in contemporary society.  Dr. Martin Luther King The biggest problems and opportunities with the Y2K bug are not going to be food storage, debugging code, or power outages, but how people react to the situation: how we treat each other; how much we help each other through this; what kind of creative, appropriate responses we meet the challenge with will determine whether we build and bring together our local communities or whether things degenerate into mobrule. Michael Connolly, WizCity (...
Automatic generation of efficient string matching algorithms by generalized partial computation
Authors: Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
Venue: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002)

This paper shows that Generalized Partial Computation (GPC) can automatically generate efficient string matching algorithms. GPC is a program transformation method utilizing partial information about input data and auxiliary functions as well as the logical structure of a source program. GPC uses both a classical partial evaluator and an inference engine such as a theorem prover to optimize programs. First, we show that a Boyer-Moore (BM) type pattern matcher without the bad-character heuristic can be generated from a simple non-linear backward matcher by GPC. This sort of problems has already been discussed in the literature using offline partial evaluators. However, there was no proof that every generated matcher runs in the same way as the BM. In this paper we prove that the problem can be solved starting from a simple non-linear pattern matcher as a source program. We also prove that a Knuth-Morris-Pratt (KMP) type linear string matcher can be generated from a naive non-linear forward matcher by GPC.
WWF War Zone
Authors: Jacob McBane, Brady Games
Venue:  (1998)

:Featuring over a dozen of the world's most vicious superstars, WWF War Zone focuses on realistic motion, realistic wrestlers, and true-to-life wrestling action. This guide features all the moves of each wrestler and includes strategy for championship modes and bios for each character.
Inside the AS/400: Featuring the AS/400e Series, 2nd edition
Authors: Frank G. Soltis
Venue:  (1997)

:Frank Soltis, a worldwide spokesman for the AS/400 and the chief architect of the machine, offers an historical and a technical perspective on the AS/400 that cannot be found anywhere else. New coverage is given of security, data warehousing, and e-commerce.
PC for the Teacher: Microsoft Office '97, HyperStudio 3.1, Internet Explorer
Authors: Gregg Brownell, Jan Metzger, Carol Youngs
Venue:  (1998)

:Easy-to-use, spiral-bound, how-to text from the authors of the bestselling textbook, MAC FOR THE TEACHER, prepares both teachers and prospective teachers to use Windows, HyperStudio, and Microsoft Office '97 in their everyday classroom projects, scheduling, lesson planning, record-keeping, grading, and many other classroom, school, and educational applications. The text covers Microsoft Word, Excel, Access, Powerpoint, Outlook, and HyperStudio.
A collaborative demonstration of reverse engineering tools
Authors: Margaret-Anne D. Storey, Susan Elliott Sim, Kenny Wong
Venue: ACM SIGAPP Applied Computing Review (2002)

This paper describes a collaborative structured demonstration of reverse engineering tools that was presented at a working session at WCRE 2001 in Stuttgart, Germany. A structured demonstration is a hybrid tool evaluation technique that combines elements from experiments, case studies, technology demonstrations, and benchmarking. The essence of the technique is to facilitate learning about software engineering tools using a common set of tasks. The collaborative experience discussed at WCRE involved several peer and complementary technologies that were applied in concert to solve a real life reverse engineering problem. For the most part, the tool developers themselves applied their own tools to this problem. Preliminary results have shown to the research community that we still have much to learn about our tools and how they can be applied as part of a reverse engineering and reengineering process. Consequently, the participants agreed to continue participation in this demonstration beyond the WCRE event.
The Telephony Tutorials, 2nd edition
Authors: Jane Laino
Venue:  (2001)

:This book is a down-to-earth telecommunications guide based on up-to-the-minute experiences. It takes you by the hand and explains how to handle some of the trickier aspects of managing your organization's telecommunications resources. Learn how to make the most of your office communications systems. This book provides unique insights on such topics as the niceties of telephone interaction with customers to creating an RFP for buying a telephone system.
Practical Linux
Authors: Que Corporation, Michael Turner, Drew Streib, Tony Guntharp
Venue:  (2000)

:Practical Linux gears itself toward people who don't want to be burdened with technobabble, but just want to use Linux just as they would any other operating system. Most books in this category concentrate mostly on the installation and configuration process, while neglecting content that helps you use Linux for daily tasks. This book covers all the bases, making use of a systematic approach, while providing numerous cross-references. Topics include working with the KDE and Gnome desktops, using the command line, getting help and maintaining your system, connecting to the Web, using browsers, setting up e-mail, setting up printers and adding peripherals, using graphics and multimedia tools, and networking. Run Linux without the fuss Bill Ball is the best-selling Linux author of all time, thanks to the clear, no-nonsense approach he brings to the topic
Bringing order to query optimization
Authors: Giedrius Slivinskas, Christian S. Jensen, Richard Thomas Snodgrass
Venue: ACM SIGMOD Record (2002)

A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-style querying in which order is frequently an important aspect. The set- or multiset-based frameworks for query optimization that are currently being taught to database students are increasingly inadequate.This paper presents a foundation for query optimization that extends existing frameworks to also capture ordering. A list-based relational algebra is provided along with three progressively stronger types of algebraic equivalences, concrete query transformation rules that obey the different equivalences, and a procedure for determining which types of transformation rules are applicable for optimizing a query. The exposition follows the style chosen by many textbooks, making it relatively easy to teach this material in continuation of the material covered in the textbooks, and to integrate this material into the textbooks.
E-Commerce Applications Using Oracle8i and Java
Authors: Meghraj Thakkar
Venue:  (2000)

:In Building e-Commerce Database Applications Using Oracle8i and Java from scratch, Meghraj Thakkar takes novice web programmers through the process of creating a web-enabled database application. You will look at the requirements, analysis, design, implementation, testing and deployment of an "Online Coffee Shop" from scratch. You will also learn to create database objects (tables and indexes), populate the database, and use SQL, PL/SQL and Java to manipulate the data. Additional topics include using Oracle tools such as SQL*Loader and Export/Import to populate Oracle databases, use of JDBC to connect and interact with the database, how to process the results coming back from the database, use of SQLJ to write efficient Java code, JDBC error messages & exceptional handling in the project, how to store Java code in the database using Java Stored Procedures, techniques for debugging & stress testing your applications, and more.
Spreadsheet Tools for Engineers: Excel, 2nd edition
Authors: Byron S. Gottfried
Venue:  (2002)

:This best-selling Spreadsheet book provides excellent coverage of all versions of Excel including the latest version, Excel 2002. It discusses how to use Excel to solve a variety of problems in introductory engineering analysis, such as graphing data, unit conversions, simple statistical analysis, sorting, searching and analyzing data, curve fitting, interpolation, solving algebraic equations, logical decisions, evaluating integrals, comparing economic alternatives, and finding optimum solutions. Numerous examples are included illustrating both traditional and spreadsheet solutions to a variety of problems. The underlying mathematical solution procedures are also discussed, so that the reader is provided with an understanding of what the spreadsheet does and how it goes about its business.
Shape avoiding permutations
Authors: Ron M. Adin, Yuval Roichman
Venue: Journal of Combinatorial Theory Series A (2002)

Permutations avoiding all patterns of a given shape (in the sense of Robinson, Schensted, and Knuth) are considered. We show that the shapes of all such permutations are contained in a suitable thick hook and deduce an exponential growth rate for their number.