Structure theory for the realization of finite state automata Progress report, 1 Nov. 1966 - 30 Apr. 1967

Structure theory for realization of finite state automat

Structure theory for the realization of finite state automata Final report, 1 Nov. 1966 - 31 Oct. 1968

Feedback and inessential errors in sequential machines, realization of sequential machines, and logic hazards in threshold gate network

Technology adoption in the BIM implementation for lean architectural practice

Justification for Research: the construction companies are facing barriers and challenges in BIM adoption as there is no clear guidance or best practice studies from which they can learn and build up their capacity for BIM use in order to increase productivity, efficiency, quality, and to attain competitive advantages in the global market and to achieve the targets in environmental sustainability. Purpose: this paper aims to explain a comprehensive and systemic evaluation and assessment of the relevant BIM technologies as part of the BIM adoption and implementation to demonstrate how efficiency gains have been achieved towards a lean architectural practice. Design/Methodology/Approach: The research is undertaken through a KTP (Knowledge transfer Partnership) project between the University of Salford and the John McCall Architects based in Liverpool, which is an SME (Small Medium Enterprise). The overall aim of KTP is to develop Lean Design Practice through the BIM adoption and implementation. The overall BIM implementation approach uses a socio-technical view in which it does not only consider the implementation of technology but also considers the socio-cultural environment that provides the context for its implementation. The technology adoption methodology within the BIM implementation approach is the action research oriented qualitative and quantitative research for discovery, comparison, and experimentation as the KTP project with JMA provides an environment for “learning by doing” Findings: research has proved that BIM technology adoption should be undertaken with a bottom-up approach rather than top-down approach for successful change management and dealing with the resistance to change. As a result of the BIM technology adoption, efficiency gains are achieved through the piloting projects and the design process is improved through the elimination of wastes and value generation. Originality/Value: successful BIM adoption needs an implementation strategy. However, at operational level, it is imperative that professional guidelines are required as part of the implementation strategy. This paper introduces a systematic approach for BIM technology adoption based on a case study implementation and it demonstrates a guideline at operational level for other SME companies of architectural practices

Lagrangian Floer superpotentials and crepant resolutions for toric orbifolds

We investigate the relationship between the Lagrangian Floer superpotentials for a toric orbifold and its toric crepant resolutions. More specifically, we study an open string version of the crepant resolution conjecture (CRC) which states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold $\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after analytic continuation of quantum parameters and a change of variables. Relating this conjecture with the closed CRC, we find that the change of variable formula which appears in closed CRC can be explained by relations between open (orbifold) Gromov-Witten invariants. We also discover a geometric explanation (in terms of virtual counting of stable orbi-discs) for the specialization of quantum parameters to roots of unity which appears in Y. Ruan's original CRC ["The cohomology ring of crepant resolutions of orbifolds", Gromov-Witten theory of spin curves and orbifolds, 117-126, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006]. We prove the open CRC for the weighted projective spaces $\mathcal{X}=\mathbb{P}(1,\ldots,1,n)$ using an equality between open and closed orbifold Gromov-Witten invariants. Along the way, we also prove an open mirror theorem for these toric orbifolds.Comment: 48 pages, 1 figure; v2: references added and updated, final version, to appear in CM

Real-time diagnostics of gas/water assisted injection moulding using integrated ultrasonic sensors

YesAn ultrasound sensor system has been applied to the mould of both the water and gas assisted injection moulding processes. The mould has a cavity wall mounted pressure sensor and instrumentation to monitor the injection moulding machine. Two ultrasound sensors are used to monitor the arrival of the fluid (gas or water) bubble tip through the detection of reflected ultrasound energy from the fluid polymer boundary and the fluid bubble tip velocity through the polymer melt is estimated. The polymer contact with the cavity wall is observed through the reflected ultrasound energy from that boundary. A theoretically based estimation of the residual wall thickness is made using the ultrasound reflection from the fluid (gas or water) polymer boundary whilst the samples are still inside the mould and a good correlation with a physical measurement is observed

Effects of phosphonate and salicylic acid treatments on anthracnose disease development and ripening of 'Kensington Pride' mango fruit

This study investigated treatment of mango (Mangifera indica L.) fruit with 2 host defence-promoting compounds for suppression of anthracnose disease (Colletotrichum gloeosporioides). Cultivar ‘Kensington Pride’ fruit were treated at concentrations of up to 1000 mg/L with either potassium phosphonate or salicylic acid. Applications were by various combinations of pre- and postharvest dips and vacuum infiltration. Postharvest treatments at up to 2000 mg/L salicylic acid were evaluated in a second fruiting season. Fruit were either uninoculated or inoculated with the fungal pathogen. Colour, firmness and disease-severity were assessed during shelf life at 23°C. There were no significant (P>0.05) effects of potassium phosphonate or salicylic acid on anthracnose disease severity in the first season. Moreover, phosphonate or salicylic acid treatment did not significantly affect fruit colour or firmness changes. There were significant (P<0.05) reductions in anthracnose severity in the second season, especially at the highest concentration of 2000 mg/L salicylic acid. Mango fruit skin colour and firmness changes were also slowed down significantly (P<0.05). These effects of salicylic acid were attributed to inhibition of mango fruit skin ripening (senescence)

SuperNeurons: Dynamic GPU Memory Management for Training Deep Neural Networks

