Proprio Labs
Proprio Labs
Proprio is short for proprioception, humans' unconscious perception of movement and spatial orientation of the body. Proprio Labs is developing a platform to transform sensor data from wearable devices into performance metrics. Our goal is to provide the opportunity for anyone from an amateur athletes to a physical therapy patient to quantitatively track his or her performance with meaningful metrics.
X-Sense
X-Sense refers to our upcoming line of performance tracking products. We are building general software for the Apple Watch, Android Wear, and other IoT devices, and we are developing specific machine learning algorithms to identify metrics relevant to each sport. Our first product focuses on tennis performance metrics, and we'll have more to come soon!
Learn more about Tennis Sense or download Tennis Sense now from the Google Play Store.
Learn more about Tennis Sense or download Tennis Sense now from the Google Play Store.


Select category
Select location
Select type
Select type
Name
Company
Location
Category
Edit
Create
Details
Delete
<
>


When we consider the effect of positioning, it quickly becomes clear that authors can do a great deal of damage to layout, just as they can do very interesting things.[4] This is usually the case with useful technologies: the sword always has at least two edges, both of them sharp.


Register
Fill in the information below to register.
User Name:
Password:
Password:
First Name:
Surname:


--- layout: snippet title: "List group contextual colors example" permalink: /examples/listgroup/contextual-colors/ sitemap: false ---


Spoilers: Michael's secret comes to light in Corrie as an old face confronts him
A face from Michael Bailey’s (Ryan Russell) past arrives in Coronation Street during the coming episodes, as his ex-girlfriend Grace shows up on the cobbles with a pretty big secret in the form of Michael’s daughter — and it’s safe to say that her presence brings it with plenty of conflict not only for the young lad, but for the Bailey clan as a whole.
James (Nathan Graham) stays out all night, and when Michael reveals this to his family, Ed (Trevor Michael Georges) assumes that he spent the night with Bethany (Lucy Fallon) — much to Aggie (Lorna Laidlaw) and Michael’s dismay.
When James finally surfaces, he’s hungover, and reveals that he spent the night with a guy called Dan, and now he can’t find his phone. As a result, Michael agrees to help him locate the missing device, and thus they set off on their search.
Advertisement Advertisement
As the pair wait to get the phone back in the Freshco’s car park, Michael is stunned to see ex-girlfriend Grace — and his daughter. However, Grace refuses to speak to him and drives off as a result.
Later, Michael informs Aggie and Ed about what transpired in the car park. Not long afterwards, Grace shows up on their doorstep and tells Michael that they daughter is in need of a responsible father figure. In turn, Michael begs her for a chance to be a part of his child’s life, but Grace refuses to promise anything.
Yes, all hope isn’t lost — that is, until Aggie speaks to Adam (Sam Robertson) about what rights Michael has as a parent. Grace discovers what she’s been up to and storms out of the house, claiming that it’s not worth the hassle. Michael’s fuming with his mum for having gone behind his back like that.
Will he manage to forgive Aggie?
What’s more, has he lost his chance to be a dad to his daughter?
One to watch: Wednesday 20th November at 7:30pm on ITV.


FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Diffusion, Doping, and Stability of Polyelectrolyte Multilayers
AUTHOR: Rachel L. Abbett
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 28, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Communication and Information
TITLE: The Relationships among Information Consumption, E-Health Literacy, and Information Avoidance in the Era of Covid-19 Pandemic: A Structural Equation Modeling Study
AUTHOR: Maedeh Agharazi Dermani
SUBMITTED: A Dissertation submitted to the School of Information in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Deep Learning and Probabilistic Approaches for Financial Time Series Analysis
AUTHOR: Oktay Akpolat
SUBMITTED: A Dissertation submitted to the Department of Statistics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Modeling Heterogeneity in Bayesian Meta-Analysis
AUTHOR: Fahad Al Amer
SUBMITTED: A Dissertation submitted to the Department of Statistics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: July 2, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: The Variable Weight View: An Alternative to Peer-Oriented Accounts in the Epistemology of Disagreement
AUTHOR: Philip Michael Albert, II
SUBMITTED: A Dissertation submitted to the Department of Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 5, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Brass B(R)Ands in Mobile, Alabama's Mardi Gras
AUTHOR: Emily Ruth Allen
SUBMITTED: A Dissertation submitted to the College of Music in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: A Multi-Proxy Investigation of Marine Redox Conditions in the Late Silurian Oceans during the Lau Extinction Event: A Peri-Gondwanan Perspective
AUTHOR: Lindsijane Allman
SUBMITTED: A Thesis submitted to the Department of Earth, Ocean, and Atmospheric Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 18, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Leadership Styles through an Mt Lens: Importance versus Implementation in Music Therapy
AUTHOR: Ayanna-Mone T. Arnold
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: A Research-Based Guide to Family Music Therapy within the Family Systems Theoretical Framework
AUTHOR: Trevor Bradley Asher
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Fine Arts
TITLE: Painting the Miracles of Altagracia: Art, Piety, and Memory in Hispaniola (1751-1795)
AUTHOR: Jennifer Ann-Marie Baez Pearson
SUBMITTED: A Dissertation submitted to the Department of Art History in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 27, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Spatial and Temporal Variation in Hardbottom Coral Communities on the Coastal West Florida Shelf
AUTHOR: Nicole Blank
SUBMITTED: A Thesis submitted to the Department of Earth, Ocean and Atmospheric Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: Sea Routes: Maritime Pathways and Modern Trade Patterns
AUTHOR: Joseph Bommarito
SUBMITTED: A Dissertation submitted to the Department of Political Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Constellations of Beliefs: Self-Efficacy in an Online Writing Course
AUTHOR: Amanda Marie Brooks
SUBMITTED: A Dissertation submitted to the Department of English in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Medicine
TITLE: Investigation of the Roles of Microtubules, Microtubule-Organizing Centers, and Viral Factors on Zika Virus Viroplasm Development
AUTHOR: Rebecca A. Buchwalter
SUBMITTED: A Dissertation submitted to the Department of Biomedical Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Photoassisted Synthesis of Complex Molecular Motifs
AUTHOR: Daniel Patrick Callen
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Take a Breath: A Population-Oriented Prevention Approach Using Mindfulness Training to Impact College Students' Sense of Coherence, Stress Levels, and Help-Seeking Intentions
AUTHOR: Diana Marie Carbonell
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: June 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Modeling Virus Infection and Pathogenesis Using Stem Cell Derived Systems
AUTHOR: Yichen Cheng
SUBMITTED: A Dissertation submitted to the Department of Biological Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 18, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Associations between Essential Amino Acid Intake and Functional Health Outcomes in Older Adults: A Cross-Sectional Analysis
AUTHOR: Susan Nguyen Cheung
SUBMITTED: A Thesis submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Impact of Creatine Supplementation on Vascular Endothelial Function, Blood Flow and Functional Capacity in Older Adults
AUTHOR: Holly Elizabeth Clarke
SUBMITTED: A Dissertation submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 22, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Narratives of Resistance in the Pastorates of Henry Highland Garnet and Christian Führer: A Comparative Religious Inquiry
AUTHOR: John E. Cole
SUBMITTED: A Dissertation submitted to the Department of Religion in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 22, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Addressing the Issues in the Winding Number Algorithm Related to the Floating Point Representation
AUTHOR: Juan Pablo Conde Curuchet
SUBMITTED: A Thesis submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: The Meaning of a Label: A Content Analysis of Individuals Labeled with Emotional Disturbance in Music Therapy Research
AUTHOR: Caroline Carder Cox
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Reimagining Barthes' Spectacle of Excess: The Consumption and Production of Modern Professional Wrestling on Reddit
AUTHOR: Nicholas P. Davidson
SUBMITTED: A Dissertation submitted to the Department of Sport Management in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 26, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Mechanical Behavior and Carbon Nanotube/Matrix Interactions of Continuous Carbon Nanotube Yarns for Composite Applications
AUTHOR: Yourri-Samuel Dessureault
SUBMITTED: A Dissertation submitted to the Department of Industrial and Manufacturing Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 4, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: Moral Rhetoric, Affective Polarization, and Direct Democracy: Three Essays on Campaigns and State Policymaking
AUTHOR: Kelley Elizabeth Doll
SUBMITTED: A Dissertation submitted to the Department of Political Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Applications of Liquid Chromatography-Tandem Mass Spectrometry for Measuring Hormones Secreted from Islets of Langerhans
AUTHOR: Matthew Joseph Donohue
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Monitoring Peptide Secretion Dynamics from Human Pancreatic Cells Using a Sandwich Assay and Microfluidics
AUTHOR: Wesley James Eaton
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Teacher Preparation and the Development of Mathematics Instruction Beliefs in Prospective Teachers
AUTHOR: Guillermo Farfan
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Patterns of Avian Species Richness in the Interior and Edge of Mesic Flatwoods, Florida's Most Abundant Plant Community Type
AUTHOR: Natasza Fontaine
SUBMITTED: A Thesis submitted to the Department of Biological Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: Public Finance of Florida Municipalities: A Study of How Property Value, Revenue, and Expenditure Are Related to Taxes, Land Use Counts, and Parcel Density
AUTHOR: James E. Freeland
SUBMITTED: A Dissertation submitted to the Department of Economics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 29, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Business
TITLE: Does Economic Uncertainty about the Tax Cuts and Jobs Act of 2017 Affect Investors' Information Asymmetry?
AUTHOR: Eduardo Fuste
SUBMITTED: A Dissertation submitted to the Department of Accounting in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 6, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Properties of Crystalline Polyethylene-like Materials under Industrially Relevant Processing Conditions
AUTHOR: Carlos Germosen Polanco
SUBMITTED: A Thesis submitted to the Department of Chemical and Biomedical Engineering in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Accessibility-Based Assessment and Modeling of Evacuations and Sheltering for Hurricanes and Pandemics
AUTHOR: Mahyar Ghorbanzadeh
SUBMITTED: A Dissertation submitted to the Department of Civil and Environmental Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 25, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Cytotoxic Effects of Microplastics on Human Cells
AUTHOR: Kerestin E. Goodman
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Between the Digital and Physical: Legitimization and Virtuality in E-Sports Opening Ceremonies
AUTHOR: Alexander Michael Gueterman
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: March 29, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Eigenvector Shrinkage for Estimating Covariance Matrices
AUTHOR: Hubeyb Gurdogan
SUBMITTED: A Dissertation submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Medicine
TITLE: The Regulation of DNA Replication Initiation, DNA Stress Response, and Mitotic Exit in Budding Yeast
AUTHOR: Cory M. Haluska
SUBMITTED: A Dissertation submitted to the Department of Biomedical Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Nation and Church in the French Revolution
AUTHOR: Joseph Peter Harmon
SUBMITTED: A Dissertation submitted to the Department of History in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: September 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Communication and Information
TITLE: Comparing to the Ideal on Social Media: Testing the Moderating Effect of Appearance Schematicity
AUTHOR: Joshua Hendrickse
SUBMITTED: A Dissertation submitted to the School of Communication in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Communication and Information
TITLE: Trust and Behavioral Intention Toward Generative Adversarial Network (GaN)-Derived Avatar Healthcare Provider (Hcp) in Simulated Telehealth Setting
AUTHOR: Nicole Hertel
SUBMITTED: A Thesis submitted to the School of Information in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: October 7, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Work
TITLE: Employment and Earnings Disparities Before and after the Implementation of the Americans with Disabilities Act: An Intersectional Approach
AUTHOR: Margaret McGrath Holland
SUBMITTED: A Dissertation submitted to the College of Social Work in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 02, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Multiple Mating and Larval Biology in the Florida Crown Conch (Melongena Corona)
AUTHOR: Alexandra Page Hooks
SUBMITTED: A Dissertation submitted to the Department of Biological Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Efficacy of Psychotropic Medications on Suicide and Self-Injury: A Meta-Analysis of Randomized Controlled Trials
AUTHOR: Xieyining Huang
SUBMITTED: A Dissertation submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Communication and Information
TITLE: Bridging Communities and Scholars through Cbpr: A Systematic Review of Communication and Participation Practices within Community-Based Participatory Research Teams
AUTHOR: Laura-Kate Gonyea Huse
SUBMITTED: A Dissertation submitted to the School of Communication in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 4, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Exploring Subtypes of Disgust in Sexual Minorities: The Role of Disgust in the Minority Stress Model, Interpersonal Theory, and Suicidal Ideation
AUTHOR: Roshni Janakiraman
SUBMITTED: A Thesis submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 3, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: The Influence of Regulatory Focus and L2 Self-Gudies on English Language Learners' Task Anxiety, Task Enjoyment, and Oral Task Performance
AUTHOR: Chen Jiang
SUBMITTED: A Dissertation submitted to the School of Teacher Education in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Characterization and Detection of Parvalbumin from Four Finfish Species
AUTHOR: Xingyi Jiang
SUBMITTED: A Dissertation submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 5, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Improving Methods for Causal Inference in Addiction Science: Presenting a New Extension of the Co-Twin Control Model Using Quantile Multilevel Modeling
AUTHOR: Keanan J. Joyner
SUBMITTED: A Dissertation submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 22, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Parental Leave and Primary School Academic Achievement: An Exploratory Comparative Study of National Policies and Their Relationships with Assessment Scores in Mathematics, Science, and Reading
AUTHOR: Katherine P. S. Kanupp
SUBMITTED: A Dissertation submitted to the Department of Educational Leadership and Policy Studies in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: An Investigation of the Impact of Weight Stigma on Binge-Eating Components in Adult Women
AUTHOR: Grace A. Kennedy
SUBMITTED: A Dissertation submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: June 23, 2020
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Mstislav Rostropovich, Alfred Schnittke, and Boris Tchaikovsky: Relational Context and Analysis of Two Works for Unaccompanied Cello
AUTHOR: Joshua Korzaan
SUBMITTED: A Treatise submitted to the College of Music in partial fulfillment of the requirements for the degree of Doctor of Music
AWARDED:
DEFENSE DATE: March 29, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: Geospatial Analysis of Informal Settlements in a Large Latin-American City: Satellite Mapping of Urban Patterns and Linking with Criminal Incidents
AUTHOR: Feilin Lai
SUBMITTED: A Dissertation submitted to the Department of Geography in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Online Proactive Health Monitoring Methods Using a Neural Network for DC Link Capacitors in an AC/DC/AC Converter
AUTHOR: John Lajoie
SUBMITTED: A Thesis submitted to the Department of Electrical and Computer Engineering in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 3, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: The Influence of ENSO and the Iod on Atmospheric Fronts and Frontal Precipitation across Australia
AUTHOR: Lindsay Lawrence
SUBMITTED: A Thesis submitted to the Department of Earth, Ocean, and Atmospheric Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 05, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Medicine
TITLE: 14-3-3 Proteins, Nmdar Hypofunctionality, and Actin Dynamics in Schizophrenia
AUTHOR: Gloria Soo-Yeon Lee
SUBMITTED: A Dissertation submitted to the Department of Biomedical Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Bayesian Decision Tree Ensembles for Nonparametric Problems
AUTHOR: Yinpu Li
SUBMITTED: A Dissertation submitted to the Department of Statistics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Scalable Manufacturing of Semiconducting Composite Devices for Ionizing Radiation Detection
AUTHOR: Haoran Li
SUBMITTED: A Dissertation submitted to the Department of Industrial and Manufacturing Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Efficient Indexing Methods for Query Processing on Large Graphs
AUTHOR: Yongjiang Liang
SUBMITTED: A Dissertation submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 2, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Demoralization in Schizophrenia: A Pathway to Suicidal Ideation?
AUTHOR: Amy Lieberman
SUBMITTED: A Thesis submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: September 17, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Incorporating Bayesian Variable Selection into the Spatial Mixed Effects Models with Process Augmentation: Bayesian Wavelet Neural Network (Bwnn)
AUTHOR: Jaehui Lim
SUBMITTED: A Dissertation submitted to the Department of Statistics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: August 26, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Functional Porous Materials: Manufacturing Process Exploration and Composite Integration
AUTHOR: Zhe Liu
SUBMITTED: A Dissertation submitted to the Department of Industrial and Manufacturing Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Co-Parenting of Adolescent Children, Parenting Stress, Marital Problems, and Parents' Mental Health
AUTHOR: Aosai Liu
SUBMITTED: A Thesis submitted to the Department of Human Development and Family Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: October 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Communication and Information
TITLE: Peer Support for School-Based Speech-Language Pathologists: Effects of Social Support on Occupational Stress and Burnout in the School Setting
AUTHOR: Leesa Marie Marante
SUBMITTED: A Dissertation submitted to the School of Communication Science and Disorders in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 13, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: State Matters: The Role States Play in Population Health
AUTHOR: Scarlett Marklin
SUBMITTED: A Dissertation submitted to the Department of Sociology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: September 30, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Modelling Neurovascular Structure from Human Pluripotent Stem Cells for Extracellular Vesicle Delivery
AUTHOR: Mark C. Marzano
SUBMITTED: A Dissertation submitted to the Department of Chemical and Biomedical Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: August 18, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Revelations and Resilience: Environmental Apocalypse in Southern Literature
AUTHOR: Emilie Mears
SUBMITTED: A Dissertation submitted to the Department of English in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 25, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: From Isolation to Crowd: Molecular Structures and in Situ Molecular Pathways Elucidated by Cryo-EM
AUTHOR: Atousa Mehrani
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Hog Island Spit Site (8Lv00087) and Shoreline Mapping to Determine the Effects of Sea Level Rise on Site Destruction
AUTHOR: Tiffani Mendez
SUBMITTED: A Thesis submitted to the Department of Anthropology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 1, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: The Application of an Mvpa Decoding Approach in Examining the Effect of Category Learning on Attentional Modulation and Neural Representations
AUTHOR: Yue Meng
SUBMITTED: A Dissertation submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 11, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Magneto-Optical Studies of Dirac and Weyl Semimetals
AUTHOR: Seongphill Moon
SUBMITTED: A Dissertation submitted to the Department of Physics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: Effect of Detensioning on Rupture of Stainless Steel Strands in Pretensioned Concrete Members
AUTHOR: Ariana C. Morales Rapallo
SUBMITTED: A Thesis submitted to the Department of Civil and Environmental Engineering in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 1, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Characterizing the Effects of Undernutrition on Iron Regulation in Female and Male Mice
AUTHOR: Robert Murphy
SUBMITTED: A Thesis submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: September 13, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Structure-Function Analysis of the Multicomponent Redox Enzyme Sulfite Reductase
AUTHOR: Daniel Travis Murray
SUBMITTED: A Dissertation submitted to the Department of Biological Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 22, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Investigations of the f-Electron State in Novel Crystalline Environments
AUTHOR: William Lucas Nelson
SUBMITTED: A Dissertation submitted to the Department of Physics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Exploring the Relationship between Polymer Topology and Ionic Conductivity: Novel and Precise Five-Carbon Spacing Polymer Electrolytes in Lithium-Ion Battery Applications
AUTHOR: Nam Quang Hai Nguyen
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Identification, Climatology, and Model Forecast Skill of Northeast Us Mesoscale Snowbands
AUTHOR: Mark Nissenbaum
SUBMITTED: A Dissertation submitted to the Department of Earth, Ocean, and Atmospheric Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: June 25, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Letting a Hundred Flowers Bloom: Good Lives Pluralism
AUTHOR: Jorge P. Oseguera Gamba
SUBMITTED: A Dissertation submitted to the Department of Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 17, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Implications of the Five Major Religious Death Systems for Hospice Music Therapy Practice
AUTHOR: Sarah Osterhouse
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Effects of Aging and Exercise Training on Bone Vascular Function and Bone Structural Adaptations
AUTHOR: Hyerim Park
SUBMITTED: A Dissertation submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 2, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: How Do People Feel in the Moment Before They Engage in a Suicide Attempt?: Investigation of Affective Experience within the Immediate Suicidal Context
AUTHOR: Esther Chanhye Park
SUBMITTED: A Thesis submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: August 30, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Communication and Information
TITLE: Explainable Artificial Intelligence for Predictive Modeling of Electronic Health Records in Patients with Cardiovascular Diseases
AUTHOR: Seyedeh Neelufar Payrovnaziri
SUBMITTED: A Dissertation submitted to the School of Information in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: September 21, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: A Season in Hell with Rimbaud
AUTHOR: Dustin Pearson
SUBMITTED: A Dissertation submitted to the Department of English in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 20, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Mid-Lithospheric Discontinuity: Assessing the Role of Amphiboles in Metasomatized Cratonic Mantle
AUTHOR: Ye Peng
SUBMITTED: A Dissertation submitted to the Department of Earth, Ocean and Atmospheric Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: People Whose Romantic Partners Match Their Partner Ideals Have Satisfying, Positive Interactions with Those Partners
AUTHOR: Sierra D. Peters
SUBMITTED: A Thesis submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: September 3, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Change Happens: Practitioner Use of Change Management Strategies
AUTHOR: Jeffrey B. Phillips
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 20, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Examination of Conceptual Pacts and Perspective Taking in Remote Communication
AUTHOR: Ashley Pieper
SUBMITTED: A Thesis submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: October 1, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Effects of Resveratrol and Mitoq on Gene Expression and Endothelial Function in a Mouse Model of Erectile Dysfunction
AUTHOR: Clifford J. Pierre
SUBMITTED: A Thesis submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: October 28, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Intrinsic Properties and Biases of Deep Learning Models
AUTHOR: Maksim Podkorytov
SUBMITTED: A Dissertation submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 19, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: The "Retro-Ensemble": Using Historical Analogs of Ensemble Forecasts as Post-Processing to Improve Prediction
AUTHOR: Michael J. Porter
SUBMITTED: A Dissertation submitted to the Department of Earth, Ocean, and Atmospheric Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 4, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Octonions – Hilbert Spaces, Fibrations and Analysis
AUTHOR: Benjamin R. Prather
SUBMITTED: A Dissertation submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 28, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Probing Phase Transitions in Metal-Organic Framework Multiferroics Using Solid-State NMR
AUTHOR: Sanath Kumar Ramakrishna
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Refined Approaches to Improving Efforts to Conserve Plant Biodiversity
AUTHOR: Natali Ramirez-Bullon
SUBMITTED: A Dissertation submitted to the Department of Biological Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 1, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Mining on Graphs: Graph Neural Network and Applications
AUTHOR: Yuxiang Ren
SUBMITTED: A Dissertation submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 14, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Fine Arts
TITLE: The Potential Influence of Interior Furnishings on Sense of Dignity for Residents of Domestic Violence Shelters
AUTHOR: Sarah A. Rifqi
SUBMITTED: A Thesis submitted to the Department of Interior Architecture and Design in partial fulfillment of the requirements for the degree of Master of Fine Arts
AWARDED:
DEFENSE DATE: October 22, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Teaching about Global Issues in the Classroom: Learning from Expreinced World History Teacheer
AUTHOR: Keith Rene Rivero
SUBMITTED: A Dissertation submitted to the School of Teacher Education in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Criminology and Criminal Justice
TITLE: Going the Extra Mile: The Influenceof Additional Police Follow-Ups on Couples of Domestic Violence
AUTHOR: Carlee Ruiz
SUBMITTED: A Thesis submitted to the College of Criminology and Criminal Justice in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: August 30, 2021
COMMITTEE:
FILENAME:
COLLEGE: FAMU-FSU College of Engineering
TITLE: A Comprehensive Study of Vortex Asymmetry on Slender Bodies at High Angles of Incidence
AUTHOR: Roopesh Sampath Kumar
SUBMITTED: A Dissertation submitted to the Department of Mechanical Engineering in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 11, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Teachers Matter: Exploring Foreign Language Teachers' Well-Being, Their Instructional Practices and Their Links to Student Engagement
AUTHOR: Ana Sánchez Solarte
SUBMITTED: A Dissertation submitted to the School of Teacher Education in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: September 29, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Teachers Matter: Exploring Foreign Language Teachers' Well-Being, Their Instructional Practices and Their Links to Student Engagement
AUTHOR: Ana Sánchez Solarte
SUBMITTED: A Dissertation submitted to the School of Teacher Education in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: September 29, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Exploration of Purified Pulse Starches for Food and Health
AUTHOR: Oluwatoyin Olaoluwa Sangokunle
SUBMITTED: A Dissertation submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 19, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: Organic Self-Talk Functions and Their Relations to Sport-Specific Contexutal and Personal Factors
AUTHOR: Yonatan Sarig
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 4, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: Effects of Interleukin-6 and Hepcidin on Iron and Zinc Homeostasis in Mice
AUTHOR: James A. Schairer, Jr.
SUBMITTED: A Thesis submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Health and Human Sciences
TITLE: The Effects of Resistance Training and Protein Supplementation on Body Composition, Muscular Strength, and Physical Function in Transcatheter Aortic Valve Replacement Patients
AUTHOR: Christopher M. Schattinger
SUBMITTED: A Dissertation submitted to the Department of Nutrition and Integrative Physiology in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 3, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: A 21st Century Water War Haunted by a 20th Century Engineering Vision: The US Army Corps of Engineers and the ACF Basin
AUTHOR: Frank Schmitz
SUBMITTED: A Dissertation submitted to the Department of Geography in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 11, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: Tornado Outbreak Climatology in the United States (1995–2020): Definitions, Descriptions, and Statistical Analyses
AUTHOR: Zoe Schroder
SUBMITTED: A Dissertation submitted to the Department of Geography in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 3, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Characterizing the Tissue-Specific and Epigenetic Gene Regulation of Transcriptional and Post-Transcriptional Responses in Maize
AUTHOR: Lauren Michelle Schulte
SUBMITTED: A Dissertation submitted to the Department of Biological Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 12, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Ground-State Diagrams and Multicriticality in Three-State Ising and Lattice-Gas Models
AUTHOR: Daniel Silva
SUBMITTED: A Dissertation submitted to the Department of Physics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 27, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Submerged Megaripples as Sites of Enhanced Remineralization and Nutrient Retention
AUTHOR: Eric J. Simpson
SUBMITTED: A Thesis submitted to the Department of Earth, Ocean, and Atmospheric Science in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Measurement of J/ψ and ψ(2S) at Forward and Backward Rapidity in p+p, p+Al, p+Au, and 3He+Au Collisions √ at snn = 200 GeV
AUTHOR: Krista L. Smith
SUBMITTED: A Dissertation submitted to the Department of Physics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: August 11, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: The Impact of Playing Function Fighters: A Digital Learning Game for Translating Algebra Word Problems to Equations
AUTHOR: Ginny L. Smith
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Medicine
TITLE: Dissecting the Molecular Mechanisms Involved in Keloid Pathogenesis and Response to Therapy
AUTHOR: Yuna Son
SUBMITTED: A Dissertation submitted to the Department of Biomedical Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 19, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: The First 100 Years: Performance Practices of the Percussion Section in the U.S. Army Band "Pershing's Own"
AUTHOR: Peter A. Soroka
SUBMITTED: A Treatise submitted to the College of Music in partial fulfillment of the requirements for the degree of Doctor of Music
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Leveraging the Land: L'Hypothèque and the French Culture of Credit
AUTHOR: Zachary M. Stoltzfus
SUBMITTED: A Dissertation submitted to the Department of History in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 4, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: An Annotated Guide to Eight Selected Guitar Arrangements of Francisco Tárrega
AUTHOR: David Lee Stringer
SUBMITTED: A Treatise submitted to the College of Music in partial fulfillment of the requirements for the degree of Doctor of Music
AWARDED:
DEFENSE DATE: October 21, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Testing Perceptions of a Memory-Related Tip Card for the Amazon Echo Dot in a Sample of Older Adults with and without Mild Cognitive Impairment
AUTHOR: Robin K. Stuart
SUBMITTED: A Thesis submitted to the Department of Psychology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Making Space for Black Modern Dance: The Music and Dance of Alvin Ailey's Revelations, the River, and Mary Lou's Mass
AUTHOR: Dana R. Terres
SUBMITTED: A Dissertation submitted to the College of Music in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 17, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Characterizing the Northern Australian Rainy Season from the Large-Scale to the Localscale in the Current and the Future Climate
AUTHOR: John Uehling
SUBMITTED: A Dissertation submitted to the Department of Earth, Ocean, and Atmospheric Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 28, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: A Longitudinal Diagnostic Classification Model for Attribute Acquisition: Application to Learning Progressions
AUTHOR: Gertrudes Velasquez
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: The Role of Musuc Therapy in Pediatric Palliative Care – a Systematic Review of Research
AUTHOR: Victoria B. Villena
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: November 18, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: Music Interventions in the Treatment of Parkinson's Disease: A Systematic Review of Literature
AUTHOR: Abigail L. Vinquist
SUBMITTED: A Thesis submitted to the College of Music in partial fulfillment of the requirements for the degree of Master of Music
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Surface Functionalization of Perovskite Nanocrystals via Multidentate Polymer Ligands for Enhanced Stability and Photoemission
AUTHOR: Sisi Wang
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Social Sciences and Public Policy
TITLE: Writing the Menu: The Shaping of Local Food Systems' Programs and Policies
AUTHOR: Kathryn E. Wassel
SUBMITTED: A Dissertation submitted to the Askew School of Public Administration and Policy in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: July 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: A Structural Equation Modeling Analysis of Chinese Undergraduate English Language Learners' Classroom Engagement
AUTHOR: Maipeng Wei
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 17, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Education
TITLE: The Impact of Assessment Construct and Criterion Changes on the Measured Performance of Teachers
AUTHOR: Lauren White
SUBMITTED: A Dissertation submitted to the Department of Educational Psychology and Learning Systems in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: October 21, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Dynamics and Compositions in Polyelectrolyte Complex Coacervates
AUTHOR: Mo Yang
SUBMITTED: A Dissertation submitted to the Department of Chemistry and Biochemistry in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 8, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Fine Arts
TITLE: A Diffractive Ethnography of Becoming Reggio-Inspiredteachers Intaiwan
AUTHOR: Hsiu-Chunyang
SUBMITTED: A Dissertation submitted to the Department of Art Education in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 9, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Music
TITLE: A Study of Selected Piano Works by Robert Chumbley and Lera Auerbach
AUTHOR: Jeong Yun Yang
SUBMITTED: A Treatise submitted to the College of Music in partial fulfillment of the requirements for the degree of Doctor of Music
AWARDED:
DEFENSE DATE: November 10, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: The Geoarchaeology of the Wakulla River Drainage Basin an Exploratory Spatial Data Analysis and Synthesis
AUTHOR: Nicholas Haynes Yarbrough
SUBMITTED: A Thesis submitted to the Department of Anthropology in partial fulfillment of the requirements for the degree of Master of Science
AWARDED:
DEFENSE DATE: November 15, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Medicine
TITLE: The Role of Extracellular Vesicles in Viral Infections
AUTHOR: Sara B. York
SUBMITTED: A Dissertation submitted to the Department of Biomedical Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 18, 2021
COMMITTEE:
FILENAME:
COLLEGE: College of Arts and Sciences
TITLE: Ppca-Xnorm: A Probabilistic Principal Component Analysis (Ppca) Based Approach to Performing Cross Platform Normalization on Two or More Gene Expression Platforms
AUTHOR: Disa Yu
SUBMITTED: A Dissertation submitted to the Department of Statistics in partial fulfillment of the requirements for the degree of Doctor of Philosophy
AWARDED:
DEFENSE DATE: November 16, 2021
COMMITTEE:


