EPIDEMIOLOŠKO ISTRAŽIVANJE BOLESTI ŽIVOTINJA UZROKOVANIH SOJEVIMA CLOSTRIDIUM PERFRINGENS IZOLIRANIH IZ HRANE

C. perfringens is the primary cause of clostridial enteric diseases in domestic animals. Diagnostic difficulties result from common occurrence of these microorganisms in the intestinal tract of healthy vertebrates and laboratory serotyping methods cannot discriminate isolates reliably. C. perfringens caused disease may be confirmed by presence of these bacteria in feed and a, high number of these anaerobes in animal intestinal tract by typing methods of comparably high differentiation power. In this study C. perfringens strains isolated from compound feedingstuffs and poultry faeces were enumerated and characterized genotypically for toxin genes presence by mPCR. Presence of C. perfringens at the level higher than 10 cfu/g was confirmed in 68% in feed isolates and in 36% in poultry isolates. Dominance of C. perfringens strains type A was confirmed among isolated strains from feeds and poultry. Nearly 42% of isolates from feeds and 4% from poultry belonged to subtype β2. There were some positive isolates for netB gene. The obtained results of analyses revealed common occurrence status of C. perfringens in feeds and clinically healthy birdsClostridium perfringens je primarni uzrok klostridialnih enteričkih bolesti domaćih životinja. Poteškoće dijagnosticiranja rezultat su česte pojave mikroorganizama u intestinalnom traktu zdravih kralježnjaka pa laboratorijske metode ne mogu pouzdano razlučiti izolate. Bolest koju je prouzročila C. perfringens može se potvrditi prisutnošću ovih bakterija u hrani i velikim brojem anaeroba u intestinalnom traktu životinja metodom tipiziranja razmjerno visoke sposobnosti diferenciranja. U ovom su radu sojevi C. perfringens izolirani iz krmnih smjesa i fecesa peradi nabrojani te genotipski opisana prisutnost gena toksina pomoću mPCR. Prisutnost C. perfringensa na razini višoj od 10 cfu/g potvrđena je u 68% izolata hrane i 36% izolata peradi. Među izoliranim sojevima u hrani i peradi potvrđeno je prevladavanje sojeva C. perfringens tipa A. Gotovo 42% izolata hrane i 4% peradi pripadaju podtipu B2. Bilo je nešto pozitivnih izolata za gen netB. Dobiveni rezultati analiza otkrivaju čestu pojavu C. perfringensa u hrani i klinički zdravoj peradi

Influence of vanadium-organic ligands treatment on selected metal levels in kidneys of STZ rats

The objective of the study was to investigate the effects of five organic vanadium complexes supplement and a small dose of insulin injection on V, Fe, Cu, Zn, Mn, Ca, and K level in the streptozotocin diabetic rat’s kidney during a 5-week treatment with the tested complexes. In all groups of animals, metal level in the lyophilized kidney organs was investigated by means of the proton induced X-ray emission method. Tissue vanadium level was naturally higher in vanadium-treated rats. The maximum level of vanadium was observed in the kidney (x(mean) = 16.6 μg/g). The influence of vanadium administration on other metal level in rat’s tissue was also investigated. Spectacular influence of vanadium action was observed on copper and zinc level in examined tissue

Caseous calcification of the mitral annulus : the complementary role of computed tomography and transthoracic echocardiogram

Purpose: Caseous calcification is a relatively uncommon variant of calcification of the mitral annulus. The purpose of the study was to assess characteristic radiological features of caseous calcification of the mitral annulus (CCMA) using computed tomography (CT) and compare the usefulness of CT and transthoracic echocardiogram (TTE) in a diagnosis of CCMA. Material and methods: Seventeen patients with CCMA, who underwent TTE and CT, were analysed. The following features of CCMA were evaluated: location, size, attenuation, enhancement after contrast administration, and margins. Results: In all cases TTE visualised an echo-dense structure with an irregular appearance involving the mitral valve annulus. In five cases the acoustic shadowing artefact was visible, and in four cases the mass contained central areas of echolucency. Eleven patients had valve disease. On CT CCMA appeared as a round mass in one case, in 10 cases as an oval mass, and in six patients it had a semilunar shape. In all cases on unenhanced CT, CCMA appeared as a hyperdense mass. On enhanced CT, CCMA in 10 cases (58.8%) had a hypodense centre, and in 7seven (41.2%) it had a hyperdense centre without enhancement after contrast administration. A hyperdense rim was observed in all cases except one patient. Conclusions: In cases of the atypical appearance of CCMA on TTE, CT can lead to a definitive diagnosis. The combination of unenhanced CT and after IV contrast administration scans allows for recognition and distinction of CCMA from other pathologies, while TTE allows for assessment of additional valve dysfunction

Personal protective measures

With the financial support of Internal Security Fund Police Programme European Commission Directorate General Home Affairs. This project has been founded with support from the European Commission. This publication reflects the views only of the authors, and European Commission cannot be held responsible for any use which may be made of the information contained therein

Transport of dangerous biological materials

With the financial support of Internal Security Fund Police Programme European Commission Directorate General Home Affairs. This project has been founded with support from the European Commission. This publication reflects the views only of the authors, and European Commission cannot be held responsible for any use which may be made of the information contained therein

