ppxscal/embedding_network huggingface dataset:
Foreword
Authors: Mark S. Squillante
Venue: ACM SIGMETRICS Performance Evaluation Review (2006)

The complexity of computer systems, networks and applications, as well as the advancements in computer technology, continue to grow at a rapid pace. Mathematical analysis, modeling and optimization have been playing, and continue to play, an important role in research studies to investigate fundamental issues and tradeoffs at the core of performance problems in the design and implementation of complex computer systems, networks and applications.
Online Learning and Teaching in Higher Education, 1 edition
Authors: Shirley Bach, Philip Haynes, Jennifer Lewis Smith
Venue:  (2006)

What are the links between theory and practice in the area of online learning in higher education? What are the strengths and weaknesses of the online approach? How can online learning be used to enhance the student experience? This book provides the first critical evaluation of theory and practice in online learning and teaching in higher education. It also provides a critique of online learning for all those working in a higher education setting. It examines the online approach in the context of the internet age and global higher education, examining changes in distance learning as well as how online learning is affecting mainstream mass higher education. Practical examples throughout the book allow the reader to: Understand quality issues with regard to online learning Design appropriate courses Create stimulating online learning environments Transform learning methods Adapt and develop strategies to enhance online teaching practice Online Learning and Teaching in Higher Education is key reading for lecturers, managers and policy makers in the higher education sector.
Glencoe Keyboarding with Computer Applications, Lessons 1-80, Student Edition, 1 edition
Venue:  (2006)

Glencoe Keyboarding with Computer Applications Lessons 1-80 is ideal for a one-semester course. These lessons cover keyboarding instruction and basic word processing. 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
Exact cubature for a class of functions of maximum effective dimension
Authors: Shu Tezuka, Anargyros Papageorgiou
Venue: Journal of Complexity (2006)

We consider high-dimensional integration in a broad class of functions where all elements have maximum effective dimension. We show that there exists an exact cubature with only two points. Therefore, not only the convergence but also the worst case error of quasi-Monte Carlo need not depend on the effective dimension at all.
Security Analysis of a Nonce-Based User Authentication Scheme Using Smart Cards*This work was supported by the Korean Ministry of Information and Communication under the Information Technology Research Center (ITRC) support program supervised by the Institute of Information Technology Assessment (IITA).
Authors: Junghyun Nam, Seungjoo Kim, Sangjoon Park, Dongho Won
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2007)

A remote user authentication scheme is a two-party protocol whereby an authentication server in a distributed system confirms the identity of a remote individual logging on to the server over an untrusted, open network. Recently, Lee et al. have proposed an efficient nonce-based scheme for remote user authentication using smart cards. This work reviews Lee et al.'s authentication scheme and provides a security analysis on the scheme. Our analysis shows that Lee et al.'s scheme does not achieve its basic aim of authenticating remote users and furthermore has a very hazardous method for changing passwords. In addition, we recommend some changes to the scheme so that it can attain at least its main security goal.
Absolute Beginner's Guide to Microsoft Office Excel 2003
Authors: Joe Kraynak
Venue:  (2003)

Absolute Beginner's Guide to Microsoft Excel 2003 is your key to designing and producing dazzling worksheets. Here, you learn how to build worksheets from scratch and customize Excel's worksheet templates. You'll find how to enhance worksheets with fancy fonts, colorful shading and borders, and Excel's vast collection of clip art images. This book takes you step-by-step through the most essential tasks and provides plenty of illustrations that show you exactly what to do. Soon you will be well-qualified to graduate from Absolute Beginner to Excel Whiz.
A full factory transient simulation model for the analysis of expected performance in a transition period
Authors: Moti Klein, Adar Kalir
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Intel's Fab-18 is based in Israel, and has transitioned from producing 0.18-micron logic devices to producing 90nM flash products. During this transition period, the factory has de-ramped in volume of logic while ramping-up flash. AutoSched AP software was utilized for the development of a transient simulation model of the Fab's behavior during this period. It is the first attempt, at Intel, to utilize a full factory simulation in order to analyze and support decisions that pertain to a transient period of parallel de-ramp and ramp-up of technologies. Unlike typical simulation models for the analysis of factory performance and behavior in steady-state, the transient model poses several modeling challenges and requires major adjustments in dealing with these challenges. In this paper, we discuss those aspects. The benefits and contribution of such a model to decision making and the improvement of factory performance are also presented.
Adaptation of the UOBYQA algorithm for noisy functions
Authors: Geng Deng, Michael C. Ferris
Venue: Proceedings of the 38th conference on Winter simulation (2006)