Going deeper and wider in neural architectures improves the accuracy, while the limited GPU DRAM places an undesired restriction on the network design domain. Deep Learning (DL) practitioners either need change to less desired network architectures, or nontrivially dissect a network across multiGPUs. These distract DL practitioners from concentrating on their original machine learning tasks. We present SuperNeurons: a dynamic GPU memory scheduling runtime to enable the network training far beyond the GPU DRAM capacity. SuperNeurons features 3 memory optimizations, \textit{Liveness Analysis}, \textit{Unified Tensor Pool}, and \textit{Cost-Aware Recomputation}, all together they effectively reduce the network-wide peak memory usage down to the maximal memory usage among layers. We also address the performance issues in those memory saving techniques. Given the limited GPU DRAM, SuperNeurons not only provisions the necessary memory for the training, but also dynamically allocates the memory for convolution workspaces to achieve the high performance. Evaluations against Caffe, Torch, MXNet and TensorFlow have demonstrated that SuperNeurons trains at least 3.2432 deeper network than current ones with the leading performance. Particularly, SuperNeurons can train ResNet2500 that has $10^4$ basic network layers on a 12GB K40c.Comment: PPoPP '2018: 23nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programmin

Using an Electronic Lab Notebook System to Promote Data Management Plans

Presented at the 2019 Medical Library Association Annual Conference.Background: At an academic medical center, the rollout of an electronic lab notebook (ELN) system includes tailored support to develop functional data management plans for participating research labs. The office of research is sponsoring the adoption of the ELN and, while administrative drivers include improving lab efficiency and reducing institutional liability, the pilot primarily focuses on the benefits of ELN use. In particular, improving the collection of and access to experimental information for research projects. The creation of data management plans, in conjunction with the ELN adoption, allows participants to engage more holistically with the research processes of their laboratories. Description: Nine research labs are identified as “early adopters” for the 4-month pilot of the selected electronic lab notebook system. As participants in the pilot, these labs are expected to a) attend training on the ELN system and b) evaluate their current information and data management practices. To ensure these expectations are met, the institution's ELN implementation team meets with each lab prior to conducting the ELN training to discuss how they manage (i.e., organize, store, and share) research data. These consults result in a draft data management plan that reflect the labs’ current research data management processes and provides suggestions for potential areas of improvement/streamlining. The training on the functionality of the ELN follows this to encourage participating labs to develop concrete strategies for integrating the ELN into the research data/information management processes of the lab overall. Conclusion: As of this submission, the authors have worked directly with four of the “early adopter” labs (each with 6-10 members) to review their information and data management practices while onboarding them to the ELN. These labs receive an individualized data management plan in addition to training on the ELN. A primary outcome is to complete this process with the remaining five “early adopter” labs while gathering feedback on the ELN system itself and monitoring the adoption success of the ELN in these labs. A secondary outcome is to “scale up” this program for full rollout to the institution in 2019

Observing relativistic features in large-scale structure surveys -- I: Multipoles of the power spectrum

Planned efforts to probe the largest observable distance scales in future cosmological surveys are motivated by a desire to detect relic correlations left over from inflation, and the possibility of constraining novel gravitational phenomena beyond General Relativity (GR). On such large scales, the usual Newtonian approaches to modelling summary statistics like the power spectrum and bispectrum are insufficient, and we must consider a fully relativistic and gauge-independent treatment of observables such as galaxy number counts in order to avoid subtle biases, e.g. in the determination of the $f_{\rm NL}$ parameter. In this work, we present an initial application of an analysis pipeline capable of accurately modelling and recovering relativistic spectra and correlation functions. As a proof of concept, we focus on the non-zero dipole of the redshift-space power spectrum that arises in the cross-correlation of different mass bins of dark matter halos, using strictly gauge-independent observable quantities evaluated on the past light cone of a fully relativistic N-body simulation in a redshift bin $1.7 \le z \le 2.9$. We pay particular attention to the correct estimation of power spectrum multipoles, comparing different methods of accounting for complications such as the survey geometry (window function) and evolution/bias effects on the past light cone, and discuss how our results compare with previous attempts at extracting novel GR signatures from relativistic simulations

Use of a spatially explicit individual-tree model (SORTIE/BC) to explore the implications of patchiness in structurally complex forests

The discipline of silviculture is evolving rapidly, moving from an agricultural model that emphasized simple stand structures toward a natural disturbance- or ecosystem-based model where stands are managed for multiple species and complex structures. Predicting stand dynamics and future yields in mixed-species complex structured stands cannot be easily accomplished with traditional field experiments. We outline the development and structure of SORTIE/BC, a descendent of the SORTIE model. SORTIE/BC is a light-mediated, spatially explicit, mixed-species forest model that makes population dynamic forecasts for juvenile and adult trees. We use the model to simulate partial cutting prescriptions in temperate deciduous, boreal and temperate coniferous mixed-species forests. The species, amount and spatial pattern of canopy tree removal had a major influence on understory light environments. Low and uniform removal of canopy trees were less successful in favouring the growth and survival of regenerating trees of intermediate to shade intolerant species and the growth of retained canopy trees than patch removal. In the boreal mixedwood, strip-cutting can maintain mixed stands but careful attention must be paid to buffer and strip management to optimize stand growth. We conclude that SORTIE/ BC can be very useful to explore and explain the silvicultural implications of complex silvicultural prescriptions for which there are no existing long-term experiments. © 2003 Elsevier B.V. All rights reserved