Printing colour hard proofs using EFI Colorproof XF v. 3.1 and Photoshop CS3, and production substrates.

EFI Colorproof XF was found to be more convenient from a user’s aspect, and had features which are covered in the ISO 12647-7 standard (e.g. the ability to simulate screening and print margin information), which Photoshop CS3 lacked. None of the proofing systems distinguished itself in a clear way from the other; sometimes, on certain substrates, Photoshop CS3 produced most accurate colours, sometimes EFI Colorproof XF did. Further investigations need to be carried out to tell more exactly which system produce most accurate colours. Only 6 out of 34 simulation-combinations had colours within the tolerances in the standard. The result also shows that the production substrates should not be used as proofing substrates. Instead the proofing papers especially made for ink jet should be used to obtain more colour-accurate prints.

Hard instances of algorithms and proof systems

"Vegeu el resum a l'inici del document del fitxer adjunt."

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

PROOF OF CONCEPT PROTOTYPE FOR A RAILROAD PEDESTRIAN WARNING SYSTEM USING WIRELESS SENSOR NETWORKS

Wireless sensor network is an emerging research topic due to its vast and ever-growing applications. Wireless sensor networks are made up of small nodes whose main goal is to monitor, compute and transmit data. The nodes are basically made up of low powered microcontrollers, wireless transceiver chips, sensors to monitor their environment and a power source. The applications of wireless sensor networks range from basic household applications, such as health monitoring, appliance control and security to military application, such as intruder detection. The wide spread application of wireless sensor networks has brought to light many research issues such as battery efficiency, unreliable routing protocols due to node failures, localization issues and security vulnerabilities. This report will describe the hardware development of a fault tolerant routing protocol for railroad pedestrian warning system. The protocol implemented is a peer to peer multi-hop TDMA based protocol for nodes arranged in a linear zigzag chain arrangement. The basic working of the protocol was derived from Wireless Architecture for Hard Real-Time Embedded Networks (WAHREN).

Direct And Non-destructive Proof Of Authenticity For The 2nd Generation Of Brazilian Real Banknotes Via Easy Ambient Sonic Spray Ionization Mass Spectrometry.

Using a desorption/ionization technique, easy ambient sonic-spray ionization coupled to mass spectrometry (EASI-MS), documents related to the 2nd generation of Brazilian Real currency (R$) were screened in the positive ion mode for authenticity based on chemical profiles obtained directly from the banknote surface. Characteristic profiles were observed for authentic, seized suspect counterfeit and counterfeited homemade banknotes from inkjet and laserjet printers. The chemicals in the authentic banknotes' surface were detected via a few minor sets of ions, namely from the plasticizers bis(2-ethylhexyl)phthalate (DEHP) and dibutyl phthalate (DBP), most likely related to the official offset printing process, and other common quaternary ammonium cations, presenting a similar chemical profile to 1st-generation R$. The seized suspect counterfeit banknotes, however, displayed abundant diagnostic ions in the m/z 400-800 range due to the presence of oligomers. High-accuracy FT-ICR MS analysis enabled molecular formula assignment for each ion. The ions were separated by 44 m/z, which enabled their characterization as Surfynol® 4XX (S4XX, XX=40, 65, and 85), wherein increasing XX values indicate increasing amounts of ethoxylation on a backbone of 2,4,7,9-tetramethyl-5-decyne-4,7-diol (Surfynol® 104). Sodiated triethylene glycol monobutyl ether (TBG) of m/z 229 (C10H22O4Na) was also identified in the seized counterfeit banknotes via EASI(+) FT-ICR MS. Surfynol® and TBG are constituents of inks used for inkjet printing.

Hard thermal loops in static external fields

We examine, in the imaginary-time formalism, the high temperature behavior of n-point thermal loops in static Yang-Mills and gravitational fields. We show that in this regime, any hard thermal loop gives the same leading contribution as the one obtained by evaluating the loop integral at zero external energies and momenta.

Electronic structure of In(2)O(3) and Sn-doped In(2)O(3) by hard x-ray photoemission spectroscopy

