Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure

Prime ideals in nilpotent Iwasawa algebras

Let G be a nilpotent complete p-valued group of finite rank and let k be a field of characteristic p. We prove that every faithful prime ideal of the Iwasawa algebra kG is controlled by the centre of G, and use this to show that the prime spectrum of kG is a disjoint union of commutative strata. We also show that every prime ideal of kG is completely prime. The key ingredient in the proof is the construction of a non-commutative valuation on certain filtered simple Artinian rings

Some unique benefits with Sudangrass for improved U.S. #1 yields and size of Russet Burbank potato

Three studies provided additional knowledge of beneficial effects of sudangrass for yield and quality increases of the Russet Burbank potato. Thro of these studies showed significant 'increases of both U.S. #1 and smooth tubers >280 g following green manures of sudangrass. These sudangrass (HS-33) effects did not differ from a sorghum-sudan hybrid (Trudan-8). When a sudangrass green manure was compared with a fallow treatment, results of the first study showed mean yield increases of 36% for U.S. #1 tubers >280 g and yields of a second study by 34% for U.S. #1 tubers. This same sudangrass treatment outperformed green manures of either Austrian winter pea, barley, or sweet corn by increased U.S. #1 yields that ranged from 27% to 61%. By several lines of evidence, these benefits were found to extend beyond the effect of Verticillium suppression. Soil N was significantly increased following green manures of sudangrass, and these increases were in turn negatively correlated with wilt incidence and positively correlated with yields of both U.S. #1 tubers and tubers >280 g. Additional benefits also included significant increases of tuber grade percentages for marketable tubers and of smooth tubers >280 g. Benefits from sudangrass green manures beyond the effects of Verticillium suppression became further evident following a greenhouse study that involved field soil and sudangrass that had been grown in the same field. This study corroborated both field experiments by showing increased yields with green manures of sudangrass that approximated 5.5 t ha-1 dry wt. As with the field studies, these yield benefits also extended beyond the effects of Verticillium suppression and were closely associated with significant increases of Fusarium equiseti, F. oxysporum, and F. solani. Throughout all studies, sudangrass green manures significantly increased microbial activities with increased populations of Fusarium spp. and increased concentrations in soil of mineralizable N, organic P, K, Mn, along with the percent soil organic matter — all factors that could have contributed to significant increases of yield and quality

Can forest management based on natural disturbances maintain ecological resilience?

Given the increasingly global stresses on forests, many ecologists argue that managers must maintain ecological resilience: the capacity of ecosystems to absorb disturbances without undergoing fundamental change. In this review we ask: Can the emerging paradigm of natural-disturbance-based management (NDBM) maintain ecological resilience in managed forests? Applying resilience theory requires careful articulation of the ecosystem state under consideration, the disturbances and stresses that affect the persistence of possible alternative states, and the spatial and temporal scales of management relevance. Implementing NDBM while maintaining resilience means recognizing that (i) biodiversity is important for long-term ecosystem persistence, (ii) natural disturbances play a critical role as a generator of structural and compositional heterogeneity at multiple scales, and (iii) traditional management tends to produce forests more homogeneous than those disturbed naturally and increases the likelihood of unexpected catastrophic change by constraining variation of key environmental processes. NDBM may maintain resilience if silvicultural strategies retain the structures and processes that perpetuate desired states while reducing those that enhance resilience of undesirable states. Such strategies require an understanding of harvesting impacts on slow ecosystem processes, such as seed-bank or nutrient dynamics, which in the long term can lead to ecological surprises by altering the forest's capacity to reorganize after disturbance

Characteristics of Early-Onset vs Late-Onset Colorectal Cancer: A Review.

The incidence of early-onset colorectal cancer (younger than 50 years) is rising globally, the reasons for which are unclear. It appears to represent a unique disease process with different clinical, pathological, and molecular characteristics compared with late-onset colorectal cancer. Data on oncological outcomes are limited, and sensitivity to conventional neoadjuvant and adjuvant therapy regimens appear to be unknown. The purpose of this review is to summarize the available literature on early-onset colorectal cancer. Within the next decade, it is estimated that 1 in 10 colon cancers and 1 in 4 rectal cancers will be diagnosed in adults younger than 50 years. Potential risk factors include a Westernized diet, obesity, antibiotic usage, and alterations in the gut microbiome. Although genetic predisposition plays a role, most cases are sporadic. The full spectrum of germline and somatic sequence variations implicated remains unknown. Younger patients typically present with descending colonic or rectal cancer, advanced disease stage, and unfavorable histopathological features. Despite being more likely to receive neoadjuvant and adjuvant therapy, patients with early-onset disease demonstrate comparable oncological outcomes with their older counterparts. The clinicopathological features, underlying molecular profiles, and drivers of early-onset colorectal cancer differ from those of late-onset disease. Standardized, age-specific preventive, screening, diagnostic, and therapeutic strategies are required to optimize outcomes

Integrating sequence and array data to create an improved 1000 Genomes Project haplotype reference panel

A major use of the 1000 Genomes Project (1000GP) data is genotype imputation in genome-wide association studies (GWAS). Here we develop a method to estimate haplotypes from low-coverage sequencing data that can take advantage of single-nucleotide polymorphism (SNP) microarray genotypes on the same samples. First the SNP array data are phased to build a backbone (or 'scaffold') of haplotypes across each chromosome. We then phase the sequence data 'onto' this haplotype scaffold. This approach can take advantage of relatedness between sequenced and non-sequenced samples to improve accuracy. We use this method to create a new 1000GP haplotype reference set for use by the human genetic community. Using a set of validation genotypes at SNP and bi-allelic indels we show that these haplotypes have lower genotype discordance and improved imputation performance into downstream GWAS samples, especially at low-frequency variants. © 2014 Macmillan Publishers Limited. All rights reserved

Star clusters near and far; tracing star formation across cosmic time

© 2020 Springer-Verlag. The final publication is available at Springer via https://doi.org/10.1007/s11214-020-00690-x.Star clusters are fundamental units of stellar feedback and unique tracers of their host galactic properties. In this review, we will first focus on their constituents, i.e.\ detailed insight into their stellar populations and their surrounding ionised, warm, neutral, and molecular gas. We, then, move beyond the Local Group to review star cluster populations at various evolutionary stages, and in diverse galactic environmental conditions accessible in the local Universe. At high redshift, where conditions for cluster formation and evolution are more extreme, we are only able to observe the integrated light of a handful of objects that we believe will become globular clusters. We therefore discuss how numerical and analytical methods, informed by the observed properties of cluster populations in the local Universe, are used to develop sophisticated simulations potentially capable of disentangling the genetic map of galaxy formation and assembly that is carried by globular cluster populations.Peer reviewedFinal Accepted Versio