Personal Food Computer: A new device for controlled-environment agriculture

Due to their interdisciplinary nature, devices for controlled-environment agriculture have the possibility to turn into ideal tools not only to conduct research on plant phenology but also to create curricula in a wide range of disciplines. Controlled-environment devices are increasing their functionalities as well as improving their accessibility. Traditionally, building one of these devices from scratch implies knowledge in fields such as mechanical engineering, digital electronics, programming, and energy management. However, the requirements of an effective controlled environment device for personal use brings new constraints and challenges. This paper presents the OpenAg Personal Food Computer (PFC); a low cost desktop size platform, which not only targets plant phenology researchers but also hobbyists, makers, and teachers from elementary to high-school levels (K-12). The PFC is completely open-source and it is intended to become a tool that can be used for collective data sharing and plant growth analysis. Thanks to its modular design, the PFC can be used in a large spectrum of activities.Comment: 9 pages, 11 figures, Accepted at the 2017 Future Technologies Conference (FTC

National strategy for health research and innovation

In 2011, the Malta Council for Science and Technology (MCST) commissioned the Development of a dedicated strategy for health research and innovation in line with its mandate from Government to identify areas of national priority and design and to also implement strategic approaches to enhance economic competitiveness and quality of life. The Strategy was drawn up by a steering group which also included people from outside the health sector, to ensure that it also keeps note of the economic side of things.peer-reviewe

A study of the physical fitness phase of the boy's physical education program at Broomfield High School, Broomfield, Colorado

Call number: LD2668 .R4 1965 H29

Maximum Storm Surge Elevations in the Tuktoyaktuk Region of the Canadian Beaufort Sea

Storm surges are a significant concern in the siting and design of structures along the Beaufort Sea coast in that the coastal relief is low and the magnitude of surges in this region is large. Coastal storm surge elevations along the southern Canadian Beaufort Sea coast were documented by surveying log debris lines in the Kugmallit Bay/Tuktoyaktuk region. Careful attention to sire selection and survey technique resulted in estimated errors in surge elevation measurements of less than ±0.3 m. The data indicate a local surge maximum has occurred at Tuktoyaktuk at approximately 2.4 m above mean sea level (MSL); lower maximum surge elevations (2 m above MSL) were documented to the north and west of Tuktoyaktuk. There is no evidence that higher surges have occurred during the last 100 years. A surge that occurred in August 1986 measured approximately 1.6 m above MSL at Tuktoyaktuk and decreased to approximately 1.4 m above MSL 20 km to the north and west of Tuktoyaktuk. These surge elevation data provide a basis for the calibration of numerical models of surge and can be used directly in siting and design analysis of coastal structures.Key words: Beaufort Sea coast, storm surges, Kugmallit Bay, TuktoyaktukMots clés: côte de la mer de Beaufort, houle des tempêtes, baie de Kugmallit, Tuktoyaktu

Scuttled in the Morning: the discoveries and surveys of HMS Warrior and HMS Sparrowhawk, the Battle of Jutland's last missing shipwrecks

Due to the circumstances of the loss of HMS Warrior and HMS Sparrowhawk in 1916, in which subsequent to disablement both had drifted and been towed unknown distances from the Jutland battlefield, they were not located in the 2015 Jutland survey. In August 2016 both ships were located and HMS Warrior was revealed to be a pristine warship wreck, the only example in this condition of the 25 ships sunk in the battle. HMS Sparrowhawk had a similar pattern of disturbance as seven of the other Battle of Jutland destroyer wrecks. The survey of these wrecks draws to a conclusion a long period of discovery at Jutland and raises questions as to how these important cultural artefacts should be treated in the future

Creative processes in policy making : a case for context in foresight

As with all fields of application, policy-making can frequently fall into the trap of not questioning whether the regular, oft-used solutions are the only way to solve a new problem. Far too frequently, it happens that, not only is a particular policy instrument not the best answer, but it is not even a valid answer to the problem in the first place! Systematic approaches to policy formulation, such as foresight, may appear at the outset as presenting a toolkit of routinised methodologies to be followed religiously by the newly initiated. Yet foresight practice itself shows that not only do foresight experiences generated in one country or region defy close emulation, but that foresight as a phenomenon is undergoing constant change in response to the evolving socio-economic context.peer-reviewe

The Armoured Cruiser HMS Defence: A case-study in assessing the Royal Navy shipwrecks of the Battle of Jutland (1916) as an archaeological resource

This paper presents the findings from a survey of one of the shipwrecks of the Battle of Jutland, and is extracted from a longer currently unpublished report which examines the six known Royal Navy wrecks. While all of the wrecks yielded unique insights into the battle, Defence was a particularly surprising case. The extant remains of this wreck showed for the first time how the ship was destroyed and explains what some eyewitnesses reported at the time. Intact and unsalvaged, it is a source of much valuable archaeological and historical data. © 2012 The Author. International Journal of Nautical Archaeology © 2012 The Nautical Archaeology Society

A Framework for Defining Logics

The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed λ-calculus with dependent types. Syntax is treated in a style similar to, but more general than, Martin-Löf’s system of arities. The treatment of rules and proofs focuses on his notion of a judgement. Logics are represented in LF via a new principle, the judgements as types principle, whereby each judgement is identified with the type of its proofs. This allows for a smooth treatment of discharge and variable occurrence conditions and leads to a uniform treatment of rules and proofs whereby rules are viewed as proofs of higher-order judgements and proof checking is reduced to type checking. The practical benefit of our treatment of formal systems is that logic-independent tools such as proof editors and proof checkers can be constructed