Template-based circuit understanding

When verifying or reverse-engineering digital circuits, one often wants to identify and understand small components in a larger system. A possible approach is to show that the sub-circuit under investigation is functionally equivalent to a reference implementation. In many cases, this task is difficult as one may not have full information about the mapping between input and output of the two circuits, or because the equivalence depends on settings of control inputs. We propose a template-based approach that automates this process. It extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping of input and output signals and setting of control signals. The method relies on solving an exists/forall problem using an SMT solver, and on a pruning technique based on signature computation.

Best individual template selection from deformation tensor minimization

We study the influence of the choice of template in tensor-based morphometry. Using 3D brain MR images from 10 monozygotic twin pairs, we defined a tensor-based distance in the log-Euclidean framework [1] between each image pair in the study. Relative to this metric, twin pairs were found to be closer to each other on average than random pairings, consistent with evidence that brain structure is under strong genetic control. We also computed the intraclass correlation and associated permutation p-value at each voxel for the determinant of the Jacobian matrix of the transformation. The cumulative distribution function (cdf) of the p-values was found at each voxel for each of the templates and compared to the null distribution. Surprisingly, there was very little difference between CDFs of statistics computed from analyses using different templates. As the brain with least log-Euclidean deformation cost, the mean template defined here avoids the blurring caused by creating a synthetic image from a population, and when selected from a large population, avoids bias by being geometrically centered, in a metric that is sensitive enough to anatomical similarity that it can even detect genetic affinity among anatomies.

LaTeX Template for Writing QUT Thesis (Research Masters and PhD)

A LATEX style file, named qutthesis.sty, is developed, for writing PhD or Research Masters thesis. Developed by Professor Glen Yu-Chu Tian, it tries to fulfill QUT’s Thesis requirements but it is unofficial.

Fluctuations in protein synthesis from a single RNA template: Stochastic kinetics of ribosomes

Proteins are polymerized by cyclic machines called ribosomes, which use their messenger RNA (mRNA) track also as the corresponding template, and the process is called translation. We explore, in depth and detail, the stochastic nature of the translation. We compute various distributions associated with the translation process; one of them-namely, the dwell time distribution-has been measured in recent single-ribosome experiments. The form of the distribution, which fits best with our simulation data, is consistent with that extracted from the experimental data. For our computations, we use a model that captures both the mechanochemistry of each individual ribosome and their steric interactions. We also demonstrate the effects of the sequence inhomogeneities of real genes on the fluctuations and noise in translation. Finally, inspired by recent advances in the experimental techniques of manipulating single ribosomes, we make theoretical predictions on the force-velocity relation for individual ribosomes. In principle, all our predictions can be tested by carrying out in vitro experiments.

Climate Q - Develop capacity to adapt to climate change in Queensland

Aims to build adaptive capacity within Qld's mixed farming (cropping/beef) sector.

Polymer supported metal complexes as catalysts for oxidation of thiosalts by molecular oxygen IV. Quaternised poly(4-vinyl pyridine) complexes with Cu2+ as template

Copper(II) complexes of quaternised poly(4-vinylpyridine) (PVP) of different degrees of quaternisation and copper content have been prepared by crosslinking the polymer with 1,2-dibromoethane in the presence of Cu2+ ion as template. The stability constant of the PVP---Cu(II) complexes is found to increase with the degree of crosslinking quaternisation of the resin, but the rate at which Cu2+ is adsorbed by the resin decreases. An optimum combination of both stability and rate can be achieved with a moderate degree (31%) of crosslinking. A kinetic study reveals that quaternisation increases significantly the catalytic activity of the complex for the oxidation of S2O2−3 by O2 compared with PVP----Cu(II) without quaternisation, but it deactivates the complex for the oxidation of both S3O2−6 and S4O2−6. The batch reactor oxidation kinetics at pH 2.16, where the rate is observed to be maximum, is well explained by the Langmuir—Hinshelwood model assuming the coordination of both O2 and thioanion to Cu(II) as a precursor to the oxidation reaction.

Career Adapt-Abilities Scale—Iran Form: Psychometric properties and relationships with career satisfaction and entrepreneurial intentions

