23 research outputs found
An analysis of reported motivational orientation in students undertaking doctoral studies in the biomedical sciences
Full text linkImpact of family capital & social capital on youth entrepreneurship – a study of Uttarakhand state, India
Get PDFSurveillance programs for detection and characterization of emergent pathogens and antimicrobial resistance: results from the Division of Infectious Diseases, UNIFESP
Full text linkThoughts on a Larch/ML and a New Application for LP
No full textWe describe a preliminary design for a Larch interface language for the programming language ML. 1 ML's support for higher-order functions suggests a need to gobeyond the first-order logical foundations of Larch languages. We also propose a new application, specification matching, for the Larch Prover, which could benefit from extending LP to handle full first-order logic. This paper describes on-going work and suggests a number of open problems related to Larch/ML and to LP as used for specification matching. We assume rudimentary knowledge of Larch, its languages and two-tiered approach. This research wassponsoredby the AvionicsLab, Wright ResearchandDevelopmentCenter, Aeronautical Systems Division (AFSC), U. S. Air Force, Wright-Patterson AFB,OH 45433-6543 under Contract F33615-90-C-1465, Arpa Order No. 7597. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implie..
A Program Aimed toward Inclusive Excellence for Underrepresented Undergraduate Women in the Sciences
No full textUnderstanding The Neuropsychological Profile Of Hiv+ Participants With Low Literacy: Role Of The General Ability Measure For Adults (Gama)
No full textSTEM Doctoral Completion of Underrepresented Minority Students: Challenges and Opportunities for Improving Participation in the Doctoral Workforce
No full text
