Results 31 to 40 of about 200,431 (192)
Lingua, 2015 AbstractA copying approach to ellipsis is presented, whereby the locus of copying is not a level of derived syntactic structure (LF), but rather the derivation itself. The ban on preposition stranding in sprouting follows without further stipulation, and other, seemingly structure sensitive, empirical generalizations about elliptical constructions ...
openaire +1 more source
Bounded Sets in (LF)-Spaces [PDF]
Proceedings of the American Mathematical Society, 1995 Summary: The behaviour of bounded sets is important in the theory of countable inductive limits of Fréchet spaces, the (LF)-spaces, and its applications. An (LF)-space is called regular if every bounded set is contained and bounded in one of the steps.
Bonet, José, Fernández, Carmen
openaire +2 more sources
La corruzione in sanità: i nuovi strumenti per individuarla e contrastarla
, 2021 La sanità rappresenta uno dei tipici casi in cui il miglioramento del benessere collettivo non può essere affidato soltanto all’azione del libero mercato (che non raggiunge i risultati allocativi e distributivi socialmente desiderati) e si richiede l ...
Mennini FS, Minervini LF, Gitto LNA
core
The Incidence of Agenesis of Third Molars in Students of Dentistry at Palacký University in Olomouc
Česká Stomatologie a Praktické Zubní Lékařství, 2015 Aim of the study: Tooth agenesis is very often developmental disorder, its prevalence is the topic of numerous research works. The results of various authors usually differ from each other depending on the methodology and other factors, but one outcome ...
L. Kramerová +3 more
doaj +1 more source
Representing Isabelle in LF [PDF]
, 2010 LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framework in LF using the recently introduced module system for LF.
Florian Rabe
core +1 more source
Advances in the Pharmacotherapy of Periodontal and Oral Mucosal Diseases
Česká Stomatologie a Praktické Zubní Lékařství, 2012 Introduction: There are many of drugs useful for topical or systemic treatment of diseases of periodontal tissue and oral mucous membrane. Their correct administration and efficacy depend strictly on adeqnate of information regarding their properties ...
R. Slezák +5 more
doaj +1 more source
On the Categories of LF-Ideals, LF-Grills, and LF-Topological Spaces
AxiomsThis paper is devoted to the study of the interrelationships among LF-grills, LF-ideals, LF-neighborhoods, LF-topologies, and LF-co-topologies. We establish a categorical framework that demonstrates the interconnections among these concepts. In addition, we investigate categorical connections from LF-ideal spaces to LF-topological spaces and from LF ...
Ahmed A. Ramadan 0001 +1 more
openaire +1 more source
, 2006 Induction of protein expression in a tissue-specific manner by gene transfer over-expression techniques has been one means to define the function of a protein in a biological paradigm. Studies with retinoid reporter constructs transfected in mammary cell
Friis, Robert R +4 more
core +1 more source
Clinical Picture of Candida albicans in the Oral Cavity
Česká Stomatologie a Praktické Zubní Lékařství, 2018 Aim of study: The authors describe three types of infections in the oral mucosa caused by fungus Candida albicans. The first type are acute infections, among which we include the acute pseudomembranous candidiasis and the acute erythematous candidiasis ...
J. Minčík +4 more
doaj +1 more source
A practical module system for LF [PDF]
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009 Module systems for proof assistants provide administrative support for large developments when mechanizing the meta-theory of programming languages and logics. We describe a module system for the logical framework LF that is based on two main primitives: signatures and signature morphisms. Signatures are defined as collections of constant declarations,
Florian Rabe 0001, Carsten Schürmann
openaire +1 more source