This study examined the psychometric properties of a Persian translation of the Career Adapt-Abilities Scale (CAAS—Iran Form) and its relationships with career satisfaction, business opportunity identification, and entrepreneurial intentions. It was hypothesized that career adaptability relates positively to these three outcomes, even when controlling for demographic and employment characteristics. Data were provided by 204 workers from Iran. Results showed that the overall CAAS score and sub-dimension scores (concern, control, curiosity, and confidence) were highly reliable. Moreover, confirmatory factor analyses indicated that the CAAS—Iran Form measures four distinct dimensions that can be combined into a higher-order career adaptability factor. Findings also demonstrated criterion-related validity of the scale with regard to career satisfaction and entrepreneurial intentions. In contrast, overall career adaptability was not significantly related to opportunity identification, while concern related positively, and control related negatively to opportunity identification. Overall, the CAAS—Iran Form has very good psychometric properties and predicts important career outcomes, suggesting that it can be used for career counseling and future research with Persian-speaking workers.

Climate savvy grazing (Developing improved grazing and related practices to assist beef production enterprises across northern Australia to adapt to a changing and more variable climate)

There is uncertainty over the potential changes to rainfall across northern Australia under climate change. Since rainfall is a key driver of pasture growth, cattle numbers and the resulting animal productivity and beef business profitability, the ability to anticipate possible management strategies within such uncertainty is crucial. The Climate Savvy Grazing project used existing research, expert knowledge and computer modelling to explore the best-bet management strategies within best, median and worse-case future climate scenarios. All three scenarios indicated changes to the environment and resources upon which the grazing industry of northern Australia depends. Well-adapted management strategies under a changing climate are very similar to best practice within current climatic conditions. Maintaining good land condition builds resource resilience, maximises opportunities under higher rainfall years and reduces the risk of degradation during drought and failed wet seasons. Matching stocking rate to the safe long-term carrying capacity of the land is essential; reducing stock numbers in response to poor seasons and conservatively increasing stock numbers in response to better seasons generally improves profitability and maintains land in good condition. Spelling over the summer growing season will improve land condition under a changing climate as it does under current conditions. Six regions were included within the project. Of these, the Victoria River District in the Northern Territory, Gulf country of Queensland and the Kimberley region of Western Australia had projections of similar or higher than current rainfall and the potential for carrying capacity to increase. The Alice Springs, Maranoa-Balonne and Fitzroy regions had projections of generally drying conditions and the greatest risk of reduced pasture growth and carrying capacity. Encouraging producers to consider and act on the risks, opportunities and management options inherent in climate change was a key goal of the project. More than 60,000 beef producers, advisors and stakeholders are now more aware of the management strategies which build resource resilience, and that resilience helps buffer against the effects of variable and changing climatic conditions. Over 700 producers have stated they have improved confidence, skills and knowledge to attempt new practices to build resilience. During the course of the project, more than 165 beef producers reported they have implemented changes to build resource and business resilience.

Sol-Gel Template Synthesis, Structural Characterization and Growth Mechanism of Barium Zirconate Nanotubes

In this paper, we report the synthesis of barium zirconate, BaZrO3, (BZ) nanotubes fabricated by the modified sol-gel method within the nanochannels of anodic aluminum oxide (AAO) templates. The morphology, structure, and composition of as prepared nanotubes were characterized by means of X-ray diffraction (XRD), field emission scanning electron microscope (FE-SEM), transmission electron microscope (TEM), selected-area electron diffraction ( SAED), high resolution TEM (HRTEM) and energy-dispersive X-ray spectroscopy (EDX). The results of XRD and SAED indicated that postannealed (at 650 degrees C for 1 h) BZ nanotubes (BZNTs) exhibited a polycrystalline cubic perovskite crystal structure. SEM and TEM analysis revealed that BZNTs possessed a uniform length and diameter (similar to 200 nm) and the thickness of the wall of the BZNTs was about 20 nm. Y-junctions, multiple branching and typical T-junctions were also observed in some BZNTs. EDX analysis demonstrated that stoichiometric BaZrO3 was formed. HRTEM image confirmed that the obtained BZNTs were composed of nanoparticles in the range of 5-10 nm. The possible formation mechanism of BZNTs was discussed.

Two highly unsymmetrical tetradentate (N3O) Schiff base copper(II) complexes: Template synthesis, structural characterization, magnetic and computational studies

Two new copper(II) complexes, [Cu-2(L-1)(2)](ClO4)(2) (1) and [Cu(L-2)(ClO4)] (2), of the highly unsymmetrical tetradentate (N3O) Schiff base ligands HL1 and HL2 (where HL1 = N-(2-hydroxyacetophenone)-bis-3-aminopropylamine and HL2 = N-(salicyldehydine)-bis-3-aminopropylamine) have been synthesised using a template method. Their single crystal X-ray structures show that in complex 1 two independent copper(II) centers are doubly bridged through sphenoxo-O atoms (O1A and O1B) of the two ligands and each copper atom is five-coordinated with a distorted square pyramidal geometry. The asymmetric unit of complex 2 consists of two crystallographically independe N-(salicylidene) bis(aminopropyl)amine-copper(II) molecules, A and B, with similar square pyramidal geometries. Cryomagnetic susceptibility measurements (5-300 K) on complex 1 reveal a distinct antiferromagnetic interaction with J=-23.6 cm(-1), which is substantiated by a DFT calculation (J=-27.6 cm(-1)) using the B3LYP functional. Complex 1, immobilized over highly ordered hexagonal mesoporous silica, shows moderate catalytic activity for the epoxidation of cyclohexene and styrene in the presence of TBHP as an oxidant.

