Results 11 to 20 of about 5,283,663 (317)
Heathrow Terminal 5 Excavation Archive (Data Paper)
Internet Archaeology, 2014 Framework Archaeology is a Joint Venture agreement between Oxford Archaeology (OA) and Wessex Archaeology (WA) to provide archaeological services to BAA (formerly British Airports Authority, now Heathrow Airport Holdings Ltd).
Framework Archaeology
doaj +2 more sources
Retention, Progression and the Taking of Online Courses
Online Learning, 2015 Online learning continues to grow at post-secondary institutions across the United States, but many question its efficacy, especially for students most at-risk for failure. This paper engages that issue.
Scott James +2 more
doaj +1 more source
, 2021 This report introduces the REFLOW Framework as a supportive model to enable agency and participation of municipalities, SMEs, and citizens’ associations in the development of CE practices and governance. After introducing the key terminology informing the REFLOW's understanding of cities' transition towards CE, this deliverable provides the most ...
Parisi, Cristiana +2 more
openaire +4 more sources
A Framework for Defining Logical Frameworks
Electronic Notes in Theoretical Computer Science, 2007 AbstractIn this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known Edinburgh Logical Framework LF. The framework GLF features a generalized form of lambda abstraction where β-reductions fire provided the argument satisfies a logical predicate and may ...
HONSELL, Furio +2 more
openaire +3 more sources
Protocol to eliminate illicit trade in tobacco products: the dawn of a new era
Salud Pública de México, 2017 The WHO Framework Convention on Tobacco Control (WHO FCTC) is the United Nations tobacco control treaty, fostering public health in previously neglected areas.
Vera Luiza da Costa e Silva
doaj +1 more source
CoRR, 2018 We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union. Strong proof-functional connectives take into account the shape of logical proofs, thus reflecting polymorphic ...
Honsell, Furio +3 more
openaire +4 more sources
Behavioral and Brain Sciences, 2023 The authors rightly critique existing social sciences approaches. However, they are too quick to dismiss the criticism that their proposed paradigm is atheoretical. Social and cognitive theories are indeed incommensurate, often due to the lack of a unifying framework.
openaire +2 more sources
Frontiers in Education, 2023 From social injustice to the climate crisis, our modern society currently faces an unprecedented magnitude of global challenges. To properly support future generations, long-term solutions must take into account the role of educational systems in ...
Guy Shpak, Ana Vasques, Ana Vasques
doaj +1 more source
Osteoporosis and the risk of fracture
South African Family Practice, 2005 Osteoporosis is a skeletal disease characterised by low bone mass and a deterioration of the microarchitecture of bone tissue, leading to an increase in bone fragility and a greater risk of fracture.
Science Writer Guide
doaj +1 more source
Legal Forms Activity of Technology Transfer Network on Example in Aerospace Industry [PDF]
Advanced Space Law, 2018 At the time of the existence of economic, strategic and technological needs in creating a national aerospace sector in many developing countries. International cooperation projects in the aerospace industry are estimated at US $ 3 trillion.
Evgen Novikov
doaj +1 more source