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. …”

Specification mining for digital circuits by Lim, Zhi Xian

“…During the verification of a hardware system, one of the most important steps is formal specification which is used to describe a system and to analyze its behaviors. …”
Get full text

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

Get full text

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

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

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. …”

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

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

Direct specification of lymphatic endothelium from mesenchymal progenitors by Lupu, I, Grainger, DE, Kirschnick, N, Weischer, S, Zhao, E, Martinez-Corral, I, Schoofs, H, Vanhollebeke, M, Jones, G, Godwin, J, Forrow, A, Lahmann, I, Riley, PR, Zobel, T, Alitalo, K, Mäkinen, T, Kiefer, F, Stone, OA

“…Collectively, this work establishes a cellular blueprint for LEC specification and indicates that discrete pools of mesenchymal progenitors can give rise to specialized subtypes of ECs.…”

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

Specification and Planning of UAV Missions: A Process Algebra Approach by Karaman, Sertac, Rasmussen, Steven, Kingston, Derek, Frazzoli, Emilio

“…Formal languages have recently come under attention as a powerful tool to describe in a precise and rigorous way mission specifications (i.e., mission objectives and constraints) for robotic systems, and to design planning and control algorithms that provably achieve the specifications. …”
Get full text
Get full text
Get full text

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

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