Estimation of diagnostic value of the middle cerebral artery peak systolic velocity in prediction of fetal anemia in pregnancies complicated by alloimmunisation

Abstract The use of the middle cerbral artery peak systolic velocity (PSV) for the noninvasive diagnosis of fetal anemia in pregnancies complicated by alloimmunisation has the potential to reduce the number of invesive procedures. Objectives: The study was undertaken to determine the detection of fetal anemia by fetal middle cerebral artery peak systolic velociy (MCA PSV). Material and methods: 31 fetuses with red cell alloimmunisation were evaluated with Doppler ultrasongraphy. On the basis of ROC (AUC) analysis the cutoff point of MoM=1.215 with the highest sensitivity and specivicity was established. We examined the relation between MoM=1.215 and neonatal hemoglobin level and the maternal antibody titre in the indirect antiglobulin test. Sensitivity, specificity, positive and negative value and statistical significance were calculated. Conclusions: Data reported to date suggest that a threshold of 1.215 multiples of the median can be used to better diagnostic of fetal anemia

The Perfect Number Theorem and Wilson's Theorem

This article formalizes proofs of some elementary theorems of number theory (see [1, 26]): Wilson's theorem (that n is prime iff n > 1 and (n - 1)! ≅ -1 (mod n)), that all primes (1 mod 4) equal the sum of two squares, and two basic theorems of Euclid and Euler about perfect numbers. The article also formally defines Euler's sum of divisors function Φ, proves that Φ is multiplicative and that Σ k|n Φ(k) = n.Casella Postale 49, 54038 Montignoso, ItalyM. Aigner and G. M. Ziegler. Proofs from THE BOOK. Springer-Verlag, Berlin Heidelberg New York, 2004.Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. König's theorem. Formalized Mathematics, 1(3):589-593, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Józef Białas. Infimum and supremum of the set of real numbers. Measure theory. Formalized Mathematics, 2(1):163-171, 1991.Czesław Byliński. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Yoshinori Fujisawa and Yasushi Fuwa. The Euler's function. Formalized Mathematics, 6(4):549-551, 1997.Yoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu. Public-key cryptography and Pepin's test for the primality of Fermat numbers. Formalized Mathematics, 7(2):317-321, 1998.Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.Krzysztof Hryniewiecki. Recursive definitions. Formalized Mathematics, 1(2):321-328, 1990.Magdalena Jastrzebska and Adam Grabowski. On the properties of the Möbius function. Formalized Mathematics, 14(1):29-36, 2006, doi:10.2478/v10037-006-0005-0.Artur Korniłowicz and Piotr Rudnicki. Fundamental Theorem of Arithmetic. Formalized Mathematics, 12(2):179-186, 2004.Jarosław Kotowicz and Yuji Sakai. Properties of partial functions from a domain to the set of real numbers. Formalized Mathematics, 3(2):279-288, 1992.Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887-890, 1990.Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5):829-832, 1990.W. J. LeVeque. Fundamentals of Number Theory. Dover Publication, New York, 1996.Takaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83-86, 1993.Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.Piotr Rudnicki. Little Bezout theorem (factor theorem). Formalized Mathematics, 12(1):49-58, 2004.Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.Piotr Rudnicki and Andrzej Trybulec. Multivariate polynomials with arbitrary number of variables. Formalized Mathematics, 9(1):95-110, 2001.Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329-334, 1990.Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics, 1(1):97-105, 1990.Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Hiroshi Yamazaki, Yasunari Shidama, and Yatsuka Nakamura. Bessel's inequality. Formalized Mathematics, 11(2):169-173, 2003

Assessment of pre-clinical liver models based on their ability to predict the liver-tropism of AAV vectors

The liver is a prime target for in vivo gene therapies using recombinant adeno-associated viral vectors (rAAV). Multiple clinical trials have been undertaken for this target in the past 15 years, however we are still to see market approval of the first liver-targeted AAV-based gene therapy. Inefficient expression of the therapeutic transgene, vector-induced liver toxicity and capsid, and/or transgene-mediated immune responses reported at high vector doses are the main challenges to date. One of the contributing factors to the insufficient clinical outcomes, despite highly encouraging preclinical data, is the lack of robust, biologically- and clinically-predictive preclinical models. To this end, this study reports findings of a functional evaluation of six AAV vectors in twelve preclinical models of the human liver, with the aim to uncover which combination of models is the most relevant for the identification of AAV capsid variant for safe and efficient transgene delivery to primary human hepatocytes. The results, generated by studies in models ranging from immortalized cells, iPSC-derived and primary hepatocytes, and primary human hepatic organoids to in vivo models, increased our understanding of the strengths and weaknesses of each system. This should allow the development of novel gene therapies targeting the human liver

SOLARIS National Synchrotron Radiation Centre in Krakow, Poland

The SOLARIS synchrotron located in Krakow, Poland, is a third-generation light source operating at medium electron energy. The first synchrotron light was observed in 2015, and the consequent development of infrastructure lead to the first users’ experiments at soft X-ray energies in 2018. Presently, SOLARIS expands its operation towards hard X-rays with continuous developments of the beamlines and concurrent infrastructure. In the following, we will summarize the SOLARIS synchrotron design, and describe the beamlines and research infrastructure together with the main performance parameters, upgrade, and development plans