A Greek Orthodox Priest\'s Experience in a Medical Laboratory

The author describes his experience as a Greek Orthodox priest working in the field of medicine. While in medical school, the author had the opportunity To work in a laboratory that sought to provide to government authorities the results of genetic testing regarding paternity. Although his role in the entire process was minimal, he confronted several ethical issues involving informed consent, autonomy, and freedom. In addition, he often found himself in difficult situations where being a priest and a celibate complicated his obligations as a staff member in the laboratory

A further simplification of Tarski's axioms of geometry

A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms simplifies the system as a whole, without sacrificing the useful modularity of some of its axioms. The new system is shown to possess all of the known independence properties of the system on which it was based; in addition, another of the axioms is shown to be independent in the new system.Comment: 10 page

Identification of Mode-shapes and Eigen-frequencies of Bi-hinge Beam with Distributed Mass and Stiffness

 In the present paper, an equivalent Three Degree of Freedom (DoF) system of a bi-hinge beam, which has infinity number of degree of freedoms because possesses distributed mass and stiffness along its length, is presented. Based on the vibration partial differential equation of the abovementioned bi-hinge beam, an equivalent, mathematically, three-degree of freedom system, where the equivalent mass matrix is analytically formulated with reference on specific mass locations. Using the Three DoF model, the first three fundamental mode-shapes of the real beam can be identified. Furthermore, taking account the 3x3 mass matrix, it is possible to estimate the possible beam damages using a known technique of identification mode-shapes via records of response accelerations. Moreover, the way of instrumentation with a local network by three accelerometers is shown. It is worth noting this technique can be applied on bridges consist of bays with two hinges at its end sections, supported on elastometallic bearings, where the sense of concentrated mass is fully absent from the beam

Identification of Eigen-Frequencies and Mode-Shapes of Beams with Continuous Distribution of Mass and Elasticity and for Various Conditions at Supports

In the present article, an equivalent three degrees of freedom (DoF) system of two different cases of inverted pendulums is presented for each separated case. The first case of inverted pendulum refers to an amphi-hinge pendulum that possesses distributed mass and stiffness along its height, while the second case of inverted pendulum refers to an inverted pendulum with distributed mass and stiffness along its height. These vertical pendulums have infinity number of degree of freedoms. Based on the free vibration of the above-mentioned pendulums according to partial differential equation, a mathematically equivalent three-degree of freedom system is given for each case, where its equivalent mass matrix is analytically formulated with reference on specific mass locations along the pendulum height. Using the three DoF model, the first three fundamental frequencies of the real pendulum can be identified with very good accuracy. Furthermore, taking account the 3 × 3 mass matrix, it is possible to estimate the possible pendulum damages using a known technique of identification mode-shapes via records of response accelerations. Moreover, the way of instrumentation with a local network by three accelerometers is given via the above-mentioned three degrees of freedom

Seismic Assessment of Asymmetric Single-storey R/C Buildings by Two New Methodologies: Enforced Displacement-Based and Forced-Based Pushover Procedures

Τwo new documented non-linear static (pushover) procedures on asymmetric single-storey R/C buildings are presented in detail herein, aiming directly at the Near Collapse state. Both procedures apply relative to the “Capable Near Collapse Principal reference system” of the single-storey building. The main objective of the two proposed procedures is to fully consider the coupling between torsional and translational vibrations of the floor-diaphragm under translational seismic excitation of the building’s base. The first pushover procedure, which is a Direct Displacement-Based one, uses floor enforced-displacements as action. In the second pushover procedure, which is a Force-Based one, the floor lateral static forces are applied eccentrically to centre of mass using suitable inelastic design eccentricities (dynamic plus accidental ones). The floor enforced-translations/rotation and the appropriate inelastic dynamic eccentricities used in the two proposed procedures derive from extensive parametric non-linear response history analysis and are given by figures or equations. In order to clarify in detail and evaluate the new pushover procedures, a torsionally-flexible, double-asymmetric, single-storey R/C building is seismically assessed. The validation of both procedures relative to the results of non-linear response history analysis shows that both predict with safety the in-plan displacements of the building

