by Reversible Postsynthesis Transformations with Amines Francisco Palazon,† Guilherme Almeida,†,§ Quinten A. Akkerman,†,§ Luca De Trizio,† Zhiya Dang,† Mirko Prato,‡ and Liberato Manna*,† †Nanochemistry Department and ‡Materials Characterization Facility, Istituto Italiano di Tecnologia, Via Morego 30, 16163 Genova, Italy Dipartimento di Chimica e Chimica Industriale, Universita ̀ degli Studi di...

By using the modified Clarkson-Kruskal (CK) direct method, we construct a Bäcklund transformation of (2+1)-dimensional Boiti-Leon-Manna-Pempinelli (BLMP) equation. Through Bäcklund transformation , we get some new solutions of the BLMP equation, extend the results of previous literature.

Intra Uterine Fetal Death (IUFD) merupakan salah satu penyebab kematian perinatal yang memberi sumbangan terhadap Angka Kematian Bayi (AKB) di Indonesia. Penelitian ini bertujuan untuk mengetahui faktor berhubungan dengan IUFD pada ibu bersalin RSUD Hasanuddin Damrah Manna. Jenis penelitian digunakan analitik pendekatan case control. Populasi adalah seluruh melahirkan tercatat dalam rekam medik...

We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as finite-state process descriptions. We use as algorithmic description language Pidgin ML, a core applicative subset of Objective Caml. Dedicated to Zohar Manna for his 2th birthday

Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal language level, we could achieve a requirements specification to the informal description. We demonstrated that the paradigm of deductive synthesis can be applied to the development of complete verified systems, including ...