Results 41 to 50 of about 11,919,334 (91)
mvh: An R tool to assemble and organize virtual herbaria from openly available specimen images
Abstract Premise Recent advances in imaging herbarium specimens have enhanced their use in biodiversity studies. However, user‐friendly tools that facilitate the assembly of customized sets of herbarium specimen images on personal devices are still lacking.
Thais Vasconcelos, James D. Boyko
wiley +1 more source
A new plant genus and species from south‐eastern Spain: Castrila latens (Rubieae, Rubiaceae)
Abstract A new genus and species, Castrila latens, native to the south‐eastern Iberian Peninsula, is described here for the first time and compared with its closest relatives. The plant is characterized by being annual, glabrous, having reduplicate leaves in whorls of (5)6–7, inflorescences capitate and involucrate, corolla shortly hypocrateriform and ...
Gabriel Blanca +6 more
wiley +1 more source
Innovative approaches to methodological challenges facing ageing cohort studies [PDF]
Ageing cohort studies around the world face common methodological challenges of data collection, measurement and analysis, which become increasingly problematic as participants grow older.
Chandola, Tarani, O'Shea, Susan
core
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019 [PDF]
Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties / by Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier (p.
Formal Methods in Computer Aided Design
core
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [PDF]
October 30 – November 2, 2018 in Austin, Texas, USATable of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p.
Formal Methods in Computer Aided Design
core
Laura Bernardi on mixed methods and research questions [PDF]
In this episode of the Methods podcast, host Catherine McDonald talks to Laura Bernardi, Professor of Demography and Sociology of the Life Course within the LIVES Centre at the University of Lausanne. Laura is also the former Deputy Director of the Swiss
McDonald, Catherine, Bernardi, Laura
core
Studying Elites: Creative Methods in Elite Studies [PDF]
This discussion with artists Ruth Beale and Amy Feneck (The Alternative School of Economics) and Professor Caroline Knowles (Goldsmiths, University of London) will explore the potential of art and creative methods for studying elites.
Feneck, Amy +3 more
core
Understanding poverty using visual participatory methods: can it work? [Podcast]
Actively engaging study participants in research to give them a voice is a method that has grown in popularity in recent years. But does this approach really give people a voice and if so how? In his research project "Do Participatory Visual Methods Give
McCulloch, Daniel
core
Democratisation of Research Methods - Discussant
This talk was presented at the 6th ESRC Research Methods Festival in July ...
Nind, Melanie
core +1 more source

