A hypergraph model for constraint logic programming and applications to bus drivers' scheduling

In a previous paper, a hypergraph model for the satisfiability of Datalog formulas was proposed. Here, we extend that approach in order to deal with a class ofconstraint logic programming (CLP) formulas, that is, Datalog formulas in the presence of constraints. A CLP formula is represented by means of a weighted hypergraph and the problem of evaluating this formula is reduced to a sequence of shortest path computations on hypergraphs. To evaluate the performance of this approach, the bus drivers' scheduling problem is formulated as the problem of checking the satisfiability of a CLP formula and it is solved by means of the hypergraph-based algorithm embedded within a local search procedure. Preliminary experimental results are quite encouraging and suggest that the proposed approach may provide an efficient way to tackle hard real-life combinatorial problems.This research was partially supported by the Progetto Finalizzato Trasporti 2 of the Italian National Research Council, under Contract No. 91.02479.PF74.     

Effective discrepancy and numerical experiments

Many problems require the computation of a high dimensional integral, typically with a few tens of input factors, with a low number of integrand evaluations. To avoid the curse of dimensionality, we reduce the dimension before applying the Quasi-Monte Carlo method. We will show how to reduce the dimension by computing approximate Sobol indices of the variables with a two-levels fractional factorial design. Then, we will use the Sobol indices to define the effective discrepancy, which turns out to be correlated with the QMC error and thus enables one to choose a good sequence for the integral estimation.     

Introducing QoS awareness in distributed programming: QTcl

A number of distributed applications require communication services with quality of service (QoS) guarantees. Building global‐scale distributed systems with predictable properties is one of the great challenges for computer systems engineering in the new century. Work undertaken within the Internet Engineering Task Force has led to the definition of novel architectural models for the Internet with QoS support. According to these models, the network has to be appropriately configured in order to provide applications with the required performance guarantees. In next‐generation networks, enabling applications to interact with the underlying QoS services is of primary importance. Hence, several special‐purpose application programming interfaces (APIs) have been defined to let applications negotiate QoS parameters across QoS‐capable networks. However, so far, none of these APIs are available in different operating environments. We believe that such features should be embedded in programming environments for distributed applications. In this work we present how we included QoS control features in Tcl, a programming language that has been widely adopted for the development of distributed multimedia applications. Our work has led to the implementation of QTcl, an extended Tcl interpreter that provides programmers with a new set of primitives, in full compliance with the standard SCRAPI programming interface for the RSVP protocol. QTcl in highly portable, in that it enables standard QoS negotiation to be performed in a seamless fashion on the most common operating systems. Copyright © 2003 John Wiley & Sons, Ltd.     

Focusing qualitative simulation using temporal logic: theoretical foundations

We illustrate TeQsim, a qualitative simulator for continuous dynamical systems that combines the expressive power of qualitative differential equations with temporal logic to constrain and refine the resulting predicted behaviors. Temporal logic is used to specify constraints that restrict the simulation to a region of the state space and to specify trajectories for input variables. A propositional linear‐time temporal logic is adopted, which is extended to a three valued logic that allows a formula to be conditionally entailed when quantitative information specified in the formula can be applied to a behavior to refine it. We present a formalization of the logic with correctness and completeness results for the adopted model checking algorithm. We show an example of the simulation of a non‐autonomous dynamical system and illustrate possible application tasks, ranging from simulation to monitoring and control of continuous dynamical systems, where TeQsim can be applied. This revised version was published online in June 2006 with corrections to the Cover Date.     

Integration of XML Schemas at various “severity” levels

This paper presents a novel approach for the integration of a set of eXtensible Markup Language (XML) Schemas. The proposed approach is specialized for XML, almost automatic, semantic and “light”. Further, an original peculiarity is that it is parametric w.r.t. a “severity” level against which the integration task is performed. The paper describes the approach in all details, illustrates various theoretical results, presents the experiments we have performed for testing it and, finally, compares it with various related approaches already proposed in the literature.     

Harmonic solution of semiconductor transport equations for microwave and millimetre-wave device modelling