1. The World Wide Web
2. HTML
3. URL's
4. HTTP
The World Wide Web
The World Wide Web is a collection of HTML documents. These documents are made up of something called HTML. HTML stands for HyperText Markup Language, or HyperLINKS. Hyperlinks are what connect all pages together.
Major Pieces of The Internet:
You ---> WWW ---> Servers
Your browser makes requests via the Internet to servers using protocol called HTTP. The servers respond with files that your browser displays.
HTML: Hypertext Markup Language
HTML is made up of the following:
-Text content which is what you see.
-Markup is what it looks like.
-Reference to other documents. e.g. Images and Videos
-Links to other pages.
HTML markup is made up of tags:
< opening tag name>contents< /opening> This entire thing is an element.
A few common tags are the "b" tag, "em" tag, "p" tag, "br" tag, and "img" tag.
-The "b" tag is used to make anything that appears inside of the tag itself BOLD.
-The "em" tag turns anything within the tag into ITALICS.
-The "p" tag stands for paragraph, and is a block tag that has content within it like a box.
-The "br" tag is an inline tag that ends a line.
-The "img" tag is used to add pictures within your document, and does not have a cosing tag.
HTML Attributes modify an HTML element, i.g., you can add "a href" within a tag to include a LINK/URL within the document.
A Hyperlink connects web pages to each other.
URL's
URL's are how you refer to documents on the web. It is the unique address for that document on the Internet.
HTTP
In short, HTTP, or HyperText Transfer Protocol, is the set of rules that unites the Internet.
Review Questions:
Q: What is a web page?
A: A web page is a text document written in HTML. Browsers read the docs, interpret and display.
Q: How does coding work?
A: Coding happens when programmers write text in a language that a computer can understand. The computer then follows the instructions.