The valence and core levels of In(2)O(3) and Sn-doped In(2)O(3) have been studied by hard x-ray photoemission spectroscopy (hv = 6000 eV) and by conventional Al K alpha (hv = 1486.6 eV) x-ray photoemission spectroscopy. The experimental spectra are compared with density-functional theory calculations. It is shown that structure deriving from electronic levels with significant In or Sn 5s character is selectively enhanced under 6000 eV excitation. This allows us to infer that conduction band states in Sn-doped samples and states at the bottom of the valence band both contain a pronounced In 5s contribution. The In 3d core line measured at hv = 1486.6 eV for both undoped and Sn-doped In(2)O(3) display an asymmetric lineshape, and may be fitted with two components associated with screened and unscreened final states. The In 3d core line spectra excited at hv = 6000 eV for the Sn-doped samples display pronounced shoulders and demand a fit with two components. The In 3d core line spectrum for the undoped sample can also be fitted with two components, although the relative intensity of the component associated with the screened final state is low, compared to excitation at 1486.6 eV. These results are consistent with a high concentration of carriers confined close to the surface of nominally undoped In(2)O(3). This conclusion is in accord with the fact that a conduction band feature observed for undoped In(2)O(3) in Al K alpha x-ray photoemission is much weaker than expected in hard x-ray photoemission.

A HARD AND VARIABLE X-RAY EMISSION FROM THE MASSIVE EMISSION-LINE STAR HD 157832

We report the discovery with XMM-Newton of a hard-thermal (T similar to 130 MK) and variable X-ray emission from the Be star HD 157832, a new member of the puzzling class of gamma-Cas-like Be/X-ray systems. Recent optical spectroscopy reveals the presence of a large/dense circumstellar disk seen at intermediate/high inclination. With a B1.5V spectral type, HD 157832 is the coolest gamma-Cas analog known. In addition, its non-detection in the ROSAT all-sky survey shows that its average soft X-ray luminosity varied by a factor larger than similar to 3 over a time interval of 14 yr. These two remarkable features, ""low"" effective temperature, and likely high X-ray variability turn HD 157832 into a promising object for understanding the origin of the unusually high-temperature X-ray emission in these systems.

A NEW PROOF OF OKAJI'S THEOREM FOR A CLASS OF SUM OF SQUARES OPERATORS

Let P be a linear partial differential operator with analytic coefficients. We assume that P is of the form ""sum of squares"", satisfying Hormander's bracket condition. Let q be a characteristic point; for P. We assume that q lies on a symplectic Poisson stratum of codimension two. General results of Okaji Show that P is analytic hypoelliptic at q. Hence Okaji has established the validity of Treves' conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of this fact.

Cr3C2-NiCr and WC-Ni thermal spray coatings as alternatives to hard chromium for erosion-corrosion resistance

Cr3C2-NiCr and WC-Ni coatings are widely used for wear applications at high and room temperature, respectively. Due to the high corrosion resistance of NiCr binder, Cr3C2-NiCr coatings are also used in corrosive environments. The application of WC-Ni coatings in corrosive media is 14 not recommended due to the poor corrosion resistance of the (pure Ni) metallic matrix. It is well known that the addition of Cr to the metallic binder improves the corrosion properties. Erosion-corrosion performance of thermal spray coatings is widely influenced by ceramic phase composition, the size of ceramic particles and also the composition of the metallic binder. In the present work, two types of HVOF thermal spray coatings (Cr3C2-NiCr and WC-Ni) obtained with different spray conditions were studied and compared with conventional micro-cracked hard chromium coatings. Both as-sprayed and polished samples were tested under two erosion-corrosion conditions with different erosivity. Tungsten carbide coatings showed better performance under the most erosive condition, while chromium carbide coatings were superior under less erosive conditions. Some of the tungsten carbide coatings and hard chromium showed similar erosion-corrosion behaviour under more and less erosive conditions. The erosion-corrosion and electrochemical results showed that surface polishing improved the erosion-corrosion properties of the thermally sprayed coatings. The corrosion behaviour of the different coatings has been compared using Electrochemical Impedance Spectroscopy (EIS) and polarization curves. Total material loss due to erosion-corrosion was determined by weight loss measurements. An estimation of the corrosion contribution to the total weight loss was also given. (c) 2007 Elsevier B.V. All rights reserved.

Citrus Sudden Death Is Transmitted by Graft-Inoculation and Natural Transmission Is Prevented by Individual Insect-Proof Cages

Citrus sudden death (CSD) transmission was studied by graft-inoculation and under natural conditions. Young sweet orange trees on Rangpur rootstock were used as indicator plants. They were examined regularly for one or two characteristic markers of CSD: (i) presence of a yellow-stained layer of thickened bark on the Rangpur rootstock, and (ii) infection with the CSD-associated marafivirus. Based on these two markers, transmission of CSD was obtained, not only when budwood for graft-inoculation was taken from symptomatic, sweet orange trees on Rangpur, but also when the budwood sources were asymptomatic sweet orange trees on Cleopatra mandarin, indicating that the latter trees are symptomless carriers of the CSD agent. For natural transmission, 80 young indicator plants were planted within a citrus plot severely affected by CSD. Individual insect-proof cages were built around 40 indicator plants, and the other 40 indicator plants remained uncaged. Only two of the 40 caged indicator plants were affected by CSD, whereas 17 uncaged indicator plants showed CSD symptoms and were infected with the marafivirus. An additional 12 uncaged indicator plants became severely affected with citrus variegated chlorosis and were removed. These results strongly suggest that under natural conditions, CSD is transmitted by an aerial vector, such as an insect, and that the cages protected the trees against infection by the vector.

