In this paper we extend recent work about logical criteria for approximation properties of optimization problems. We focus on the relationship between logical expressibility and expected asymptotic growth of optimal solutions on random inputs. This further develops a probabilistic approach due to Behrendt, Compton and Grr adel showing that expected optimal solutions for any problem in the class...

The main subject of this study is to examine the possibility of discussing the divine essence in Ibn ‘Arabī‘s school of mysticism. The author of this article intends to investigate the possibility of the relative discussion of the divine essence. However, opposing theories such as ‘Allāmah Ṭabātabā’ī’s stance in Al-Rasā’il al-tawḥīdiyya favor the absolute impossibility of talking about the divi...

Deductive databases are poor at tasks such as planning and design, where one must explore the consequences of hypothetical actions and possibilities. To address this limitation, we have developed a deductive database language in which a user can create hypotheses and draw inferences from them. In earlier work, we established initial results on the complexity and expressibility of this language....

PURPOSE To evaluate changes in the tear meniscus area and tear meniscus height over time in patients with dry eye syndrome, using anterior segment spectral-domain optical coherence tomography after the instillation of 3% diquafosol ophthalmic solution. METHODS Sixty eyes from 30 patients with mild to moderate dry eye syndrome were included. Tear meniscus images acquired by anterior segment sp...

Abstract An active area of investigation in the search for quantum advantage is machine learning. Quantum learning, and parameterized circuits a hybrid quantum-classical setup particular, could bring advancements accuracy by utilizing high dimensionality Hilbert space as feature space. But ability circuit to uniformly address good indicator classification accuracy? In our work, we use methods q...

Functional programming language design has been shaped by the framework of natural deduction, in which constructs are divided into introduction and elimination rules for producers values. In sequent calculus-based languages, left replace (right) provide a dedicated sublanguage consumers this paper, we present analyze wider space languages encompasses four kinds rules: Introduction elimination, ...

The purpose of the study was to investigate if xerostomia (dry mouth) is associated with symptoms and signs of dry eye disease (DED). At the Norwegian Dry Eye Clinic, patients with symptomatic DED with different etiologies were consecutively included in the study. The patients underwent a comprehensive ophthalmological work-up and completed self-questionnaires on symptoms of ocular dryness (Ocu...

This thesis contains a study of Curry-Howard correspondences for Sequent Calculus formulations of Classical Logic. Starting from Gentzen’s formal definition of logical consequence (presented in the framework of his sequent calculus), we present an automated process to conservatively extend the framework with primitive logical connectives and corresponding cut-elimination rules. The key difficul...