Results 51 to 60 of about 285,010 (413)
A Vernacular for Coherent Logic
, 2014 We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic.
A. Blass +16 more
core +2 more sources
Australian Journal of Social Issues, EarlyView.Abstract Aboriginal culture is both a strength and a protective factor for Aboriginal children; yet, we continue to see disparities in education, health and well‐being outcomes. To improve outcomes for Aboriginal children and families, local cultural ways of knowing, being and doing need to be incorporated into policy and practice.
Michelle Jones +5 more
wiley +1 more source
Sustainability, 2019 The strongest point of vernacular architecture is the harmony between environment and buildings. Mediterranean vernacular architecture is harmonized with its local context, including culture and traditions.
Fajer Al Tawayha +2 more
semanticscholar +1 more source
, 2020 Although a growing body of research has debated the array of sustainability lessons of vernacular architecture, social sustainability discussions remain less advanced in comparison to the other pillars of sustainability.
Obafemi A. P. Olukoya +1 more
semanticscholar +1 more source
Annals of Neurology, EarlyView.Objective Neuroimaging is routinely utilized to identify new inflammatory activity in multiple sclerosis (MS). A large language model to classify narrative magnetic resonance imaging reports in the electronic health record (EHR) as discrete data could provide significant benefits for MS research. The objectives of the current study were to develop such
Shane Poole +14 more
wiley +1 more source
Feast of fools : the carnivalesque in John Kennedy Toole's A confederacy of dunces
Acta Neophilologica, 2010 Despite the fact that the action in John Kennedy Toole's novel A Confederacy of Dunces has often been compared to a carnival, there is little that the maincharacter, Ignatius Reilly, has in common with those participating in a true medieval carnival as ...
Julija Potrč
doaj +1 more source
The reflection of Euro- Mediterranean historical culture on contemporary architecture in Alexandria [PDF]
, 2007 During the past thirty years, interest in vernacular and traditional architecture all over the world has grown rapidly and in diverse directions. Architects and all those concerned with the building industry started to realize that buildings at their new
Alsaadani, Sara +2 more
core
Who was the real sabertooth predator: Thylacosmilus or Thylacoleo?
The Anatomical Record, EarlyView.Abstract Sabertoothed mammalian predators, all now extinct, were almost exclusively feloid carnivorans (Eutheria, Placentalia): here a couple of extinct metatherian predators are considered in comparison with the placental sabertooths. Thylacosmilus (the “marsupial sabertooth”) and Thylacoleo (the “marsupial lion”) were both relatively large (puma ...
Christine M. Janis
wiley +1 more source
The audience for Old English texts: Ælfric, rhetoric and ‘the edification of the simple’ [PDF]
, 2014 There is a persistent view that Old English texts were mostly written to be read or heard by people with no knowledge of Latin, or little understanding of it, especially the laity.
Gittos, Helen
core +1 more source
The Anatomical Record, EarlyView.Abstract Megantereon was a widespread saber‐toothed felid from the Pliocene and Pleistocene of the Old World and North America, but its rarity in the fossil record makes it complicated to restore its life appearance. Lack of complete specimens makes it necessary to combine information from fossils of different individuals to reconstruct their facial ...
Mauricio Antón +4 more
wiley +1 more source