ppxscal/embedding_network huggingface dataset:
A genetic algorithm approach for multi-objective optimization of supply chain networks
Authors: Fulya Altiparmak, Mitsuo Gen, Lin Lin, Turan Paksoy
Venue: Computers and Industrial Engineering (2006)

Supply chain network (SCN) design is to provide an optimal platform for efficient and effective supply chain management. It is an important and strategic operations management problem in supply chain management, and usually involves multiple and conflicting objectives such as cost, service level, resource utilization, etc. This paper proposes a new solution procedure based on genetic algorithms to find the set of Pareto-optimal solutions for multi-objective SCN design problem. To deal with multi-objective and enable the decision maker for evaluating a greater number of alternative solutions, two different weight approaches are implemented in the proposed solution procedure. An experimental study using actual data from a company, which is a producer of plastic products in Turkey, is carried out into two stages. While the effects of weight approaches on the performance of proposed solution procedure are investigated in the first stage, the proposed solution procedure and simulated annealing are compared according to quality of Pareto-optimal solutions in the second stage.
Qualitative Physics for Movable Objects in MOUT
Authors: Suiping Zhou, Shang-Ping Ting
Venue: Proceedings of the 39th annual Symposium on Simulation (2006)

We describe our work on qualitative physics for modelling movable objects in Twilight City, a virtual environment for Military Operations on Urbanized Terrain (MOUT). Movable objects such as chairs, boxes, bottles, etc. are quite common in real life. However, the computational cost will be high if the exact physics laws are used to model the behaviour of these objects. To reduce the computational cost of simulating moveable objects in Twilight City, a framework for qualitative behaviour simulation has been proposed and integrated into our simulation engine. Example results show that the proposed framework is successful in modelling the dynamic behaviour of various movable objects in Twilight City in terms of human players' perceptions and responsiveness of the system.
Towards power and QoS aware wireless networks
Authors: Anastase Nakassis, Vladimir Marbukh
Venue: ACM SIGMETRICS Performance Evaluation Review (2006)

The paper studies the optimal use of energy in wireless networking, the feasibility region of tasks that share a multi-access channel, and efficient algorithms for determining if a given set of tasks and resources falls within the feasibility region.
Empirical evaluation of data-based density estimation
Authors: E. Jack Chen, W. David Kelton
Venue: Proceedings of the 38th conference on Winter simulation (2006)

This paper discusses implementation of a sequential procedure to estimate the steady-state density of a stochastic process. The procedure computes sample densities at certain points and uses Lagrange interpolation to estimate the density f (x). Even though the proposed sequential procedure is a heuristic, it does have strong basis. Our empirical results show that the procedure gives density estimates that satisfy a pre-specified precision requirement. An experimental performance evaluation demonstrates the validity of using the procedure to estimate densities.
A framework proposal for algorithm animation systems
Authors: Chih L. Yeh, Jeán H. Greyling, Charmain B. Cilliers
Venue: Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2006)

The studying and teaching of the analysis of algorithmic concepts can prove to be complex for both students and educators in algorithm courses. Traditional instructional aids such as textbook illustrations and other visual aids are attempts to address this challenge. A number of algorithm animation systems have emerged to address the limitation inherent in these static visual aids. One limitation of current algorithm animation systems is their restricted flexibility in terms of the simple addition of non-resident functionality, especially algorithms. This paper presents the design of an extensible framework for algorithm animation systems. A brief discussion on the development of a prototype using sorting algorithms based on the framework demonstrates the feasibility of the proposed design.
Survey of network-based defense mechanisms countering the DoS and DDoS problems
Authors: Tao Peng, Christopher Leckie, Kotagiri Ramamohanarao
Venue: ACM Computing Surveys (CSUR) (2007)

This article presents a survey of denial of service attacks and the methods that have been proposed for defense against these attacks. In this survey, we analyze the design decisions in the Internet that have created the potential for denial of service attacks. We review the state-of-art mechanisms for defending against denial of service attacks, compare the strengths and weaknesses of each proposal, and discuss potential countermeasures against each defense mechanism. We conclude by highlighting opportunities for an integrated solution to solve the problem of distributed denial of service attacks.
The industrialization of formal methods
Authors: John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
Venue: International Journal on Software Tools for Technology Transfer (STTT) (2006)

