ppxscal/embedding_network huggingface dataset:
A Certified Email Protocol Using Key Chains
Authors: J. Cederquist, M. Torabi Dashti, S. Mauw
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

This paper introduces an asynchronous optimistic certified email protocol, with stateless recipients, that relies on key chains to considerably reduce the storage requirements of the trusted third party. The proposed protocol thereby outperforms the existing schemes that achieve strong fairness. The paper also discusses the revocation of compromised keys as well as practical considerations regarding the implementation of the protocol.
An object-oriented framework for simulating automatic data collection systems
Authors: Manuel D. Rossetti, Bradley J. Hobbs, Paul D. Faas
Venue: Proceedings of the 38th conference on Winter simulation (2006)

In this paper, we discuss the design and use of a proto-type object-oriented framework for simulating automatic data collection systems within their operational contexts. We motivate the purpose of the framework and how the framework can be used through the use of a simple scenario on an airbase. In addition, we overview the design by examining the major conceptual artifacts within the object-oriented model. The framework is built on a Java Simulation Library (JSL) and permits easy modeling and execution of simulation models. The results and discussion indicate the flexibility and power of modeling with the framework. Finally, we summarize our future research efforts to model more complicated automatic collection systems which include health monitoring systems within the Air Force's new sense and respond logistics paradigm.
Aix and Linux Interoperabilty (Ibm Redbooks)
Authors: Abhijit Chavan
Venue:  (2003)

Effective centralized user management in AIX 5L and Linux environments Sharing files and printers between AIX 5L and Linux systems Learn interoperable networking solutions This IBM Redbook discusses interoperability in terms of UNIX to UNIX cross platform data sharing and user/system management. This redbook also demonstrates the similarities and differences between the AIX and Linux operating systems. This redbook is intended to help IT specialists who have AIX systems and Linux systems in their environments understand how to integrate and optimize AIX systems in a Linux environment and share AIX resources with Linux systems. We have focused our descriptions on the following areas: - User management - Networking - Data sharing - System management - Security - Linux for IBM eServer pSeries and RS/6000 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
Avoiding logical omniscience and perfect reasoning&colon; a survey
Authors: Antonio Moreno
Venue: AI Communications (1998)

Beliefs have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they seem to commit us to model agents that are logically omniscient (they believe every classical tautology) and perfect reasoners (their beliefs are closed under classical deductive closure). Thus, this model does not seem to be appropriate to model non&dash;ideal agents, that have resource limitations that can prevent them from attaining such levels of doxastic competence. This article contains a statement of these problems and a survey of some of the most interesting approaches that have been suggested to overcome them.
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1
Authors: W. T. Tsai, Chun Fan, Yinong Chen, Ray Paul
Venue: Proceedings of the 39th annual Symposium on Simulation (2006)

This paper presents the DDSOS framework developed at Arizona State University, which supports the simulation, development, and evaluation of large scale distributed systems such as network-centric and system-of-systems applications. The distinct features of the framework include automated simulation code generation from the specification, code deployment, simulation of different architectures with a templatebased platform builder, service-oriented multi-agent simulation for easy reconfiguration, and dynamic analyses of results from evaluation and monitoring. The framework and the associated tools have been implemented and applied in several governmental and industrial projects.
ilife '05 (Missing Manual)
Authors: David Pogue
Venue:  (2005)

The incomparable iLife '05 is the must-have multimedia suite for everyone who owns a Mac--and the envy of everyone who doesn't. iLife '05: The Missing Manual is the definitive iLife '05 book--and what should have come with the suite. There's no better guide to your iLife experience than the #1 bestselling Macintosh author and expert--and Missing Manual series creator--David Pogue. Totally objective and utterly in-the-know, Pogue highlights the newest features, changes, and improvements of iLife '05, covers the capabilities and limitations of each program within the suite, and delivers countless goodies that you won't find anywhere else: undocumented tips, tricks, and secrets for getting the best performance out of every iLife application. Pogue examines all five programs in iLife '05, including: iTunes 4.7. The digital jukebox software for Mac (and Windows) rips songs from music CDs onto your hard drive, organizes and plays your music collection, lets you buy songs from the iTunes Music Store, and syncs all your music with your iPod.iPhoto 5. With iPhoto 5, you can pull photos from digital cameras and then organize and present them as a slideshow, desktop picture, screen saver, email attachment, web page, DVD, printout, or hardbound photo book.iMovie HD. Now you can easily import and edit video from the newest High Definition camcorders and even little flash media video cams in all the latest formats. You can turn those seemingly endless home movies into short, fun, tightly edited, top-quality highlight reels that friends and family actually beg to watch.iDVD 5. Transform your iMovie productions and digital slideshows into Hollywood-style DVDs that play on everyday DVD players.GarageBand 2. This critically acclaimed program turns a Mac into a digital music-recording studio. With your authoritative, witty, full color, all-inclusive iLife '05: The Missing Manual at the ready, there's nothing standing between you and professional-caliber music, photos, movies, and more.
Modelling stylized features in default rates: Research Articles
Authors: Emanuele Taufer
Venue: Applied Stochastic Models in Business and Industry (2007)

