n/a

n/a

SmART (Smart Application Reconfiguration Tool) is a framework for the automatic configuration of systems and applications. The tool implements an application configuration workflow that resorts to the similarities between configuration files (i.e., patterns such as parameters, comments and blocks) to allow a syntax independent manipulation and transformation of system and application configuration files.Without compromising its generality, SmART targets virtualized IT infrastructures, configuring virtual appliances and its applications. SmART reduces the time required to (re)configure a set of applications by automating time-consuming steps of the process, independently of the nature of the application to be configured. Industrial experimentation and utilization of SmART show that the framework is able to correctly transform a large amount of configuration files into a generic syntax and back to their original syntax. They also show that the elapsed time in that process is adequate to what would be expected of an interactive tool. SmART is currently being integrated into the VIRTU bundle, whose trial version is available for download from the project’s web page.

Some performance issues of transactional memory are caused by unnecessary abort situations where non serializable and yet non conflicting transactions are scheduled to execute concurrently. Smartly relaxing the isolation properties of transactions may overcome these issues and attain considerable performance improvements. However, it is known that relaxing isolation restrictions may lead to runtime anomalies. In some situations, like database management systems, developers may choose that compromise, hence avoiding anomalies explicitly. Memory transactions protect the state of the program, therefore execution anomalies may have more severe consequences in the semantics of programs. So, the compromise between a relaxed isolation strategy and enforcing the necessary program correctness is harder to setup. The solution we devise is to statically analyse programs to detect the kind of anomalies that emerge under snapshot isolation. Our approach allows a compiler to either warn the developer about the possible snapshot isolation anomalies in a given program, or possibly inform automatic correctness strategies to ensure Serializability.

n/a

n/a

Programs containing concurrency anomalies will most probably exhibit harmful erroneous and unpredictable behaviors. To ensure program correctness, the sources of those anomalies must be located and corrected. Concurrency anomalies in Transactional Memory (TM) programs should also be diagnosed and fixed. In this paper we propose a framework to deal with two different categories of concurrency anomalies in TM. First, we will address low-level TM anomalies, also called dataraces, which arise from executing programs in weak isolation. Secondly, we will address high-level TM anomalies, also called high-level dataraces, bringing the programmer’s attention to pairs of transactions that the programmer has misspecified, and should have been combined into a single transaction. Our framework was validated against a set of programs with well known anomalies and demonstrated high accuracy and effectiveness, thus contributing for improving the correctness of TM programs

This study deals with SiO2-P2O5 powders obtained by sol-gel process, starting from tetraethoxysilane (TEOS) as precursor for SiO2 and either triethylphosphate (TEP) or phosphoric acid (H3PO4) as precursors for P2O5. In the case of samples prepared with H3PO4, TG-DTA data showed an accentuated weight loss associated to an endothermic effect up to about 140 °C, specific for the evaporation of water and ethylic alcohol from structural pores, and also due to alkyl-amines evaporation. Sol-gel samples prepared with TEP exhibited different thermal effects, depending on the type of atmosphere used in the experiments, i.e. argon or air. XRD analysis revealed that annealed sol-gel samples prepared with H3PO4 showed specific peaks for silicophosphate compounds such as Si3(PO4)4, Si2P2O9, and SiP2O7. XRD results for annealed sol-gel samples prepared with TEP indicated mainly the presence of a vitreous (amorphous) phase, which could be correlated with SEM images. The presence of SiO2 in the sample might be expected. Thus, we have searched for any SiO2 polymorph possible to crystallize. Only potential peaks of cristobalite were identified but some of them are overlapping with peaks of other crystalline phosphates. SEM analysis indicated a decrease of the amount of crystalline phases with the increase in the annealing temperature. © 2009 Elsevier B.V. All rights reserved.

Molybdenum doped indium oxide (IO) thin films were deposited on the Coring F1737 glass substrates at 400 °C by spray pyrolysis technique. TheModoping was varied between 0 and 4 at.%. The films were characterized by their structural, electrical and optical properties. The films are confirmed to be cubic bixbyite In 2O 3 with a strongest orientation along (222) for 0.5 at.% Mo, which is shifted to (400) plane when the Mo doping is increased to ≥1.2 at.%. The films deposited with 0.5 at.% Mo showed high mobility of ̃90 cm 2/Vs, resistivity of ̃6.8×10 -4ωcm and carrier concentration of ̃1.01× 1020 cm -3 with >̃73% transmittance in the visible range between 500 and 800 nm. The transmittance is well extended into near infrared region.

Cobalt oxide doped silica films were synthesized by a dip-coating technique. Initial compounds were cobalt acetate Co(CH3COO)2-4H 2O and tetraethoxysilane Si(OC2H5)4. The chemical composition was studied by X-ray diffraction and UV-Vis spectroscopy. The morphology analyses were carried out by means of atomic force microscopy. The average diameter of cobalt oxide dispersed particles increases with the molar ratio Co:Si and with the aging time of the initial colloidal solution. © 2009 American Institute of Physics.

n/a

Benzyl azide and the three methylbenzyl azides were synthesized and characterized by mass spectrometry (MS) and ultraviolet photoelectron spectroscopy (UVPES). The electron ionization fragmentation mechanisms for benzyl azide and their methyl derivatives were studied by accurate mass measurements and linked scans at constant B/E. For benzyl azide, in order to clarify the fragmentation mechanism, labelling experiments were performed. From the mass analysis of methylbenzyl azides isomers it was possible to differentiate the isomers ortho, meta and para. The abundance and nature of the ions resulting from the molecular ion fragmentation, for the three distinct isomers of substituted benzyl azides, were rationalized in terms of the electronic properties of the substituent. Concerning the para-isomer, IRC calculations were performed at UHF/6-31G(d) level. The photoionization study of benzyl azide, with He(I) radiation, revealed five bands in the 8-21 eV ionization energies region. From every photoelectron spectrum of methylbenzyl azides isomers it has been identified seven bands, on the same range as the benzyl azide. Interpretation of the photoelectron spectra was accomplished applying Koopmans' theorem to the SCF orbital energies obtained at HF/6-311++G(d, p) level.

