Rasiowa–Sikorski deduction systems in computer science applications

AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency

Recent developments in genetics and medically assisted reproduction : from research to clinical applications

Two leading European professional societies, the European Society of Human Genetics and the European Society for Human Reproduction and Embryology, have worked together since 2004 to evaluate the impact of fast research advances at the interface of assisted reproduction and genetics, including their application into clinical practice. In September 2016, the expert panel met for the third time. The topics discussed highlighted important issues covering the impacts of expanded carrier screening, direct-to-consumer genetic testing, voiding of the presumed anonymity of gamete donors by advanced genetic testing, advances in the research of genetic causes underlying male and female infertility, utilisation of massively parallel sequencing in preimplantation genetic testing and non-invasive prenatal screening, mitochondrial replacement in human oocytes, and additionally, issues related to cross-generational epigenetic inheritance following IVF and germline genome editing. The resulting paper represents a consensus of both professional societies involved.Peer reviewe

Comparative maturation of cynomolgus monkey oocytes in vivo and in vitro

BACKGROUND: In vitro maturation (IVM) of oocytes followed by fertilization in vitro (IVF) and embryo transfer offers an alternative to conventional IVF treatment that minimises drug administration and avoids ovarian hyperstimulation. However, the technique is less efficient than maturation in vivo. In the present study, a non-human primate model was used to address the hypothesis that the number of oocytes is increased and their nuclear and cytoplasmic maturity after IVM are improved when maturation is initiated in vivo by priming with hCG. METHODS: Young, adult cynomolgus monkeys were given recombinant human (rh) gonadotropins to stimulate the development of multiple follicles, and oocytes were aspirated 0, 12, 24, or 36 h after injection of an ovulatory dose of rhCG. The nuclear status of oocytes was determined at the time of recovery and after culture for a total elapsed time of 40–44 hours after hCG. RESULTS: Priming with hCG significantly increased the number of oocytes harvested, especially after delaying aspiration for 24 h or longer. Nuclear maturation after the full period in culture was also enhanced by priming: 71.5, 83.6, and 94.6% of oocytes collected at 0, 12, and 24 h hCG had progressed to MII by the end of the culture period, compared to 87.8% of oocytes that were retrieved at 36 h. A large proportion of oocytes reaching the MII stage had either or both abnormal spindles (>40%) and misaligned chromosomes (>60%), judging by immunofluorescence microscopy, but these abnormalities were independent of culture time. The mitochondria were evenly distributed throughout the cytoplasm at all stages of maturation. Importantly, there was no microscopic evidence that the duration of culture had any injurious effects on the cells. CONCLUSION: In conclusion, the evidence supports this non-human primate as a model for human IVM and the practice of priming with hCG to promote developmental potential