We propose a stochastic model for the probability of default based on diffusions with given marginal distribution and autocorrelation function. The model tries to capture stylized features observed in historical default rates and is analytically tractable. Estimation procedures and expressions for analysis and prediction are provided. Copyright &copy; 2006 John Wiley & Sons, Ltd.
An "Out-of-Kilter" network tutorial
Authors: H. S. Swanson, R. E. D. Woolsey
Venue: Issue 13 (January 1973) (1973)

Network flow algorithms have been developed to handle a special class of linear programming problems. These problems may each be described by a network whose links carry flow. Network algorithms take advantage of this special structure to produce an optimal solution much more quickly, with less storage required, and with virtually no round off error in comparison with general linear programming codes. The objective of this paper is to introduce the reader to the basic ideas involved in formulating a network problem, and to explain in a non-technical manner what the "out-of-kilter" network algorithm (1) <u>does</u>. This algorithm is very general and extremely efficient in solving network flow cost problems (as opposed to CPM, PERT, and GERT type networks).
Macromedia Dreamweaver 8 for Windows & Macintosh (Visual QuickStart Guide)
Authors: Tom Negrino, Dori Smith
Venue:  (2005)

Even if you've never used Macromedia Dreamweaver before, this Visual QuickStart Guide will have you up and running with Macromedia's popular Web authoring program in no time. In this completely updated edition of our best-selling guide to Macromedia Dreamweaver, leading technology authors Tom Negrino and Dori Smith use their trademark crystal-clear instructions and friendly prose to introduce you everything that's new in Dreamweaver 8. Filled with step-by-step, task-based instructions and loads of visual aids, this book explains how to use all of the program's visual layout tools, application development features, and code editing support to create stunning, accessible Web sites. Along the way, you'll find extensive coverage of all the program's new features: drag-and-drop integration of XML data feeds, improved CSS support, advanced style rendering toolbar, the industry's first integrated Web accessibility evaluation tool for Section 508 and WCAG 2 checkpoints, and more!
Practice and analysis of an extension course for training trainers of embedded software
Authors: Masaki Yamamoto, Shinya Honda, Hiroaki Takada, Kiyoshi Agusa, Hiroyuki Tomiyama, Kenji Mase, Nobuo Kawaguchi, Nobuyuki Kaneko
Venue: ACM SIGBED Review (2007)

The embedded system industry in Japan needs more and more embedded software engineers. In 2004, Nagoya University has started an extension course program for embedded software engineers, called NEXCESS (Nagoya university EXtension Courses for Embedded Software Specialists). In the first year of NEXCESS, we have got aware of the tremendous need for the introductory-level courses. With this demand, in the second year, we have started a new course to train future trainers of embedded software. After completion of the trainer course, they are expected to train introductory-level embedded software engineers at their companies. This paper reports our practice and analysis of the extension course for embedded software trainers.
A visual aproach to enhance discrete-event simulation model interoperability
Authors: Tai-Chi Wu, Allen Greenwood
Venue: Proceedings of the 38th conference on Winter simulation (2006)

With the continued advance of discrete-event simulation technology, various software packages have evolved that greatly facilitate the development and analysis of discrete-event simulation models. However, each of these applications uses different approaches and terminology for representing the behavior of the systems being studied. As a result of this disparity in implementations, models developed in different applications cannot interact with other models. Also, the disparity makes it more difficult for humans to understand the models. In this work, a visual modeling approach is proposed that allows the modeler, and those not expert in simulation, to create conceptual models that are independent of the implementation application. The approach uses eight common simulation elements. This approach facilitates the model interactions at the model formulation stage and at the application stage.
Aix 5L Differences Guide Version 5.2 Edition
Authors: Marc Bouzigues
Venue:  (2002)

AIX - The industrial strength UNIX operating system An expert's guide to the new release Version 5.0 through 5.2 enhancements explained This IBM Redbook focuses on the differences introduced in AIX 5L through Version 5.2 when compared to AIX Version 4.3.3. It is intended to help system administrators, developers, and users understand these enhancements and evaluate potential benefits in their own environments. AIX 5L introduces many new features, including Linux and System V affinity, dynamic LPAR, multipath I/O, 32- and 64-bit kernel and application support, virtual IP, Quality of Service enhancements, enhanced error logging, dynamic paging space reduction, hot-spare disk management, advanced Workload Manager, JFS2 snapshot image, and others. The availability of Web-based System Manager for Linux continues AIX's move towards a standard, unified interface for system tools. There are many other enhancements available with AIX 5L, and you can explore them in this redbook. For customers who are familiar with AIX 5L Version 5.1, features that are new in AIX 5L Version 5.2 are indicated by a version number (5.2.0) in the title of the section. 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
Sams Teach Yourself Microsoft Office FrontPage 2003 in 24 Hours, First Edition
Authors: Rogers Cadenhead
Venue:  (2003)

