88 resultados para Rademacher complexity bound


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A compact and planar donor–acceptor molecule 1 comprising tetrathiafulvalene (TTF) and benzothiadiazole (BTD) units has been synthesised and experimentally characterised by structural, optical, and electrochemical methods. Solution-processed and thermally evaporated thin films of 1 have also been explored as active materials in organic field-effect transistors (OFETs). For these devices, hole field-effect mobilities of μFE=(1.3±0.5)×10−3 and (2.7±0.4)×10−3 cm2 V s−1 were determined for the solution-processed and thermally evaporated thin films, respectively. An intense intramolecular charge-transfer (ICT) transition at around 495 nm dominates the optical absorption spectrum of the neutral dyad, which also shows a weak emission from its ICT state. The iodine-induced oxidation of 1 leads to a partially oxidised crystalline charge-transfer (CT) salt {(1)2I3}, and eventually also to a fully oxidised compound {1I3}⋅1/2I2. Single crystals of the former CT compound, exhibiting a highly symmetrical crystal structure, reveal a fairly good room temperature electrical conductivity of the order of 2 S cm−1. The one-dimensional spin system bears compactly bonded BTD acceptors (spatial localisation of the LUMO) along its ridge.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Coronaviruses raise serious concerns as emerging zoonotic viruses without specific antiviral drugs available. Here we screened a collection of 16671 diverse compounds for anti-human coronavirus 229E activity and identified an inhibitor, designated K22, that specifically targets membrane-bound coronaviral RNA synthesis. K22 exerts most potent antiviral activity after virus entry during an early step of the viral life cycle. Specifically, the formation of double membrane vesicles (DMVs), a hallmark of coronavirus replication, was greatly impaired upon K22 treatment accompanied by near-complete inhibition of viral RNA synthesis. K22-resistant viruses contained substitutions in non-structural protein 6 (nsp6), a membrane-spanning integral component of the viral replication complex implicated in DMV formation, corroborating that K22 targets membrane bound viral RNA synthesis. Besides K22 resistance, the nsp6 mutants induced a reduced number of DMVs, displayed decreased specific infectivity, while RNA synthesis was not affected. Importantly, K22 inhibits a broad range of coronaviruses, including Middle East respiratory syndrome coronavirus (MERS-CoV), and efficient inhibition was achieved in primary human epithelia cultures representing the entry port of human coronavirus infection. Collectively, this study proposes an evolutionary conserved step in the life cycle of positive-stranded RNA viruses, the recruitment of cellular membranes for viral replication, as vulnerable and, most importantly, druggable target for antiviral intervention. We expect this mode of action to serve as a paradigm for the development of potent antiviral drugs to combat many animal and human virus infections.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A subclass of eukaryotic proteins is subject to modification with fatty acids, the most common of which are palmitic and myristic acid. Protein acylation allows association with cellular membranes in the absence of transmembrane domains. Here we examine POMP39, a protein previously described to be present in the outer mitochondrial membrane proteome (POMP) of the protozoan parasite Trypanosoma brucei. POMP39 lacks canonical transmembrane domains, but is likely both myristoylated and palmitoylated on its N-terminus. Interestingly, the protein is also dually localized on the surface of the mitochondrion as well as in the flagellum of both insect-stage and the bloodstream form of the parasites. Upon abolishing of global protein acylation or mutation of the myristoylation site, POMP39 relocates to the cytosol. RNAi-mediated ablation of the protein neither causes a growth phenotype in insect-stage nor bloodstream form trypanosomes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Complexity has long been recognized and is increasingly becoming mainstream in geomorphology. However, the relative novelty of various concepts and techniques associated to it means that ambiguity continues to surround complexity. In this commentary, we present and discuss a variety of recent contributions that have the potential to help clarify issues and advance the use of complexity in geomorphology.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

