ppxscal/embedding_network huggingface dataset:
An inexact-restoration method for nonlinear bilevel programming problems
Authors: R. Andreani, S. L. Castro, J. L. Chela, A. Friedlander, S. A. Santos
Venue: Computational Optimization and Applications (2009)

We present a new algorithm for solving bilevel programming problems without reformulating them as single-level nonlinear programming problems. This strategy allows one to take profit of the structure of the lower level optimization problems without using non-differentiable methods. The algorithm is based on the inexact-restoration technique. Under some assumptions on the problem we prove global convergence to feasible points that satisfy the approximate gradient projection (AGP) optimality condition. Computational experiments are presented that encourage the use of this method for general bilevel problems.
Stable multi-project scheduling of airport ground handling services by heterogeneous agents
Authors: Xiaoyu Mao, Nico Roos, Alfons Salden
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1 (2009)

This paper addresses decentralized multi-project scheduling under uncertainty. The problem instance we study is the scheduling of airport ground handling services, where aircraft turnarounds can be seen as multiple projects, ground handling services as activities, and service providers as resources. In this environment aircraft requiring ground handling services and the corresponding service providers are self-interested autonomous parties. Moreover, the environment is well-known for its large number of disturbances. We employ a heterogeneous multiagent scheduling framework with two types of autonomous agents representing aircraft and ground service providers respectively. We use online scheduling to cope with uncertainty in the release time of project: the uncertainty in aircraft arrival time at an airport. To balance the interests of the two types of agents in this heterogeneous multiagent system, we propose a market-based mechanism to assign time slots to aircraft turnaround activities. We study the use of this mechanism in a cooperative and a non-cooperative setting. In a dynamic environment such as airport ground handling, the execution of project schedules may be invalidated by various disruptions. As a result project agents may incur high costs if they have to reschedule some of their activities. The insertion of slack time between activities is a well known solution. The delay cost incurred by inserting slack should balance the expected costs of rescheduling some activities. Since in a dynamic multiagent system it is hard to analytically calculate optimal slack time between activities, we propose that agents determine these slack time using a co-evolutionary learning approach. Experiment show that our decentralized scheduling approach scores on average as high as well-established OR-based heuristics, and that slack times to keep a schedule stable can be learned.
Temporal Qualification and Change with First--Order Binary Predicates
Authors: Pierre Grenon
Venue: Proceeding of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006) (2006)

Some temporal ontologies require a way of enforcing the temporal qualification of certain assertions---those about changing entities. In a knowledge representation language based on first--order logic, this is straightforwardly done by having a category of temporal regions and augmenting predicates with an additional argument place for the time at which a given predicate holds. Here, I address the problem of representing entities changing over time and enforcing temporal qualification in first--order languages with predicates at most binary. It is possible, I argue, using temporal entities known as perdurants (events or processes)---towards which binary languages seem prima facie biased. There is however virtually no ontological cost for an ontology which in addition to changing entities recognizes changes, events and processes. Temporal knowledge representation therefore is not a lost cause even with languages with syntax and semantics limited to the representation of binary relations.
Model-Driven approach to Software Architecture design
Authors: Daniel Perovich, Maria Cecilia Bastarrica, Cristian Rojas
Venue: Proceedings of the 2009 ICSE Workshop on Sharing and Reusing Architectural Knowledge (2009)

Software Architecture (SA) allows for early assessment of and design for quality attributes of a software system, and it plays a critical role in current software development. However, there is no consensus on fundamental issues such as design methods and representation organization and languages, and current proposals lack specificity and preciseness. Thus, it is extremely difficult to build a complete and appropriate software architecture, even though it is recognized as a fundamental artifact. In this paper we define an architecture design method that enables the systematic and assisted construction of the SA of Enterprise Applications, taking into account major quality attributes involved in this family of systems. We apply Model-Driven Engineering techniques to achieve this goal. The architecture is treated as a mega-model (a model composed of related models) and the application of design decisions is encoded in terms of model transformations. The architectural rationale is explicitly registered as the set of transformations that yields the complete SA from scratch. We illustrate the application of the approach by designing the SA of a case study from the literature.
Smart library: RFID implementation in libraries
Authors: Angela Repanovici, Mihai Turcanu, Luciana Cristea, Mihaela Baritz, Ioana Moisil
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

Radio Frequency Identification (RFID) is an exciting new technology being applied within libraries. Today, more and more libraries are using RFID as it brings new functionality, such as multiple item checkout and check-in, rapid inventories on shelves, and book returns with instant item identification, automatic re-activation of the anti-theft function and database update. Recent notoriety about RFID has lead to a degree of confusion and misinformation surro?nding the technology.
Parametric model order reduction for squeeze film damping in perforated microstructures
Authors: Honglong Chang, Yafei Zhang, Jinghui Xu, Weizheng Yuan
Venue: Microsystem Technologies (2009)

