Results 11 to 20 of about 105,732 (293)

TPA: Termination Proved Automatically [PDF]

, 2006
TPA is a tool for proving termination of term rewrite systems (TRSs) in a fully automated fashion. The distinctive feature of TPA is the support for relative termination and the use of the technique of semantic labelling with natural numbers. Thanks to the latter, TPA is capable of delivering automated termination proofs for some difficult TRSs for ...
Adam Koprowski, Koprowski, A Adam, Koprowski, A.   +2 more
core   +7 more sources

Potensi Emisi Gas Rumah Kaca Di Sektor Pengelolaan Sampah Dari TPA Talumelito Provinsi Gorontalo [PDF]

, 2022
Timbulnya permasalahan lingkungan yang mengakibatkan penurunan kualitas lingkungan hidup disebabkan oleh tingginya konsumtif masyarakat menimbulkan timbulan sampah yang meningkat berdampak pada tingginya tingkat emisi GRK.
Muarif, Sri Ayu P. Hanifa, Jusuf, Herlina, Prasetya, Ekawaty   +2 more
core   +1 more source

PENGEMBANGAN WEBSITE SEKOLAH TAMAN PENITIPAN ANAK (TPA) ALFAIZA SEBAGAI MEDIA PROMOSI DAN INFORMASI [PDF]

, 2023
TPA (Taman Penitipan Anak) ALFAIZA adalah sebuah lembaga yang menyediakan layanan penitipan anak dari usia 3 bulan sampai 5 tahun. Lembaga ini adalah lembaga yang baru berdiri sehingga ada pekerjaan yang berkaitan dengan promosi dan penyebaran informasi ...
Sholihah, Nafiatun, Yunita, Novi Prisma
core   +1 more source

Intravenous tPA therapy does not worsen acute intracerebral hemorrhage in mice [PDF]

, 2013
Tissue plasminogen activator (tPA) is the only FDA-approved treatment for reperfusing ischemic strokes. But widespread use of tPA is still limited by fears of inadvertently administering tPA in patients with intracerebral hemorrhage (ICH).
Emiri Mandeville, Cianchetti, Flor A., Ken Arai, van Leyen, Klaus, Frieder Schlunk (280822), Eng H. Lo (112154), Kazim Yigitkanli, Chris B Schaffer, Mandeville, Emiri, Yigitkanli, Kazim, Xiaoying Wang, Nathanael L Rosidi, Chris B. Schaffer (155846), Arne Lauer (280824), Fan, Xiang, Eng H Lo, Helmuth Steinmetz (149409), Rosidi, Nathanael L., Xiang Fan (280830), Schlunk, Frieder, Frieder Schlunk, Flor A. Cianchetti (280825), Wang, Xiaoying, Christian Foerch (149410), Flor A Cianchetti, Kazim Yigitkanli (280829), Arai, Ken, Förch, Christian, Leyen, Klaus van, Lo, Eng H., Foerch, Christian, Xiang Fan, Schaffer, Chris B., Ken Arai (280828), Klaus van Leyen, Helmuth Steinmetz, Emiri Mandeville (280827), Steinmetz, Helmuth, Christian Foerch, Lo, Eng, Arne Lauer, Nathanael L. Rosidi (280821), Xiaoying Wang (30853), Klaus van Leyen (280831), Lauer, Arne   +44 more
core   +2 more sources

Truths and myths concerning affinity between asphalt and aggregate tested in accordance with PN-EN 12697-11

Budownictwo i Architektura, 2014
Very important element, which shall be taken into account while designing asphalt mixes, is the physicochemical affinity of asphalt binder to aggregate. There are many test methods for its determination, but the results can be totally different.
Monika Zięba, Sebastian Witczak
doaj   +1 more source

Analysis of deformations of road embankments founded on displacement columns improving soft subsoil [PDF]

Archives of Civil Engineering
Drilled displacement columns, constructed in the form of unreinforced or reinforced concrete elements, are currently a very commonly used method of improving soft subsoil, creating an alternative to more expensive pile foundations.
Waldemar Szajna, Liudmyla Bondareva, Bartosz Szatanik   +2 more
doaj   +1 more source

Monolayer asphalt pavement. Western requirements in Polish realities

Budownictwo i Architektura, 2014
Polish road network is made up of 95% local roads. Their technical condition is much worse in comparison to motorways and national roads network. The lack of financial resources is one of the main reasons for this situation.
Piotr Koźlarek
doaj   +1 more source

2-deoxy-d-glucose Ameliorates Animal Models of Dermatitis

Biomedicines, 2020
Glucose metabolism is a key metabolic pathway that orchestrates cellular homeostasis by generating ATP, nucleotides, and amino acids. Abnormal glucose signaling has been found in many diseases including cancers and inflammatory diseases.
Soo Young Choi, Min-Jeong Heo, Chanmi Lee, Yeong Min Choi, In-sook An, Seunghee Bae, Sungkwan An, Jin Hyuk Jung   +7 more
doaj   +1 more source

Pola Interaksi Sosial Anak dan Guru, Modal Pengetahuan dan Sosial dalam Meningkatkan Kecerdasan Emosional Sosial

Bidayatuna, 2022
This study aims to identify and determine patterns of social interaction in improving children's emotional intelligence. As homosocious, humans cannot be separated from interaction activities.
Muhammad Ja'far Shodiq, Subaidi Qomar
doaj   +1 more source

Development of reduction model for Dynamical Energy Analysis and model estimation by using Transfer Path Analysis

Nihon Kikai Gakkai ronbunshu, 2018
Dynamical Energy Analysis (DEA) has been introduced as a mesh-based high frequency method modelling structure borne sound for complex built-up structures.
Satoshi MORITA, Timo HARTMANN, Gregor TANNER   +2 more
doaj   +1 more source