This special section contains papers based on work presented at the 12th International Symposium on Formal Methods (FM 2003) held at the CNR Research Campus in Pisa on 8&#x2013;13 September 2003. The papers all focus on tools and techniques for cost-effective application of formal methods on the industrial scale. The papers discuss a range of approaches, including the development of domain-specific and general-purpose techniques, and the construction of suites of cooperating but specialised tools. In spite of the diversity of approach, the papers share some themes, notably the levels of automation that are possible at appropriate levels of abstraction, and the incorporation of formal techniques within existing development paradigms. Although three papers cannot provide a comprehensive view, they do provide a useful &#x201c;snapshot&#x201d; of dominant concerns in industrial-strength formal methods today.
Process modelling support for the conceptual modelling phase of a simulation project
Authors: Cathal Heavey, John Ryan
Venue: Proceedings of the 38th conference on Winter simulation (2006)

While many developments have taken place around supporting the model coding task of simulation, there are few tools available to assist in the conceptual modelling phase. Several authors have reported the advantages of using process modelling tools in the early phases of a simulation project. This paper provides an overview of process modelling tools in relation to their support for simulation, categorizing the tools into formal method and descriptive methods. A conclusion from this review is that none of the tools available adequately support the requirements gathering phase of simulation. This is not surprising as none of the process modelling tools were developed for explicit support of simulation. The paper then presents results of research into developing a new process modelling method for simulation.
A comparison of transportation network resilience under simulated system optimum and user equilibrium conditions
Authors: Pamela M. Murray-Tuite
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Resilience is a characteristic that indicates system performance under unusual conditions, recovery speed, and the amount of outside assistance required for restoration to its original functional state. Resilience is important for daily events, such as vehicle crashes, and more extreme events, such as hurricanes and terrorist attacks. Transportation resilience has ten dimensions: redundancy, diversity, efficiency, autonomous components, strength, collaboration, adaptability, mobility, safety, and the ability to recover quickly. This paper examines the influence of the system optimal and user equilibrium traffic assignments on the last four dimensions. No widely accepted measurement of resilience is available for transportation systems; this paper presents multiple metrics for the four examined contributing components that will aid future development of a single measure of resilience. An application of these measures to a test network found that user equilibrium results in better adaptability and safety while system optimum yields better mobility and faster recovery.
MySQL in a Nutshell (In a Nutshell (O'Reilly))
Authors: Russell J. T. Dyer
Venue:  (2005)

MySQL is the world's most popular open source database. MySQL is designed for speed, power, and flexibility in mission-critical, heavy-use environments and modest applications as well. It's also surprisingly rich in features. If you're a database administrator or programmer you probably love the myriad of things MySQL can do, but sometimes wish there wasn't such a myriad of things to remember. With MySQL in a Nutshell by your keyboard, you can drill down into the full depth of MySQL's capabilities quickly and easily. MySQL in a Nutshell is the indispensable desktop reference to all MySQL functions. Programming language APIs for PHP, Perl, and C are covered, as well as all the popular MySQL utilities. This invaluable resource clearly documents the details that experienced users need to take full advantage of this powerful database management system. Better yet, this wealth of information is packed into the concise, comprehensive, and extraordinarily easy-to-use format for which the in a Nutshell guides are renowned. In addition to providing a thorough reference to MySQL statements and functions, the administrative utilities, and the most popular APIs, MySQL in a Nutshell includes several tutorial chapters to help newcomers get started. Moreover, each chapter covering an API begins with a brief tutorial so that, regardless of your level of experience in any given area, you will be able to understand and master unfamiliar territory. MySQL in a Nutshell distills all the vital MySQL details you need on a daily basis into one convenient, well-organized book. It will save you hundreds of hours of tedious research or trial and error and put the facts you need to truly tap MySQL's capabilities at your fingertips. 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
Portability events: a programming model for scalable system infrastructures
Authors: Chris Matthews, Yvonne Coady, Jonathan Appavoo
Venue: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems (2006)

Clustered Objects (COs) [1] have been proven to be an effective abstraction for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow COs to live outside the specialized environments of these operating systems and still provide benefit? This paper presents an overview of SCOPE (Scalable COs with Portability Events), a prototype user-level library derived from the original implementation of COs in the K42 OS. Our initial results indicate that not only do the benefits of COs hold, but that the notion of a "portability event", responsible for maintaining the runtime environment of COs, provides a powerful programming model that will enable COs to be seamlessly transplanted into systems beyond K42. This paper overviews this programming model, provides details and preliminary results from its prototype implementation in SCOPE, and provides motivation to consider simple language mechanisms to further support portability events and this programming model in general.
Foundations of documentation
Authors: T. D. C. Kuch
Venue: ACM SIGDOC Asterisk Journal of Computer Documentation (1975)

In vol. 2 nr. 1 of this newsletter I recommended a <u>Datamation</u> article by Karl M. Pearson Jr. I wrote him for his current thoughts on computer program documentation, and received the following interesting response:"At SDC, the system described in the articles [*] was used by the Technical Information Center staff to produce a printed software catalog that was published in June 1974. While several people made use of the catalog to locate software items they could take advantage of, most programmers and managers paid little attention to it. However, an updated catalog is scheduled for publication in the coming year. 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
Making a Movie in Premiere Elements: Visual QuickProject Guide
Authors: Jan Ozer
Venue:  (2005)

So you fancy yourself a filmmaker? Here to ensure that you truly are is a simple, to-the-point guide that leads you through the process of creating your very first digital video project with Adobe's brand-new consumer-level video editing software, Premiere Elements ($99). In these pages veteran author and PC Magazine contributing editor Jan Ozer gets right to the point: Rather than explore every option and feature of Premiere Elements, Jan uses project-based instruction and big, colorful screen shots to demonstrates the quickest, easiest, and smartest route to cinematic success. Each short lesson builds on the last as you learn how to capture and import video; add transitions, titles and effects; take advantage of the program's stunning templates; use the program with Photoshop Elements to edit and incorporate still images; and output your finished video to DVD. The book's small size and even smaller price ($12.99) make it the perfect entry point into the world of digital filmmaking as well as the ideal jumping-off point for further exploration. 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
SIMUL8-planner for composites manufacturing
Authors: Kim Hindle, Matt Duffin
Venue: Proceedings of the 38th conference on Winter simulation (2006)

SIMUL8-PLANNER is a simulation-based planning and scheduling tool that intelligently sequences product flow across the plant. Combining order planning with production modeling, SIMUL8-PLANNER can generate production schedules that satisfy delivery objectives and capacity limits. This paper examines a case study where the SIMUL8-PLANNER tool was used to answer the complex scheduling problem of sequencing part requirements through a Composites Manufacturing Center. First a production model was used to capture the current workings of plant processes and product flow. Next, a sequencing system was added to the production model in order to provide a powerful, flexible, and adaptive scheduling system for all of the work cells and machines within the facility, complete with links to the company's ERP / shop-floor data systems. SIMUL8-Planner provides a practical approach and powerful platform for developing, testing, and refining production schedules before they are released to the shop-floor in a virtual and risk-free setting. It offers a flexible and open scheduling system that can be used for a wide range of production scheduling applications.
Wireless network simulation extensions in SIDE/SMURPH
Authors: Pawel Gburzynski, Ioanis Nikolaidis
Venue: Proceedings of the 38th conference on Winter simulation (2006)

We describe the most recent step in the evolution of SIDE/SMURPH and, specifically, a generic model of a wireless channel, which enables to use the package for accurately modeling wireless networks, especially ad-hoc networks consisting of a potentially large number of possibly mobile nodes. The generic nature of the channel model allows the user to introduce functions describing the propagation characteristics of the actual wireless medium, e.g., the impact of distance on signal level and interference, as well as the relationship between the signal-to-interference ratio and the probability of a successful packet reception. To illustrate the capabilities of the supported extensions, we review an example of a shadowing channel model.
The traveling miser problem
Authors: David Breitgand, Danny Raz, Yuval Shavitt
Venue: IEEE/ACM Transactions on Networking (TON) (2006)

Various monitoring and performance evaluation tools generate considerable amount of low priority traffic. This information is not always needed in real time and often can be delayed by the network without hurting functionality. This paper proposes a new framework to handle this low priority, but resource consuming traffic in such a way that it incurs a minimal interference with the higher priority traffic. Consequently, this improves the network goodput. The key idea is allowing the network nodes to delay data by locally storing it. This can be done, for example, in the Active Network paradigm.In this paper we show that such a model can improve the network's goodput dramatically even if a very simple scheduling algorithm for intermediate parking is used. The parking imposes additional load on the intermediate nodes. To obtain minimal cost schedules we define an optimization problem called the traveling miser problem.We concentrate on the on-line version of the problem for a predefined route, and develop a number of enhanced scheduling strategies. We study their characteristics under different assumptions on the environment through a rigorous simulation study.We prove that if only one link can be congested, then our scheduling algorithm is O(log2 B) competitive, where B is congestion time, and is 3-competitive, if additional signaling is allowed.
The M/G/∞ system revisited: finiteness, summability, long range dependence, and reverse engineering
Authors: Iddo Eliazar
Venue: Queueing Systems: Theory and Applications (2007)

We explore M/G/&infin; systems 'fed' by Poissonian inflows with infinite arrival rates. Three processes --- corresponding to the system's state, workload, and queue-size --- are studied and analyzed. Closed form formulae characterizing the system's stationary structure and correlation structure are derived. And, the issues of queue finiteness, workload summability, and Long Range Dependence are investigated. We then turn to devise a 'reverse engineering' scheme for the design of the system's correlation structure. Namely: how to construct an M/G/&infin; system with a pre-desired 'target' workload/queue auto-covariance function. The 'reverse engineering' scheme is applied to various examples, including ones with infinite queues and non-summable workloads.
Windows Vista: The Missing Manual
Authors: David Pogue
Venue:  (2006)

Windows Vista is Microsoft's most important software release in more than a decade. It offers users an abundance of new and upgraded features that were more than five years in the making: a gorgeous, glass-like visual overhaul; superior searching and organization tools; a multimedia and collaboration suite; and above all, a massive, top-to-bottom security-shield overhaul. There's scarcely a single feature of the older versions of Windows that hasn't been tweaked, overhauled, or replaced entirely.But when users first encounter this beautiful new operating system, there's gonna be a whole lotta head-scratchin', starting with trying to figure out which of the five versions of Vista is installed on the PC (Home, Premium, Business, Enterprise, Ultimate).Thankfully, Windows Vista: The Missing Manual offers coverage of all five versions. Like its predecessors, this book from New York Times columnist, bestselling author, and Missing Manuals creator David Pogue illuminates its subject with technical insight, plenty of wit, and hardnosed objectivity for beginners, veteran standalone PC users, and those who know their way around a network. Readers will learn how to:Navigate Vista's elegant new desktopLocate anything on your hard drive quickly with the fast, powerful, and fully integrated search functionUse the Media Center to record TV and radio, present photos, play music, and record any of the above to DVDChat, videoconference, and surf the Web with the vastly improved Internet Explorer 7 tabbed browserBuild a network for file sharing, set up workgroups, and connect from the roadProtect your PC and network with Vista's beefed up securityAnd much more.This jargon-free guide explains Vista's features clearly and thoroughly, revealing which work well and which don't. It's the book that should have been in the box!
Photoshop LAB Color: The Canyon Conundrum and Other Adventures in the Most Powerful Colorspace
Authors: Dan Margulis
Venue:  (2005)

With a mantra like “There are no bad originals, only bad Photoshop operators,” you know best-selling author Dan Margulis is serious about exposing people to the magic of Photoshop. Nowhere is that magic more apparent than in its LAB color processing capabilities, which can make even the subtle canyon colors of rock, sand, and dirt come to vivid life. However, you may be wary of taming the complex beast. Here's your guide! In these pages, Dan shows that you can derive enormous benefits from just a few simple tools and techniques. He also demonstrates that you can take these techniques as far as you wish, employing the power-user features he describes in later chapters. Starting with canyons and progressing to faces, you will see just how quickly you can begin improving your images by following the “recipes” included here. Each chapter includes a sidebar with review questions and exercises as well as a “Closer Look” section that examines some of the principles behind the techniques. A CD includes exercise files.
Quantitative Disjunctive Logic Programming: semantics and computation
Authors: Cristinel Mateis
Venue: AI Communications (2000)

A new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values is introduced. Each (quantitative) rule is assigned a certainty degree interval (a subinterval of [0,1]). The propagation of uncertainty information from the premises to the conclusion of a quantitative rule is achieved by means of triangular norms (T&dash;norms). Different T&dash;norms induce different semantics for one given quantitative program. In this sense, QDLP is parameterized and each choice of a T&dash;norm induces a different QDLP language. Each T&dash;norm is eligible for events with determinate relationships (e.g., independence, exclusiveness) between them. Since there are infinitely many T&dash;norms, it turns out that there is a family of infinitely many QDLP languages. This family is carefully studied and the set of QDLP languages which generalize traditional DLP is precisely singled out. Algorithms for computing the minimal models of quantitative programs are proposed.