Effect of cooking on non-starch polysaccharides of hard-to-cook beans

Experiments carried out to study changes induced by hard-to-cook (HTC) phenomenon in the non-starch polysaccharides of beans stored at 30 degrees C and 75% RH for 8 months showed that the development of HTC did not affect the amounts of soluble and insoluble fibre in cooked seeds but changed their carbohydrates physical properties. Aged beans non-starch polysaccharides presented lower water-solubility and underwent lower degradation of galacturonans and arabinose-rich polysaccharides when submitted to cooking. The decrease in non-starch polysaccharides water-solubility produced a shift in the polymers fractionation profile which resulted in an increase of weak and middle-alkali soluble polymers bulk as well as in their arabinose and uronic acid contents. Uronic acid contents were higher in polymers released by 1 M NaOH and in the cellulose-rich residues while the arabinose contents were higher in the mild-alkali soluble polymers of aged seeds. Methylation analysis showed no evident alterations in the xyloglucans and arabinans branching degree with beans ageing. However, both, the molecular mass of water-soluble pectins and CDTA-soluble pectins, increased. Even though changes in the non-starch polysaccharide solubility were not related to the decrease in the arabinan and xyloglucan degree of branching they may be related to the formation of new chemical interactions other than hydrogen bond. There was a correlation between acidic and neutral polysaccharides insolubilisation in beans ageing and probably in beans hardening. After processing, aged seeds present higher amounts of insoluble fibre when compared to normal beans. (C) 2008 Elsevier Ltd. All rights reserved.

Effect of process variables on fluiddynamics and adhesion efficiency during spouted bed coating of hard gelatine capsules

This article presents an evaluation of the effects of the spouted bed design and operating conditions on system fluiddynamics and process performance during enteric coating of hard gelatine capsules. The design parameters studied were the column diameter (150 mm and 200 mm), the included angle of the conical base, gamma (60 degrees or 40 degrees) and the presence or absence of a Venturi inserted before the inlet air orifice. The process variables studied were the ratio between the feed flow rate of the coating suspension to the spouting gas flow rate (W(s)/W(g)), the mass of capsules loaded to the equipment (M(0)), and the ratio between the Spouting gas flow rate to the gas flow rate at minimum spouting condition (Q/Q(ms)). The response variables were the rate of increase of the capsules mass (K(1)), and the adhesion efficiency (eta). The linear regression equation for the dependent variable K, in terms of the independent variables adequately described the process with an r(2) value of 0.872. Analysis of variance (ANOVA) revealed that increasing of W(s)/W(g), Q/Q(ms) and gamma significantly increased the adhesion efficiency. Adhesion efficiencies higher than 90% were achieved by selecting precise coating conditions, indicating the feasibility of the process for coating of hard gelatine capsules. (C) 2008 Elsevier B.V. All rights reserved.

Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Phylogeny of the hard ticks (Ixodidae) inferred from 18S rRNA indicates that the genus Aponomma is paraphyletic

We examined the phylogeny of ticks (Acari:Parasitiformes:Ixodida) and their closest known mite relatives (Acari:Parasitiformes:Mesostigmata and Holothyrida) using 18S rRNA sequences. In our analyses, we included sequences from 36 taxa. Sequences for 13 hard ticks (Family Ixodidae), 5 soft ticks (Family Argasidae), and 2 mesostigmatid mites were obtained from the GenBank database and we generated sequences for 15 hard ticks and 1 holothyrid mite. Ten of these tick species were endemic to Australia. Our analyses indicated that the suborder Holothyrida is more closely related to Ixodida than to Mesostigmata, the group used as outgroup in earlier molecular studies. This finding is consistent with Lehtinen's (1991) hypothesis that the Holothyrida rather than the Mesostigmata is the sister-group to the Ixodida. Within the hard ticks the genus Aponomma and thus the family Amblyomminae were paraphyletic. Taxonomic revision of these taxa is needed. The genus Amblyomma was paraphyletic without the inclusion of typical Aponomma species (Ap. latum and Ap. fimbriatum). There was a basal divergence between endemic Australian and other species in both the Metastriata and the Prostriata divisions of the hard ticks. (C) 1999 Academic Press.