Benzyl azide and the three methylbenzyl azides were synthesized and characterized by mass spectrometry (MS) and ultraviolet photoelectron spectroscopy (UVPES). The electron ionization fragmentation mechanisms for benzyl azide and their methyl derivatives were studied by accurate mass measurements and linked scans at constant B/E. For benzyl azide, in order to clarify the fragmentation mechanism, labelling experiments were performed. From the mass analysis of methylbenzyl azides isomers it was possible to differentiate the isomers ortho, meta and para. The abundance and nature of the ions resulting from the molecular ion fragmentation, for the three distinct isomers of substituted benzyl azides, were rationalized in terms of the electronic properties of the substituent. Concerning the para-isomer, IRC calculations were performed at UHF/6-31G(d) level. The photoionization study of benzyl azide, with He(I) radiation, revealed five bands in the 8-21 eV ionization energies region. From every photoelectron spectrum of methylbenzyl azides isomers it has been identified seven bands, on the same range as the benzyl azide. Interpretation of the photoelectron spectra was accomplished applying Koopmans' theorem to the SCF orbital energies obtained at HF/6-311++G(d, p) level.

n/a

n/a

The electrical methods used to study the molecular movements are based on the movement of the dipoles under DC or AC electric field. We have proposed recently a combined measuring protocol to analyze charge injection/extraction, transport, trapping and de-trapping in polar or non-polar dielectric materials. The method is used here to analyze the molecular movements in polyimide in the temperature range from 293 to 572 K. A strong relaxation was observed around 402 K and a very weak relaxation around 345 K. This is the beta relaxation which is quite complex. As concern the behavior at high temperatures, above the beta relaxation, a high peak was observed that shifts continuously to higher temperatures as the charging temperature and/or the charging field increase. The maximum current of the peak increases and the temperature corresponding to the maximum current increases as the charging temperature and/or the charging field increase, given a direct observation of the so called cross-over effect related to current decay for sample charged at high fields and/or high temperatures.

n/a

n/a

Supply chain management ({SCM)} is crucial for increasing organisational effectiveness, enhancing competitiveness, customer service and profitability. Actually, the lean and green philosophies have been adopted in the {SCM} context, but nearly always separately and with little understanding of their influence on supply chain performance. Accordingly, this paper intends to propose a conceptual model that explores the relationships between lean and green practices and supply chain performance. A set of lean and green {SCM} practices and a performance measurement system are suggested. The proposed performance measures intend to evaluate the practices influence on operational, economic and environmental supply chain's performance.

n/a

n/a

The project started in 2009 with the support of DAAD in Germany and CRUP in Portugal under the “Collaborative German-Portuguese University Actions” programme. One central goal is the further development of a theory of technology assessment applied to robotics and autonomous systems in general that reflects in its methodology the changing conditions of knowledge production in modern societies and the emergence of new robotic technologies and of associated disruptive changes. Relevant topics here are handling broadened future horizons and new clusters of science and technology (medicine, engineering, interfaces, industrial automation, micro-devices, security and safety), as well as new governance structures in policy decision making concerning research and development (R&D).

A partial sauropod was found in 1996 in Vale Pombas, north of Lourinhã, Central West of Portugal, in the Lourinhã Formation, top of Amoreira Porto Novo member dated as c. 150 M.a. (Early Tithonian, Late Jurassic) and is currently housed at Museum of Lourinhã, in Portugal. The specimen (ML368) comprises a complete tooth with root, anterior chevron and almost complete right forelimb including partial scapula, complete coracoid, humerus, ulna, radius, metacarpals I, III and V, phalanx, and ungual phalanx I. It can be ascribed to Turiasaurus riodevensis, which was previously described from the Villar del Arzobispo
Formation at Riodeva (Teruel, Spain). Characters shared with T. riodevensis holotype include: curvature and asymmetry of tooth crown, expansion of crown, outline of humerus, medial deflection of the proximal end of humerus, shape and prominence of deltopectoral crest, vertical ridge in the distal half of the ulna (considered as diagnostic of Turiasauria), configuration of metacarpals, and bone proportions. It differs from T. riodevensis holotype by the smaller size and the more rectangular ungual phalanx in lateral view. The sediments from which the Riodeva specimen was recovered were previsouly thought to be Tithonian to Berriasian in age. The presence of this species in Portugal, in beds confidently dated as Early
Tithonian, may allow a more precise date for the Riodeva type locality of early Tithonian in age. The humerus of the Portuguese T. riodevensis is 152 cm long. Although shorter than the Spanish specimen (790 mm), it represents a large individual. All adult sauropods recovered in Portugal thus far are very large individuals: Dinheirosaurus (estimated body length is 20-25 m), Lusotitan (humerus length estimated to be 205 cm), Lourinhasaurus (femur length: 174 cm), and Turiasaurus here reported. The lack of of small or medium adult body-size sauropods in the Late Jurassic of Portugal, suggests browsing niches thought to be occupied by smaller forms, could be have been available for other dinosaurs, like the long necked stegosaur Miragaia longicollum.

n/a