Entity linking systems for literature reviews

Scientometrics - Computer-assisted methods and tools can help researchers automate the coding process of literature reviews and accelerate the literature review process. However, existing...     

Synthesis of Long-Chain β-Lactones and Their Antibacterial Activities against Pathogenic Mycobacteria

In the quest for new antibacterial agents, a series of novel long- and medium-chain mono- and disubstituted β-lactones was developed. Their activity against three pathogenic mycobacteria—M. abscessus, M. marinum, and M. tuberculosis—was assessed by the resazurin microtiter assay (REMA). Among the 16 β-lactones synthesized, only 3-hexadecyloxetan-2-one (VM005) exhibited promising activity against M. abscessus, whereas most of the β-lactones showed interesting activities against M. marinum, similar to that of the classical antibiotic, isoniazid. Regarding M. tuberculosis, six compounds were found to be active against this mycobacterium, with β-lactone VM008 [trans-(Z)-3-(hexadec-7-en-1-yl)-4-propyloxetan-2-one] being the best growth inhibitor. The promising antibacterial activities of the best compounds in this series suggest that these molecules may serve as leads for the development of much more efficient antimycobacterial agents.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Analogue switch for very low-voltage applications

A new analogue switch suitable for operation at very low-voltage supply in a standard CMOS technology is presented. The proposed switch is based on 'quasi-floating-gate' transistors and has a simple and compact structure. For illustrative purposes, two sample-and-hold circuits operating from a single supply voltage close to the threshold voltage of a transistor, and using the proposed technique, are presented. Experimental results obtained from prototypes in a 1.5 /spl mu/m CMOS technology are provided.     

Theoretical and Experimental Study of Water Transport in a Hollow Cylinder Applied to the Drying of Round Squid Mantle

Until now, attention has been focused solely in the drying of squid mantle from an experimental point of view, neglecting the transport phenomenon studies of water in squid muscle. This work studies the drying of squid mantle (Loligo brasiliensis), previously salted and smoked by liquid smoking (hickory extract), using a tubular dryer in closed cycle with a silicagel fixed bed in series. The mass transfer phenomenon during drying was studied, based on the Fick's second law, with the effective diffusivity supposed constant, which enabled an analytical solution to the problem. The drying curve calculated with the resulting equation was compared with experimental data. The model was applied to a hollow cylinder geometry (round squid mantle), with its internal surface isolated from the drying environment by a plastic film. The latter was given a tubular form and introduced inside the mantle cavity (impervious wall boundary condition).     

Room-temperature laser emission of GaInNAs-GaAs quantum wells grown on GaAs (111)B

In this work, we present room-temperature laser emission at 1.206 /spl mu/m from GaInNAs-GaAs quantum-well (QW) laser diodes (LDs) grown on misoriented GaAs (111)B substrates for the first time. Details of the structure and the molecular beam epitaxial growth of the lasers are discussed. We found that the postgrowth rapid thermal annealing increased the optimum emission, while the in situ self annealing effect in these QWs is almost negligible. The optimum annealing cycle (30 s at 850/spl deg/C) is comparable to that found for the cladding-free GaInNAs single QW samples grown on GaAs (111)B. Finally, the optical and electrical characterization of these LD devices is presented. The LDs show a room-temperature threshold current density of 2.15 kA/cm/sup 2/, with a differential quantum efficiency of 37%, under pulsed conditions.     

Role of reinforcement in spaced-trial operant learning in pigeons (Columba livia).

The author designed 3 experiments to study pigeons' adjustment to unexpected shifts in reinforcer magnitude with a single trial per day. Extinction was faster or poorer after training with a small magnitude (1 food pellet) than after training with a large magnitude (10 or 15 pellets). A shift from 15 to 1 pellet was accompanied by a gradual adjustment, with no indication of a successive negative contrast effect. Pigeons discriminated the reinforcer magnitudes but yielded no evidence of spaced-trial simultaneous negative contrast. Moreover, extinction was faster for a stimulus paired with 1 pellet than for a stimulus paired with 15 pellets. The results can be interpreted in terms of simple strengthening-weakening learning rules and without reference to anticipatory frustration. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Analytical and numerical analysis of phase and amplitude errors in the performance of arrayed waveguide gratings

The closed expression of the mean power transfer function for an arrayed waveguide grating (AWG), taking into account fabrication errors, is presented. Comparison with numerical simulations using a previous Fourier optics modeling show good agreement. The procedure to predict the AWG floor level using the numerical modeling is presented and checked against the analytical derived expressions.     

Behavioral model synthesis with Cones

The Cones synthesis system for automatic generation of VLSI implementations is discussed. Named for the cones in sequential logic, Cones takes behavioral models written in C and produces gate-level implementations in technologies such as standard cells and programmable logic arrays or programmable logic devices. The overall design is produced faster, more efficiently, and with fewer errors. Designers are free to concentrate on functions, instead of on the details of the implementation technology