In this paper, a parametric model order reduction (PMOR) method was presented to firstly extract the macromodels of squeeze film damping in perforated microstructures. The various design variables such as flow impedance of perforations, viscosity, ambient pressure, plate thickness and gap separation were preserved in the model order reduction (MOR) process. Thus when these parameters change, the extracted parametric macromodels could be reused parametrically instead of repeating the time-consuming MOR process in the traditional way. A micromachined capacitive accelerometer was used to demonstrate the feasibility and efficiency of the PMOR method for the squeeze film damping in perforated microstructures. The maximum relative error is less than 0.3% while the computational efficiency improves about 11 times compared with finite element method.
Micro-electroforming metallic bipolar electrodes for mini-DMFC stacks
Authors: Ruey Fang Shyu, Hsiharng Yang, Jun-Han Lee
Venue: Microsystem Technologies (2009)

This paper describes the development of metallic bipolar plate fabrication using micro-electroforming process for mini-DMFC (direct methanol fuel cell) stacks. Ultraviolet (UV) lithography was used to define micro-fluidic channels using a photomask and exposure process. Micro-fluidic channels mold with 300&#x00a0;&#x03bc;m thick and 500&#x00a0;&#x03bc;m wide were firstly fabricated in a negative photoresist onto a stainless steel plate. Copper micro-electroforming was used to replicate the micro-fluidic channels mold. Following by sputtering silver (Ag) with 1.2&#x00a0;&#x03bc;m thick, the metallic bipolar plates were completed. The silver layer is used for corrosive resistance. The completed mini-DMFC stack is a 3.5&#x00a0;&#x00d7;&#x00a0;3.5&#x00a0;cm2 fuel cell stack including a 1.5&#x00a0;&#x00d7;&#x00a0;1.5&#x00a0;cm2 MEA (membrane electrode assembly). Several MEAs were assembly into mini-DMFC stacks using the completed metallic bipolar plates. All test results showed the metallic bipolar plates suitable for mini-DMFC stacks. The maximum output power density is 9.3&#x00a0;mW/cm2 and current density is 100&#x00a0;mA/cm2 when using 8 vol.% methanol as fuel and operated at temperature 30&#x00b0;C. The output power result is similar to other reports by using conventional graphite bipolar plates. However, conventional graphite bipolar plates have certain difficulty to be machined to such micro-fluidic channels. The proposed micro-electroforming metallic bipolar plates are feasible to miniaturize DMFC stacks for further portable 3C applications.
When printed hypertexts go digital: information extraction from the parsing of indices
Authors: Matteo Romanello, Monica Berti, Alison Babeu, Gregory Crane
Venue: Proceedings of the 20th ACM conference on Hypertext and hypermedia (2009)

Modern critical editions of ancient works generally include manually created indices of other sources quoted in the text. Since indices can be considered as a form of domain specific language, the paper presents a parsing-based approach to the problem of extracting information from them to support the creation of a collection of fragmentary texts. This paper first considers the characteristics and structure of quotation indices and their importance when dealing with fragmentary texts. It then presents the results of applying a fuzzy parser to the OCR transcription of an index of quotations to extract information from potentially noisy input.
Boolean Constraints for XML Modeling
Authors: Sven Hartmann, Sebastian Link, Thu Trinh
Venue: Proceeding of the 2009 conference on Information Modelling and Knowledge Bases XX (2009)

The study of integrity constraints has been identified as one of the major challenges in XML database research. The main difficulty is finding a balance between the expressiveness and the existence of automated reasoning tools for different classes of constraints. In this paper we define Boolean constraints for XML by exploring homomorphisms between XML data trees and XML schema graphs. These constraints are naturally exhibited by XML data due to its nested structure. We demonstrate, in contrast to many other proposals, that reasoning about Boolean constraints is well-founded. That is, we establish that the interaction between Boolean constraints corresponds precisely to the logical implication of Boolean propositional formulae. Therefore, our Boolean constraints do not only capture valuable semantic information about XML data but also permit reasoning support by off-the-shelf SAT solvers. Finally, we identify a few subclasses of Boolean constraints for which the implication problem can be solved efficiently.
"GridWorld" makes for a great world
Authors: Bob Allen, Laurie White
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