In many real-world optimization problems, the objective function may come from a simulation evaluation so that it is (a) subject to various levels of noise, (b) not differentiable, and (c) computationally hard to evaluate. In this paper, we modify Powell's UOBYQA algorithm to handle those real-world simulation problems. Our modifications apply Bayesian techniques to guide appropriate sampling strategies to estimate the objective function. We aim to make the underlying UOBYQA algorithm proceed efficiently while simultaneously controlling the amount of computational effort.
A matrix-based approach to properness and inversion problems for rational surfaces
Authors: Laurent Bus&#x00e9;, Carlos D&#x2019;Andrea
Venue: Applicable Algebra in Engineering, Communication and Computing (2006)

We present a matrix-based approach for deciding if the parameterization of an algebraic space surface is invertible or not, and for computing the inverse of the parametrization if it exists.
A corpus-driven approach for design, evolution and alignment of ontologies
Authors: Thomas Wächter, André Wobst, Michael Schroeder, He Tan, Patrick Lambrix
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Bio-ontologies are hierarchical vocabularies, which are used to annotate other data sources such as sequence and structure databases. With the wide use of ontologies their integration, design, and evolution becomes an important problem. We show how textmining on relevant text corpora can be used to identify matching ontology terms of two separate ontologies and to propose new ontology terms for a given term. We evaluate these approaches on the GeneOntology.
Formal Correctness of a Quadratic Unification Algorithm
Authors: José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
Venue: Journal of Automated Reasoning (2006)

We present a case study using ACL2 to verify a nontrivial algorithm that uses efficient data structures. The algorithm receives as input two first-order terms, and it returns a most general unifier of these terms if they are unifiable, failure otherwise. The verified implementation stores terms as directed acyclic graphs by means of a pointer structure. Its time complexity is $O(n^2)$ and its space complexity $O(n)$ , and it can be executed in ACL2 at a speed comparable to a similar C implementation. We report the main issues encountered to achieve this formally verified implementation.
Novell Open Enterprise Server Administrator's Handbook, SUSE LINUX Edition (Novell Press)
Authors: Jeffrey Harris, Mike Latimer
Venue:  (2005)

As an administrator of a Novell® Open Enterprise Server (OES) on a SUSE® LINUX system, you are looking for ways to leverage it as a platform for delivering Novell's robust network services. Look no further. Novell Open Enterprise Server Administrator's Handbook, SUSE LINUX Edition ï¾ provides you with the information that you need to take advantage of Novell rich array of nework management tools on a SUSE-powered system. By focusing on the implementation of OES on the SUSE LINUX platform,ï¾ administrators learnï¾ how to integrate the benefits of OES in an existing environment. While this is not a reference work for network theory, protocols or architectures, it will provide the reader with a brief introduction to the concepts necessary to understand features of the product.ï¾ Novell Open Enterprise Server Administrator's Handbook, SUSE LINUX Editionï¾ ï¾ provides you with quick access to the information about the technologies, conceptsï¾ andï¾ techniquesï¾ that you need to get the job done.
Building bridges between neural models and complex decision making behaviour
Authors: Jerome R. Busemeyer, Ryan K. Jessup, Joseph G. Johnson, James T. Townsend
Venue: Neural Networks (2006)

Diffusion processes, and their discrete time counterparts, random walk models, have demonstrated an ability to account for a wide range of findings from behavioural decision making for which the purely algebraic and deterministic models often used in economics and psychology cannot account. Recent studies that record neural activations in non-human primates during perceptual decision making tasks have revealed that neural firing rates closely mimic the accumulation of preference theorized by behaviourally-derived diffusion models of decision making.This article bridges the expanse between the neurophysiological and behavioural decision making literatures specifically, decision field theory [Busemeyer, J. R. & Townsend, J. T. (1993). Decision field theory: A dynamic-cognitive approach to decision making in an uncertain environment. Psychological Review, 100, 432-459], a dynamic and stochastic random walk theory of decision making, is presented as a model positioned between lower-level neural activation patterns and more complex notions of decision making found in psychology and economics. Potential neural correlates of this model are proposed, and relevant competing models are also addressed.
Windows XP Pro: The Missing Manual
Authors: David Pogue, L J. Zacker, Craig Zacker, Pogue David, Zacker L. J, Lj Zacker
Venue:  (2004)

Completely refreshed and updated for Windows XP Service Pack 2 (SP2), this bestseller is for the novice or budding power user who wants to master Microsoft's latest operating system and get down to work. This is easily the most accessible and comprehensive book for XP Pro on the market today.
Quantitative analysis for the quality of ad hoc networks
Authors: Henning Bostelmann, Jörg Roth
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (2006)

