Results 11 to 20 of about 19,676,704 (307)
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023 [PDF]
, 2023 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 in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core +1 more source
Investigative Methods: An NCRM Innovation Collection [PDF]
, 2022 This Innovation Collection on investigative methods brings together investigators working in different domains, sectors, and on different topics of interest to help capture the breadth, scope and relevance of investigative practices over 10 substantive ...
Meckin, Robert +2 more
core +1 more source
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]
, 2009 Table of Contents: Preface (p. v) -- Organizing Committee (p. vii) -- Program Committee (p. vii) -- Referees (p. ix) -- Keynote Presentations (p. x) -- Tutorials (p. xii) -- Industrial Experience Reports (p. xiv) -- Panels (p. xvii) -- Session 1.
Formal Methods in Computer Aided Design
core +4 more sources
Assessing phytase activity–methods, definitions and pitfalls. [PDF]
, 2015 Phytases are nutritionally important for increased bioavailability of dietary minerals and phosphate for monogastric animals including humans. Release of minerals and phosphate is accomplished by the enzymatic stepwise degradation of phytate (inositol ...
Carlsson, Nils-Gunnar +5 more
core +2 more sources
Multi-parametric imaging of cell heterogeneity in apoptosis analysis [PDF]
, 2017 Apoptosis is a multistep process of programmed cell death where different morphological and molecular events occur simultaneously and/or consequently.
Barteneva, Natasha S. +2 more
core +4 more sources
In Conversation: Mundane Methods and Material Methods [PDF]
, 2021 In this video, Professor Vanessa May is in conversation with her colleagues from the University of Manchester, Professor Sophie Woodward, Dr Helen Holmes, and Dr Sarah Marie Hall.
Hall, Sarah Marie +3 more
core
Object Detection for the Enrichment of Semantic 3D City Models with Roofing Materials [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information SciencesSemantically rich 3D city models play a vital role in a variety of applications, such as urban planning. Enhancing these models with currently unavailable attributes, such as roof material types, can unlock new opportunities to tackle pressing challenges,
L. Arzoumanidis +6 more
doaj +1 more source
Teaching Visual Methods During COVID [PDF]
, 2021 In March 2020, Suzanne Culshaw was due to come into one of Suzanne Albary's Research Methods seminars for MBA students to deliver a workshop on Visual Methods and using collage as data collection.
Albary, Suzanne, Culshaw, Suzanne
core
Implementation Science Communications, 2022 Background Public health professionals are expected to use the best available research and contextual evidence to inform decision-making. The National Collaborating Centre for Methods and Tools developed, implemented, and evaluated a Knowledge Broker ...
Emily C Clark +5 more
doaj +1 more source
BMC Health Services Research, 2023 Background Medically uninsured groups, many of them migrants, reportedly delay using healthcare services due to costs and often face preventable health consequences. This systematic review sought to assess quantitative evidence on health outcomes, health
Sophiya Garasia +5 more
doaj +1 more source