A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.

The Open Provenance Model Core Specification (v1.1)

The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) To allow provenance information to be exchanged between systems, by means of a compatibility layer based on a shared provenance model. (2) To allow developers to build and share tools that operate on such a provenance model. (3) To define provenance in a precise, technology-agnostic manner. (4) To support a digital representation of provenance for any 'thing', whether produced by computer systems or not. (5) To allow multiple levels of description to coexist. (6) To define a core set of rules that identify the valid inferences that can be made on provenance representation. This document contains the specification of the Open Provenance Model (v1.1) resulting from a community-effort to achieve inter-operability in the Provenance Challenge series.

Welding Student at Work

A student in the Welding Department at the New York Trade School is shown working. Black and white photograph.

Nonparametric specification tests for conditional duration models

This paper deals with the testing of autoregressive conditional duration (ACD) models by gauging the distance between the parametric density and hazard rate functions implied by the duration process and their non-parametric estimates. We derive the asymptotic justification using the functional delta method for fixed and gamma kernels, and then investigate the finite-sample properties through Monte Carlo simulations. Although our tests display some size distortion, bootstrapping suffices to correct the size without compromising their excellent power. We show the practical usefulness of such testing procedures for the estimation of intraday volatility patterns.

Non- parametric specification tests for conditional duration models

This paper deals with the estimation and testing of conditional duration models by looking at the density and baseline hazard rate functions. More precisely, we foeus on the distance between the parametric density (or hazard rate) function implied by the duration process and its non-parametric estimate. Asymptotic justification is derived using the functional delta method for fixed and gamma kernels, whereas finite sample properties are investigated through Monte Carlo simulations. Finally, we show the practical usefulness of such testing procedures by carrying out an empirical assessment of whether autoregressive conditional duration models are appropriate to oIs for modelling price durations of stocks traded at the New York Stock Exchange.

Development of a dynamic headspace solid-phase microextraction procedure coupled to GC–qMSD for evaluation the chemical profile in alcoholic beverages

In the present study, a simple and sensitive methodology based on dynamic headspace solid-phase microextraction (HS-SPME) followed by thermal desorption gas chromatography with quadrupole mass detection (GC–qMSD), was developed and optimized for the determination of volatile (VOCs) and semi-volatile (SVOCs) compounds from different alcoholic beverages: wine, beer and whisky. Key experimental factors influencing the equilibrium of the VOCs and SVOCs between the sample and the SPME fibre, as the type of fibre coating, extraction time and temperature, sample stirring and ionic strength, were optimized. The performance of five commercially available SPME fibres was evaluated and compared, namely polydimethylsiloxane (PDMS, 100 μm); polyacrylate (PA, 85 μm); polydimethylsiloxane/divinylbenzene (PDMS/DVB, 65 μm); carboxen™/polydimethylsiloxane (CAR/PDMS, 75 μm) and the divinylbenzene/carboxen on polydimethylsiloxane (DVB/CAR/PDMS, 50/30 μm) (StableFlex). An objective comparison among different alcoholic beverages has been established in terms of qualitative and semi-quantitative differences on volatile and semi-volatile compounds. These compounds belong to several chemical families, including higher alcohols, ethyl esters, fatty acids, higher alcohol acetates, isoamyl esters, carbonyl compounds, furanic compounds, terpenoids, C13-norisoprenoids and volatile phenols. The optimized extraction conditions and GC–qMSD, lead to the successful identification of 44 compounds in white wines, 64 in beers and 104 in whiskys. Some of these compounds were found in all of the examined beverage samples. The main components of the HS-SPME found in white wines were ethyl octanoate (46.9%), ethyl decanoate (30.3%), ethyl 9-decenoate (10.7%), ethyl hexanoate (3.1%), and isoamyl octanoate (2.7%). As for beers, the major compounds were isoamyl alcohol (11.5%), ethyl octanoate (9.1%), isoamyl acetate (8.2%), 2-ethyl-1-hexanol (5.9%), and octanoic acid (5.5%). Ethyl decanoate (58.0%), ethyl octanoate (15.1%), ethyl dodecanoate (13.9%) followed by 3-methyl-1-butanol (1.8%) and isoamyl acetate (1.4%) were found to be the major VOCs in whisky samples.

Simultaneous analysis of free amino acids and biogenic amines in honey and wine samples using in loop orthophthalaldeyde derivatization procedure

This work presents a RP-HPLC method for the simultaneous quantification of free amino acids and biogenic amines in liquid food matrices and the results of the application to honey and wine samples obtained from different production processes and geographic origins. The developed methodology is based on a pre-column derivatization with o-phthaldialdehyde carried out in the sample injection loop. The compounds were separated in a Nova-Pack RP-C18 column (150 mm × 3.9 mm, 4 μm) at 35 °C. The mobile phase used was a mixture of phase A: 10 mM sodium phosphate buffer (pH 7.3), methanol and tetrahydrofuran (91:8:1); and phase B: methanol and phosphate buffer (80:20), with a flow rate of 1.0 ml/min. Fluorescence detection was used at an excitation wavelength of 335 nm and an emission wavelength of 440 nm. The separation and quantification of 19 amino acids and 6 amines was carried out in a single run as their OPA/MCE derivatives elute within 80 min, ensuring a reproducible quantification. The method showed to be adequate for the purpose, with an average RSD of 2% for the different amino acids; detection limits varying between 0.71 mg/l (Asn) and 8.26 mg/l (Lys) and recovery rates between 63.0% (Cad) and 98.0% (Asp). The amino acids present at the highest concentration in honey and wine samples were phenylalanine and arginine, respectively. Only residual levels of biogenic amines were detected in the analysed samples.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Neuronal Assembly Detection and Cell Membership Specification by Principal Component Analysis

LOPES-DOS-SANTOS, V. , CONDE-OCAZIONEZ, S. ; NICOLELIS, M. A. L. , RIBEIRO, S. T. , TORT, A. B. L. . Neuronal assembly detection and cell membership specification by principal component analysis. Plos One, v. 6, p. e20996, 2011.

Análise de falhas em martelos oscilantes dos desfibradores da indústria sucroalcooleira da Região Norte-Nordeste

The failure of materials is always an unwelcome event for several reasons: human lives are put in danger, economic losses, and interference in the availability of products and services. Although the causes of failures and behaviour of materials can be known, the prevention of such a condition is difficult to be guaranteed. Among the failures, wear abrasion by the low voltage is the kind of failure that occurs in more equipment and parts industry. The Plants Sucroalcooleiras suffer significant losses because of such attrition, this fact that motivated their choice for the development of this work. For both, were considered failures in the swing hammers desfibradores stopped soon after the exchange provided in accordance with tonnage of cane processed, then were analyzed by the level of wear testing of rubber wheel defined by the standard ASTM G65-91.The failures were classified as to the origin of the cause and mechanism, moreover, were prepared with samples of welding procedures according to ASME code, sec. IX as well, using the technique of thermal spraying to analyze the performance of these materials produced in laboratories, and compares them with the solder used in the plant. It was observed that the bodies-of-proof prepared by the procedure described as welding, and the thermal spraying the results of losing weight have been minimized significantly compared to the preparations in the plant. This is because the use of techniques more appropriate and more controlled conditions of the parameters of welding. As for the thermal spraying, this technique has presented a satisfactory result, but requires the use of these coatings in the best condition for real affirmation of the results

In situ differentiation of labile/inert metal species in Brazilian tropical rivers by means of a time-controlled batch-procedure based on TEPHA resin

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)