For readers who are new to FrontPage and want to get up and running quickly, Sams Teach Yourself Microsoft FrontPage 2003 in 24 Hours will do the trick. This book includes shortcuts and ways to accomplish the most common tasks in FrontPage. Readers are able to work at their own pace through the easily digestible, one-hour lessons. After completing the lessons, the reader will have a solid foundation of the basics and know the most efficient way to utilize the new version of FrontPage.
A markup language for describing interactive humanoid robot presentations
Authors: Yoshitaka Nishimura, Shinichiro Minotsu, Hiroshi Dohi, Mitsuru Ishizuka, Mikio Nakano, Kotaro Funakoshi, Johane Takeuchi, Yuji Hasegawa, Hiroshi Tsujino
Venue: Proceedings of the 12th international conference on Intelligent user interfaces (2007)

This paper presents a multi-modal presentation markup language for humanoid robots, MPML-HR ver. 3.0, which is able to describe presentation contents including speech-based interactions with audiences. Previous versions of MPML-HR do not feature any interaction functionality which dynamically changes the presentation according to the utterances by audiences, although such interaction makes the presentation more effective and understandable. Since MPML-HR ver. 3.0 inherits simple descriptions of previous versions of MPML-HR, the content designer can describe interactive presentations without configuring conventional complicated multi-modal interactive systems.
Fabrication of RF MEMS variable capacitors by deep X-ray lithography and electroplating
Authors: Sven Achenbach, David Klymyshyn, Darcy Haluzan, Timo Mappes, Garth Wells, J&#x00fc;rgen Mohr
Venue: Microsystem Technologies (2006)

Radio frequency micro electro-mechanical systems (RF MEMS) vertical cantilever variable capacitors fabricated using deep X-ray lithography and electroplating are presented. Polymethylmethacrylate (PMMA) layers of 100&#x00a0;&#x03bc;m and 150&#x00a0;&#x03bc;m have been patterned and electroplated with 70&#x00a0;&#x03bc;m and 100&#x00a0;&#x03bc;m thick nickel. A 3&#x00a0;&#x03bc;m thick titanium layer was used as plating base as well as etch time-controlled sacrificial layer for the release of the cantilever beam. The parallel plate layout includes narrow gaps and cantilever beams with an aspect ratio in nickel of up to 60 for 1&#x00a0;mm long features. Auxiliary structures support the beams and gaps during the processing. Room temperature electroplating significantly reduces the risk of deformations compared to the standard process temperature of 52&#x00b0;C. The capacitors operate in the 1&#x2013;5&#x00a0;GHz range, and demonstrate good RF performance, with quality factors on the order of 170 at 1&#x00a0;GHz for a 1&#x00a0;pF capacitance.
A Minimal Solution to the Generalised 3-Point Pose Problem
Authors: David Nistér, Henrik Stewénius
Venue: Journal of Mathematical Imaging and Vision (2007)

It is a well known classical result that given the image projections of three known world points it is possible to solve for the pose of a calibrated perspective camera to up to four pairs of solutions. We solve the Generalised problem where the camera is allowed to sample rays in some arbitrary but known fashion and is not assumed to perform a central perspective projection. That is, given three back-projected rays that emanate from a camera or multi-camera rig in an arbitrary but known fashion, we seek the possible poses of the camera such that the three rays meet three known world points. We show that the Generalised problem has up to eight solutions that can be found as the intersections between a circle and a ruled quartic surface. A minimal and efficient constructive numerical algorithm is given to find the solutions. The algorithm derives an octic polynomial whose roots correspond to the solutions. In the classical case, when the three rays are concurrent, the ruled quartic surface and the circle possess a reflection symmetry such that their intersections come in symmetric pairs. This manifests itself in that the odd order terms of the octic polynomial vanish. As a result, the up to four pairs of solutions can be found in closed form. The proposed algorithm can be used to solve for the pose of any type of calibrated camera or camera rig. The intended use for the algorithm is in a hypothesise-and-test architecture.
Adobe InDesign CS/CS2 Breakthroughs
Authors: David Blatner
Venue:  (2005)

