Algorithm Engineering in Robust Optimization

Robust optimization is a young and emerging field of research having received a considerable increase of interest over the last decade. In this paper, we argue that the the algorithm engineering methodology fits very well to the field of robust optimization and yields a rewarding new perspective on both the current state of research and open research directions. To this end we go through the algorithm engineering cycle of design and analysis of concepts, development and implementation of algorithms, and theoretical and experimental evaluation. We show that many ideas of algorithm engineering have already been applied in publications on robust optimization. Most work on robust optimization is devoted to analysis of the concepts and the development of algorithms, some papers deal with the evaluation of a particular concept in case studies, and work on comparison of concepts just starts. What is still a drawback in many papers on robustness is the missing link to include the results of the experiments again in the design

The Complexity of Flat Freeze LTL

We consider the model-checking problem for freeze LTL on one-counter automata (OCAs). Freeze LTL extends LTL with the freeze quantifier, which allows one to store different counter values of a run in registers so that they can be compared with one another. As the model-checking problem is undecidable in general, we focus on the flat fragment of freeze LTL, in which the usage of the freeze quantifier is restricted. Recently, Lechner et al. showed that model checking for flat freeze LTL on OCAs with binary encoding of counter updates is decidable and in 2NEXPTIME. In this paper, we prove that the problem is, in fact, NEXPTIME-complete no matter whether counter updates are encoded in unary or binary. Like Lechner et al., we rely on a reduction to the reachability problem in OCAs with parameterized tests (OCAPs). The new aspect is that we simulate OCAPs by alternating two-way automata over words. This implies an exponential upper bound on the parameter values that we exploit towards an NP algorithm for reachability in OCAPs with unary updates. We obtain our main result as a corollary

Loneliness, Social Isolation and Their Difference: A Cross-Diagnostic Study in Persistent Depressive Disorder and Borderline Personality Disorder

Background: Interpersonal difficulties are a key feature of persistent depressive disorder (PDD) and borderline personality disorder (BPD). Caught in a vicious circle of dysfunctional interpersonal transaction, PDD and BPD patients are at great risk of experiencing prolonged loneliness. Loneliness, in turn, has been associated with the development of mental disorders and chronic illness trajectories. Besides, several factors may contribute to the experience of loneliness across the lifespan, such as social network characteristics, a history of childhood maltreatment (CM), and cognitive-affective biases such as rejection sensitivity (RS). This cross-diagnostic study approached the topic of perceived loneliness by comparing PDD and BPD patients with healthy controls (HC) in its interplay with symptom burden, social network characteristics, RS as well as CM. Method: Thirty-four PDD patients (DSM-5; 15 female, Mage = 38.2, SD = 12.3), 36 BPD patients (DSM-5; 19 female, Mage = 28.8, SD = 9.2), and 70 age- and gender-matched HC were assessed cross-sectionally using the following self-report measures: UCLA Loneliness Scale, Social Network Index (SNI; size, diversity, and embeddedness), Beck Depression Inventory (BDI-II), Borderline Symptom List (BSL-23), Childhood Trauma Questionnaire (CTQ), and Rejection Sensitivity Questionnaire (RSQ). Results: Both patient groups reported significantly higher levels of perceived loneliness, symptom severity, and smaller social network characteristics compared to HC. Loneliness was significantly correlated with severity of self-reported clinical symptoms in PDD and at trend level in BPD. Besides, loneliness tended to be related to social network characteristics for all groups except PDD patients. Both PDD and BPD patients showed higher RS as well as CTQ scores than HC. A history of emotional abuse and emotional neglect was associated with loneliness, and this association was mediated by RS as demonstrated by an exploratory mediation analysis. Discussion: Loneliness is highly prevalent in PDD and BPD patients and contributes to the overall symptom burden. Interestingly, loneliness showed an association with prior experiences of CM as well as current RS. We therefore propose a comprehensive model on how intra- und interpersonal aspects may interplay in the dynamics of loneliness in light of CM. Finally, this model may have further implications for psychotherapeutic interventions

Global hybrids from the semiclassical atom theory satisfying the local density linear response

We propose global hybrid approximations of the exchange-correlation (XC) energy functional which reproduce well the modified fourth-order gradient expansion of the exchange energy in the semiclassical limit of many-electron neutral atoms and recover the full local density approximation (LDA) linear response. These XC functionals represent the hybrid versions of the APBE functional [Phys. Rev. Lett. 106, 186406, (2011)] yet employing an additional correlation functional which uses the localization concept of the correlation energy density to improve the compatibility with the Hartree-Fock exchange as well as the coupling-constant-resolved XC potential energy. Broad energetical and structural testings, including thermochemistry and geometry, transition metal complexes, non-covalent interactions, gold clusters and small gold-molecule interfaces, as well as an analysis of the hybrid parameters, show that our construction is quite robust. In particular, our testing shows that the resulting hybrid, including 20\% of Hartree-Fock exchange and named hAPBE, performs remarkably well for a broad palette of systems and properties, being generally better than popular hybrids (PBE0 and B3LYP). Semi-empirical dispersion corrections are also provided.Comment: 12 pages, 4 figure

