What is formal verification without specifications? A survey on mining LTL specifications by Neider, D, Roy, R

“…Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. …”

Functional specifications for a record centre management system by Chung, Swee Heng.

“…This dissertation intends to design a set of functional specifications for a Record Centre Management System via the following logical approaches: establishing facility and operations background; situation review and analysis; proposed solution overview; proposed solution specification.…”
Get full text

Integrated QFD/DFM approach for generating product design specifications by Arumugam Vijayarani.

“…On the other hand, QFD (Quality function deployment) methodology provides a structured framework that helps in the mapping of customer requirements into specific design features through one or more matrices of expectations. …”
Get full text

The mean specific gravity of the earth by Henck, J. B.

Get full text

Specification mining for digital circuits by Lim, Zhi Xian

“…However, manually creating a complete set of formal properties is difficult and time-consuming process. Thus, specification mining approach for digital circuit has been proposed to automatically generate the formal specification. …”
Get full text

On-the-fly specific person retrieval by Parkhi, OM, Vedaldi, A, Zisserman, A

High-level synthesis of pipelined circuits from modular queue-based specifications by Marinescu, MC, Rinard, M

“…This approach combines a high-level, modular specification language with an efficient implementation. …”
Get full text

Machine translation of software-specific documentations by Tee, Li Yin

“…In software text, there are some unique characteristics, for example, application specific naming, context-sensitive translation, domain-specific rare words that general machine translation tools such as Google Translate cannot properly translate it. …”
Get full text

An object category specific mrf for segmentation by Kumar, MP, Torr, PHS, Zisserman, A

“…The resulting combination, which we call the object category specific mrf, suggests a solution to the problem that has long dogged mrfs namely that they provide a poor prior for specific shapes. …”

Drive-specific selection in multistable mechanical networks by Kedia, Hridesh, Pan, Deng, Slotine, Jean-Jacques, England, Jeremy L.

“…Lastly, we showed evidence of drive-specific selection in an experimental system and proposed a general method to estimate the range of drive amplitudes for drive-specific selection.…”
Get full text

Catalysis and regulation of cyclic dinucleotide specific phosphodiesterases by Rao, Feng

“…We elucidated the catalytic mechanism of RocR, an EAL-domain containing c-di-GMP specific phosphodiesterase (PDE) from the opportunistic pathogen P. aeruginosa. …”
Get full text

Specific enzyme immobilization approaches and their application with nanomaterials by Liu, Wenshan, Wang, Liang, Jiang, Rongrong

“…Here, we focus on the review of specific enzyme immobilization approaches and have separated them into non-covalent and covalent categories.…”
Get full text
Get full text

Postpartum-specific vital sign reference ranges by Green, L, Pullon, R, Mackillop, L, Gerry, S, Birks, J, Salvi, D, Davidson, S, Loerup, L, Tarassenko, L, Mossop, J, Edwards, C, Gauntlett, R, Harding, K, Knight, M, Chappell, L, Watkinson, P

“…</p> <p><strong>Conclusion: </strong> We present widely relevant, postpartum, day-specific reference ranges which may facilitate early detection of abnormal blood pressure, heart rate, respiratory rate, oxygen saturation and temperature during the puerperium. …”

Postpartum-specific vital sign reference ranges by Green, LJ, Pullon, R, Mackillop, LH, Gerry, S, Birks, J, Salvi, D, Davidson, S, Loerup, L, Tarassenko, L, Mossop, J, Edwards, C, Gauntlett, R, Harding, K, Chappell, LC, Knight, M, Watkinson, PJ

Advancing specificity in delirium: the delirium subtyping initiative by Bowman, EML, Brummel, NE, Caplan, GA, Cunningham, C, Evered, LA, Fiest, KM, Girard, TD, Jackson, TA, LaHue, SC, Lindroth, HL, Maclullich, AMJ, McAuley, DF, Oh, ES, Oldham, MA, Page, VJ, Pandharipande, PP, Potter, KM, Sinha, P, Slooter, AJC, Sweeney, AM, Tieges, Z, Van Dellen, E, Wilcox, ME, Zetterberg, H, Cunningham, EL

Identification of mechanism of cancer-cell-specific reactivation of hTERT offers therapeutic opportunities for blocking telomerase specifically in human colorectal cancer by Akıncılar, Semih Can, Chua, Joelle Yi Heng, Ng, Qin Feng, Chan, Claire Hian Tzer, Eslami-S, Zahra, Chen, Kaijing, Low, Joo-Leng, Arumugam, Surendar, Aswad, Luay, Chua, Clarinda, Tan, Iain Beehuat, DasGupta, Ramanuj, Fullwood, Melissa Jane, Tergaonkar, Vinay

“…Our results showed for the first time how known CRC alterations, such as APC, lead to WT-hTERT promoter reactivation during stepwise-tumorigenesis and provide a new perspective for developing cancer-specific drugs.…”
Get full text

Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

High-level specification and efficient implementation of pipelined circuits by Marinescu, M-C, Rinard, M

“…This approach combines a high-level, modular specification language with an efficient implementation. …”
Get full text

Functional homogeneity and specificity of topological modules in human proteome by Kaalia, Rama, Rajapakse, Jagath Chandana

“…With functional enrichment analyses and a novel measure for functional specificity, we evaluated functional relevance and specificity of topological modules of the human proteome. …”
Get full text
Get full text
Get full text

Generating domain-specific paraphrases of questions from FAQ by Ng, Jing Rui

“…This project will introduce a paraphrase generation system that will generate domain-specific paraphrases of the questions of Frequently Asked Question (FAQ) corpuses. …”
Get full text