Adobe InDesign is taking the publishing world by storm and users are hungry for breakthrough solutions to their myriad concerns-from how best to manage the program's sometimes unwieldy interface to how to produce quality PDF files. Page-layout guru David Blatner and veteran trainer Anne-Marie "HerGeekness" Concepción have scoured the online forums, interviewed Adobe engineers, and gathered together answers to over 200 of the most-commonly asked questions. Written in a sassy, fun-to-read style, this book tackles every major InDesign problem with a lay-it-on-the-line solution. Adobe InDesign CS/CS2 Breakthroughs is for anyone who has been using InDesign long enough to realize that the solution to their problems isn't always as obvious as one would expect.
Implementing minimum cycle basis algorithms
Authors: Kurt Mehlhorn, Dimitrios Michail
Venue: Journal of Experimental Algorithmics (JEA) (2007)

In this paper, we consider the problem of computing a minimum cycle basis of an undirected graph G &equals; (V,E) with n vertices and m edges. We describe an efficient implementation of an O(m3 &plus; mn2 log n) algorithm. For sparse graphs, this is the currently best-known algorithm. This algorithm's running time can be partitioned into two parts with time O(m3) and O(m2n &plus; mn2 log n), respectively. Our experimental findings imply that for random graphs the true bottleneck of a sophisticated implementation is the O(m2 n &plus; mn2 log n) part. A straightforward implementation would require &Omega;(nm) shortest-path computations. Thus, we develop several heuristics in order to get a practical algorithm. Our experiments show that in random graphs our techniques result in a significant speed-up. Based on our experimental observations, we combine the two fundamentally different approaches to compute a minimum cycle basis to obtain a new hybrid algorithm with running time O(m2n2). The hybrid algorithm is very efficient, in practice, for random dense unweighted graphs. Finally, we compare these two algorithms with a number of previous implementations for finding a minimum cycle basis of an undirected graph.
Experiments with deterministic ω-automata for formulas of linear temporal logic
Authors: Joachim Klein, Christel Baier
Venue: Theoretical Computer Science (2006)

This paper addresses the problem of generating deterministic ω-automata for formulas of linear temporal logic, which can be solved by applying well-known algorithms to construct a nondeterministic Büchi automaton for the given formula on which we then apply a determinization algorithm. We study here in detail Safra's determinization algorithm, present several heuristics that attempt to decrease the size of the resulting automata and report on experimental results.
A novel image-hiding scheme based on block difference
Authors: Suk-Ling Li, Kai-Chi Leung, L. M. Cheng, Chi-Kwong Chan
Venue: Pattern Recognition (2006)

To transmit a secret-image securely by embedding it into a cover-image without drawing the unintended observer's attention, a novel image-hiding scheme is proposed. By exploring the block correlation between the cover-image and the secret-image, the stego-image quality can be greatly improved. Experimental results demonstrate that the stego-image has a high peak signal-to-noise ratio and the stego-image is almost the same as the cover-image.
The effects of backorder information and reduced-setup dispatching under reorder point or Kanban replenishment
Authors: S. T. Enns
Venue: Proceedings of the 38th conference on Winter simulation (2006)

This research considers a single-stage, capacity-constrained workstation with circulating transporters used for replenishment and independent customer demand for completed parts. Characteristics of reorder point versus Kanban replenishment are examined. One objective is to determine the usefulness of backorder information for upstream order placement. A second objective is to investigate the benefits of dispatching based on setup time reduction. Performance is measured in terms inventory counts and the proportion of customer orders filled from stock. The area under tradeoff curves is used to evaluate comparisons statistically. Results show backorder information and setup time reduction both improve performance and that interaction effects are not significant. This indicates that reorder point systems can outperform Kanban systems whether or not dispatching based on setup time reduction is used.
Existence results for inequality problems on various subsets of Banach spaces and applications
Authors: Cristian Vladimirescu
Venue: Journal of Global Optimization (2007)

Several existence results for a class of perturbed inequality problems on various subsets of Banach spaces are proved. A concrete application to a problem from Nonsmooth Mechanics illustrates is given.
A heuristic for learning decision trees and pruning them into classification rules
Authors: José Ranilla, Oscar Luaces, Antonio Bahamonde
Venue: AI Communications (2003)

Let us consider a set of training examples described by continuous or symbolic attributes with categorical classes. In this paper we present a measure of the potential quality of a region of the attribute space to be represented as a rule condition to classify unseen cases. The aim is to take into account the distribution of the classes of the examples. The resulting measure, called impurity level, is inspired by a similar measure used in the instance-based algorithm IB3 for selecting suitable paradigmatic exemplars that will classify, in a nearest-neighbor context, future cases. The features of the impurity level are illustrated using a version of Quinlan's well-known C4.5 where the information-based heuristics are replaced by our measure. The experiments carried out to test the proposals indicate a very high accuracy reached with sets of classification rules as small as those found by RIPPER.