1,183 research outputs found

    Central Tottori Earthquake geodetic slip inversion tools and data

    Get PDF
    This dataset contains all the data required to run perform a geodetic slip inversion using the software slipBERI (https://doi.org/10.5518/444) for the 2016, Mw 6.2 Central Tottori, Japan earthquake. Additionally this dataset contains the models runs of the solutions found in the associated thesis and paper

    Fault roughness of the Campo Felice fault ā€“ data and scripts

    Get PDF
    This dataset contains fault surface scans of the Campo Felice fault in the Italian Apennines, and scripts required to process these scans in order to investigate the fractal properties of fault roughness

    Napa Valley Earthquake geodetic slip inversion tools and data

    Get PDF
    This dataset contains all the data required to run perform a geodetic slip inversion using the software slipBERI (https://doi.org/10.5518/444) for the 2014 Mw 6.0 Napa Valley, California, earthquake. Additionally this dataset contains the models runs of the solutions found in the associated thesis and paper

    Static analysis of Ravenscar programs

    Full text link

    Artificial Intelligence in Biometrics and Face Detection

    Get PDF
    In 1956 John McCarthy first coined the term Artificial Intelligence, he defined it as ā€œthe science and engineering of making intelligent machinesā€, and development of computer systems able to perform tasks normally requiring human Intelligence. Biometrics is a technical term for measurements and calculations, it refers to metrics related to human characteristics. With the wide spread of AI touching every possible field, advancements in the field of Biometrics has come a long way. In this paper we aim at introducing the readers to the basic principles of AI in Biometrics, performance of Biometric Systems in terms of false match rate (FMR), failure to enroll rate (FER), equal error rate (ERR), which have reduced extensively after the use of AI. Its application in the banking industry, explaining the use of Iris Recognition, for easier and safer withdrawal of money, in National Security in terms of Skynet: Chinaā€™s best Surveillance System, which uses Face Recognition technology to its full potential. After describing the applications, we define Biometrics of Intent, which surpasses the traditional scope and ambition of this Technology, a new era of Biometrics, one where cognitive sciences and neurobehavioral insights such as heart rates, breathing, eye movement, will be integrated into screening process, which help identify potentially dangerous individuals

    Leading in the middle

    Get PDF
    Understanding Community Colleges provides a critical examination of contemporary issues and practices and policy of community colleges. This contributed volume brings together highly respected scholars as well as new scholars for a comprehensive analysis of the community college landscape, including management and governance, finance, student demographics and development, teaching and learning, policy, faculty, and workforce development. Written for students enrolled in higher education and community college graduate programs, as well as social sciences scholars, this provocative new edition covers the latest developments in the field, including trends in enrollment, developmental education, student services, funding, and shared governance. At the end of each chapter, the Questions for Discussion section helps to bridge the gap between research and practice.https://scholarworks.wm.edu/educationbookchapters/1036/thumbnail.jp

    Crossing Boundaries Creating Community College Partnerships to Promote Educational Transitions

    Get PDF
    Community college partnerships with institutions in other educational sectors (including schools and universities) are important and strategic ways of meeting the educational needs of college constituents and maximizing resources to achieve local and state economic development goals. Understanding what is required for effective partnerships is important in determining when and how to engage in these collaborative, but sometimes costly, arrangements. This article presents a model of partnership development that emphasizes the role of social and organizational capital in the formation of partnership capital that contributes to the long-term success of collaborative efforts

    Towards a method for rigorous development of generic requirements patterns

    No full text
    We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

    Women in Leadership: They Persist

    Get PDF
    This Spotlight Presentation features the expertise of higher education leaders at different stages of their career. These individuals pursued unique professional pathways within different educational contexts and been exposed to opportunities and challenges calling for a range of problem-solving skills. They will share experiences, what it means to advocate for oneself as a leader, for others, and how to create conditions for sustainable change supporting inclusivity within the complex, shifting landscape of higher education
    • ā€¦
    corecore