Anion directed template synthesis of Cu(II) complexes of a N,N,O donor mono-condensed Schiff base ligand: A molecular scaffold forming highly ordered H-bonded rectangular grids

Anion directed, template syntheses of two dinuclear copper(II) complexes of mono-condensed Schiff base ligand Hdipn (4-[(3-aminopentylimino)-methyl]-benzene-1,3-diol) involving 2,4- dihydroxybenzaldehyde and 1,3-diaminopentane were realized in the presence of bridging azide and acetate anions. Both complexes, [Cu-2(dipn)(2)(N-3)(2)] (1) and [Cu-2(dip(n))(2)(OAc)(2)] (2) have been characterized by X-ray crystallography. The two mononuclear units are joined together by basal-apical, double end-on azido bridges in complex 1 and by basal-apical, double mono-atomic acetate oxygen-bridges in 2. Both complexes form rectangular grid-like supramolecular structures via H-bonds connecting the azide or acetate anion and the p-hydroxy group of 2,4- dihydroxybenzaldehyde. Variable-temperature (300-2 K) magnetic susceptibility measurements reveal that complex 1 has antiferromagnetic coupling (J = -2.10 cm (1)) through the azide bridge while 2 has intra-dimer ferromagnetic coupling through the acetate bridge and inter-dimer antiferromagnetic coupling through H-bonds (J = 2.85 cm (1), J' = -1.08 cm (1)). (C) 2009 Elsevier B. V. All rights reserved.

Recognition of active and inactive catalytic triads: A template based approach

It Is well established that a sequence template along with the database is a powerful tool for identifying the biological function of proteins. Here, we describe a method for predicting the catalytic nature of certain proteins among the several protein structures deposited in the Protein Data Bank (PDB) For the present study, we considered a catalytic triad template (Ser-His-Asp) found in serine proteases We found that a geometrically optimized active site template can be used as a highly selective tool for differentiating an active protein among several inactive proteins, based on their Ser-His-Asp interactions. For any protein to be proteolytic in nature, the bond angle between Ser O-gamma-Ser H-gamma His N-epsilon 2 in the catalytic triad needs to be between 115 degrees and 140 degrees The hydrogen bond distance between Ser H-gamma His N-epsilon 2 is more flexible in nature and it varies from 2 0 angstrom to 27 angstrom while in the case of His H-delta 1 Asp O-delta 1, it is from 1.6 angstrom to 2.0 angstrom In terms of solvent accessibility, most of the active proteins lie in the range of 10-16 angstrom(2), which enables easy accessibility to the substrate These observations hold good for most catalytic triads and they can be employed to predict proteolytic nature of these catalytic triads (C) 2010 Elsevier B V All rights reserved.

Measurement of the top quark mass at CDF using the “neutrino ϕ weighting” template method on a lepton plus isolated track sample

We present a measurement of the top quark mass with t-tbar dilepton events produced in p-pbar collisions at the Fermilab Tevatron $\sqrt{s}$=1.96 TeV and collected by the CDF II detector. A sample of 328 events with a charged electron or muon and an isolated track, corresponding to an integrated luminosity of 2.9 fb$^{-1}$, are selected as t-tbar candidates. To account for the unconstrained event kinematics, we scan over the phase space of the azimuthal angles ($\phi_{\nu_1},\phi_{\nu_2}$) of neutrinos and reconstruct the top quark mass for each $\phi_{\nu_1},\phi_{\nu_2}$ pair by minimizing a $\chi^2$ function in the t-tbar dilepton hypothesis. We assign $\chi^2$-dependent weights to the solutions in order to build a preferred mass for each event. Preferred mass distributions (templates) are built from simulated t-tbar and background events, and parameterized in order to provide continuous probability density functions. A likelihood fit to the mass distribution in data as a weighted sum of signal and background probability density functions gives a top quark mass of $165.5^{+{3.4}}_{-{3.3}}$(stat.)$\pm 3.1$(syst.) GeV/$c^2$.