Search results

We introduce semidefinite programming hierarchies for benchmarking relevant entanglement properties in the high-dimensional steering scenario. Firstly, we provide a general method for detecting the entanglement dimensionality through certification of the Schmidt number. Its key feature is that the computational cost is independent of the Schmidt number under consideration. Secondly, we provide a m

The growing implementation of sustainable urban infrastructure, utilizing solar energy for heat and power generation, daylighting, and thermal comfort, has intensified the focus on sustainability standards and guidelines. Nevertheless, a noticeable deficiency persists in regulations that specifically address solar energy access and protection, posing a barrier to the diffusion of solar-centric nei

ESSνSB is a design study for a next-generation long-baseline neutrino experiment that aims at the precise measurement of the CP-violating phase, δCP, in the leptonic sector at the second oscillation maximum. The conceptual design report published from the first phase of the project showed that after 10 years of data taking, more than 70% of the possible δCP range will be covered with 5σ C.L. to re

This chapter presents a simulation model for the optimization of a reservoir system that is being developed. Simulation studies were carried out, firstly to determine the best (and by how much) irrigation facilities to provide in the proposed new scheme, and secondly, to see the applicability of simulation in reservoir planning. A computer simulation model using MATLAB has been developed to analyz

COVID-19 disease models have aided policymakers in low-and middle-income countries (LMICs) with many critical decisions. Many challenges remain surrounding their use, from inappropriate model selection and adoption, inadequate and untimely reporting of evidence, to the lack of iterative stakeholder engagement in policy formulation and deliberation. These issues can contribute to the misuse of mode

We study the realizability and strong satisfiability problems for SAFETY LTL, a syntactic fragment of Linear Temporal Logic ([Formula presented]) capturing safe formulas. While it is well-known that realizability for this fragment lies in [Formula presented], the best-known lower bound is [Formula presented]-hardness. Surprisingly, closing this gap has proven an elusive task. Previous works have c

Following the European Forum for Research and Education in Allergy and Airway Diseases (EUFOREA) treatment algorithm for chronic rhinosinusitis (CRS) with nasal polyps (CRSwNP), patients suffering from severe uncontrolled CRSwNP are recommended to receive oral corticosteroids, (revision) sinus surgery, systemic biologicals and/or aspirin treatment after desensitization (ATAD). Given the major diff

Urban greening is often thought of as a tool for aligning developmental and environmental goals, but it is also a tool for magnifying the city. It exposes and expands almost invisible dimensions of our hyperlocal environment. Greening has become one of the strongest mechanisms for transforming these preferences from a figurative guide for action into the literal cities the authors inhabit. In the

Pediatric obsessive-compulsive disorder (OCD) clusters around three major symptom dimensions: contamination/cleaning, symmetry/ordering, and disturbing thoughts/checking. The Obsessive-Compulsive Inventory-Child Version (OCI-CV) is a self-report questionnaire that provides scores along six theory-based OCD dimensions, but no study has evaluated how well OCI-CV identifies clinically significant sym

The increase in the scale of LHC computing during Run 3 and Run 4 (HL-LHC) will certainly require radical changes to the computing models and the data processing of the LHC experiments. The working group established by WLCG and the HEP Software Foundation to investigate all aspects of the cost of computing and how to optimise them has continued producing results and improving our understanding of

To be able to exploit the anticipated interaction rate of 50 kHz in Pb-Pb collisions during run 3 of the LHC (beyond 2019), the ALICE TPC will be upgraded to allow continuous readout. As this is not possible with the current Multi Wire Proportional Chamber (MWPC) based amplification, the readout will be replaced with Gas Electron Multiplier (GEM) readout chambers that can suppress ~ 99% of the ion

The weighted oscillator strengths (gf) and the lifetimes presented in this work were carried out in a multiconfiguration Hartree-Fock relativistic approach. In this calculation, the electrostatic parameters were optimized by a least-squares procedure, in order to improve the adjustment to experimental energy levels. This method produces gf-values that are in better agreement with intensity observa

The Lorentzian lifetime widths of the 4d and 4f levels in the sixth-period elements W74 to Bi83 have been measured using photoelectron spectroscopy. A compilation of 4f-level widths from the literature is also made. The general trend of the 4f-level widths is well reproduced by McGuires calculations, although the absolute widths seem to be underestimated. The 4d5/2-level width shows a remarkable c