Search Results - "Verification"

Finite element implementation of Koiter's initial post-buckling analysis by Yan, Jiayi

Subjects: Get full text

Fully coupled elasto-plastic computational framework for fluid pressurised crack evolution in porous media by Hardcastle, Alex

Subjects: Get full text

Automated model-based test case generation using UML activity diagram by Monim, Md Abdul

Subjects: “…Computer software - Verification…”
Get full text
Get full text

Lightweight verification and fine-grained access control in named data networking based on schnorr signature and hash functions by Wu, Shanglun, Yuan, Yujie, Kar, Pushpendu

Subjects: “…NDN; Verification; Schnorr Signature; Hash functions…”
Get full text

An Efficient Method for Generating Optimal OBDD of Boolean Functions by Singh, Ashutosh, Mohan, Anand

Subjects: Get full text

Hardware-based text-to-braille translator by Zhang, Xuan, Ortega-Sanchez, Cesar, Murray, Iain

Subjects: Get full text
Get full text

Model-checking for resource-bounded ATL with production and consumption of resources by Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco

Subjects: Get full text

Metamorphic testing: a review of challenges and opportunities by Chen, Tsong Yueh, Kuo, Fei-Ching, Liu, Huai, Poon, Pak-Lok, Towey, Dave, Tse, T. H., Zhou, Zhi Quan

Subjects: “…Software and its engineering; Software verification and validation; Software testing and debugging;…”
Get full text

Falling for fake news: investigating the consumption of news via social media by Flintham, Martin, Karner, Christian, Creswick, Helen, Bachour, Khaled, Gupta, Neha, Moran, Stuart

Subjects: “…Post-truth; fake news; social media; verification; Facebook; trust…”
Get full text

Semi-automatic verification of cropland and grassland using very high resolution mono-temporal satellite images by Helmholz, Petra, Rottensteiner, F., Heipke, C.

Subjects: Get full text

Comparison of geosat and gravimetric geoid profiles in the North Sea by Stewart, Michael, Featherstone, Will, Kirby, Jonathan

Subjects: “…medium wavelength verification…”
Get full text

Efficiency three ways: tested, verified, and formalised by Handley, Martin AT

Subjects: Get full text

Enhanced Verification-Based Decoding for Packet-Based LDPC Codes by Zhu, B., Huang, D., Nordholm, Sven

Subjects: “…verification-based decoding…”
Get full text

A method for representation of component geometry using discrete pin for reconfigurable moulds by Wang, Y., Wang, Z.-J., Gindy, Nabil

Subjects: “…Representation of geometry; Discrete pin; Reconfigurable moulds; Part discretization; Pin matrix construction and adjustment; Pin matrix verification…”
Get full text

BET surface area of carbonaceous adsorbents—Verification using geometric considerations and GCMC simulations on virtual porous carbon models by Gauden, P., Terzyk, A., Furmaniak, S., Harris, P., Kowalczyk, Poitr

Subjects: “…BET surface area of carbonaceous adsorbents—Verification using geometric - considerations and GCMC simulations on virtual porous carbon models…”
Get full text

Active fixturing: literature review and future research directions by Bakker, Otto Jan, Papastathis, Thomas, Popov, Atanas A., Ratchev, Svetan

Subjects: Get full text

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, Sia, Joseph, Tang, D.K.H.

Subjects: Get full text