The virtual source method - verifying the concept using numerical and physical modelling
| Main Authors: | Saul, Matthew, Hartley, Bruce, Evans, Brian |
|---|---|
| Other Authors: | David Denham |
| Format: | Conference Paper |
| Published: |
CSIRO Publishing
2007
|
| Online Access: | http://hdl.handle.net/20.500.11937/38905 |
Similar Items
Physical modelling of the virtual source method
by: Hartley, Bruce, et al.
Published: (2009)
by: Hartley, Bruce, et al.
Published: (2009)
Numerical Testing of Virtual Source Method
by: Alonaizi, Faisal, et al.
Published: (2010)
by: Alonaizi, Faisal, et al.
Published: (2010)
Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)
by: Alechina, Natasha, et al.
Published: (2016)
Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)
by: Doan, Thu Trang, et al.
Published: (2014)
Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)
by: Alechina, Natasha, et al.
Published: (2016)
Inhibitors of leishmania mexicana phosphoglycerate mutase identified by virtual screening and verified by inhibition studies
by: Ahmad Fuad, Fazia Adyani, et al.
Published: (2016)
by: Ahmad Fuad, Fazia Adyani, et al.
Published: (2016)
Inhibitors of Leishmania mexicana phosphoglycerate mutase identified by virtual screening and verified by inhibition studies
by: Fazia Adyani Ahmad Fuad,, et al.
Published: (2016)
by: Fazia Adyani Ahmad Fuad,, et al.
Published: (2016)
Verifying the authenticity of digital certificates
by: Kamel Ariffin, Muhammad Rezal
Published: (2021)
by: Kamel Ariffin, Muhammad Rezal
Published: (2021)
To verify or not to verify: using partial least squares to predict effect of online news on panic buying during pandemic
by: Tan, Kim Lim, et al.
Published: (2022)
by: Tan, Kim Lim, et al.
Published: (2022)
Verifying requirements for resource-bounded agents
by: Abdur, Rakib
Published: (2011)
by: Abdur, Rakib
Published: (2011)
UPM perkenal aplikasi certificate verifier
by: Utusan Malaysia
Published: (2017)
by: Utusan Malaysia
Published: (2017)
Understanding physical concepts using an immersive virtual learning environment
by: Pirker, J., et al.
Published: (2012)
by: Pirker, J., et al.
Published: (2012)
A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)
by: van Gijzel, Bas
Published: (2016)
Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)
by: Handley, Martin AT
Published: (2020)
Essays on strategic naivety and disclosure of verifiable information
by: Sheth, Jesal Dilip
Published: (2019)
by: Sheth, Jesal Dilip
Published: (2019)
A model for characterizing knowledge utilization in verifying successful knowledge transfer
by: Abdullah, Salfarina, et al.
Published: (2018)
by: Abdullah, Salfarina, et al.
Published: (2018)
Numerical and Experimental Study of Hydraulic Fracture Active Source Monitoring
by: Nabipour, Amin, et al.
Published: (2011)
by: Nabipour, Amin, et al.
Published: (2011)
Compiling concurrency correctly: verifying software transactional memory
by: Hu, Liyang
Published: (2013)
by: Hu, Liyang
Published: (2013)
The necessity of laboratory analyses to verify the authenticity of halal products
by: Mustafa, Shuhaimi
Published: (2014)
by: Mustafa, Shuhaimi
Published: (2014)
A secure, anonymous and verifiable E-Voting system
by: Ooi, Elynn
Published: (2020)
by: Ooi, Elynn
Published: (2020)
Modelling and verifying dynamic access control policies in workflow-based healthcare systems
by: Faruqui, Rokan Uddin
Published: (2020)
by: Faruqui, Rokan Uddin
Published: (2020)
Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
by: Abdul Samat, Pathiah, et al.
Published: (2021)
by: Abdul Samat, Pathiah, et al.
Published: (2021)
Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)
by: Green, Alexander S.
Published: (2010)
In situ target strength estimates of visually verified orange roughy
by: Macaulay, G., et al.
Published: (2013)
by: Macaulay, G., et al.
Published: (2013)
Numerical and field experiments for virtual source tomography, Perth Basin, Western Australia
by: AlMalki, Majed, et al.
Published: (2012)
by: AlMalki, Majed, et al.
Published: (2012)
Physical properties of CO2 near the critical point
by: Hartley, Bruce
Published: (2007)
by: Hartley, Bruce
Published: (2007)
Fluid dynamic simulation for cutting in virtual environment
by: Rianto, Sugeng, et al.
Published: (2008)
by: Rianto, Sugeng, et al.
Published: (2008)
Rapid DNA-based analytical techniques to verify the authenticity of Halal food
by: Mustafa, Shuhaimi, et al.
Published: (2022)
by: Mustafa, Shuhaimi, et al.
Published: (2022)
Translation methods for translating cultural meanings of numerical conceptions in Chinese numerical proverbs
by: He, Zongjin, et al.
Published: (2024)
by: He, Zongjin, et al.
Published: (2024)
Toward the E-Field: Continuous Monitoring of Pore-Fluid Phase Using Horizontal Wells
by: Evans, Brian, et al.
Published: (2009)
by: Evans, Brian, et al.
Published: (2009)
Using SMS technology to verify the safety of seasonal trivalent influenza vaccine for pregnant women in real time
by: Regan, Annette, et al.
Published: (2013)
by: Regan, Annette, et al.
Published: (2013)
Perforation stability - physical and numerical modelling
by: Samsuri, Ariffin, et al.
Published: (1991)
by: Samsuri, Ariffin, et al.
Published: (1991)
Religion and legal spaces: in Gods we Trust; in the Church we Trust, but need to verify
by: McGoldrick, Dominic
Published: (2012)
by: McGoldrick, Dominic
Published: (2012)
Numerical construction of piecewise virtual fields
by: Syed Muhammad, Kashif
Published: (2011)
by: Syed Muhammad, Kashif
Published: (2011)
Proof-Carrying Code for Verifying Confidentiality of Mobile Code through Secure Information Flow Analysis
by: Abdu Muthana, Abdulrahman Ahmad
Published: (2008)
by: Abdu Muthana, Abdulrahman Ahmad
Published: (2008)
AVO as a fluid indicator: A physical modeling study
by: Wandler, A., et al.
Published: (2007)
by: Wandler, A., et al.
Published: (2007)
Verifying and assessing the reliability of the learning module of positive design and innovative technology in the integration approach of spiritual knowledge
by: Zaipah, Ismail, et al.
Published: (2024)
by: Zaipah, Ismail, et al.
Published: (2024)
On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces
by: Benford, Steve, et al.
Published: (2016)
by: Benford, Steve, et al.
Published: (2016)
Physical and numerical modelling of ground-borne vibrations in sand
by: Cui, Ge
Published: (2020)
by: Cui, Ge
Published: (2020)
Seismic physical modelling of reservoirs - its past, present and future
by: Evans, Brian, et al.
Published: (2007)
by: Evans, Brian, et al.
Published: (2007)
Similar Items
-
Physical modelling of the virtual source method
by: Hartley, Bruce, et al.
Published: (2009) -
Numerical Testing of Virtual Source Method
by: Alonaizi, Faisal, et al.
Published: (2010) -
Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016) -
Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014) -
Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)