83 resultados para BOUND-CONSTRAINED MINIMIZATION
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.
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.
Resumo:
We describe the synthesis and incorporation into alpha-DNA of a novel conformationally constrained alpha-nucleoside analogue. The carbohydrate part of this analogue was prepared in 4 steps from the known bicyclic precursor 1 via a stereospecific, intramolecular, Et 3B mediated radical addition to a keto-function as the key step. The thus obtained intermediate 4 was transformed stereoselectively into the corresponding alpha-nucleoside analogues 7 and 8 containing the bases adenine and thymine, and were further elaborated into the phosphoramidite building blocks 11 and 12 . Both building blocks were incorporated into alpha-oligodeoxynucleotides and their pairing behavior to parallel complementary DNA studied by UV-melting experiments. Single substitutions of alpha-deoxyribnucleoside units by the new analogues in the center of duplexes were found to be thermally destabilizing by only -0.8 to -3.1›C.
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.
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.
Resumo:
Information on the relationship between cumulative fossil CO2 emissions and multiple climate targets is essential to design emission mitigation and climate adaptation strategies. In this study, the transient response of a climate or environmental variable per trillion tonnes of CO2 emissions, termed TRE, is quantified for a set of impact-relevant climate variables and from a large set of multi-forcing scenarios extended to year 2300 towards stabilization. An ∼ 1000-member ensemble of the Bern3D-LPJ carbon–climate model is applied and model outcomes are constrained by 26 physical and biogeochemical observational data sets in a Bayesian, Monte Carlo-type framework. Uncertainties in TRE estimates include both scenario uncertainty and model response uncertainty. Cumulative fossil emissions of 1000 Gt C result in a global mean surface air temperature change of 1.9 °C (68 % confidence interval (c.i.): 1.3 to 2.7 °C), a decrease in surface ocean pH of 0.19 (0.18 to 0.22), and a steric sea level rise of 20 cm (13 to 27 cm until 2300). Linearity between cumulative emissions and transient response is high for pH and reasonably high for surface air and sea surface temperatures, but less pronounced for changes in Atlantic meridional overturning, Southern Ocean and tropical surface water saturation with respect to biogenic structures of calcium carbonate, and carbon stocks in soils. The constrained model ensemble is also applied to determine the response to a pulse-like emission and in idealized CO2-only simulations. The transient climate response is constrained, primarily by long-term ocean heat observations, to 1.7 °C (68 % c.i.: 1.3 to 2.2 °C) and the equilibrium climate sensitivity to 2.9 °C (2.0 to 4.2 °C). This is consistent with results by CMIP5 models but inconsistent with recent studies that relied on short-term air temperature data affected by natural climate variability.
Resumo:
The deglaciation history of the Swiss Alps after the Last Glacial Maximum involved the decay of several ice domes and the subsequent disintegration of valley glaciers at high altitude. Here we use bedrock exposure dating to reconstruct the temporal and spatial pattern of ice retreat at the Simplon Pass (altitude: ∼2000 m) located 40 km southwest of the ‘Rhône ice dome’. Eleven 10Be exposure ages from glacially polished quartz veins and ice-molded bedrock surfaces cluster tightly between 13.5 ± 0.6 ka and 15.4 ± 0.6 ka (internal errors) indicating that the Simplon Pass depression became ice-free at 14.1 ± 0.4 ka (external error of mean age). This age constraint is interpreted to record the melting of the high valley glaciers in the Simplon Pass region during the warm Bølling–Allerød interstadial shortly after the Oldest Dryas stadial. Two bedrock samples collected a few hundred meters above the pass depression yield older 10Be ages of 17.8 ± 0.6 ka and 18.0 ± 0.6 ka. These ages likely reflect the initial downwasting of the Rhône ice dome and the termination of the ice transfluence from the ice dome across the Simplon Pass toward the southern foreland. There, the retreat of the piedmont glacier in Val d’Ossola was roughly synchronous with the decay of the Rhône ice dome in the interior of the mountain belt, as shown by 10Be ages of 17.7 ± 0.9 ka and 16.1 ± 0.6 ka for a whaleback at ∼500 m elevation near Montecrestese in northern Italy. In combination with well-dated paleoclimate records derived from lake sediments, our new age data suggest that during the deglaciation of the European Alps the decay of ice domes was approximately synchronous with the retreat of piedmont glaciers in the foreland and was followed by the melting of high-altitude valley glaciers after the transition from the Oldest Dryas to the Bølling–Allerød, when mean annual temperatures rose rapidly by ∼3 °C.
Resumo:
Most commercial project management software packages include planning methods to devise schedules for resource-constrained projects. As it is proprietary information of the software vendors which planning methods are implemented, the question arises how the software packages differ in quality with respect to their resource-allocation capabilities. We experimentally evaluate the resource-allocation capabilities of eight recent software packages by using 1,560 instances with 30, 60, and 120 activities of the well-known PSPLIB library. In some of the analyzed packages, the user may influence the resource allocation by means of multi-level priority rules, whereas in other packages, only few options can be chosen. We study the impact of various complexity parameters and priority rules on the project duration obtained by the software packages. The results indicate that the resource-allocation capabilities of these packages differ significantly. In general, the relative gap between the packages gets larger with increasing resource scarcity and with increasing number of activities. Moreover, the selection of the priority rule has a considerable impact on the project duration. Surprisingly, when selecting a priority rule in the packages where it is possible, both the mean and the variance of the project duration are in general worse than for the packages which do not offer the selection of a priority rule.
Resumo:
For executing the activities of a project, one or several resources are required, which are in general scarce. Many resource-allocation methods assume that the usage of these resources by an activity is constant during execution; in practice, however, the project manager may vary resource usage by individual activities over time within prescribed bounds. This variation gives rise to the project scheduling problem which consists in allocating the scarce resources to the project activities over time such that the project duration is minimized, the total number of resource units allocated equals the prescribed work content of each activity, and precedence and various work-content-related constraints are met.