Random-phase approximation and its applications in computational chemistry and materials science

The random-phase approximation (RPA) as an approach for computing the electronic correlation energy is reviewed. After a brief account of its basic concept and historical development, the paper is devoted to the theoretical formulations of RPA, and its applications to realistic systems. With several illustrating applications, we discuss the implications of RPA for computational chemistry and materials science. The computational cost of RPA is also addressed which is critical for its widespread use in future applications. In addition, current correction schemes going beyond RPA and directions of further development will be discussed.Comment: 25 pages, 11 figures, published online in J. Mater. Sci. (2012

S66: A Well-balanced Database of Benchmark Interaction Energies Relevant to Biomolecular Structures

With numerous new quantum chemistry methods being developed in recent years and the promise of even more new methods to be developed in the near future, it is clearly critical that highly accurate, well-balanced, reference data for many different atomic and molecular properties be available for the parametrization and validation of these methods. One area of research that is of particular importance in many areas of chemistry, biology, and material science is the study of noncovalent interactions. Because these interactions are often strongly influenced by correlation effects, it is necessary to use computationally expensive high-order wave function methods to describe them accurately. Here, we present a large new database of interaction energies calculated using an accurate CCSD(T)/CBS scheme. Data are presented for 66 molecular complexes, at their reference equilibrium geometries and at 8 points systematically exploring their dissociation curves; in total, the database contains 594 points: 66 at equilibrium geometries, and 528 in dissociation curves. The data set is designed to cover the most common types of noncovalent interactions in biomolecules, while keeping a balanced representation of dispersion and electrostatic contributions. The data set is therefore well suited for testing and development of methods applicable to bioorganic systems. In addition to the benchmark CCSD(T) results, we also provide decompositions of the interaction energies by means of DFT-SAPT calculations. The data set was used to test several correlated QM methods, including those parametrized specifically for noncovalent interactions. Among these, the SCS-MI-CCSD method outperforms all other tested methods, with a root-mean-square error of 0.08 kcal/mol for the S66 data set

Crystal Phase Transitions in the Shell of PbS CdS Core Shell Nanocrystals Influences Photoluminescence Intensity

ABSTRACT We reveal the existence of two different crystalline phases, i.e., the metastable rock salt and the equilibrium zinc blende phase within the CdS shell of PbS CdS core shell nanocrystals formed by cationic exchange. The chemical composition profile of the core shell nanocrystals with different dimensions is determined by means of anomalous small angle X ray scattering with subnanometer resolution and is compared to X ray diffraction analysis. We demonstrate that the photoluminescence emission of PbS nanocrystals can be drastically enhanced by the formation of a CdS shell. Especially, the ratio of the two crystalline phases in the shell significantly influences the photoluminescence enhancement. The highest emission was achieved for chemically pure CdS shells below 1 nm thickness with a dominant metastable rock salt phase fraction matching the crystal structure of the PbS core. The metastable phase fraction decreases with increasing shell thickness and increasing Exchange times. The photoluminescence intensity depicts a constant decrease with decreasing metastable rock salt phase fraction but Shows an abrupt drop for shells above 1.3 nm thickness. We relate this effect to two different transition mechanisms for changing from the metastable rock salt phase to the equilibrium zinc blende phase depending on the shell thicknes

Digitalized transcranial electrical stimulation: A consensus statement

Objective: Although relatively costly and non-scalable, non-invasive neuromodulation interventions are treatment alternatives for neuropsychiatric disorders. The recent developments of highly-deployable transcranial electric stimulation (tES) systems, combined with mobile-Health technologies, could be incorporated in digital trials to overcome methodological barriers and increase equity of access. The study aims are to discuss the implementation of tES digital trials by performing a systematic scoping review and strategic process mapping, evaluate methodological aspects of tES digital trial designs, and provide Delphi-based recommendations for implementing digital trials using tES. Methods: We convened 61 highly-productive specialists and contacted 8 tES companies to assess 71 issues related to tES digitalization readiness, and processes, barriers, advantages, and opportunities for implementing tES digital trials. Delphi-based recommendations (>60% agreement) were provided. Results: The main strengths/opportunities of tES were: (i) non-pharmacological nature (92% of agreement), safety of these techniques (80%), affordability (88%), and potential scalability (78%). As for weaknesses/threats, we listed insufficient supervision (76%) and unclear regulatory status (69%). Many issues related to methodological biases did not reach consensus. Device appraisal showed moderate digitalization readiness, with high safety and potential for trial implementation, but low connectivity. Conclusions: Panelists recognized the potential of tES for scalability, generalizability, and leverage of digital trials processes; with no consensus about aspects regarding methodological biases. Significance: We further propose and discuss a conceptual framework for exploiting shared aspects between mobile-Health tES technologies with digital trials methodology to drive future efforts for digitizing tES trials