Search

Your search keyword '"Day, Nancy A."' showing total 1,111 results

Search Constraints

Start Over You searched for: Author "Day, Nancy A." Remove constraint Author: "Day, Nancy A." Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years
1,111 results on '"Day, Nancy A."'

Search Results

1. Portus: Linking Alloy with SMT-based Finite Model Finding

2. Diversity in Software Engineering Conferences and Journals

6. Bayesian structural equation modeling for data from multiple cohorts

7. A Hierarchical Meta-Analysis for Settings Involving Multiple Outcomes across Multiple Cohorts

10. Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB

11. Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?

12. Beyond critical period learning: Striatal FoxP2 affects the active maintenance of learned vocalizations in adulthood

15. Bidirectional scaling of vocal variability by an avian cortico‐basal ganglia circuit

16. FoxP2 isoforms delineate spatiotemporal transcriptional networks for vocal learning in the zebra finch.

19. Benchmark dose profiles for bivariate exposures.

21. VoICE: A semi-automated pipeline for standardizing vocal analysis across models.

27. A dose-response analysis of the effects of prenatal alcohol exposure on cognitive development.

28. Gestational Alcohol Exposure and Other Factors Associated with Continued Teenage Drinking

29. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

36. Good news: Star Tribune's Inspired1 paves way in print

43. Temporal Logic Model Checking in Alloy

44. Semantic Quality Attributes for Big-Step Modelling Languages

47. A hierarchical meta-analysis for settings involving multiple outcomes across multiple cohorts

50. A Common Framework for Synchronization in Requirements Modelling Languages

Catalog

Books, media, physical & digital resources