We show that the assumption of type II seesaw mechanism for small neutrino masses coupled with b− τ mass unification in a minimal SUSY SO(10) model leads not only to a natural understanding of large atmospheric mixing angle (θ23) among neutrinos, as recently pointed out, but also to large solar angle (θ12) and a small θ13 ≡ Ue3 as required to fit observations. This is therefore a minimal, compl...

A diagram of the runtime structure shows objects and their relations and complements diagrams of the code structure. One such diagram, the Ownership Object Graph (OOG), is a global object graph that conveys architectural hierarchy based on annotations in the code. In this work, we ask the research question: do developers benefit from using OOGs, in addition to class diagrams, during their codin...

investigating the export function of border markets in iran, using the ann approach ali falahati faculty of economics razi university of kerman minoo nazifi naeini sahar abbaspour abstract nowadays, trade has been introduced as an engine of growth and development in developing countries so states are required to participate in international trade more seriously. one way for expanding participat...

Electronics and Electric Drives) software. C++ code is used for implementing entire algorithms.

We present an approach for implementing a formally certified loop-invariant code motion optimization by composing unrolling pass and yet efficient global subexpression elimination. This is lightweight: each comes with simple independent proof of correctness. Experiments show the significantly narrows performance gap between CompCert compiler state-of-the-art optimizing compilers. Our static ana...

Data monitoring is a key recommendation of the WHO Global Code of Practice on the International Recruitment of Health Personnel, a global framework adopted in May 2010 to address health workforce retention in resource-limited countries and the ethics of international migration. Using data on African-born and African-educated physicians in the 2013 American Medical Association Physician Masterfi...

A future is a programming construct designed for concurrent and asynchronous evaluation of code, making it particularly useful parallel processing. The package implements the Future API with futures in R. This minimal provides sufficient constructs implementing versions well-established, high-level map-reduce APIs. ecosystem supports exception handling, output condition relaying, random number ...

ABSTRACT Objective: to assess breastfeeding support practices for preterm infants at two Baby-Friendly hospitals in southeastern Brazil, comparing the effect of implementing guidelines Hospital Initiative Neonatal wards. Methods: a quasi-experimental study, pre- and post-intervention with control. Implementation this initiative intervention hospital using Knowledge Translation. Data collection ...