ARCHER: an automated RF-IC Rx front-end circuit design tool

This paper presents a tool capable of automatically compiling the circuit of a direct-conversion receiver at the schematics level based on system specifications that include the frequency of operation, gain, noise figure, IIP2 and IIP3 linearity. The front-end of a direct-conversion receiver is built using inductive source degeneration (LSD) LNA and double-balanced source-degenerated Gilbert Cell mixers with charge injection. The tool uses power constrained noise and linearity optimization vector-space algorithms that automatically size the transistors, passive components, and find the optimum biasing points. The solution generated by the tool is automatically read by Agilent ADS where the blocks are easily fine-tuned and validated before layout. Case studies involving WiMAX, UMTS, GSM, Bluetooth and WLAN are presented to reveal the capabilities of the tool in reducing the design time.     

Decision Analysis Applied to Tunnel Exploration Planning. II: Consideration of Uncertainty

Tunnel exploration is a classic problem of decision making under uncertainty. This paper, Part II, dealing with the exploration problem, discusses the sources of uncertainty in tunnel exploration, and provides techniques to formally incorporate uncertainties into the exploration planning. Part I described the state of uncertainty in geology and exploration reliability using assigned probabilities. These probabilities are, however, uncertain. Construction costs are also uncertain. This paper presents tools with which the decision maker is able to assess the effects of these uncertainties on exploration decisions. Decisions are therefore made based on the value of collecting new, uncertain information through “virtual” exploration prior to actually exploring.     

A Framework for the Verification of Certifying Computations

Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current automatic verification tools and usually involves intricate mathematical theorems. Certifying algorithms compute in addition to each output a witness certifying that the output is correct. A checker for such a witness is usually much simpler than the original algorithm—yet it is all the user has to trust. The verification of checkers is feasible with current tools and leads to computations that can be completely trusted. We describe a framework to seamlessly verify certifying computations. We use the automatic verifier VCC for establishing the correctness of the checker and the interactive theorem prover Isabelle/HOL for high-level mathematical properties of algorithms. We demonstrate the effectiveness of our approach by presenting the verification of typical examples of the industrial-level and widespread algorithmic library LEDA.     

Global Performance Indices for Dynamic Crystals as Organic Thermal Actuators

Crystal adaptronics is an emergent materials science discipline at the intersection of solid-state chemistry and mechanical engineering that explores the dynamic nature of mechanically reconfigurable, motile, and explosive crystals. Adaptive molecular crystals bring to materials science a qualitatively new set of properties that associate long-range structural order with softness and mechanical compliance. However, the full potential of this class of materials remains underexplored and they have not been considered as materials of choice in an engineer's toolbox. A set of general performance metrics that can be used for quantification of the performance of these prospective dynamic materials as micro- and macroactuators is presented. The indices are calculated on two selected representatives of thermosalient solids—materials that undergo rapid martensitic transitions accompanied with macroscopic locomotion. Benchmarking of their performance against extensive set of data for the existing actuator classes and visualization using materials property charts uncover the hidden potential and advantages of dynamic crystals, while they also reveal their drawbacks for actual application as actuators. Altogether the results indicate that, if the challenges with fabrication and implementation in devices are overcome, adaptive molecular crystals can have far-reaching implications for emerging fields such as smart microelectronics and soft microrobotics.     

Effect of alcohol type and amount on the total energy consumption and yield of the free fatty acids esterification reaction with simultaneous adsorptive water removal

The present work investigates the energy consumption and yield of the esterification reaction of free fatty acids (waste oil pretreatment) under a simultaneous water removal by adsorption. The reaction was performed under methanol, ethanol, and 1-propanol at the optimum reaction temperature of 100°C. The higher boiling point temperature of 1-propanol reduced the energy requirement of the reaction by 36.3 and 34.4% compared to methanol and ethanol, respectively. Moreover, despite the higher reactivity associated with alcohols having lower carbon chains, the reaction yield was approximately 16.4% higher under 1-propanol than the other two alcohols. This can be ascribed to the ability to use higher amounts of 1-propanol while maintaining lower energy consumption. The results also indicated that the reaction at 100°C under methanol and ethanol had a similar energy consumption and yield, favoring the use of the renewable ethanol over the widely used nonrenewable methanol. Finally, these findings highlight the importance of investigating the energy consumption of novel oil pretreatment processes and not solely focus on their ability to convert free fatty acids to biofuel.     