The Advanced Placement Computer Science curriculum has used case studies since 1995. For the 2008 examination, the APCS curriculum introduced the GridWorld Case Study. Students who have grown up in a world of computers want to be able to do something more exciting than compute the average of a list of numbers or the price of an order in their initial programming class. GridWorld allows students to manipulate animated graphical objects before they even know how to write a line of Java code. It provides an early introduction to methods with and without parameters. Students can easily see the inheritance chain and start extending classes in a natural way almost as soon as they start programming. The first portion of this workshop will introduce the participants to the GridWorld environment allowing them to explore GridWorld through a series of guided activities which demonstrate inheritance and class interaction. Participants will then be shown examples of how GridWorld has been used in a typical CS-1 course including class examples and actual lab assignments. While the first objects in the case study are bugs, it is easy to use GridWorld with almost any domain. We will provide examples of racers and a population with a simple infection in the workshop material. Finally this workshop will demonstrate its suitability to motivate early involvement of young people to conduct research through simulation and modeling.
Brief paper: A cooperative Homicidal Chauffeur game
Authors: Shaunak D. Bopardikar, Francesco Bullo, João P. Hespanha
Venue: Automatica (Journal of IFAC) (2009)

We address a pursuit-evasion problem involving an unbounded planar environment, a single evader and multiple pursuers moving along curves of bounded curvature. The problem amounts to a multi-agent version of the classic Homicidal Chauffeur problem; we identify parameter ranges in which a single pursuer is not sufficient to guarantee evader capture. We propose a novel multi-phase cooperative strategy in which the pursuers move in specific formations and confine the evader to a bounded region. The proposed strategy is inspired by the hunting and foraging behaviors of various fish species. We characterize the required number of pursuers for which our strategy is guaranteed to lead to confinement.
An optimization of Chebyshev's method
Authors: J. A. Ezquerro, M. A. Hernández
Venue: Journal of Complexity (2009)

From Chebyshev's method, new third-order multipoint iterations are constructed with their efficiency close to that of Newton's method and the same region of accessibility.
EAVA: A 3D Emotive Audio-Visual Avatar
Authors: Hao Tang, Yun Fu, Jilin Tu, Thomas S. Huang, Mark Hasegawa-Johnson
Venue: Proceedings of the 2008 IEEE Workshop on Applications of Computer Vision (2008)

Emotive audio-visual avatars have the potential of significantly improving the quality of Human-Computer Interaction (HCI). In this paper, the various technical approaches of a novel framework leading to a text-driven 3D Emotive Audio-Visual Avatar (EAVA) are proposed. Primary work is focused on 3D face modeling, realistic emotional facial expression animation, emotive speech synthesis, and the co-articulation of speech gestures (i.e., lip movements due to speech production) and facial expressions. Experimental results clearly indicate that a certain degree of naturalness and expressiveness has been achieved by EAVA in both audio and visual aspects. Promising potential improvements can be expected by incorporating various data-driven statistical learning models into the framework.
Real-time ocean surge warning system, meadowlands district of New Jersey
Authors: Francisco Artigas, Soon Ae Chun, Yogi Sookhu
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

Low-lying coastal, residential and industrial areas are of great concern to emergency managers because of their susceptibility to tidal flooding and sea level surge. Fairly accurate warnings of sea surges do exist, as does information about property and infrastructure elevation; however, few spatially explicit warning systems are currently operational. Water level predictions, along with property and infrastructure elevation and real-time conditions of tide-gates, are key elements to any ocean surge warning system. Moreover, maps and associated demographics showing affected areas must reach emergency managers in a timely fashion. This work, conducted and sponsored by a State regional planning agency (New Jersey Meadowlands Commission, NJMC) integrates existing surge warnings from NOAA, sensor readings from tide gates and spatial information about the Meadowlands Estuary of New Jersey into a real-time ocean surge warning system. At least three hours in advance of high water the system produces detailed maps of 14 Municipalities in the estuary showing properties most likely to be affected. A sensor system deployed at critical tide-gates continuously reports on water levels and is used to re-draw maps in case of catastrophic tide-gate failure. Versions of these maps and their associated property information are automatically emailed to a subscriber based list of emergency managers and town officials. Finally, during and after each event, 14 pre-defined locations are field inspected and used for model recalibration. The study describes how tide-gates are remotely monitored, how models are recalibrated and how the information is integrated and automatically communicated to emergency responders.
Analysing the true Contribution of Decision Support Tools to Decision Making --Case Studies in Irish Organisations
Authors: Mary Daly, Frédéric Adam, Jean-Charles Pomerol
Venue: Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges (2008)

There is abundant evidence that the current business environment is pushing firms to invest increasing amounts of resources in sourcing state of the art IT capability. Some of this investment is directed towards developing the decision support capability of the firm and it is important to measure the extent to which this deployment of decision support is having a positive impact on the decision making of managers. Using existing theories, namely an adaptation of Humphreys' representation levels (Humphreys, 1989), to classify the type of support which managers can get from their decision support tools, we investigated the portfolio of decision related applications available to managers in 5 Irish firms. Our findings indicate that not all firms can achieve the development of decision support tools across all the categories of the framework. Managers need to be able to spell out the problems they are facing, but also need to be in a situation where they have clear incentives to make the efforts required in investigating high level problems, before firms can be observed to have a complete portfolio of decision support tools, not merely a collection of static reporting tools.
The Rough Guide to iPods, iTunes, and Music Online 5, 5th edition
Authors: Peter Buckley, Duncan Clark
Venue:  (2007)

