We establish a course-of-values induction principle for K-finite sets in intuitionistic type theory. Using this principle, we prove a pigeonhole principle conjectured by Bénabou and Loiseau. We also comment on some variants of this pigeonhole principle.

A letter to the IJERPH Editor was submitted by Terracini B. et al. as a comment to our latest paper "Hospitalizations in Pediatric and Adult Patients for all Cancer Type in Italy:[...].

Researchers are beginning to explore how to generate summaries of extended argumentative conversations in social media, such as those found in reader comments in on-line news. To date, however, there has been little discussion of what these summaries should be like and a lack of humanauthored exemplars, quite likely because writing summaries of this kind of interchange is so difficult. In this ...

Blogs form an important on-line social network as they are maintained periodically, and are easily accessible. An important aspect of any blogspace is the relationship of bloggers based on comments. This important aspect is, however, largely ignored in previous works. In this work, we study the evolution of this specific type of social network, blogosphere comment graph. We look at the densific...

OBJECTIVE To examine how journals and magazines disseminate research evidence and guidance on best practice to health professionals by aligning commentaries on measles, mumps, and rubella vaccine (MMR) evidence in journals with key events in the MMR controversy. DESIGN Content analysis. DATA SOURCES Comment articles in six commonly read UK publications. MAIN OUTCOME MEASURES Number of com...

We discuss sampling constants for dominating sets in Bergman spaces. Our method is based on a Remez-type inequality by Andrievskii and Ruscheweyh. also comment extensions of the to other spaces such as Fock Paley-Wiener

We use equivariant K-theory to classify charges of new (possibly non-supersymmetric) states localized on various orientifolds in Type II string theory. We also comment on the stringy construction of new D-branes and demonstrate the discrete electric-magnetic duality in Type I brane systems with p+ q = 7, as proposed by Witten.

Erik Craft’s comment on our 2000 article takes up a minor point, the impact of no-fault divorce on the gender of the spouse filing for divorce. In the original article, we related the gender of the filing to rent exploitation during marriage, rent appropriation through divorce, and particularly child custody. We tested the hypotheses we generated using a sample of more than 46,000 divorce decre...

This short comment aims at providing connections between the algorithm for image thresholding using type II fuzzy sets, recently proposed by Tizhoosh in Ref. [1], and Atanassov’s intuitionistic fuzzy sets (A-IFSs), as well as pointing out some terminological issues. The idea of applying higher-order fuzzy sets for image thresholding discussed in Ref. [1] is interesting and promising; however, s...

RÉSUMÉ. La sélection de variables est un problème difficile à résoudre. Comment choisir l’ensemble des variables pertinentes pour résoudre une tâche fixée ? La sélection de variables neuronale essaye de résoudre le problème pendant l’apprentissage du réseau de neurones. Parmi les méthodes utilisées avec les réseaux de neurones de type perceptron multicouches, certaines sont issues d’une techniq...