Results 11 to 20 of about 200,431 (192)
Products of LF-topologies and separation in LF-top
Proyecciones (Antofagasta)For a GL-monoid L provided with an uniform structure, we build an LF-topology on the cartesian product of a family of LF-topological spaces. We also show that the product of an arbitrary family of Kolmogoroff (Hausdorff) LF-topological spaces is again a Kolmogoroff (Hausdorff) LF-topological space.
Ochoa C, Carlos Orlando +1 more
openaire +4 more sources
Imperative LF Meta-Programming
Electronic Notes in Theoretical Computer Science, 2008 AbstractLogical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are relatively well understood, languages and techniques for meta-programming with them are much less so.
Stump, Aaron
openaire +2 more sources
Journal of Number Theory, 1980 AbstractJ. Gierster [Math. Ann. 26, 309–368] has proven a number of theorems giving the subgroup structure of LF(2, pn), p an odd prime, and has given simple necessary and sufficient conditions for two elements of LF(2, pn) to be conjugate. In this paper we obtain analogous theorems and conditions for LF(2, 2n).
Dennin, Joseph B
openaire +3 more sources
A topological characterization of LF-spaces
Topology and its Applications, 2012 We present a topological characterization of LF-spaces and detect small box-products that are (locally) homeomorphic to LF-spaces.
Banakh, Taras, Repovš, Dušan
openaire +4 more sources
A Comparison of Physical Activity and Sedentary Lifestyle of University Employees through ActiGraph and IPAQ-LF [PDF]
, 2022 Introduction: The benefits of participating in physical activity (PA) are wide-ranging, such as lowering the risk of diabetes and anxiety. Employees’ engagement in PA can also benefit their employers due to the potential reduction in absenteeism and ...
Safi, A. +4 more
core +1 more source
Česká Stomatologie a Praktické Zubní Lékařství, 2017 Aim of study: The study was focused on the decrease of the depth of periodontal pockets and to obtain the information about depth of pockets after this type of treatment.
I. Dřízhal +4 more
doaj +1 more source
Česká Stomatologie a Praktické Zubní Lékařství, 2014 Background: Smoking is the most important single preventable risk factor for many diseases, including impaired oral health. Many studies have repeatedly documented the higher prevalence of caries, periodontitis, tooth loss and head-neck cancer among ...
D. Hrubá +3 more
doaj +1 more source
Behavioral quantification of unc-80(lf) suppressors and nca(lf) mutants.
, 2022 (A) Touch-triggered forward locomotion of unc-80(lf); sup mutants. mac420, mac422 and mac424 could significantly improve the defective locomotion of unc-80(lf) mutants.
Xiaoqin Wang (12030) +7 more
core +1 more source
Česká Stomatologie a Praktické Zubní Lékařství, 2015 Introduction and aim of study: Genetic predispositions play an important role in the etiopathogenesis of periodontal diseases (CP) and diabetes mellitus (DM). Recent studies have also proven a bidirectional interrelationship between these conditions. The
P. Bořilová Linhartová +6 more
doaj +1 more source