1,390 research outputs found
Technology, mining methods and landscapes of a placer mining district in Fairbanks, Alaska, 1900-1930
Placer miners in Alaska’s interior were part of the last great gold rush in North America. As word of gold in the Fairbanks Mining District traveled down the Yukon River, a wave of miners from the Klondike placer fields in Dawson, along with a assortment of speculators and inexperienced green horns from the Lower 48 converged on the confluence of the Tanana and Chena rivers hoping to strike it rich. The steamers coming from Dawson were integral; they carried miners with experience working the frozen subarctic placer deposits of the Klondike. These miners encountered new environmental challenges that required the development of new technologies and mining methods to efficiently harvest gold. These methods and machines were brought into Fairbanks and further perfected to account for the local conditions. This thesis describes the local mining technologies and methods employed in the Fairbanks district and the landscape patterns created during the placer mining boom years of 1903-1909, decline years of 1910-1923 and recovery of 1923-1930
Communicating Processes with Data for Supervisory Coordination
We employ supervisory controllers to safely coordinate high-level
discrete(-event) behavior of distributed components of complex systems.
Supervisory controllers observe discrete-event system behavior, make a decision
on allowed activities, and communicate the control signals to the involved
parties. Models of the supervisory controllers can be automatically synthesized
based on formal models of the system components and a formalization of the safe
coordination (control) requirements. Based on the obtained models, code
generation can be used to implement the supervisory controllers in software, on
a PLC, or an embedded (micro)processor. In this article, we develop a process
theory with data that supports a model-based systems engineering framework for
supervisory coordination. We employ communication to distinguish between the
different flows of information, i.e., observation and supervision, whereas we
employ data to specify the coordination requirements more compactly, and to
increase the expressivity of the framework. To illustrate the framework, we
remodel an industrial case study involving coordination of maintenance
procedures of a printing process of a high-tech Oce printer.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432
Prunus serotina unleashed: invader dominance after 70 years of forest development
Propagule pressure and disturbance have both been found to facilitate invasion. Therefore, knowledge on the history of introduction and disturbance is vital for understanding an invasion process, and research should focus on areas in which the invasive species has not been deliberately introduced or managed to study unconfounded colonization patterns. Comparing the outcome of such spontaneous colonization processes for different ecosystems might provide a useful framework for setting management priorities for invasive species that enter new, uninvaded areas. We focused on the 70-year spontaneous spread of the invasive tree species Prunus serotina in a pine forest in the Netherlands. To reconstruct the invasion pattern, we combined historical maps, tree ring analysis, spatially explicit tree inventory data, seed density data, and regeneration data for both native and non-native species. Prunus serotina was the only species that showed successful regeneration: the species was present throughout the forest in the tree, shrub, and herb layer. Native species were not able to outgrow the seedling stage. Our data demonstrate that P. serotina is a gap-dependent species with high seed production that builds up a seedling bank. We also compared the results of this study with a similar study on P. serotina colonization in a deciduous forest in Belgium, where P. serotina invasion was not successful. The sharp contrast between the outcomes of the two invasion processes shows the importance of studying an invasive species and the recipient ecosystem jointly and made us raise the hypothesis that herbivore pressure may facilitate P. serotina invasio
Dynamic plantar loading index detects altered foot function in individuals with rheumatoid arthritis but not changes due to orthotic use
Background Altered foot function is common in individuals with rheumatoid arthritis. Plantar pressure distributions during gait are regularly assessed in this patient group; however, the association between frequently reported magnitude-based pressure variables and clinical outcomes has not been clearly established. Recently, a novel approach to the analysis of plantar pressure distributions throughout stance phase, the dynamic plantar loading index, has been proposed. This study aimed to assess the utility of this index for measuring foot function in individuals with rheumatoid arthritis.Methods Barefoot plantar pressures during gait were measured in 63 patients with rheumatoid arthritis and 51 matched controls. Additionally, 15 individuals with rheumatoid arthritis had in-shoe plantar pressures measured whilst walking in standardized footwear for two conditions: shoes-only; and shoes with prescribed custom foot orthoses. The dynamic plantar loading index was determined for all participants and conditions. Patient and control groups were compared for significant differences as were the shod and orthosis conditions.Findings The patient group was found to have a mean index of 0.19, significantly lower than the control group's index of 0.32 (p > 0.001, 95% CI [0.054, 0.197]). No significant differences were found between the shoe-only and shoe plus orthosis conditions. The loading index was found to correlate with clinical measures of structural deformity.Interpretation The dynamic plantar loading index may be a useful tool for researchers and clinicians looking to objectively assess dynamic foot function in patients with rheumatoid arthritis; however, it may be unresponsive to changes caused by orthotic interventions in this patient group.</p
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
The languages accepted by finite automata are precisely the languages denoted
by regular expressions. In contrast, finite automata may exhibit behaviours
that cannot be described by regular expressions up to bisimilarity. In this
paper, we consider extensions of the theory of regular expressions with various
forms of parallel composition and study the effect on expressiveness. First we
prove that adding pure interleaving to the theory of regular expressions
strictly increases its expressiveness up to bisimilarity. Then, we prove that
replacing the operation for pure interleaving by ACP-style parallel composition
gives a further increase in expressiveness. Finally, we prove that the theory
of regular expressions with ACP-style parallel composition and encapsulation is
expressive enough to express all finite automata up to bisimilarity. Our
results extend the expressiveness results obtained by Bergstra, Bethke and
Ponse for process algebras with (the binary variant of) Kleene's star
operation.Comment: In Proceedings EXPRESS'10, arXiv:1011.601
Web-based communication tools in a European research project: the example of the TRACE project
The multi-disciplinary and international nature of large European projects requires powerful managerial and communicative tools to ensure the transmission of information to the end-users. One such project is TRACE entitled “Tracing Food Commodities in Europe”. One of its objectives is to provide a communication system dedicated to be the central source of information on food authenticity and traceability in Europe. This paper explores the web tools used and communication vehicles offered to scientists involved in the TRACE project to communicate internally as well as to the public. Two main tools have been built: an Intranet and a public website. The TRACE website can be accessed at http://www.trace.eu.org. A particular emphasis was placed on the efficiency, the relevance and the accessibility of the information, the publicity of the website as well as the use of the collaborative utilities. The rationale of web space design as well as integration of proprietary software solutions are presented. Perspectives on the using of web tools in the research projects are discussed
CONCUR Test-Of-Time Award 2020 Announcement
This short article announces the recipients of the CONCUR Test-of-Time Award 2020
- …