This paper investigates methods to measure the connection-level quality of mobile ad hoc networks. Using an exactly solvable 1-dimensional model, we derive a set of closed formulas that describe the quality of MANETs concerning connectivity, stability, and coverage. These results allow us to predict the minimum number of network nodes for a certain quality level (the "critical mass") without the need for numerical simulations.
Solaris 10 System Administration Exam Prep 2 (Exam Cram 2)
Authors: Bill Calkins
Venue:  (2005)

The Solaris 10 System Administrator Certification Exam Prep 2 is the ideal book for both new and seasoned system administrators. This book will give you the insight you need into the newest certification exams for system administrators, the 310-200 and the 310-202. It offers classroom-style training by one of the best and well-known authors in the Solaris world, Bill Calkins. It will equip youï¾ with vital knowledge for success on exam day plus it acts a reference guide that will come in handy after the test. The content addresses all the new exam objectives in detail and will show youï¾ how to apply this knowledge to real-world scenarios.The included CD features ExamGear's innovative test engine, which will be an effective tool for preparing for the Solaris 10 exam. It provides you with five different ways to test yourself, random questions and order of answers, detailed explanations of correct and incorrect answers, and it paysï¾ special attention to exam objectives. Also included on the CD is a PDF of the complete text of the book.
Developing software performance with the performance refinement and evolution model
Authors: Chih-Wei Ho, Laurie Williams
Venue: Proceedings of the 6th international workshop on Software and performance (2007)

Performance is an important attribute of a software system. To develop a software system of acceptable performance, the team needs to specify precise performance requirements, design appropriate test cases, and use suitable techniques to analyze the performance characteristics. However, the lack of a structured framework for performance engineering may impair the effectiveness of the techniques. We propose the Performance Refinement and Evolution Model (PREM) as a performance management framework. Based on the specification of quantitative measurement and workloads, PREM classifies performance requirements specification, analysis activities, and testing into four levels. In this paper, we provide an overview of this model.
Special Edition Using Microsoft(R) Office PowerPoint 2007 (Special Edition Using)
Authors: Patrice-Anne Rutledge, Geetesh Bajaj
Venue:  (2006)

Special Edition Using Microsoft® Office PowerPoint® 2007THE ONLY POWERPOINT BOOK YOU NEEDWe crafted this book to grow with you, providing the reference material you need as you move toward PowerPoint proficiency and use of more advanced features. If you buy only one book on PowerPoint 2007, Special Edition Using Microsoft® Office PowerPoint® 2007 is the only book you need.· Quickly move from learning PowerPoint 2007 basics to creating and delivering polished, dynamic presentations with Microsoft Office's new user interface· Collaborate on presentations using slide libraries, Microsoft Office SharePoint Server 2007, and more· Communicate data in pictures using charts, diagrams, and graphs, including new SmartArt diagrams and enhanced graphics effects· Design sophisticated presentations even faster with themes and custom layouts· Create multimedia presentations using video, sound, pictures, and animation· Publish and deliver your presentations on the Web· Expand the power of PowerPoint with add-ins and third-party tools· Discover the secrets for powerful delivery of your presentationPatrice-Anne Rutledge is a best-selling author of 24 computer and business books, a successful technology journalist, and an expert in business presentations. She has usedï¾and has taught others to useï¾PowerPoint for more than 10 years, designing presentations for meetings, seminars, trade shows, and worldwide audiences. Special Edition Using Microsoft® Office PowerPoint® 2007 is her fourth book on PowerPoint.Geetesh Bajaj is a Microsoft PowerPoint MVP (Most Valuable Professional) who runs the Web's foremost PowerPoint site at www.indezine.com. He is also author of another best-selling PowerPoint book. Geetesh believes that successful presentations are the sum of various elements as diverse as color, layout, and graphics.Tom Mucciolo, founder and president of MediaNet, is an acclaimed speaker on presentation skills. He is an expert at enhancing the key components of communication, including the message (script), the media (visual design), and the mechanics (delivery). His one-to-one coaching sessions, ranging from basic to advanced, develop individual style and prepare a person for presenting in a very visual world.On the CD-ROM· NXPowerLite· SmartDraw 30-Day Trial Edition· Exclusive cartoon from Mark Anderson (AnderToons)· ActiveSlide Thunder Trial plus examples· Camtasia Studio Trial· Sample presentations· Electronic version of this book in Adobe's Portable Document Format (PDF)
Simulation analysis on the impact of furnace batch size increase in a deposition loop
Authors: Boon Ping Gan, Peter Lendermann, Kelvin Paht Te Quek, Bart van der Heijden, Chen Chong Chin, Choon Yap Koh
Venue: Proceedings of the 38th conference on Winter simulation (2006)

