When more restricted types are used for functions with a domain or codomain given by an interval (for example, IMO 1994 P5), definitions such as Set.Ioi or Set.Icc are used for those intervals (along ...

Donald Trump ridicules Elon Musk's ‘America Party’, says ‘US functions best under a two-party system’ Elon Musk plans to launch a new political party called the 'America Party' to counter ...

Abstract: Linear codes are widely studied in coding theory as they have nice applications in distributed storage, combinatorics, lattices, cryptography and so on. Constructing linear codes with ...

Lung function tests (or pulmonary function tests) include a variety of tests that check how well the lungs work.

This repository contains a LaTeX template for research papers that are going to be submitted to IEEE journals or conferences. It is based on the IEEEtran LaTeX class. Additionally, there is a bash ...