Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its... 相似文献
We propose methodology for estimation of sparse precision matrices and statistical inference for their low-dimensional parameters in a high-dimensional setting where the number of parameters p can be much larger than the sample size. We show that the novel estimator achieves minimax rates in supremum norm and the low-dimensional components of the estimator have a Gaussian limiting distribution. These results hold uniformly over the class of precision matrices with row sparsity of small order \(\sqrt{n}/\log p\) and spectrum uniformly bounded, under a sub-Gaussian tail assumption on the margins of the true underlying distribution. Consequently, our results lead to uniformly valid confidence regions for low-dimensional parameters of the precision matrix. Thresholding the estimator leads to variable selection without imposing irrepresentability conditions. The performance of the method is demonstrated in a simulation study and on real data. 相似文献
Social media plays an increasingly prominent role in the interaction between impact assessments and society. Impact assessment is thus becoming part of social networks that are claimed to be able to improve interaction between actors in impact assessment processes. By investigating the use of social media in impact assessment and planning processes of national linear infrastructure development, we explore how social media impinge on participatory practices and how the potential of social media is realized in the current use related to public participation processes. The study focuses on experiences among national developers working in road, rail, electricity, gas, and metro infrastructures in Denmark. The article shows that the current use of social media in public participatory practices is limited to branding and on-way communication and that the increasing use of social media in linear infrastructure planning gives rise to a variety of concerns among developers that are related to especially organizational cultures, perception of the target groups, and prioritization of resources. 相似文献
Impact assessment (IA) has become one of the most prevalent environmental policy instruments today. Its introduction under the National Environmental Policy Act (US) in 1969 was revolutionary. Perhaps it is not surprising, then, that such a widely used tool has received its share of criticism, including that it fails to meet some of its fundamental goals. Over the last fifty years, IA has broadened in scope and application and embraced new techniques. It has followed evolved, but has not changed fundamentally.We believe that IA must continue to change to meet the societal and environmental challenges of the 21st century. But will it be enough for IA to progress through incremental change (evolution), or is a complete overhaul of impact assessment (revolution) needed? We provide some ideas as to what ‘evolution’ and ‘revolution’ may look like, but rather then offering a definitive way forward now, we invite stakeholders to present their thoughts and suggestions at the IAIA19 Annual Conference in Brisbane, which carries the same theme as the title of this article. 相似文献
Carbon quantum dots (CQDs) have emerged as potential alternatives to classical metal-based semiconductor quantum dots (QDs) due to the abundance of their precursors, their ease of synthesis, high biocompatibility, low cost, and particularly their strong photoresponsiveness, tunability, and stability. Light is a versatile, tunable stimulus that can provide spatiotemporal control. Its interaction with CQDs elicits interesting responses such as wavelength-dependent optical emissions, charge/electron transfer, and heat generation, processes that are suitable for a range of photomediated bioapplications. The carbogenic core and surface characteristics of CQDs can be tuned through versatile engineering strategies to endow specific optical and physicochemical properties, while conjugation with specific moieties can enable the design of targeted probes. Fundamental approaches to tune the responses of CQDs to photo-interactions and the design of bionanoprobes are presented, which enable biomedical applications involving diagnostics and therapeutics. These strategies represent comprehensive platforms for engineering multifunctional probes for nanomedicine, and the design of QD probes with a range of metal-free and emerging 2D materials.
Autosomal recessive polycystic kidney disease (ARPKD) is characterized by the formation of large collecting tubule and ductular cysts that often result in renal insufficiency within the first decade of life. Understanding the process leading to cyst formation will require the identification and characterization of genes involved in the etiology of this disease. In this regard, we previously described the generation of a mouse model (TgN737Rpw) for ARPKD and the cloning of a candidate gene. Here we show direct involvement of the Tg737 gene in collecting duct cyst formation by expressing the wild-type Tg737 cDNA as a transgene in TgN737Rpw mutants. In contrast to TgN737Rpw mutants, the "rescued" animals survive longer, have normal renal function and normal localization of the EGFr to the basolateral surfaces of collecting duct epithelium. 相似文献
After segmentation of the vertebrate hindbrain, expression of the zinc-finger gene Krox-20 and the receptor tyrosine kinase gene Sek-1 is precisely restricted to rhombomeres (r) 3 and 5. This precise segmental expression is likely to reflect a critical requirement for these rhombomeres to acquire a distinct and homogeneous identity and raises the question as to how this relates to the intermingling and restriction of cell movement during segmentation. We have analysed Krox-20 and Sek-1 expression in the mouse and chick hindbrain at single-cell resolution using whole-mount in situ hybridisation and immunocytochemistry. We find that, in the mouse, the presumptive r3 and r5 expression domains each arise as narrow stripes that then broaden, suggestive of a recruitment of cells to an r3/r5 identity and/or a segmental regulation of cell proliferation. In addition, we find that expression of these genes initially occurs in fuzzy domains, and that these are progressively restricted to segmental domains, although occasional "violating" cells are observed even after segmentation. We propose that the establishment and maintenance of these segmental domains may involve both a dynamic regulation of r3/r5 identity and the restriction of cell movement across rhombomere boundaries. 相似文献