A: Yes, programmers need to write exactly the way a computer understands. (Also known as the correct syntax)
Q: Can programmers remember everything?
A: Programmers cannot remember everything. There are too many details to keep in your head.
Basic HTML Vocab
Tag: HTML tag is always contained within angled brackets. most have opening and closing tags. Some are called void tags which do not require a closing tag.
Element: Everything between a set of opening and closing tags.
Attribute: Property of an HTML element, i.g., < a href="URL">LINK TEXT< /a>
In short, an attribute modifies an element.


Toggle navigation
Weather Dashboard
Plots
Max Temperature
Humidity
Cloudiness
Wind Speed
Comparison
Data
Comparison
Click any plot to get and in-depth analysis
Max Temperature
Humidity
Cloudiness
Wind Speed


LiberoDenken.com
Register Form
First Name :
Last Name :
Email Address :
Password :
Confirm Password :
Register Support


SendIT is being developed by Nziranziza Daniel as project to join Andela Fellowiship program. This is one of the project that all Andelans must do when they are entering in the fellowship. As the title say we are future software developers, Andela builds high-performing, distributed engineering teams with Africa’s most talented software developers. We believe the future of software development is open, inclusive, and everywhere. And Daniel believe that and this why he is interested in joining Andela
Daniel is interested in his home town development by using computer technology apart from computer science ,Daniel like football and music and he is currently teaching himself to play guitar.
| Nziranziza Daniel | |
| +250 787 35 9216 | |
|<EMAIL_ADDRESS>| |
| Nziranziza Daniel | |
| nziranziza_daniel |


---
layout: post
title: Peanut butter granola bars
date: 2021-05-26 06:00:34 -0200
background: '/img/recipes/granola-bars-side-view.jpg'
categories: Recipes
---
These Granola bars are the perfect addition to any lunch box. They make a fantastic snack and are loaded with good and healthy fats and fiber, but most importantly they taste super good.
Prep time: 10 minutes
Fridge time: 30 minutes
Serving: 12 large rectangular bars/24 small square
Ingredients
- 2 ½ cups granola
- ½ cup peanut butter (no added sugar)
- ½ cup sugar-free syrup
- 1 tbsp coconut oil
Instructions
- Line a small tray/dish (+- 26cm casserole dish) with baking paper.
- In a bowl combine the granola, peanut butter and syrup.
- Melt the coconut oil and mix into the granola mixture.
- Add the mixture to the lined tray/dish and press down.
- Put the tray/dish in the fridge and leave for a minimum of 30 minutes.
- Remove the granola from the fridge and from tray/dish and cut into desired size and shape.
Tip
The baking paper makes it easier to remove the bars from the tray/dish.
Store the bars in an airtight container in the fridge.
The coconut oil serves as a binder for the bars.
I don't make my own granola because I don't eat it often enough, the granola used is low-carb and from a local company.
Live long and keto-on!


