104,731 research outputs found
McColl Family - Accession 715 no. 36
No full textGenealogy of the Ancestors and Descendants of John Thomas McColl and Hugh G. McColl and Other McColls: Pioneer Settlers of Marion and Marlboro Counties South Carolina by Helon S. McColl traces the family from 1700s to 1966. The volume includes family stories and historical information. Please see attached Preface.https://digitalcommons.winthrop.edu/manuscriptcollection_findingaids/2525/thumbnail.jp
Mccoll, G K M, NX40639
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/402768Surname: MCCOLL. Given Name(s) or Initials: G K M. Military Service Number or Last Known Location: NX40639. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 39252.223423
Item: [2016.0049.35061] "Mccoll, G K M, NX40639
Where is student support most needed?
No full textBarrett and McColl raise the question posed in the title of their commentary to highlight the value of attending to interactions between students and their learning environment
Bibliographie Hilarion G. Petzold 1958 – 2009 mit Anhang als Einführung
No full textDieses Archiv enthält die Gesamtbibliographie der Werke des Autors nebst einiger Texte „Über H. G. Petzold“ im Schlussteil der Bibliographie sowie einen Anhang mit einer Einführung in die Architektur des Werkes in seinem wissenslogischen Aufbau als Ausarbeitung seines „Tree of Science Modells“ (2007).This archive contains the complete bibliography of the author and some texts about H. G. Petzold, moreover an epilogue with an introduction to the architecture of the works in its epistemological structure and composition and as an elaborations of Petzold’s „Tree of Science Modell (2007).https://www.fpi-publikation.de/polyloge/01-2009-petzold-h-g-gesamtbibliographie-h-g-petzold-1958-2009-updating-november2009/peerReviewedpublishedVersio
Dispelling the Myths Behind First-author Citation Counts
No full textWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
Continuous Formal Verification for Aerospace Applications
No full textAerospace systems have the most stringent requirements when it comes to safety and reliability. The harsh environment combined with the immense costs of designing and manufacturing space applications places huge concern over ensuring that applications are dependable and function as desired. Formal verification is a tool to guarantee correctness for software executing on aerospace platforms. The advantage of formal verification is the complete absence of error against a design specification. Many applications leverage formal verification to ensure correctness and even integrate it into the certification process (e.g. DO-178C).Formal verification is a highly complex and computationally intense process that requires validating complex structures and an iterative approach to achieve a final, formally verified design. This process is further complicated in aerospace applications as traditional methods often exhibit behavioural differences between a formally verified model and the final software when deployed onto embedded architectures. Thus, formal verification needs to ensure that the verified design is accurate and representative of the executable on the target platform. Another major limitation of formal verification is that current approaches place formal verification towards the end of a project lifecycle. This creates a waterfall design and validation process that often leads to significant rewrites that prevent iterative verification.This research introduces continuous verification, a methodology consistent with current principles and practices in Agile development. This approach allows the early detection and correction of errors during the early stages of a project lifecycle. Designers can now decompose the system as a whole and implement models iteratively. Continuous verification allows the partial verification of models while the programmer iteratively implements them, allowing the early correction of errors and identification of non-verifiable entities that require different forms of validation. Our approach uses executable models that ensure a continuously verifiable design as each new feature gets verified as the application evolves. At any point in time, the working system is also formally verified.We demonstrate the feasibility of this approach through continuous verification using GitHub workflows that continuously integrate and verify designs on target hardware. Verification is performed on the target hardware itself, ensuring a verified, executable model. We have evaluated this approach using flight software that utilises an FPGA and processor that communicate through a shared memory interface. The software components of this design follow trunk-based development with a formally verified main branch. This software is due to launch on a satellite in October 2024.No Full Tex
Recommended from our members
3346: Samuel G. Freedman, author, 2013
No full textPhotograph of author Samuel G. Freedman, at NT Daily Slash meeting in the Mayborn School of Journalism at UNT
A Framework for Building Verifiable Scalable Embedded Systems Interfacing through Sensors and Actuators
No full textEmbedded systems are at the core of modern industrial applications that interface with the environment through sensors and actuators. As software-defined modelling revolutionises the development of safety-critical systems, such as self-driving cars in the automotive industry, rapid turnaround and integration into cloud-based software development services are increasingly becoming critical. Recent parts shortages and supply-chain constraints have highlighted the importance of dynamic, cross-platform codebases that allow scalability and quick re-deployment to different hardware. In this paper, we show the ability of our development framework to create decomposable, embedded systems that consist of software that factors out hardware dependencies and can thus be easily ported and deployed to multiple hardware architectures. We demonstrate how our embedded cross framework allows us to decouple hardware-specifics from the requirements for the software that implements the behaviour of the system. To this end, we show how to design and build scalable software that integrates with multiple hardware architectures, operating systems, and middleware for embedded systems. For the first time, we not only show how such systems can be developed for microcontrollers, but how the same embedded cross framework can be utilised for Field-Programmable Gate Arrays (FPGAs). We demonstrate how software systems that utilise our framework can seamlessly integrate with continuous integration and continuous deployment (CI/CD) processes. This allows the flexibility of testing and integration using local and cloud-based systems, as well as end-to-end hardware-in-the-loop approaches.Full Tex
- …