THE ROLE OF INDIGENOUS ECONAMING SYSTEMS IN ECOLOGICAL CONSERVATION: A CASE OF LUBUKUSU AND LUKABARASI LANGUAGES IN WESTERN KENYA

This paper endeavours to bring fresh insight into the role of African indigenous languages in the global campaign against environmental degradation. It examines how linguistic practises impact the natural environment. In this respect, the paper reports on the findings of an investigation that focused on the Econaming system in Kabarasi and Bukusu societies that sought to ascertain the role of Econames in mitigating ecological destruction. The rationale for this position is that such practices have the potential to mitigate the disruption of the ecosystem. Furthermore, the linguistic systems of the Bukusu and Kabarasi indigenous societies cherished different plants and animals by naming new-borns after them. By doing so the ecosystem earned a special place and was therefore venerated. The paper also aimed at comparing the meanings and representations associated with the Econaming systems in both Kabarasi and Bukusu naming systems. A combined method of data elicitation from Lubukusu-Lukabarasi and the native speaker’s intuition was used to collect data. Animal and plant Econames that relate to the environment were inferred for analysis. The indigenous Lubukusu and Lukabaras names were correlated with the associated ecosystems among native speakers of these languages. The analysis revealed that the meanings associated with the Econaming system among the Kabarasi and Bukusu is one of the strategies that can be employed to ensure more sustainable and acceptable environmental preservation measures.  The collected data revealed that indigenous language practices are found to be more appropriate and applicable in ecological preservation among the rural communities. The paper, therefore, recommends that the government and other policy-stakeholders should pay more attention to the Econaming practises so that local people's conservation practises are recognised to enhance global environmental conservation measures

UJI AKTIVITAS ANTIBAKTERI EKSTRAK ETANOL BENGKUANG (Pachyrhizus erosus) TERHADAP Staphylococcusepidermidis dan Staphylococcus aureus

Infeksi kulit merupakan salah satu penyakit yang masih menjadi masalah kesehatan yang disebabkan oleh mikroorganisme yang dapat menginfeksi luka pada permukaan kulit. Umbi bengkuang mengandung serat, inulin, vitamin C, flavonoid, dan daidzein yang bermanfaat untuk prebiotik, antidiabetes mellitus, immunomodulator, fitoestrogen, dan kecantikan. Bakteri Staphylococcus epidermidis dan Staphylococcus aureus menyebabkan infeksi yang disertai nanah karena terjadi kerusakan jaringan. Berdasarkan uraian pada di atas maka, pada penelitian ini akan dilakukan uji aktivitas antibakteri ekstrak etanol bengkuang (Pachyrhizus erosus) terhadap Staphylococcus epidermis dan Staphylococcus aureus. Metode penelitian ini menggunakan metode eksperimental metode difusi agar untuk menguji aktivitas antibakteri umbi bengkuang dengan konsentrasi 10, 20, 30, 40, dan 50%. Hasil penelitian ini menunjukkan bahwa konsentrasi 10, 20, 30, 40, 50% dan kontrol positif (Kloramfenikol) umbi bengkuang memiliki daya hambat antibakteri yang sedang terhadap pertumbuhan bakteri Staphylococcus Epidermidis yang ditunjukkan dengan diameter hambat masing masing 7,70±24,50 mm, 8,13±1,00 mm, 8,34±34,39 mm, 10,4±1,00 mm, 13,3±3,60 mm dan 28,2±3,00 mm .Pada Staphylococcus Aureus memiliki daya hambat antibakteri hambat masing masing 7,32±57,74 mm, 7,45±32,78 mm, 8,33±24,75 mm, 11,4±1,52 mm, 13,2±1,00 mm dan 29,3±2,08 mm Kesimpulan dari hasil penelitian ini dapat disimpulkan bahwa uji aktivitas antibakteri ekstrak etanol umbi bengkuang (Pachyrhizus erosus) dapat menghambat pertumbuhan bakteri Staphylococcus epidermidis dan Staphylococcus aureus serta konsentrasi terbaik yang mampu memberikan pengaruh terhadap penghambatan pertumbuhan bakteri adalah konsentrasi 50%

