Invasive meningococcal disease (IMD) completeness of reporting has never been assessed in New York City (NYC). We conducted a capture-recapture study to assess completeness of reporting, comparing IMD reports made to the NYC Department of Health and Mental Hygiene (DOHMH) and records identified in the New York State hospital discharge database [Statewide Planning and Research Cooperative System...

We propose coalitional normative system (cns), which can selectively restrict the joint behavior of a coalition, in this paper. We extend the semantics of atl and propose Coordinated atl (co-atl) to support the formalizing of cns. We soundly and completely characterize the limitation of the normative power of a coalition by identifying two fragments of co-atl language corresponding to two types...

the continuum based approaches don’t provide the correct physics in atomic scales. on the other hand, the molecular based approaches are limited by the length and simulated process time. as an attractive alternative, this paper proposes the fixed interfacial multiscale method (fimm) for computationally and mathematically efficient modeling of solid structures. the approach is applicable to mult...

The original cybernetics of Norbert Wiener concerns self-regulation and equilibrium stabilisation around specified goal – mainly through negative feedback. This is an attractive preposition for project management. Yet complexity and chaos of projects are better reflected by non-linear systems, which in turn are better manageable in adaptive and self-organised distributed systems with positive f...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

Background: Mental workload is one of the factors that influence individuals’ performance in the work environment as well as their efficiency and productivity. This study aimed to evaluate the effectiveness of the Rating Scale Mental Effort (RSME) for mental workload in nurses. Materials and Methods: This study was descriptive and cross-sectional conducted on 75 nurses. For assessment ...

Introduction 1 0.1. Some theorems in mathematics with snappy model-theoretic proofs 1 1. Languages, structures, sentences and theories 1 1.1. Languages 1 1.2. Statements and Formulas 4 1.3. Satisfaction 5 1.4. Elementary equivalence 6 1.5. Theories 7 2. Big Theorems: Completeness, Compactness and Löwenheim-Skolem 9 2.1. The Completeness Theorem 9 2.2. Proof-theoretic consequences of the complet...

Introduction 2 0.1. Some theorems in mathematics with snappy model-theoretic proofs 2 1. Languages, structures, sentences and theories 2 1.1. Languages 2 1.2. Statements and Formulas 5 1.3. Satisfaction 6 1.4. Elementary equivalence 7 1.5. Theories 8 2. Big Theorems: Completeness, Compactness and Löwenheim-Skolem 9 2.1. The Completeness Theorem 9 2.2. Proof-theoretic consequences of the complet...