Autotest continuously scans the files in your project for changes and runs the appropriate tests. Test failures are run until they have all passed. Then the full test suite is run to ensure that nothing else was inadvertantly broken.
If you want Autotest to start over from the top, hit ^C once. If you want Autotest to quit, hit ^C twice.
Rails:
The autotest command will automatically discover a Rails directory by looking for config/environment.rb. When Rails is discovered, autotest uses RailsAutotest to perform file mappings and other work. See RailsAutotest for details.
Plugins:
Plugins are available by creating a .autotest file either in your project root or in your home directory. You can then write event handlers in the form of:
Autotest.add_hook hook_name { |autotest| ... }
The available hooks are listed in ALL_HOOKS
.
See example_dot_autotest.rb for more details.
If a hook returns a true value, it signals to autotest that the hook was handled and should not continue executing hooks.
Naming:
Autotest uses a simple naming scheme to figure out how to map implementation files to test files following the Test::Unit naming scheme.
Test files must be stored in test/
Test files names must start with test_
Test class names must start with Test
Implementation files must be stored in lib/
Implementation files must match up with a test file named test_.*<impl-name>.rb
Strategy:
Find all files and associate them from impl <-> test.
Run all tests.
Scan for failures.
Detect changes in ANY (ruby?. file, rerun all failures + changed files.
Until 0 defects, goto 3.
When 0 defects, goto 2.
Add a proc to the collection of discovery procs. See
autodiscover
.
# File lib/autotest.rb, line 178 def self.add_discovery &proc @@discoveries << proc end
Add the supplied block to the available hooks, with the given name.
# File lib/autotest.rb, line 889 def self.add_hook name, &block HOOKS[name] << block end
Automatically find all potential autotest runner styles by searching your
loadpath, vendor/plugins, and rubygems for “autotest/discover.rb”. If
found, that file is loaded and it should register discovery procs with
autotest using add_discovery
. That proc should return one or
more strings describing the user’s current environment. Those styles are
then combined to dynamically invoke an autotest plugin to suite your
environment. That plugin should define a subclass of Autotest with a corresponding name.
All autotest/discover.rb files loaded.
Those procs determine your styles (eg [“rails”, “rspec”]).
Require file by sorting styles and joining (eg ‘autotest/rails_rspec’).
Invoke run method on appropriate class (eg Autotest::RailsRspec.run).
Autotest.add_discovery do "rails" if File.exist? 'config/environment.rb' end
# File lib/autotest.rb, line 207 def self.autodiscover require 'rubygems' # *sigh* # # This is needed for rspec's hacky discovery mechanism. For some # reason rspec2 added generators that create # "autotest/discover.rb" right in the project directory instead of # keeping it in the rspec gem and properly deciding that the # project is an rspec based project or not. See the url for more # details: # # http://rubyforge.org/tracker/?func=detail&atid=1678&aid=28775&group_id=419 # # For the record, the sane way to do it is the bacon way: # # "Since version 1.0, there is autotest support. You need to tag # your test directories (test/ or spec/) by creating an .bacon # file there. Autotest then will find it." # # I'm submitting a counter-patch to rspec to fix stuff properly, # but for now I'm stuck with this because their brokenness is # documented in multiple books. # # I'm removing this code once a sane rspec goes out. hacky_discovery = Gem::Specification.any? { |s| s.name =~ /^rspec/ } $: << '.' if hacky_discovery Gem.find_files("autotest/discover").each do |f| load f end # call all discovery procs and determine the style to use @@discoveries.map{ |proc| proc.call }.flatten.compact.sort.uniq end
Initialize the instance and then load the user’s .autotest file, if any.
# File lib/autotest.rb, line 278 def initialize # these two are set directly because they're wrapped with # add/remove/clear accessor methods @exception_list = [] @test_mappings = [] @child = nil self.completed_re = /\d+ (tests|runs), \d+ assertions, \d+ failures, \d+ errors(, \d+ skips)?/ self.extra_class_map = {} self.extra_files = [] self.failed_results_re = /^\s*\d+\) (?:Failure|Error):\n(.*?)(?: [\(\[](.*?)[\)\]])?:$/ self.files_to_test = new_hash_of_arrays self.find_order = [] self.known_files = nil self.libs = %w[. lib test].join(File::PATH_SEPARATOR) self.order = :random self.output = $stderr self.prefix = nil self.sleep = 1 self.testlib = "minitest/autorun" specified_directories = ARGV.reject { |arg| arg.start_with?("-") } # options are not directories self.find_directories = specified_directories.empty? ? ['.'] : specified_directories self.unit_diff = nil self.latest_results = nil # file in /lib -> run test in /test self.add_mapping(/^lib\/.*\.rb$/) do |filename, _| possible = File.basename(filename).gsub '_', '_?' # ' stupid emacs files_matching %r^test/.*#{possible}$% end # file in /test -> run it self.add_mapping(/^test.*\/test_.*rb$/) do |filename, _| filename end default_configs = [File.expand_path('~/.autotest'), './.autotest'] configs = options[:rc] || default_configs configs.each do |f| load f if File.exist? f end end
# File lib/autotest.rb, line 69 def self.options @@options ||= {} end
# File lib/autotest.rb, line 85 def self.parse_options args = ARGV require 'optparse' options = { :args => args.dup } OptionParser.new do |opts| opts.banner = " Continuous testing for your ruby app. Autotest automatically tests code that has changed. It assumes the code is in lib, and tests are in test/test_*.rb. Autotest uses plugins to control what happens. You configure plugins with require statements in the .autotest file in your project base directory, and a default configuration for all your projects in the .autotest file in your home directory. Usage: autotest [options] ".gsub(/^ /, '') opts.on "-f", "--fast-start", "Do not run full tests at start" do options[:no_full_after_start] = true end opts.on("-c", "--no-full-after-failed", "Do not run all tests on red->green") do options[:no_full_after_failed] = true end opts.on "-d", "--debug", "Debug mode, for reporting bugs." do options[:debug] = true end opts.on "-v", "--verbose", "Be annoyingly verbose (debugs .autotest)." do options[:verbose] = true end opts.on "-q", "--quiet", "Be quiet." do options[:quiet] = true end opts.on("-r", "--rc CONF", String, "Override path to config file") do |o| options[:rc] = Array(o) end opts.on("-s", "--style STYLE", String, "Manually specify test style. (default: autodiscover)") do |style| options[:style] = Array(style) end opts.on("-w", "--warnings", "Turn on ruby warnings") do $-w = true end opts.on "-h", "--help", "Show this." do puts opts exit 1 end end.parse! args Autotest.options.merge! options options end
Initialize and run the system.
# File lib/autotest.rb, line 247 def self.run new.run end
Calculates the autotest runner to use to run the tests.
Can be overridden with –style, otherwise uses ::autodiscover.
# File lib/autotest.rb, line 156 def self.runner style = options[:style] || Autotest.autodiscover target = Autotest unless style.empty? then mod = "autotest/#{style.join "_"}" puts "loading #{mod}" begin require mod rescue LoadError abort "Autotest style #{mod} doesn't seem to exist. Aborting." end target = Autotest.const_get(style.map {|s| s.capitalize}.join) end target end
Adds regexp
to the list of exceptions for find_file. This must
be called before the exceptions are compiled.
# File lib/autotest.rb, line 815 def add_exception regexp raise "exceptions already compiled" if defined? @exceptions @exception_list << regexp nil end
Adds a file mapping, optionally prepending the mapping to the front of the
list if prepend
is true. regexp
should match a
file path in the codebase. proc
is passed a matched filename
and Regexp.last_match. proc
should return an array of tests to
run.
For example, if test_helper.rb is modified, rerun all tests:
at.add_mapping(/test_helper.rb/) do |f, _| at.files_matching(/^test.*rb$/) end
# File lib/autotest.rb, line 779 def add_mapping regexp, prepend = false, &proc if prepend then @test_mappings.unshift [regexp, proc] else @test_mappings.push [regexp, proc] end nil end
Installs a sigint handler.
# File lib/autotest.rb, line 446 def add_sigint_handler trap 'INT' do Process.kill "KILL", @child if @child if self.interrupted then self.wants_to_quit = true else unless hook :interrupt then puts "Interrupt a second time to quit" self.interrupted = true Kernel.sleep 1.5 end raise Interrupt, nil # let the run loop catch it end end end
Installs a sigquit handler
# File lib/autotest.rb, line 466 def add_sigquit_handler trap 'QUIT' do restart end end
If there are no files left to test (because they’ve all passed), then all is good.
 This must be called before the exceptions are compiled.
# File lib/autotest.rb, line 836 def clear_exceptions raise "exceptions already compiled" if defined? @exceptions @exception_list.clear nil end
Clears all file mappings. This is DANGEROUS as it entirely disables autotest. You must add at least one file mapping that does a good job of rerunning appropriate tests.
# File lib/autotest.rb, line 803 def clear_mappings @test_mappings.clear nil end
Returns a hash mapping a file name to the known failures for that file.
# File lib/autotest.rb, line 514 def consolidate_failures failed filters = new_hash_of_arrays class_map = self.class_map failed.each do |method, klass| if class_map.has_key? klass then filters[class_map[klass]] << method else output.puts "Unable to map class #{klass} to a file" end end filters end
# File lib/autotest.rb, line 323 def debug require "pp" find_files_to_test puts "Known test files:" puts pp files_to_test.keys.sort class_map = self.class_map puts puts "Known class map:" puts pp class_map end
Return a compiled regexp of exceptions for #find_files or nil if no
filtering should take place. This regexp is generated from
exception_list
.
# File lib/autotest.rb, line 847 def exceptions unless defined? @exceptions then @exceptions = if @exception_list.empty? then nil else Regexp.union(*@exception_list) end end @exceptions end
Returns all known files in the codebase matching regexp
.
# File lib/autotest.rb, line 763 def files_matching regexp self.find_order.select { |k| k =~ regexp } end
Find the files to process, ignoring temporary files, source configuration management files, etc., and return a Hash mapping filename to modification time.
# File lib/autotest.rb, line 535 def find_files result = {} targets = self.find_directories + self.extra_files self.find_order.clear targets.each do |target| order = [] Find.find target do |f| Find.prune if f =~ self.exceptions Find.prune if f =~ /^\.\/tmp/ # temp dir, used by isolate next unless File.file? f next if f =~ /(swp|~|rej|orig)$/ # temporary/patch files next if f =~ /(,v)$/ # RCS files next if f =~ /\/\.?#/ # Emacs autosave/cvs merge files filename = f.sub(/^\.\//, '') result[filename] = File.stat(filename).mtime rescue next order << filename end self.find_order.push(*order.sort) end result end
Find the files which have been modified, update the recorded timestamps, and use this to update the files to test. Returns the latest mtime of the files modified or nil when nothing was modified.
# File lib/autotest.rb, line 568 def find_files_to_test files = find_files updated = files.select { |filename, mtime| self.last_mtime < mtime } # nothing to update or initially run unless updated.empty? || self.last_mtime.to_i == 0 then p updated if options[:verbose] hook :updated, updated end updated.map { |f,m| test_files_for f }.flatten.uniq.each do |filename| self.files_to_test[filename] # creates key with default value end if updated.empty? then nil else files.values.max end end
Keep running the tests after a change, until all pass.
# File lib/autotest.rb, line 385 def get_to_green begin run_tests wait_for_changes unless all_good end until all_good end
Check results for failures, set the “bar” to red or green, and if there are failures record this.
# File lib/autotest.rb, line 593 def handle_results results results = results.gsub(/\e\[\d+m/, '') # strip ascii color failed = results.scan(self.failed_results_re).map { |m, k| k, m = $1, $2 if m =~ /(\w+)\#(\w+)/ # minitest 5 output [m, k] } completed = results[self.completed_re] if completed then completed = completed.scan(/(\d+) (\w+)/).map { |v, k| [k, v.to_i] } self.latest_results = Hash[*completed.flatten] self.files_to_test = consolidate_failures failed color = failed.empty? ? :green : :red hook color unless $TESTING else self.latest_results = nil end self.tainted = true unless self.files_to_test.empty? end
Call the event hook named name
, passing in optional args
depending on the hook itself.
Returns false if no hook handled the event.
This executes all registered hooks until one returns truthy. Pay attention to the return value of your block!
# File lib/autotest.rb, line 873 def hook name, *args deprecated = { # none currently } if deprecated[name] and not HOOKS[name].empty? then warn "hook #{name} has been deprecated, use #{deprecated[name]}" end HOOKS[name].any? { |plugin| plugin[self, *args] } end
Lazy accessor for the #known_files hash.
# File lib/autotest.rb, line 620 def known_files unless @known_files then @known_files = Hash[*find_order.map { |f| [f, true] }.flatten] end @known_files end
Generate the commands to test the supplied files
# File lib/autotest.rb, line 637 def make_test_cmd files_to_test if options[:debug] then puts "Files to test:" puts pp files_to_test puts end cmds = [] full, partial = reorder(files_to_test).partition { |k,v| v.empty? } diff = self.unit_diff diff = " | #{diff}" if diff and diff !~ /^\|/ unless full.empty? then classes = full.map {|k,v| k}.flatten.uniq classes.unshift testlib classes = classes.join " " cmds << "#{ruby_cmd} -e \"%w[#{classes}].each { |f| require f }\"#{diff}" end partial.each do |klass, methods| regexp = Regexp.union(*methods).source cmds << "#{ruby_cmd} #{klass} -n \"/^(#{regexp})$/\"#{diff}" end cmds.join "#{SEP} " end
# File lib/autotest.rb, line 665 def new_hash_of_arrays Hash.new { |h,k| h[k] = [] } end
# File lib/autotest.rb, line 73 def options self.class.options end
Convert a path in a string, s, into a class name, changing underscores to CamelCase, etc.
# File lib/autotest.rb, line 501 def path_to_classname s sep = File::SEPARATOR f = s.sub(/^test#{sep}/, '').sub(/\.rb$/, '').split sep f = f.map { |path| path.split(/_|(\d+)/).map { |seg| seg.capitalize }.join } f = f.map { |path| path =~ /^Test/ ? path : "Test#{path}" } f.join '::' end
Removes regexp
to the list of exceptions for find_file. This
must be called before the exceptions are compiled.
# File lib/autotest.rb, line 826 def remove_exception regexp raise "exceptions already compiled" if defined? @exceptions @exception_list.delete regexp nil end
Removed a file mapping matching regexp
.
# File lib/autotest.rb, line 791 def remove_mapping regexp @test_mappings.delete_if do |k,v| k == regexp end nil end
# File lib/autotest.rb, line 669 def reorder files_to_test case self.order when :alpha then files_to_test.sort_by { |k,v| k } when :reverse then files_to_test.sort_by { |k,v| k }.reverse when :random then max = files_to_test.size files_to_test.sort_by { |k,v| rand max } when :natural then (self.find_order & files_to_test.keys).map { |f| [f, files_to_test[f]] } else raise "unknown order type: #{self.order.inspect}" end end
Rerun the tests from cold (reset state)
# File lib/autotest.rb, line 688 def rerun_all_tests reset run_tests hook :all_good if all_good end
Clear all state information about test failures and whether interrupts will kill autotest.
# File lib/autotest.rb, line 699 def reset self.files_to_test.clear self.find_order.clear self.interrupted = false self.known_files = nil self.last_mtime = T0 self.tainted = false self.wants_to_quit = false hook :reset end
# File lib/autotest.rb, line 472 def restart Process.kill "KILL", @child if @child cmd = [$0, *options[:args]] index = $LOAD_PATH.index RbConfig::CONFIG["sitelibdir"] if index then extra = $LOAD_PATH[0...index] cmd = [Gem.ruby, "-I", extra.join(":")] + cmd end puts cmd.join(" ") if options[:verbose] exec(*cmd) end
Determine and return the path of the ruby executable.
# File lib/autotest.rb, line 715 def ruby ruby = ENV['RUBY'] ruby ||= File.join(RbConfig::CONFIG['bindir'], RbConfig::CONFIG['ruby_install_name']) ruby.gsub! File::SEPARATOR, File::ALT_SEPARATOR if File::ALT_SEPARATOR return ruby end
Returns the base of the ruby command.
# File lib/autotest.rb, line 630 def ruby_cmd "#{prefix}#{ruby} -I#{libs} -rubygems" end
Repeatedly run failed tests, then all tests, then wait for changes and carry on until killed.
# File lib/autotest.rb, line 351 def run hook :initialize hook :post_initialize reset add_sigint_handler self.last_mtime = Time.now if options[:no_full_after_start] self.debug if options[:debug] loop do begin # ^c handler get_to_green if tainted? and not options[:no_full_after_failed] then rerun_all_tests else hook :all_good end wait_for_changes rescue Interrupt break if wants_to_quit reset end end hook :quit puts rescue Exception => err hook(:died, err) or raise err end
Look for files to test then run the tests and handle the results.
# File lib/autotest.rb, line 395 def run_tests new_mtime = self.find_files_to_test return unless new_mtime self.last_mtime = new_mtime cmd = self.make_test_cmd self.files_to_test return if cmd.empty? hook :run_command, cmd puts cmd unless options[:quiet] old_sync = $stdout.sync $stdout.sync = true self.results = [] line = [] begin open "| #{cmd}", "r" do |f| until f.eof? do c = f.getc or break if RUBY19 then print c else putc c end line << c if c == \n then self.results << if RUBY19 then line.join else line.pack "c*" end line.clear end end end ensure $stdout.sync = old_sync end hook :ran_command self.results = self.results.join handle_results self.results end
Return the name of the file with the tests for filename by finding a
test_mapping
that matches the file and executing the mapping’s
proc.
# File lib/autotest.rb, line 730 def test_files_for filename result = [] @test_mappings.each do |file_re, proc| if filename =~ file_re then result = [proc.call(filename, $~)]. flatten.sort.uniq.select { |f| known_files[f] } break unless result.empty? end end p :test_file_for => [filename, result.first] if result and options[:debug] output.puts "No tests matched #{filename}" if (options[:verbose] or $TESTING) and result.empty? return result end
Sleep then look for files to test, until there are some.
# File lib/autotest.rb, line 752 def wait_for_changes hook :waiting Kernel.sleep self.sleep until find_files_to_test end


If you ever need help, we have a great support team ready to answer your questions.


Evers in October ordered a special legislative session on gun control to begin Tuesday afternoon. He wants to them to vote on bills mandating universal background checks and allowing family members or police to ask judges to temporarily seize firearms from people who pose a threat.
Republican leaders say they won't even consider the bills. Senate Majority Leader Scott Fitzgerald says he plans to gavel in and gavel out seconds later, ending the session.
Evers sent Fitzgerald and Assembly Speaker Robin Vos a letter Thursday morning blasting them for "ignoring the will of the people" and demanding they vote on the proposals. He says Wisconsin residents deserve to know where their legislators stand on the bills.
Republican Assembly Speaker Robin Vos is accusing Democratic Gov. Tony Evers of "playing politics" by calling a special session on gun control.
Vos said the Assembly will not debate or vote on the bills Thursday in the special session. He plans to gavel in and quickly adjourn the session.

Democrats say Republicans should pass universal background checks and a "red flag" law in part because polls show broad public support.
Vos said Republicans won't support the bills because they infringe upon Second Amendment gun rights.


John Lewis selects Glasgow girl for starring role
A ten-year-old Glasgow girl is the star of this year's John Lewis Christmas ad
by Kirsty McKenzie, Paul SmithLeading British retailer John Lewis's Christmas ads are always keenly anticipated.
And Glasgow girl Ruby Dailly has beaten off thousands of youngsters to bag the starring role in this year's version which hit our screens on Wednesday.
The ten-year-old budding star plays the best friend of Excitable Edgar, an over-excitable Christmas dragon.
Glasgow Live reports that Ruby stars as Ava, a young girl in a medieval world, who looks after a dragon who struggles to contain his excitement over Christmas - and as a consequence breathes fire over everything.
Edgar melts an ice rink and destroys the village Christmas tree - but best friend Ava is there to give him a helping hand. She helps everyone accept him, even though he's different.
Ruby won the role of a lifetime after John Lewis conducted castings across London, Manchester and Scotland to find their perfect Ava.
This is Ruby debut appearance on screens, as she hasn't appeared in any other films or shows so far, but it certainly won't be her last.


Id: 39
Name: Beth Smith
Status: Alive
Species: Human
Type:
Gender: Female
OriginName: Earth (Evil Rick's Target Dimension)
OriginUrl: https://rickandmortyapi.com/api/location/34
LocationName: Earth (Evil Rick's Target Dimension)
LocationUrl: https://rickandmortyapi.com/api/location/34
Image: https://rickandmortyapi.com/api/character/avatar/39.jpeg
Episode: ['https://rickandmortyapi.com/api/episode/10']
Url: https://rickandmortyapi.com/api/character/39
Created: 2017-11-05T09:52:31.777Z


> Conjugate the word
""
in the passé simple using the noun
"":
0
3x
Start
Game Over!
How to Play
You are the commander of a spaceship. Your job is to avoid
the space debris flying at you. Use the left and right
arrow keys on your keyboard to move your ship.
For each piece of debris you avoid, you receive a random
number of points between 50 and 150. Your score is in the
top left corner.
If you are hit by space debris, you will have 20 seconds
to conjugate an irregular verb in the passé simple.
You have three lives. You lose one life for each question
you answer incorrectly.


--- layout: post title: "No Title" ---
For the entire length of this song the crowd was silent.  Every note and every word rang out as if in a vacuum. It was a surreal moment.


#include <chap.h>
Definition at line 134 of file chap.h.
Definition at line 138 of file chap.h.
Definition at line 133 of file chap.h.
Definition at line 137 of file chap.h.
Definition at line 141 of file chap.h.
Definition at line 135 of file chap.h.
Definition at line 132 of file chap.h.
Definition at line 130 of file chap.h.
Definition at line 136 of file chap.h.
Definition at line 140 of file chap.h.
Definition at line 145 of file chap.h.
Definition at line 144 of file chap.h.
Definition at line 147 of file chap.h.
Definition at line 142 of file chap.h.
Definition at line 146 of file chap.h.
Definition at line 143 of file chap.h.
Definition at line 131 of file chap.h.
Definition at line 139 of file chap.h.
Definition at line 129 of file chap.h.


"AMASA "burden. (1.) The son of Abigail, a sister of king David (1 Chronicles 2:17; 2 Samuel 17:25). He was appointed by David to command the army in room of his cousin Joab (2 Samuel 19:13), who afterwards treacherously put him to death as a dangerous rival (2 Samuel 20:4-12). (2.) A son of Hadlai, and chief of Ephraim (2 Chronicles 28:12) in the reign of Ahaz.
"AMASA "burden. (1.) The son of Abigail, a sister of king David (1 Chronicles 2:17; 2 Samuel 17:25). He was appointed by David to command the army in room of his cousin Joab (2 Samuel 19:13), who afterwards treacherously put him to death as a dangerous rival (2 Samuel 20:4-12).
(2.) A son of Hadlai, and chief of Ephraim (2 Chronicles 28:12) in the reign of Ahaz.


Selected
Index
Where I Once Stood, Exhibition, September 2019
Where I Once Stood, Exhibition, September 2019
Shallow, 120mm Film, September 2019
Untitled, 120mm Film, September 2019
Abscond, 120mm Film, September 2019
Un Being, 75cm x 75cm, Cyanotype, September 2019
Un Being, 75cm x 75cm, Cyanotype, September 2019
Un Being, 75cm x 75cm, Cyanotype, September 2019
Untitled, 75cm x 75cm, Cyanotype, September 2019
Untitled, 75cm x 75cm, Cyanotype, September 2019
Un Being, 75cm x 75cm, Cyanotype, September 2019
Un Being, 75cm x 75cm, Cyanotype, September 2019
Untitled, 75cm x 75cm, Cyanotype, September 2019
Untitled, 75cm x 75cm, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Cyanotype, September 2019
Untitled, Collage, September 2019
Cyanotype Collage, Cyanotype, September 2019
Cyanotype Collage, Cyanotype, September 2019
Tutu Hug, Cyanotype, September 2019
Diplopia, Risograph, June 2019
Hands and Feet,40cm x 60xm, Screen Print, October 2019
Hands and Feet,40cm x 60xm, Screen Print, October 2019
Apple, Kiwi Collage, 25cm x 40xm, Screen Print, October 2019
Apple, Kiwi Collage, 25cm x 40xm, Screen Print, October 2019
Tumeric Cyan Side, 54.5cm x 118xm, Tumeric Dyed Cyanotype, October 2019
Tumeric Cyan Side, 54.5cm x 118xm, Tumeric Dyed Cyanotype, October 2019
Trap, Video Still, April 2019
Trap, Video Still, April 2019
Trap, Video Still, April 2019
Trap, Video Still, April 2019
Trap,Video Still, April 2019
Trap, Video Still, April 2019
Clapping, Film Still, July 2019
Limb, Film Stills, July 2019
Floral Gesture,Video Still, July 2019
Transit, 35mm Film, July 2019
Holly Dance, Photograph, May 2019
Holly Dance, Photograph, May 2019
Holly Dance, Photograph, May 2019
Holly Dance, Photograph, May 2019
Holly Dance, Photograph, May 2019
Self Care , 35mm Film, July 2019
To Not See, Photograph, July 2019
To See, Photograph, July 2019
To Stop and See, Photograph, July 2019
Where, 35mm Film, June 2019
0031, Photograph
0033, Photograph
Here, 35mm Film, June 2019
Self Portrait Blur, Photograph, May 2019
Inside Object Study 1, Silver Cast, May 2019
Inside Object Study 2, Silver Cast, May 2019
Inside Object Study 3, Silver Cast, May 2019
Inside Object Study 4, Silver Cast, May 2019
Inside Object Study 5 , Silver Cast, May 2019
Inside Object Study 6, Silver Cast, May 2019
Inside Object Study 7, Silver Cast, May 2019
Left Photo Scan , Digital Scan, August 2019
Ballet, 120mm Film, August 2019
Hair Ty,120mm Film, August 2019
Ballet Still, 120mm Film, August 2019
Dance Fragment, 120mm Film, August 2019
Brushing Teeth, 120mm Film, August 2019
Cave,Collage, August 2019
Tent, Collage, August 2019
A Gift, Collage, August 2019
Right Photo Scan, Digital Scan, August 2019
Sticker Sheet, Stickers, June 2019
Sticker Pack, Stickers, June 2019
Sticker Pack, Stickers, June 2019
Untitled Colour Seperations, Print, June 2019
Untitled Colour Seperations, Print, June 2019
Unittled Photo Scan , Digital Scan, June 2019
Envelope, Multi Media, June 2019
Envelope, Multi Media, June 2019
Envelope, Multi Media, June 2019
Envelope, Multi Media, June 2019
Envelope, Multi Media, June 2019
Shy, Digital Collage, October 2019
Tangels, Photograph, August 2019
Sleep, Digital Scan, August 2019
Letter to Self, Multi Media, June 2019
Purple Wet Sock, Photograph, August 2019
Wet Sock, Photograph, August 2019
Tutu, Digital Scan, August 2019
Untitled, Digital Fabric Print, March 2019
Uncontrolled, Photograph, March 2019
Uncontrolled, Photograph, March 2019
Uncontrolled, Photograph, March 2019
Uncontrolled, Photograph, March 2019
A Gift, Photograph, March 2019
A Gift, Photograph, March 2019
A Gift, Photograph, March 2019
A Gift, Photograph, March 2019
A Gift, Photograph, March 2019
A Gift, Photograph, March 2019
A Gift, Photograph, March 2019
To Go, Photograph, July 2019
Away 1, Photograph, July 2019
Away 2, Photograph, July 2019
From You, 35mm Film, June 2019
Front, Photograph, July 2019
Barbie Foot, Photograph, August 2019
Bluetack, Photograph, April 2019
Breakfast, Photograph, August 2019
Hide and Seek, 35mm Film, July 2019
Untitled, Photograph
Untitled, Photograph
Hang Side, Digital Silk Print, August 2019
Fragments, Digital Print, June 2019
Find, Photograph, May 2019
Fold, Digital Scan, August 2019
Mold, Digital Scan, August 2019
Loves me not, Digital Scan, August 2019
27, Digital Scan, August 2019
Outfit of the day, Photograph, June 2019
Untitled, Photograph, JUne 2019
5, Digital Scan, August 2019
Pins in hand, Photograph, April 2019
Unravel, Photograph, July 2019
Where, Photograph, June 2019
2, Digital Scan
Odd, 35mm Film, July 2019
Peel 1, Photograph, July 2019
Peel 2, Photograph, July 2019
Peel 3, Digital Scan, July 2019
Orange Studies, Video Still, April 2019
Orange Studies 2, Video Still, April 2019
Untitled, September 2019
Untitled, September 2019
Once Where I Stoof Booklet, Booklet, September 2019
Inbeing of Unbelonging, Book, October 2019
Inbeing of Unbelonging, Book, October 2019
Childhood, Digital Collage, October 2019
Untitled, Photograph, March 2019
Untitled, Photograph, March 2019
Untitled, Photograph, March 2019
Untitled, Collage, October 2019
Untitled, September 2019
Untitled, September 2019
Untitled, September 2019
Untitled, September 2019
Untitled, Photograph, September 2019
Untitled, September 2019
Untitled, Photograph, September 2019
© All Works Gabrielle Stoddard. All Rights Reserved


Logo
Photography
Nav
Home
About
Gallery
Contact
Welcome Image
Welcome to my site.
Product Image & Text
Product Image & Text


Join our panel of Guardian reporters and commentators to discuss the human stories behind the rapidly escalating crisis


import numpy as np
import warnings
from ..utils import set_state_array
[docs]class NoiseGenerator:
"""
The noise generator generates noise added to the state for the observation.
"""
_state_variables = None
_signal_powers = None
[docs] def reset(self):
"""
Reset of all internal states of the Noise generator to a default.
Returns:
Noise for the initial observation at time 0.
"""
return self.noise()
[docs] def noise(self, *_, **__):
"""
Call this function to get the additive noise.
Returns:
ndarray(float): Array of noise added to each state.
"""
return np.zeros_like(self._state_variables, dtype=float)
[docs] def set_state_names(self, state_names):
"""
Announcement of the state names by the physical system to the noise generator.
Args:
state_names(list(str)): List of state names of the physical system.
"""
self._state_variables = state_names
[docs] def set_signal_power_level(self, signal_powers):
"""
Setting of the signal power levels (Nominal values) as baseline for the noise power.
Args:
signal_powers(list(float)): Array of signal powers (nominal values).
"""
if self._state_variables is None:
warnings.warn(UserWarning("No state variable set"))
self._signal_powers = set_state_array(signal_powers, self._state_variables)
class GaussianWhiteNoiseGenerator(NoiseGenerator):
"""
Noise Generator that adds gaussian distributed additional noise with zero mean and selectable power.
"""
_noise = None
def __init__(self, noise_levels=0.0, noise_length=10000, **__):
"""
Args:
noise_levels(dict/list/ndarray(float)): Fraction of noise power over the signal powers.
noise_length(float): Length of simultaneously generated noise points for speed up.
"""
self._noise_levels = noise_levels
self._noise_length = noise_length
self._noise_pointer = noise_length
def set_state_names(self, state_names):
# Docstring of superclass
super().set_state_names(state_names)
self._noise_levels = set_state_array(self._noise_levels, state_names)
def noise(self, *_, **__):
# Docstring of superclass
if self._noise_pointer == self._noise_length:
self._generate_noise()
noise = self._noise[self._noise_pointer]
self._noise_pointer += 1
return noise
def _generate_noise(self):
"""
Helper function to generate noise in batches of self._noise_length steps to avoid calculating every steps and
to speed up the computation.
"""
self._noise = np.random.normal(
0, self._noise_levels * self._signal_powers, (self._noise_length, len(self._signal_powers))
)
self._noise_pointer = 0


The Suffolk Walking Festival runs from 13 May 14 June. The festival consists of a selection of organised walks of varying lengths and for different needs and abilities all over Suffolk. We’ve picked some of the latest titles from our free digital magazine service, Zinio to tie in with the festival. Happy walking!
Country Walking
An obvious first choice, the latest issue of Country Walking suggests things to snack on, look for and count on your walks, inspiring stories of walkers meeting their walking targets and 30 ways walking has improved since the magazine was launched in 1987.
If you’re taking on the festival’s most challenging walks, perhaps it’s time for a new pair of walking boots from the comparison section. If you’re new to walking and the festival gives you a taste for walks further afield, you can find out about routes all over the UK.
BBC Countryfile Magazine
Find out what wildlife and plants you might see on your walk and about country concerns. This magazine also features ideas for walks you might take if the festival gives you the bug - including one along the River Stour!
Practical Photography Lite
Taking your camera out with you? Try out some of this month’s ‘ten clicks’ photograph ideas, find out how to take stunning landscape shots by ‘breaking the rules’, pick up some Photoshop techniques for maximum impact and be inspired by other photographers’ amazing work.
BBC Wildlife Magazine
Read about some of the animals you might see out on a walk and find out about issues affecting natural habitats.
Bird Watching
Hoping to do some twitching while you’re out? Bird Watching can help you identify the birds you see on your walk. You can also find out how rare they are and the steps being taken to protect them. There’s also a feature about writer Ronald Blythe’s home in rural Suffolk and the birds that can be found there.


You are signed in as a Google user, however, in order to proceed to the site's contest area you must join a team. If you would like to create a new team, please do so here.
You have been logged in and will shortly be redirected to "Problems".
The teamname you entered is incorrect or the passphrase does not match the teamname entered.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113489-new-members/topic/Max.20element.20of.20a.20set.html ---
I want to define something like this:
def M (N : ℕ) (x : α) : ℕ := max {m ≤ N | x ∈ s m}
I don't know how to say this in Lean. I end up using finset
, but it looks really complicated. I don't know if it is the right way.
import data.finset noncomputable theory local attribute [instance] classical.prop_decidable section variables {α : Type*} (s : ℕ → set α) def M (N : ℕ) (x : α) : ℕ := finset.max' (finset.filter (λ m, x ∈ s m) (finset.range (N+1))) (sorry) -- the set above is nonempty end
What do you want the answer to be if no such m exists? I mean -- if the set is empty?
I can somehow guarantee it is not empty.
But I think let it be 0 will be fine too, because it will not happen anyways.
I find this in Isabelle, another theorem prover
define m where [abs_def]: "m N x = Max {m. m ≤ N ∧ x ∈ (⋃n≤N. B m n)}" for N x
So I think if I can do this in lean that will be good
Said in another way,
if
x ∈ ⋃ (M ≤ N), ⋃ (k ≤ N), A M k
then
find the largest M
such that x ∈ ⋃ (k ≤ N), A M k
and then
find the largest k
such that x ∈ A M k
The finset approach looks fine to me. One way to fill in the sorry would be if h : (the hypothesis you need) then finset.max' ... h else 37
@Joe In the particular case of the isabelle definition, that max is ranging over natural numbers, and there is a function specifically for that in lean: nat.find_greatest P n
is Max {m <= n | P m}
Aah, I'd forgotten about that. I remembered nat.find
but I think that one finds the smallest one :-)
Last updated: Apr 24 2020 at 19:02 UTC