Group of Homography in Real Projective Plane

Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4. ”(Existence Statement 52 and Existence Statement 53) [3]. Or, using notations of Richter [11] “Let [a], [b], [c], [d] in ℝℙ2 be four points of which no three are collinear and let [a′],[b′],[c′],[d′] in ℝℙ2 be another four points of which no three are collinear, then there exists a 3 × 3 matrix M such that [Ma] = [a′], [Mb] = [b′], [Mc] = [c′], and [Md] = [d′] ”Makarios has formalized the same results in Isabelle/Isar (the collineations form a group, lemma statement52-existence and lemma statement 53-existence) and published it in Archive of Formal Proofs [10], [9].Rue de la Brasserie 5, 7100, La Louvière, BelgiumGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261-279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1.Karol Borsuk and Wanda Szmielew. Foundations of Geometry. North Holland, 1960.Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.Roland Coghetto. Homography in RP2. Formalized Mathematics, 24(4):239-251, 2016.Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.Kanchun, Hiroshi Yamazaki, and Yatsuka Nakamura. Cross products and tripple vector products in 3-dimensional Euclidean space. Formalized Mathematics, 11(4):381-383, 2003.Wojciech Leończuk and Krzysztof Prazmowski. A construction of analytical projective space. Formalized Mathematics, 1(4):761-766, 1990.Timothy James McKenzie Makarios. The independence of Tarski’s Euclidean Axiom. Archive of Formal Proofs, October 2012.Timothy James McKenzie Makarios. A mechanical verification of the independence of Tarski’s Euclidean Axiom. Victoria University of Wellington, New Zealand, 2012. Master’s thesis.Jürgen Richter-Gebert. Perspectives on projective geometry: a guided tour through real and complex geometry. Springer Science & Business Media, 2011

Pertumbuhan Bibit Kakao (Theobroma Cacao.l) Pada Media Subsoil Ultisol Dengan Pemberian Pupuk Npkmg Dan Pupuk Kandang Ayam

Growth of Cocoa Seedlings (Theobroma cacao.L) In Media Ultisol Subsoil with FertilizerProvision NPKMg(15:15:6:4) and Manure. This research aims to determine the effect of manureand fertilizier NPKMg(15:15:6:4) on the growth of cocoa (Theobroma cacao.L) in media landultisol subsoil. Research carried out in field trials USU Faculty of Agriculture, Medan with altitudeof about 25 meters above sea level at the beginning of November until March 2012. Experimentalmethod use is a randomized block design with two treatment factor. Planting media as the firstfactor with five standard treatment that is 0% Manure + 100% Ultisol Subsoil, 25% Manure + 75%Ultisol Subsoil, 50% Manure + 50% Ultisol Subsoil, 75% Manure + 25% Ultisol Subsoil, 100%Manure + 0% Ultisol Subsoil and fertilizer NPKMg(15:15:6:4) as the second factor with four levelis 0 g/polibag, 4 g/polibag, 8 g/polibag and 12 g/polibag with 3 replications. Parameter wereobserved at high parameters of shoots, girth, number of leaves, the aweight of wet canopy, wetweight of roots, canopy dry weight, and root dry weight. The results that 75% Manure + 25%Ultisol Subsoil showed the best results at high parameters of shoots, girth, number of leaves, theaweight of wet canopy, wet weight of roots, canopy dry weight, and root dry weight. NPKMgfertilizier(15:15:6:4) in this study showed significant results in all parameters, but obtained at thehighest treatment level 8 g/polibag and 12 g/polibag. The interaction effect was not significanteffect on all parameters