Results 11 to 20 of about 22,464,032 (340)
Free Logics are Cut-Free [PDF]
AbstractThe paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the ...
openaire +1 more source
A transparent and unprejudiced system of accountability is a paramount importance to ensure proper functioning of the justice system. Undiscriminated justice system leads a nation to stability and prosperity and a flawed accountability system can cause ...
Khalid Rasool Sangi +1 more
doaj +1 more source
DualPrompt: Complementary Prompting for Rehearsal-free Continual Learning [PDF]
Continual learning aims to enable a single model to learn a sequence of tasks without catastrophic forgetting. Top-performing methods usually require a rehearsal buffer to store past pristine examples for experience replay, which, however, limits their ...
Zifeng Wang +10 more
semanticscholar +1 more source
Acute rat experiments have studied the impact of acute blood loss on the distribution of water fractions (total, free, and bound) in myocardial and hepatic tissues and whether detected impairments can be corrected by laser irradiation. They have provided
V. L. Kozhura +8 more
doaj +1 more source
The effectiveness of mHealth interventions for maternal, newborn and child health in low- and middle-income countries:Protocol for a systematic review and meta-analysis [PDF]
Rates of maternal, newborn and child (MNCH) mortality and morbidity are vastly greater in low– than in high–income countries and represent a major source of global health inequity.
Begg +18 more
core +7 more sources
A novel drifter designed for use with a mounted Acoustic Doppler Current Profiler in shallow environments [PDF]
We present a novel design for a surface drifter, mounted with a pulse-coherent Acoustic Doppler Current Profiler (ADCP) for measuring near-surface (depths 0.18-1 m) flows.
Henderson, Stephen M. +1 more
core +2 more sources
Fahreddin Râzî’nin İnsan Fiilleri Teorisi
İnsan fiillerini konu alan bu çalışmanın amacı, Fahreddin Râzî’nin insan fiilleri teorisini ortaya çıkarmaktır. Araştırmada, kelam tarihinde insan fiilleri ve ilişkili konulara, değişik ekoller veya mütekellimler tarafından getirilen açıklamalara kısaca ...
Özkan Tekin
doaj +1 more source
Effect of Using Tasks Distribution Formats among Cooperative learing Groups for Aquiring Performance of some free style Wrestling holds [PDF]
The study aimed at being acquainted with the effects of using tasks distribution formats among cooperative learning groups for acquiring performance of some free style wrestling holds. The Experimental method was used since it is convenient to the nature
Hazim A. Matrood
doaj +1 more source
The Evolution of Student Free Speech: Tinker and Beyond
There are no secure rights without the right of free speech. Free speech is the right that is necessary to defend all other rights. Student free speech is an essential foundation for societal free speech.
John Dayton, Betul Tarhan
doaj +1 more source
ESTIMATION OF COMPETITIVE ACTIVITY IN SYNCHRONIZED SWIMMING
Aim – is to develop the approach to technical complexity estimation of free routine composition in synchronized swimming. Were analyzed and considered free routine compositions of the strongest swimmers in European and World Championships during the ...
L.M. Shul'ga, T.I. Rudkovskaya
doaj +1 more source