CONTEXT Complex steroid disorders such as P450 oxidoreductase deficiency or apparent cortisone reductase deficiency may be recognized by steroid profiling using chromatographic mass spectrometric methods. These methods are highly specific and sensitive, and provide a complete spectrum of steroid metabolites in a single measurement of one sample which makes them superior to immunoassays. The steroid metabolome during the fetal-neonatal transition is characterized by a) the metabolites of the fetal-placental unit at birth, b) the fetal adrenal androgens until its involution 3-6 months postnatally, and c) the steroid metabolites produced by the developing endocrine organs. All these developmental events change the steroid metabolome in an age- and sex-dependent manner during the first year of life. OBJECTIVE The aim of this study was to provide normative values for the urinary steroid metabolome of healthy newborns at short time intervals in the first year of life. METHODS We conducted a prospective, longitudinal study to measure 67 urinary steroid metabolites in 21 male and 22 female term healthy newborn infants at 13 time-points from week 1 to week 49 of life. Urine samples were collected from newborn infants before discharge from hospital and from healthy infants at home. Steroid metabolites were measured by gas chromatography-mass spectrometry (GC-MS) and steroid concentrations corrected for urinary creatinine excretion were calculated. RESULTS 61 steroids showed age and 15 steroids sex specificity. Highest urinary steroid concentrations were found in both sexes for progesterone derivatives, in particular 20α-DH-5α-DH-progesterone, and for highly polar 6α-hydroxylated glucocorticoids. The steroids peaked at week 3 and decreased by ∼80% at week 25 in both sexes. The decline of progestins, androgens and estrogens was more pronounced than of glucocorticoids whereas the excretion of corticosterone and its metabolites and of mineralocorticoids remained constant during the first year of life. CONCLUSION The urinary steroid profile changes dramatically during the first year of life and correlates with the physiologic developmental changes during the fetal-neonatal transition. Thus detailed normative data during this time period permit the use of steroid profiling as a powerful diagnostic tool.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we present the evaluation design for a complex multilevel program recently introduced in Switzerland. The evaluation embraces the federal level, the cantonal program level, and the project level where target groups are directly addressed. We employ Pawson and Tilley’s realist evaluation approach, in order to do justice to the varying context factors that impact the cantonal programs leading to varying effectiveness of the implemented activities. The application of the model to the canton of Uri shows that the numerous vertical and horizontal relations play a crucial role for the program’s effectiveness. As a general learning for the evaluation of complex programs, we state that there is a need to consider all affected levels of a program and that no monocausal effects can be singled out in programs where multiple interventions address the same problem. Moreover, considering all affected levels of a program can mean going beyond the borders of the actual program organization and including factors that do not directly interfere with the policy delivery as such. In particular, we found that the relationship between the cantonal and the federal level was a crucial organizational factor influencing the effectiveness of the cantonal program.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Currently several thousands of objects are being tracked in the MEO and GEO regions through optical means. The problem faced in this framework is that of Multiple Target Tracking (MTT). In this context both, the correct associations among the observations and the orbits of the objects have to be determined. The complexity of the MTT problem is defined by its dimension S. The number S corresponds to the number of fences involved in the problem. Each fence consists of a set of observations where each observation belongs to a different object. The S ≥ 3 MTT problem is an NP-hard combinatorial optimization problem. There are two general ways to solve this. One way is to seek the optimum solution, this can be achieved by applying a branch-and- bound algorithm. When using these algorithms the problem has to be greatly simplified to keep the computational cost at a reasonable level. Another option is to approximate the solution by using meta-heuristic methods. These methods aim to efficiently explore the different possible combinations so that a reasonable result can be obtained with a reasonable computational effort. To this end several population-based meta-heuristic methods are implemented and tested on simulated optical measurements. With the advent of improved sensors and a heightened interest in the problem of space debris, it is expected that the number of tracked objects will grow by an order of magnitude in the near future. This research aims to provide a method that can treat the correlation and orbit determination problems simultaneously, and is able to efficiently process large data sets with minimal manual intervention.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Currently several thousands of objects are being tracked in the MEO and GEO regions through optical means. The problem faced in this framework is that of Multiple Target Tracking (MTT). In this context both the correct associations among the observations, and the orbits of the objects have to be determined. The complexity of the MTT problem is defined by its dimension S. Where S stands for the number of ’fences’ used in the problem, each fence consists of a set of observations that all originate from dierent targets. For a dimension of S ˃ the MTT problem becomes NP-hard. As of now no algorithm exists that can solve an NP-hard problem in an optimal manner within a reasonable (polynomial) computation time. However, there are algorithms that can approximate the solution with a realistic computational e ort. To this end an Elitist Genetic Algorithm is implemented to approximately solve the S ˃ MTT problem in an e cient manner. Its complexity is studied and it is found that an approximate solution can be obtained in a polynomial time. With the advent of improved sensors and a heightened interest in the problem of space debris, it is expected that the number of tracked objects will grow by an order of magnitude in the near future. This research aims to provide a method that can treat the correlation and orbit determination problems simultaneously, and is able to e ciently process large data sets with minimal manual intervention.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Small non-protein-coding RNA (ncRNA) molecules represent major contributors to regulatory networks in controlling gene expression in a highly efficient manner. All of the recently discovered regulatory ncRNAs that act on translation (e.g. microRNAs, siRNAs or antisense RNAs) target the mRNA rather than the ribosome. To address the question, whether small ncRNA regulators exist that are capable of modulating the rate of protein production by directly interacting with the ribosome, we have analyzed the small ncRNA interactomes of ribosomes Deep-sequencing and subsequent bioinformatic analyses revealed thousands of putative ribosome-associated ncRNAs in various model organisms (1,2). For a subset of these ncRNA candidates we have gathered experimental evidence that they associate with ribosomes in a stress-dependent manner and are capable of regulating gene expression by fine-tuning the rate of protein biosynthesis (3,4). Many of the investigated ribosome-bound small ncRNA appear to be processing products from larger functional RNAs, such as tRNAs (2,3) or mRNAs (3). Post-transcriptional cleavage of RNA molecules to generate smaller fragments is a widespread mechanism that enlarges the structural and functional complexity of cellular RNomes. Our data reveal the ribosome as a target for small regulatory ncRNAs and demonstrate the existence of a yet unknown mechanism of translation regulation. Ribosome-associated ncRNAs (rancRNAs) are found in all domains of life and represent a prevalent but so far largely unexplored class of regulatory molecules (5). Future work on the small ncRNA interactomes of ribosomes in a variety of model systems will allow deeper insight into the conservation and functional repertoire of this emerging class of regulatory ncRNA molecules.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Post-transcriptional cleavage of RNA molecules to generate smaller fragments is a widespread mechanism that enlarges the structural and functional complexity of cellular RNomes. In particular, fragments deriving from both precursor and mature tRNAs represent one of the rapidly growing classes of post-transcriptional RNA pieces. Importantly, these tRNA-derived fragments (tRFs) possess distinct expression patterns, abundance, cellular localizations, or biological roles compared with their parental tRNA molecules [1]. Here we present evidence that tRFs from the archaeon Haloferax volcanii directly bind to ribosomes. In a previous genomic screen for ribosome-associated small RNAs we have identified a 26 residue long fragment originating from the 5’ part of valine tRNA (Val-tRF) to be by far the most abundant tRF in H. volcanii [2]. The Val-tRF is processed in a stress- dependent manner and was found to primarily target the small ribosomal subunit in vitro and in vivo. Translational activity was markedly reduced in the presence of Val-tRF, while control RNA fragments of similar length did not show inhibition of protein biosynthesis. Crosslinking experiments and subsequent primer extension analyses revealed the Val-tRF interaction site to surround the mRNA path in the 30S subunit. In support of this, binding experiments demonstrated that Val-tRF does compete with mRNAs for ribosome binding. Therefore this tRF represents a ribosome-bound non-protein-coding RNA (ncRNA) capable of regulating gene expression in H. volcanii under environmental stress conditions probably by fine-tuning the rate of protein production [1].