Crystal structures of high affinity human T-cell receptors bound to peptide major histocompatibility complex reveal native diagonal binding geometry

Naturally selected T-cell receptors (TCRs) are characterised by low binding affinities, typically in the range 1-100 microM. Crystal structures of syngeneic TCRs bound to peptide major histocompatibility complex (pMHC) antigens exhibit a conserved mode of binding characterised by a distinct diagonal binding geometry, with poor shape complementarity (SC) between receptor and ligand. Here, we report the structures of three in vitro affinity enhanced TCRs that recognise the pMHC tumour epitope NY-ESO(157-165) (SLLMWITQC). These crystal structures reveal that the docking mode for the high affinity TCRs is identical to that reported for the parental wild-type TCR, with only subtle changes in the mutated complementarity determining regions (CDRs) that form contacts with pMHC; both CDR2 and CDR3 mutations act synergistically to improve the overall affinity. Comparison of free and bound TCR structures for both wild-type and a CDR3 mutant reveal an induced fit mechanism arising from restructuring of CDR3 loops which allows better peptide binding. Overall, an increased interface area, improved SC and additional H-bonding interactions are observed, accounting for the increase in affinity. Most notably, there is a marked increase in the SC for the central methionine and tryptophan peptide motif over the native TCR.     

Use of lactic acid bacteria and yeasts to reduce exposure to chemical food contaminants and toxicity

Chemical contaminants that are present in food pose a health problem and their levels are controlled by national and international food safety organizations. Despite increasing regulation, foods that exceed legal limits reach the market. In Europe, the number of notifications of chemical contamination due to pesticide residues, mycotoxins and metals is particularly high. Moreover, in many parts of the world, drinking water contains high levels of chemical contaminants owing to geogenic or anthropogenic causes.

Elimination of chemical contaminants from water and especially from food is quite complex. Drastic treatments are usually required, which can modify the food matrix or involve changes in the forms of cultivation and production of the food products. These modifications often make these treatments unfeasible. In recent years, efforts have been made to develop strategies based on the use of components of natural origin to reduce the quantity of contaminants in foods and drinking water, and to reduce the quantity that reaches the bloodstream after ingestion, and thus, their toxicity. This review provides a summary of the existing literature on strategies based on the use of lactic acid bacteria or yeasts belonging to the genus Saccharomyces that are employed in food industry or for dietary purposes.     

New light‐emitting poly{(9,9‐di‐n‐octylfluorenediyl vinylene)‐alt‐[1,5‐(2,6‐dioctyloxy)naphthalene vinylene]}

A new conjugated light‐emitting AB copolymer containing alternating fluorene and naphthalene units, poly{(9,9‐di‐n‐octylfluorenediyl vinylene)‐alt‐[1,5‐(2,6‐dioctyloxy)naphthalene vinylene]} (PFV‐alt‐PNV), was synthesized via Horner‐Emmons polymerization. The polymer is completely soluble in common organic solvents and exhibits good thermal stability up to 400 °C. UV‐visible, fluorescence and photoluminescence measurements of the copolymer show peak maxima at 427, 500 and 526 nm, respectively. A light‐emitting device containing the new polymer was fabricated using a simple indium tin oxide configuration: (ITO)/PEDOT:PSS/PFV‐alt‐PNV/Al. Measurements of current versus electric field were carried out, with an onset of light emission occurring at 2.5 V. The electroluminescence brightness was observed to reach a maximum of 5000 cd m^?2. Copyright © 2011 Society of Chemical Industry