Search results for "-type"
showing 10 items of 360 documents
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
Multi-valued F-contractions and the solution of certain functional and integral equations
2013
Wardowski [Fixed Point Theory Appl., 2012:94] introduced a new concept of contraction and proved a fixed point theorem which generalizes Banach contraction principle. Following this direction of research, we will present some fixed point results for closed multi-valued F-contractions or multi-valued mappings which satisfy an F-contractive condition of Hardy-Rogers-type, in the setting of complete metric spaces or complete ordered metric spaces. An example and two applications, for the solution of certain functional and integral equations, are given to illustrate the usability of the obtained results.
Heterogeneity in the Response of Different Subtypes of Drosophila melanogaster Midgut Cells to Viral Infections
2021
This article belongs to the Section Viral Immunology, Vaccines, and Antivirals.
IPHAS-selected classical Be stars
2016
We present a semi-automatic procedure to obtain fundamental physical parameters and distances of classical Be (CBe) stars, based on the Barbier-Chalonge-Divan (BCD) spectrophotometric system. Our aim is to apply this procedure to a large sample of CBe stars detected by the IPHAS photometric survey, to determine their fundamental physical parameters and to explore their suitability as galactic structure tracers. In this paper we describe the methodology used and the validation of the procedure by comparing our results with those obtained from different independent astrophysical techniques for subsamples of stars in common with other studies. We also present a test case study of the galactic …
Trumpler 14 and 16 in the Carina nebula
2017
We present the first extensive spectroscopic study of the global population in star clusters Trumpler 16, Trumpler 14, and Collinder 232 in the Carina nebula, using data from the Gaia-ESO Survey, down to solar-mass stars. In addition to the standard homogeneous survey data reduction, a special processing was applied here because of the bright nebulosity surrounding Carina stars. We find about 400 good candidate members ranging from OB types down to slightly subsolar masses. About 100 heavily reddened early-type Carina members found here were previously unrecognized or poorly classified, including two candidate O stars and several candidate Herbig Ae/Be stars. Their large brightness makes th…
Be stars in the exofield of CoRoT. II.
2018
The class of Be stars are the epitome of rapid rotators in the main sequence. These stars are privileged candidates for studying the incidence of rotation on the stellar internal structure and on non-radial pulsations. Pulsations are considered possible mechanisms to trigger mass-ejection phenomena required to build up the circumstellar disks of Be stars. Time series analyses of the light curves of 15 faint Be stars observed with the CoRoT satellite were performed to obtain the distribution of non-radial pulsation (NRP) frequencies in their power spectra at epochs with and without light outbursts and to discriminate pulsations from rotation-related photometric variations. Standard Fourier t…
Two-Step Solution-Processed Two-Component Bilayer Phthalocyaninato Copper-Based Heterojunctions with Interesting Ambipolar Organic Transiting and Eth…
2016
International audience; The two-component phthalocyaninato copper-based heterojunctions fabricated from n-type CuPc(COOC8H17)(8) and p-type CuPc(OC8H17)(8) by a facile two-step solution-processing quasi-Langmuir-Shafer method with both n/p- and p/n-bilayer structures are revealed to exhibit typical ambipolar air-stable organic thin-film transistor (OTFT) performance. The p/n-bilayer devices constructed by depositing CuPc(COOC8H17)(8) film on CuPc(OC8H17)(8) sub-layer show superior OTFT performance with hole and electron mobility of 0.11 and 0.02 cm(2) V-1 s(-1), respectively, over the ones with n/p-bilayer heterojunction structure with the hole and electron mobility of 0.03 and 0.016 cm(2) …
Quantifying transmission fitness costs of multi-drug resistant tuberculosis.
2021
As multi-drug resistant tuberculosis (MDR-TB) continues to spread, investigating the transmission potential of different drug-resistant strains becomes an ever more pressing topic in public health. While phylogenetic and transmission tree inferences provide valuable insight into possible transmission chains, phylodynamic inference combines evolutionary and epidemiological analyses to estimate the parameters of the underlying epidemiological processes, allowing us to describe the overall dynamics of disease spread in the population. In this study, we introduce an approach to Mycobacterium tuberculosis (M. tuberculosis) phylodynamic analysis employing an existing computationally efficient mod…
On Some Statistical Properties of the Spatio-Temporal Product Density
2021
We present an extension of the non-parametric edge-corrected Ohser-type kernel estimator for the spatio-temporal product density function. We derive the mean and variance of the estimator and give a closed-form approximation for a spatio-temporal Poisson point process. Asymptotic properties of this second-order characteristic are derived, using an approach based on martingale theory. Taking advantage of the convergence to normality, confidence surfaces under the homogeneous Poisson process are built. A simulation study is presented to compare our approximation for the variance with Monte Carlo estimated values. Finally, we apply the resulting estimator and its properties to analyse the spat…
A computational proposal for a robust estimation of the Pareto tail index: An application to emerging markets
2022
Abstract In this work, we backtest and compare, under the VaR risk measure, the fitting performances of three classes of density distributions (Gaussian, Stable and Pareto) with respect to three different types of emerging markets: Egypt, Qatar and Mexico. We also propose a new technique for the estimation of the Pareto tail index by means of the Threshold Accepting (TAVaR) and the Hybrid Particle Swarm Optimization algorithm (H-PSOVaR). Furthermore, we test the accuracy and robustness of our estimates demonstrating the effectiveness of the proposed approach.