ppxscal/embedding_network huggingface dataset:
Three tiered web-based manufacturing system-Part 1: System development
Authors: S. P. Lal, G. C. Onwubolu
Venue: Robotics and Computer-Integrated Manufacturing (2007)

This paper provides a demonstration of harnessing the power of the Internet to enable collaborative manufacturing in such a setup where the key components such as the human resource personnel and the manufacturing equipment are geographically separated. As part of the framework a platform independent and cost-effective means of remotely operating a 3-axis computer numerical control (CNC) drilling machine securely via the Internet has been developed. In addition, an infrastructure to allow remote manufacturers to collaborate on a product design as well to monitor the drilling process in real time is presented. The framework rests on sound security foundation implemented using technologies such as firewall, authentication modules and transport layer security (TLS) protocol to promote safe usage of the drilling machine. It is worth mentioning that the architectural design is generic and modular in nature and as such, any other genre of CNC machine such as milling and turning could be substituted in place of drilling with only machine-specific changes to the existing system.
Macromedia Flash MX 2004 Certified Designer Study Guide
Authors: James English
Venue:  (2004)

With support for CSS, predefined Behaviors, Timeline effects, and more, Flash MX 2004 is a must-have program for your Web design toolbox. Equally essential is the Macromedia certification that proves to your clients that you have the skills to use it effectively! This comprehensive yet easily digestible study guide represents the surest route to getting that seal of approval! Designed specifically to simplify preparation for Macromedia's certification exam (and organized like the exam itself), this volume offers everything intermediate and advanced Flash designers need to know to prove their Flash chops. You'll learn how to identify requirements as well as how to design, construct, and optimize Flash animations with maximum efficiency. Best of all, this essential information is conveyed in clear, direct language complimented by well-explained code examples, loads of sample questions, and plenty of graphics. Also included are extensive notes, tips, and cautions, and the companion Web site provides tips, reading material, and sample tests to help you gauge your exam readiness.
Microsoft Office FrontPage 2003 QuickSteps, 1 edition
Authors: Martin Matthews, John Cronan
Venue:  (2004)

We know a picture is worth a thousand words--so we went heavy on pictures and light on words in this easy-to-use guide. Color screenshots and brief instructions show you how to use all of FrontPage’s Web site creation and management features in no time. Follow along and learn to design and publish a Web site, use tables and frames, add graphics, create interactive forms, secure your site, handle e-commerce transactions, and much more. Each chapter’s “How to” list and color-coded tabs make it easy to flip straight to the tasks you need to do. Get the book that gets you started using FrontPage right away. In each chapter: Shortcuts for accomplishing common tasks Need-to-know facts in concise narrative Helpful reminders or alternate ways of doing things Bonus information related to the topic being covered Errors and pitfalls to avoid Screenshots with callouts show and explain exactly what you’ll see on your computer screen while you’re doing a task Table of contents Chapter 1: Stepping into FrontPage Chapter 2: Starting a Web Site Chapter 3: Formatting a Web Page Chapter 4: Working with Graphics Chapter 5: Controlling and Publishing a Web Site Chapter 6: Designing with Tables and Frames Chapter 7: Using Wizards and Templates Chapter 8: Working with Forms Chapter 9: Using Web Components and Shared Borders Chapter 10: Using HTML
A Study of Blind Message Authentication Codes
Authors: Chanathip Namprempre, Gregory Neven, Michel Abdalla
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2007)

