Results 11 to 20 of about 20,890,736 (236)
A comparative study of immersed-boundary interpolation methods for a flow around a stationary cylinder at low Reynolds number [PDF]
The accuracy and computational efficiency of various interpolation methods for the implementation of non grid-confirming boundaries is assessed. The aim of the research is to select an interpolation method that is both efficient and sufficiently accurate
Wissink, J, Bahai, H, Madani, SH
core +6 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 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
This chapter intends to clarify some issues about the often misunderstood terminology of creativity and innovation methods. Following the train of thought outlined in this chapter, it is argued that neither creativity nor innovation is guided by a method.
Stierand, Marc, Dörfler, Viktor
openaire +4 more sources
Assessing phytase activity–methods, definitions and pitfalls. [PDF]
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 +1 more source
In Conversation: Mundane Methods and Material Methods [PDF]
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 +1 more source
Abstract Cite this article as: Hatemi G. Method.
OLBERG DAG ERLEND, SVADBERG ANDERS
openaire +7 more sources
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]
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 +2 more sources
Teaching Visual Methods During COVID [PDF]
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 +1 more source
Investigative Methods: An NCRM Innovation Collection [PDF]
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 the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
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

