Brief Studies

Why Conservative Churches are Growing

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

Minimal information for studies of extracellular vesicles (MISEV2023): From basic to advanced approaches

Extracellular vesicles (EVs), through their complex cargo, can reflect the state of their cell of origin and change the functions and phenotypes of other cells. These features indicate strong biomarker and therapeutic potential and have generated broad interest, as evidenced by the steady year-on-year increase in the numbers of scientific publications about EVs. Important advances have been made in EV metrology and in understanding and applying EV biology. However, hurdles remain to realising the potential of EVs in domains ranging from basic biology to clinical applications due to challenges in EV nomenclature, separation from non-vesicular extracellular particles, characterisation and functional studies. To address the challenges and opportunities in this rapidly evolving field, the International Society for Extracellular Vesicles (ISEV) updates its 'Minimal Information for Studies of Extracellular Vesicles', which was first published in 2014 and then in 2018 as MISEV2014 and MISEV2018, respectively. The goal of the current document, MISEV2023, is to provide researchers with an updated snapshot of available approaches and their advantages and limitations for production, separation and characterisation of EVs from multiple sources, including cell culture, body fluids and solid tissues. In addition to presenting the latest state of the art in basic principles of EV research, this document also covers advanced techniques and approaches that are currently expanding the boundaries of the field. MISEV2023 also includes new sections on EV release and uptake and a brief discussion of in vivo approaches to study EVs. Compiling feedback from ISEV expert task forces and more than 1000 researchers, this document conveys the current state of EV research to facilitate robust scientific discoveries and move the field forward even more rapidly

Identification of a novel kisspeptin with high gonadotrophin stimulatory activity in the dog

Kisspeptin (KISS1) and its receptor (KISS1r) are essential for normal reproductive function in many species, but the role of kiss1/kiss1r signalling in the dog has not yet been elucidated. The aims of this study were to identify the canine kiss1 and kiss1r genes and to determine gonadotrophin and oestradiol stimulatory activity of KP-10, the shortest biologically active form of KISS1. Canine kiss1 and kiss1r genes were localized by comparing the reference dog genome with relevant human cDNA sequences, using BLASTn software. The amino acid sequence of canine KP-10 (YNWN V FGLR Y ) differs at two positions from human KP-10 (YNWN S FGLR F ). A single bolus of canine KP-10 was administered intravenously to anoestrous Beagle bitches in dosages of 0, 0.1, 0.2, 0.3, 0.5, 1, 5, 10, and 30 μg/kg. Blood samples were collected before and after canine KP-10 administration for the measurement of plasma luteinizing hormone (LH, all doses), follicle-stimulating hormone (FSH) and oestradiol (1-30 μg/kg). From 0.2 μg/kg onwards, canine KP-10 resulted in a rapid and robust rise in plasma LH concentration (max. at 10 min). KP-10 also resulted in a rapid and robust rise in plasma FSH concentration (max. at 10-20 min). Plasma oestradiol concentration increased significantly after dosages of 1, 5, and 10 μg/kg and reached a maximum at 60-90 min. In conclusion, canine KP-10 is a potent kisspeptin which elicits robust gonadotrophin and oestradiol responses in anoestrous bitches, suggesting that canine kiss1/kiss1r are cogent targets for modulating reproduction in dogs