The updated 5th edition of the "Rough Guide to iPods, iTunes & music online" is the ultimate companion to the defining gadget of the digital music era - and an essential guide to music and video on the Net, on your PC or Mac, and in your pocket. This new edition provides full coverage of the latest Apple models, including the iPod classic, iPod nano, iPod shuffle, and the iPod touch. All the latest accessories and software are road-tested with new-look iTunes 7 covered in full detail. This bestselling guide includes a fully revamped section on iTunes and Movies/Video, including the low-down on the new "Apple TV" hardware. Everything you need to know about buying music from the iTunes Music Store, as well as "iTunes Plus", which offers high-quality, DRM-free music. This book helps you discover how to select the right model and get the best deal, how to import your CDs and DVDs and manage your music and video library, how to digitize music from vinyl or cassette and download from the best online sites and stores, all this plus much, much more.Whether you already have an iPod or youre thinking of buying one, you need this book.
Analysis and computation for a fluid mixture model of tissue deformations
Authors: Zhilin Li, Sharon Lubkin
Venue:  (2008)

A fluid mixture model of tissue deformations in one and two dimensions has been studied in this dissertation. The model is a mixed system of nonlinear hyperbolic and elliptic partial differential equations with interfaces. Both theoretical and numerical analysis are presented. We found the relationship between physical parameters and the pattern of tissue deformations via linear stability analysis. Several numerical experiments support our theoretical analysis. The solution of the system exhibits non-smoothness and discontinuities at the interfaces. The conventional high order finite difference methods (FDM), such as WENO scheme and TVD Runge Kutta method, for the hyperbolic equation coupled with the central FDM for the elliptic equation give spurious oscillations near the interfaces in our problem. By enforcing the jump conditions across the interfaces, our approach, the immersed interface method (IIM), eliminates non-physical oscillations, improves the accuracy of the solution, and maintains the sharp interface as time evolves. The IIM has been applied to solve a one dimensional linear advection equation with discontinuous initial conditions. By building the jump conditions into the conventional finite difference method, the Lax-Wendroff method, the solutions of second order accuracy are observed. The IIM showed its robustness to solve the linear advection equation with nonhomogeneous jump conditions across the moving interface. The two dimensional fluid mixture model has been derived asymptotically from the three dimensional model so that the thickness of the gel is taken into account. A lot of numerical examples have been completed using Clawpack and expected numerical solutions have been obtained.
Service adaptivity through cross-domain reconfiguration of non-functional properties
Authors: Josef Spillner, Iris Braun, Alexander Schill
Venue: Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction (2009)

Adaptive service execution platforms optimise the consumption of resources by allocating and prioritising resource access according to the requirements of installed services. Service descriptions help in understanding what those requirements are, and contracts are used to estimate and constrain the impact of the requirements. However, service developers rarely specify the constraints in terms of resource use, and the platforms don't have sufficient information about service-specific domain properties. We introduce a reconfiguration mechanism which combines both views based on a cross-domain type system and show the feasibility of its inclusion into a mainstream service execution platform.
Using External Knowledge to Solve Multi-Dimensional Queries
Authors: Saïd Radhouani, Gilles Falquet
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

To improve the precision of an information retrieval system in a specific domain we propose a new indexing scheme based on external knowledge resources such as thesauri or ontologies.We introduce the notion of domain dimension, which is a substructure of a knowledge resource, to formally represent the different aspects of a domain that appear in a document. Then, we identify dimensions in documents and queries using a conceptual indexing. The result of this indexing is a representation of each document along its semantic dimensions. We also propose a query processing based on multi-dimensional indexing. It is comprised of a dimensional filtering followed by a dimensional ranking. Experimental results on medical imaging documents (ImageCLEFmed-2005 collection) show that the dimensional filtering, using three dimensions, can improves the mean average precision by about 25%.
Identification of parameters in a dynamic problem of elasticity for a body with an inclusion
Authors: I. V. Sergienko, V. S. Deineka
Venue: Cybernetics and Systems Analysis (2009)

Explicit expressions for gradients of residual functionals are obtained for the identification of the parameters of elastic dynamic deformation of multicomponent bodies by gradient methods. The technique is based on the solutions of conjugate problems found using the theory of optimal control over states of multicomponent distributed systems that is developed by the authors.