In the dynamic environment of semiconductor manufacturing operations, a bottleneck could be created at the bake furnaces of the deposition loop as capacity expands. Upgrading of the bake furnaces by adding a lot-per-batch in the boat or purchasing a new furnace are two possible solutions to this problem. A simulation model was constructed to assist the decision making, with the behavior of the wet benches (upstream tools) and cluster tools (downstream tools) being modeled in detail. We concluded that a limited number of furnaces upgrade is sufficient to sustain the capacity expansion. But the bottleneck was shifted to an upstream tool, which required the backup tool to be activated to manage the queue. A loading policy that constrains batches to queue at maximum time before loading into the furnaces has to be implemented to balance the efficiency at the furnaces and their downstream tools, without compromising on the cycle time.
Spectral feature projections that maximize Shannon mutual information with class labels
Authors: Umut Ozertem, Deniz Erdogmus, Robert Jenssen
Venue: Pattern Recognition (2006)

Determining optimal subspace projections that can maintain task-relevant information in the data is an important problem in machine learning and pattern recognition. In this paper, we propose a nonparametric nonlinear subspace projection technique that maintains class separability maximally under the Shannon mutual information (MI) criterion. Employing kernel density estimates for nonparametric estimation of MI makes possible an interesting marriage of kernel density estimation-based information theoretic methods and kernel machines, which have the ability to determine nonparametric nonlinear solutions for difficult problems in machine learning. Significant computational savings are achieved by translating the definition of the desired projection into the kernel-induced feature space, which leads to obtain analytical solution.
Removing examples and discovering Hierarchical Decision Rules: (Thesis) With Evolutionary Algorithms
Authors: Jesús S. Aguilar&dash;Ruiz
Venue: AI Communications (2001)

This paper describes an approach based on evolutionary algorithms, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete domains. The algorithm produces a hierarchical set of rules, that is, the rules are sequentially obtained and must be therefore tried in order until one is found whose conditions are satisfied. Due to the computational cost of the evolutionary algorithms, we have developed a preprocesing method to reduce the number of examples from the database. This method, named EOP (Editing by Ordered Projections), has some interesting characteristics, especially from the point of view of the application of axis&dash;parallel classifiers. We have tested our system on real data from the UCI Repository, and the results of a 10&dash;fold cross&dash;validation are compared to C4.5's and C4.5Rules'. The experiments showed that HIDER works well in practice.
A novel edge detection method based on the maximizing objective function
Authors: Chung-Chia Kang, Wen-June Wang
Venue: Pattern Recognition (2007)

This paper proposes a novel edge detection method for both gray level images and color images. The 3x3 mask in the image is considered and two pixel sets S"0 and S"1 in the mask are used to define an objective function. The values of the objective function corresponding to four directions determine the edge intensity and edge direction of each pixel in the mask. After all pixels in the image have been processed, the edge map and direction map are generated. Then we apply the non-maxima suppression method to the edge map and the direction map to extract the edge points. The proposed method can detect the edge successfully, while double edges, thick edges, and speckles can be avoided.
Simulation of the Pig Iron transportation system in companhia siderurgica tubarao: Arcelor group
Authors: Alain de Norman et d'Audenhove
Venue: Proceedings of the 38th conference on Winter simulation (2006)

The objective of this paper is to present the development of a simulation model involving materials handling in a large steel company from Arcelor Group. The project had a return of more than 2 million USD and points to a kind of application that seems to be a typical case where static analysis may cause great errors comparing to a dynamic one (because the results were also observed in another Brazilian steel company). The project focused in the processes involving pig iron transportation between the blast furnaces and its discharge in the steelmaking plant. It allowed the evaluation of several operational parameters such as for the 7.5 Mt/year production rhythm, a great increase from the actual production of 5 Mt/year. "Bottlenecks" in the flow were identified through the results and the scenarios gave the support to the decision of increasing the number of torpedo-cars and locomotives in the system.
Conflict Detection and Resolution in Context-Aware Authorization
Authors: Amirreza Masoumzadeh, Morteza Amini, Rasool Jalili
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

Pervasive computing environments introduce new requirements in expressiveness and flexibility of access control policies which are almost addressable leveraging contextual information. Although context-awareness augments the expressiveness of policies, it increases the probability of arising conflicts. Generally, context-aware authorizations are defined using some contextual constraints on the involved entities in an access request. Accordingly, principles like "more specific overrides", which are employed to resolve possible conflicts, are required to consider the contextual constraints. In this paper, we formalize the use of context constraints in a typical context-aware multi-authority policy model; each authority is capable of defining an expressive conflict resolution policy leveraging context-based precedence establishment principles. Based on the policy model, we propose a comprehensive graph-based approach to resolve conflicts. The strength of the approach is that conflict detection which requires context-based inference is almost done statically and resolution is left for run-time.