The hydrodynamic transport equations for charges in a semiconductor have been solved for a periodic excitation by means of a harmonic approach, in order to model microwave and millimetre-wave active devices. The solution is based on the expansion of physical variables in a Fourier series in the time domain, and on discretisation in the space domain. A waveform-balance technique in the TD is used to solve the nonlinear equations system. This approach allows for a longer time step with respect to standard TD solutions for most cases of interest, greatly reducing simulation time by at least two orders of magnitude in typical cases. © 2003 Wiley Periodicals, Inc. Int J RF and Microwave CAE 14: 36–48, 2004.     

Direct-EI in LC-MS: towards a universal detector for small-molecule applications

This review article will give an up-to-date and exhaustive overview on the efficient use of electron ionization (EI) to couple liquid chromatography and mass spectrometry (LC-MS) with an innovative interface called Direct-EI. EI is based on the gas-phase ionization of the analytes, and it is suitable for many applications in a wide range of LC-amenable compounds. In addition, thanks to its operating principles, it prevents unwelcome matrix effects (ME). In fact, although atmospheric pressure ionization (API) methodologies have boosted the use of LC-MS, the related analytical methods are sometime affected by inaccurate quantitative results, due to unavoidable and unpredictable ME. In addition, API's soft ionization spectra always demand for costly and complex tandem mass spectrometry (MS/MS) instruments, which are essential to acquire an "information-rich" spectrum and to obtain accurate quantitative information. In EI a one-stage analyzer is sufficient for a qualitative investigation and MS/MS detection is only used to improve sensitivity and to cut chemical noise. The technology illustrated here provides a robust and straightforward access to classical, well-characterized EI data for a variety of LC applications, and readily interpretable spectra for a wide range of areas of research. The Direct-EI interface can represent the basis for a forthcoming universal LC-MS detector for small molecules.     

A multi-institutional, multinational study of programming concepts using card sort data

Abstract: This paper presents a case study of the use of a repeated single‐criterion card sort with an unusually large, diverse participant group. The study, whose goal was to elicit novice programmers' knowledge of programming concepts, involved over 20 researchers from four continents and 276 participants drawn from 20 different institutions. In this paper we present the design of the study and the unexpected result that there were few discernible systematic differences in the population. The study was one of the activities of the National Science Foundation funded Bootstrapping Research in Computer Science Education project (2003).     

Assessing the potential of SeaWiFS and MODIS for estimating chlorophyll concentration in turbid productive waters using red and near-infrared bands

Bio-optical algorithms for remote estimation of chlorophyll-a concentration (Chl) in case-1 waters exploit the upwelling radiation in the blue and green spectral regions. In turbid productive waters other constituents, that vary independently of Chl, absorb and scatter light in these spectral regions. As a consequence, the accurate estimation of Chl in turbid productive waters has so far not been feasible from satellite sensors. The main purpose of this study was to evaluate the extent to which near-infrared (NIR) to red reflectance ratios could be applied to the Sea Wide Field-of-View Sensor (SeaWiFS) and the Moderate Imaging Spectrometer (MODIS) to estimate Chl in productive turbid waters. To achieve this objective, remote-sensing reflectance spectra and relevant water constituents were collected in 251 stations over lakes and reservoirs with a wide variability in optical parameters (i.e. 4 ≤ Chl ≤ 240 mg m^− 3; 18 ≤ Secchi disk depth ≤ 308 cm). SeaWiFS and MODIS NIR and red reflectances were simulated by using the in-situ hyperspectral data. The proposed algorithms predicted Chl with a relative random uncertainty of approximately 28% (average bias between − 1% and − 4%). The effects of reflectance uncertainties on the predicted Chl were also analyzed. It was found that, for realistic ranges of R_rs uncertainties, Chl could be estimated with a precision better than 40% and an accuracy better than ± 35%. These findings imply that, provided that an atmospheric correction scheme specific for the red-NIR spectral region is available, the extensive database of SeaWiFS and MODIS images could be used to quantitatively monitor Chl in turbid productive waters.