Filtyp
We prove near-optimal tradeoffs for quantifier depth (also called quantifier rank) versus number of variables in first-order logic by exhibiting pairs of n-element structures that can be distinguished by a k-variable first-order sentence but where every such sentence requires quantifier depth at least nω (k/log k). Our tradeoffs also apply to first-order counting logic and, by the known connection
This review summarises the presentations during a workshop session entitled “The Use of Soluble Guanylate Cyclase Activators to Treat Benign Prostatic Hyperplasia, Obstruction and Fibrosis – Mechanistic Concepts and Clinical Implications” at the International Continence Society (ICS) 2021 Melbourne Virtual meeting. Benign prostatic hyperplasia (BPH) is a highly prevalent condition that can result
Objectives Accumulating evidence suggested that the laminin Î 32 (LAMC2) expression level was upregulated in various cancers. However, the potential prognostic value of LAMC2 in cancers remains unclear. We conducted a meta-analysis to clarify the association of LAMC2 expression with prognosis. Design We searched Embase, Web of Science and PubMed (up to 25 November 2021) to collect all eligible stu
Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Bool
The models of Georgios Chortatsis's play Erofili, written around 1590, were to a large extent Italian plays written a few generations earlier. Main plot elements were adopted from the Orbecche (1541) by Giovanni Battista Giraldi, with a tragic love story involving a princess and her secret marriage, whereas two of Chortatsis's choral odes included adapted translations from choral odes from Trissin
Background: Alzheimer's disease (AD) is a prevalent neurodegenerative disorder without a cure. Innovative disease models, such as induced neurons (iNs), could enhance our understanding of AD mechanisms and accelerate treatment development. However, a review of AD human iN studies is necessary to consolidate knowledge. Objective: The objective of this review is to examine the current body of litera
Vertebrates and cephalopods are the two major animal groups that view the world through sophisticated camera-type eyes. There are of course exceptions: nautiloid cephalopods have more simply built pinhole eyes. Excellent camera type eyes are also found in other animals, such as some spider groups, a few snails, and certain marine worms, but the vast majority of large camera-type eyes belong to cep
In medical research and within the field of Biology, it is important to find effective tools for probing and manipulating cells, as well as tools for detecting biomolecules. These tools should be sensitive, with high specitivity, and, if aimed at interacting with cells, they should be minimally invasive. In this thesis, I investigated the potential of various nanotools for these purposes. Specific
Small for gestational age (SGA) is considered an adverse birth outcome. Per- and polyfluoralkyl substances (PFAS) have become increasingly investigated as contributing environmental factors, thus far with inconclusive results. The current study aimed to investigate the hypothesized association between increased maternal PFAS levels in early pregnancy and an increased risk for SGA birth. This popul
Background Epithelial damage, repair and remodelling are critical features of chronic airway diseases including chronic obstructive pulmonary disease (COPD). Interleukin (IL)-33 released from damaged airway epithelia causes inflammation via its receptor, serum stimulation-2 (ST2). Oxidation of IL-33 to a non-ST2-binding form (IL-33ox) is thought to limit its activity. We investigated whether IL-33
The Portable Ice Nucleation Chamber 2 (PINCii) is a newly developed continuous flow diffusion chamber (CFDC) for measuring ice nucleating particles (INPs). PINCii is a vertically oriented parallel-plate CFDC that has been engineered to improve upon the limitations of previous generations of CFDCs. This work presents a detailed description of the PINCii instrument and the upgrades that make it uniq
A study has been undertaken to investigate the environmental implication of early detection of a fire for the environmental impact of the fire when taking into account the global impact of the intervention itself and the need to replace building and contents as a function of the size and duration of the fire. The various scenarios investigated show that the greatest benefit is gained if a fire is
Kapitel i bok utgiven av Barncancerfonden. Om hur sjuka barn gestaltats i skönlitteratur.