Blind signatures allow a signer to digitally sign a document without being able to glean any information about the document. In this paper, we investigate the symmetric analog of blind signatures, namely blind message authentication codes (blind MACs). One may hope to get the same efficiency gain from blind MAC constructions as is usually obtained when moving from asymmetric to symmetric cryptosystems. Our main result is a negative one however: we show that the natural symmetric analogs of the unforgeability and blindness requirements cannot be simultaneously satisfied. Faced with this impossibility, we show that blind MACs do exist (under the one-more RSA assumption in the random oracle model) in a more restrictive setting where users can share common state information. Our construction, however, is only meant to demonstrate the existence; it uses an underlying blind signature scheme, and hence does not achieve the desired performance benefits. The construction of an efficient blind MAC scheme in this restrictive setting is left as an open problem.*
Digital Photography Pocket Guide, Third Edition (Pocket Reference (O'Reilly))
Authors: Derrick Story
Venue:  (2005)

Even film diehards have a tough time resisting the instant gratification of the digital camera. Today's digital cameras are more affordable then ever before, and they deliver high quality images that are a snap to share. Plus, you can take risks with a digital camera you never would with a film camera. You waste nothing; there's no film required, and because you only print the pictures you need, digital photography is cost effective and environmentally friendly. But to take full advantage of a digital camera, you need to be an experienced photographer and an expert at digital photography too. With more than 15 years of experience as a photojournalist, author Derrick Story brings you Digital Photography Pocket Guide, 3rd Edition. For everyone who owns or will own a digital camera (and that pretty much means everyone!), this is the perfect on-the-go guide for taking top-notch digital photos.In this third edition of the bestselling pocket guide, Story expands on the basic photography techniques that he introduced in earlier editions, including an explanation of each camera component and what it does, tips for choosing just the right settings for your needs, and much more. This indispensable guide covers everything from how to shoot sports action, close ups, and night shots, to dealing with image resolution, archiving, and memory cards.Affordable and portable, Digital Photography Pocket Guide, 3rd Edition offers full-color photographs, screen shots, and line art illustrating all the topics in the guide's three main sections ("Digital Camera Components," "Standard Camera Functions," and "How Do I?"). Contents are labeled A to Z for quick reference. There's also a comprehensive table of contents and index so you'll waste no time flipping to the specific information you need--whether you want to transfer images, make a QuickTime movie, or just figure out what purpose that mystery setting on your camera serves. There's even a section of easy-to-read reference tables for quick look-up of white balance settings, exposure compensation, camera mode explanations, and plenty more.
A proposed multiagent model for bus crew scheduling
Authors: Abdul S. Shibghatullah, Tillal Eldabi, Jasna Kuljis
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Bus crew scheduling is a complex problem to solve because of the large number of resources that need to be managed, complexity of allocating crew shifts, rising cost of crew and unpredictability of traffic and crew availability. This causes a difficulty to maintain an optimal schedule. Existing systems are excellent in producing optimal or near optimal schedules. However, to maintain such optimality for day-to-day operations, crew scheduling systems need to extend their capabilities by enabling crew reassignment, a feature that is not currently available in currently existing automated scheduling systems. The aim of this research is to model the crew reassignment process using agents and simulate agents' behavior in order to establish ways of automating management of unpredictable events. The model should assist supervisor in managing everyday bus operations. The paper presents agents analysis and design using Gaia methodology.
Language model-based document clustering using random walks
Authors: Güneş Erkan
Venue: Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics (2006)

We propose a new document vector representation specifically designed for the document clustering task. Instead of the traditional term-based vectors, a document is represented as an n-dimensional vector, where n is the number of documents in the cluster. The value at each dimension of the vector is closely related to the generation probability based on the language model of the corresponding document. Inspired by the recent graph-based NLP methods, we reinforce the generation probabilities by iterating random walks on the underlying graph representation. Experiments with k-means and hierarchical clustering algorithms show significant improvements over the alternative tf&middot;idf vector representation.
Context-Sensitive Service Discovery Experimental Prototype and Evaluation
Authors: R. Balken, J. Haukrogh, J. L. Jensen, M. N. Jensen, L. J. Roost, P. N. Toft, R. L. Olsen, H. -P. Schwefel
Venue: Wireless Personal Communications: An International Journal (2007)

The amount of different networks and services available to users today are increasing. This introduces a need for ways to locate and sort out irrelevant services in the process of discovering available services for a user. In this paper, we describe and evaluate a prototype of an automated discovery and selection system, which locates services that are relevant to a user based on his/her context and the context of the available services. The prototype is based on a multi-level, hierarchical system approach and introduces entities called User-nodes, Super-nodes, and Root-nodes. These entities separates the network into domains that handle the complex distributed service discovery, which is based on dynamically changing context information. In the prototype, a method for performing context-sensitive service discovery has been achieved. The service discovery part utilizes UPnP, which has been extended in order to increase network scalability. The experimental analysis of service discovery times, based on different scenarios is used to optimize parameter settings of the service discovery system in order to achieve short response times.
Partial differential-algebraic systems of second order with symmetric convection
Authors: W. Lucht
Venue: Applied Numerical Mathematics (2005)

This paper deals with initial boundary value problems (IBVPs) of linear and some semilinear partial differential algebraic equations (PDAEs) with symmetric first order (convection) terms which are semidiscretized with respect to the space variables by means of a standard conform finite element method. The aim is to give L2-convergence results for the semidiscretized systems when the finite element mesh parameter h goes to zero. In general, without the assumption of symmetry (and some further conditions) it is difficult to get such results. According to many practical applications, the PDAEs may have also hyperbolic parts. These are described by means of Friedrichs' theory for symmetric positive systems of differential equations. The PDAEs are assumed to be of time index 1.
Copyright and CAI
Authors: G. P. Kearsley, S. Hunka
Venue: ACM SIGCUE Outlook (1977)

The issue of copyright law as it applies to the domain of Computer Assisted Instruction (CAI) is explored. The application of copyright laws to CAI is not a simple matter of extending traditional literary practices because of the legal complications introduced by the use of computers to store and reproduce materials. In addition, CAI courseware poses some new problems for the definitions of educational usage. Some precedent CAI copyright arrangements are briefly described. The implications of copyright law for CAI facilities, academic institutions, and the evolution of CAI itself, are discussed.
Database Design, Application Development, and Administration, 3 edition
Authors: Michael V. Mannino
Venue:  (2005)

Mannino’s Database Design, Application Development, and Administration provides the information you need to learn relational databases. The book teaches students how to apply relational databases in solving basic and advanced database problems and cases. The fundamental database technologies of each processing environment are presented; as well as relating these technologies to the advances of e-commerce and enterprise computing. This book provides the foundation for the advanced study of individual database management systems, electronic commerce applications, and enterprise computing. Table of contentsDatabase Design, Application Development, & Administration 3/ePart 1: Introduction to Database EnvironmentsChapter 1: Introduction to Database ManagementChapter 2: Introduction to Database DevelopmentPart 2: Understanding Relational DatabasesChapter 3: The Relational Data ModelChapter 4: Query formulation with SQLPart 3: Data ModelingChapter 5: Understanding Entity Relationship DiagramsChapter 6: Developing Data Models for Business DatabasesPart 4: Relational Database DesignChapter 7: Normalization of Relational TablesChapter 8: Physical Database DesignChapter 9: Advanced Query Formulation with SQLPart 5: Application Development with Relational DatabasesChapter 10: Application Development with ViewsChapter 11: Stored Procedures and TriggersPart 6: Advanced Database DevelopmentChapter 12: View Design and IntegrationChapter 13: Database Development for Student Loan LimitedPart 7: Managing Database EnvironmentsChapter 14: Data and Database AdministrationChapter 15: Transaction ManagementChapter 16: Data Warehouse Technology and ManagementChapter 17: Client-server Processing and Distributed DatabasesChapter 18: Object Database Management SystemsGlossary of TermsBibliographyIndex
Discrete maximum principle for linear parabolic problems solved on hybrid meshes
Authors: I. Faragó, R. Horváth, S. Korotov
Venue: Applied Numerical Mathematics (2005)

The preservation of qualitative characteristics, such as the maximum principle, of the solutions of mathematical models in computer simulations is one of the key requirements. In our work, we present the discrete analogue of the maximum principle for linear parabolic problems and derive the necessary and sufficient conditions for its validity in terms of matrices arising in the corresponding computational schemes. The particular case of Galerkin-type schemes and hybrid unstructured meshes, consisting of triangular and rectangular elements, are analysed.
What is wrong with mesh PCA in coordinate direction normalization
Authors: Heng Liu, Jingqi Yan, David Zhang
Venue: Pattern Recognition (2006)

This work makes a detailed analysis on why using mesh PCA for coordinate direction normalization is always uncertainty in 3D surface registration. Our analysis takes the view of discrete signal statistical analyzing and is based on the specific process research of mesh PCA. Then we present a corrected method to improve mesh PCA effects. Such corrected method comes from the fact that the principal axes directions of 3D surface should be those in which the vertex distances are the longest among all 3D vertex distances. Corresponding experimental results on range scan data and synthetic models are provided.
Stochastic physical synthesis for FPGAs with pre-routing interconnect uncertainty and process variation
Authors: Yan Lin, Lei He
Venue: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007)

Process variation and pre-routing interconnect delay uncertainty affect timing and power for modern VLSI designs in nanometer technologies. This paper presents the first in-depth study on stochastic physical synthesis algorithms leveraging statistical static timing analysis (SSTA) with process variation and pre-routing interconnect delay uncertainty for FPGAs. Evaluated by SSTA with the placed and routed layout and measured at the same clock frequency, the stochastic clustering, placement and routing reduce the yield loss from 50 failed parts per 10 thousand parts (pp10K) for the deterministic flow to 9, 12 and 35pp10K respectively for MCNC designs. The majority of improvements are achieved during clustering and placement while routing stage has much less gain. The gain mainly comes from modeling interconnect delay uncertainty for clustering and from considering process variation for placement. When applying all stochastic algorithms concurrently, the yield loss is reduced to 5pp10K (a 10 X reduction) with the mean delay reduced by 6.2% and the standard deviation reduced by 7.5%. On the other hand, stochastic clustering with deterministic placement and routing is a good flow with little change to the entire flow, but the yield loss is reduced from 50pp10K to 9pp10K, the mean delay is reduced by 5.0%, the standard deviation is reduced by 6.4%, and the runtime is slightly reduced compared to the deterministic flow. Finally, while its improvement over timing is small, stochastic routing is able to reduce the total wire length for the same routing channel width by 4.5% and to reduce runtime by 4.2% compared to deterministic routing.
Python in a Nutshell (In a Nutshell (O'Reilly))
Authors: Alex Martelli
Venue:  (2006)

This book offers Python programmers one place to look when they need help remembering or deciphering the syntax of this open source language and its many powerful but scantily documented modules. This comprehensive reference guide makes it easy to look up the most frequently needed information--not just about the Python language itself, but also the most frequently used parts of the standard library and the most important third-party extensions.Ask any Python aficionado and you'll hear that Python programmers have it all: an elegant object-oriented language with readable and maintainable syntax, that allows for easy integration with components in C, C++, Java, or C#, and an enormous collection of precoded standard library and third-party extension modules. Moreover, Python is easy to learn, yet powerful enough to take on the most ambitious programming challenges. But what Python programmers used to lack is a concise and clear reference resource, with the appropriate measure of guidance in how best to use Python's great power. Python in a Nutshell fills this need.Python in a Nutshell, Second Edition covers more than the language itself; it also deals with the most frequently used parts of the standard library, and the most popular and important third party extensions. Revised and expanded for Python 2.5, this book now contains the gory details of Python's new subprocess module and breaking news about Microsoft's new IronPython project. Our "Nutshell" format fits Python perfectly by presenting the highlights of the most important modules and functions in its standard library, which cover over 90% of your practical programming needs. This book includes:A fast-paced tutorial on the syntax of the Python languageAn explanation of object-oriented programming in PythonCoverage of iterators, generators, exceptions, modules, packages, strings, and regular expressionsA quick reference for Python's built-in types and functions and key modulesReference material on important third-party extensions, such as Numeric and TkinterInformation about extending and embedding PythonPython in a Nutshell provides a solid, no-nonsense quick reference to information that programmers rely on the most. This book will immediately earn its place in any Python programmer's library."In a nutshell, Python in a Nutshell serves one primary goal: to act as an immediately accessible goal for the Python language. True, you can get most of the same core information that is presented within the covers of this volume online, but this will invariably be broken into multiple files, and in all likelihood lacking the examples or the exact syntax description necessary to truly understand a command." --Richard Cobbett, Linux Format "O'Reilly has several good books, of which Python in a Nutshell by Alex Martelli is probably the best for giving you some idea of what Python is about and how to do useful things with it." --Jerry Pournelle, Byte Magazine Praise for the First Edition:
FileMaker 8 Functions and Scripts Desk Reference
Authors: Scott Love, Steve Lane, Bob Bowers
Venue:  (2006)

FileMaker 8 Functions and Scripts Desk Reference is the only book on the market expressly focused on describing each calculation formula and how and when to use each one.ï¾ With this book's real-world, concrete examples of how to use each function, you will go far beyond FileMaker 8's help system. Just as a dictionary helps supplement one's memory, this book is an invaluable companion to users working to develop solutions to their every day software problems.
Image based bio-cad modeling and its applications to biomedical and tissue engineering
Authors: B. Starly, A. Darling, C. Gomez, J. Nam, W. Sun, A. Shokoufandeh, W. Regli
Venue: Proceedings of the ninth ACM symposium on Solid modeling and applications (2004)

CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine have created new uses for CAD with many novel and important biomedical applications, particularly in tissue engineering in which the CAD based bio-tissue informatics model provides critical information of tissue biological, biophysical, and biochemical properties for modeling, design, and fabrication of complex tissue substitutes. This paper will present some salient advances of bio-CAD modeling and application in computer-aided tissue engineering, including biomimetic design, analysis, simulation and freeform fabrication of tissue engineered substitutes. Overview of computer-aided tissue engineering will be given. Methodology to generate bio-CAD modeling from high resolution non-invasive imaging, the medical imaging process and the 3D reconstruction technique will be described. Enabling state-of-the-art computer program in assisting the 3D reconstruction and in bio-modeling development will be introduced. Utilization of the bio-CAD model for the description and representation of the morphology, heterogeneity, and organizational structure of tissue anatomy will also be presented.
Verification of FPGA Layout Generators in Higher-Order Logic
Authors: Oliver Pell
Venue: Journal of Automated Reasoning (2006)

Manual placement of components is often used in FPGA circuit design in order to achieve better results than would be generated by automatic place and route algorithms. However, explicit placement of basic elements in parametrized hardware descriptions is tedious and error-prone. We describe a framework for the description and verification of parametrized hardware libraries with layout information, supporting both placing components with explicit symbolic coordinates and `neighboring' placement directives such as A beside B. The correctness of generated layouts is established by proof in higher-order logic, automated by using the Isabelle theorem prover. We have developed an extensive library of theorems describing properties of layouts that are combined by our compiler and the theorem prover to achieve a high level of automation in the verification of complete circuit layouts, making formal verification of circuit layouts practical with minimal user effort. Our system has been used to verify layout descriptions for a range of circuits that have been mapped to Xilinx FPGAs.