Symbolic verification and strategy synthesis for turn-based stochastic games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

“…Probabilistic model checking techniques for this class of models allow us to formally specify quantitative specifications of either collective or individual behaviour and then automatically synthesise strategies for the agents under which these specifications are guaranteed to be satisfied. …”

A study of air molecular contamination (AMC) and volatile organic compounds (VOC) in new AMC/VOC controlled cleanroom by Wong, Chee Kong

“…The required VOC specifications of the new cleanroom were met based on test results from 1 to 4. …”
Get full text

Design and construction of a low cost compliant hand robot by Yu, Wei Shin., Choo, Fook Hoong.

Get full text

Design of passive SIW based mmWave devices for a six-port receiver-based sensor for automotive radar applications by Lui, Jin Jiang

“…This final year project contains designs and specifications based on the application of Substrate Integrated Waveguide (SIW) technology. …”
Get full text

A heuristic-based scheduling algorithm for high level synthesis of digital systems by Gulam Mohamed.

“…High level synthesis involves tasks that will transform an abstract or algorithmic level specification to a register transfer level structure while at the same time satisfying a set of constraints and achieving a set of goals. …”
Get full text

Rationale management tool for software engineering by Fwu, Stanislaus Benfa.

“…It is normally stored in the form of functional specification document or the design specification document. …”
Get full text

Single-stage and cascade design of high order multiplierless linear phase FIR filters using genetic algorithm by Ye, Wen Bin, Yu, Ya Jun

“…In a practical filter design problem, when the filter specification is stringent, requiring high filter order and wide coefficient wordlength, GAs often fail to find feasible solutions, because the discrete search space thus constructed is huge and the majority of the solution candidates therein can not meet the specification. …”
Get full text
Get full text

Reactive synthesis of dominant strategies by Aminof, B, De Giacomo, G, Rubin, S

“…We study the synthesis under environment specifications problem for LTL/LTLf which, in particular, generalizes FOND (strong) planning with these temporal goals. …”

Healthcare survey management system by Tai, Rebekah Shi Ting

“…It consists of HSMS design methodology, overall description, technical specification, requirement specification, explanation on the design and implementation of the interfaces and features of the system. …”
Get full text

Design of a low-voltage low-power WiMAX low noise amplifier by Zeng, Wei

“…CMOS 0.18m CSM technology was used for the proposed design and WiMAX specifications are met satisfactorily.…”
Get full text

Experimental and numerical investigations of press-braked stainless steel channel section beam-columns by Zhang, Lulu, Li, Shuai, Tan, Kang Hai, Zhao, Ou

“…In terms of the design consistency, the American specification and Australian/New Zealand standard were shown to result in more consistent resistance predictions (regardless of cross-section dimensions and buckling orientations) than their Eurocode counterpart.…”
Get full text

Oct4 switches partnering from Sox2 to Sox17 to reinterpret the enhancer code and specify endoderm by Ng, Calista Keow Leng, Herath, Wishva, Lili, Sun, Hutchins, Andrew P, Robson, Paul, Kolatkar, Prasanna R, Stanton, Lawrence W, Aksoy, Irene, Jauch, Ralf, Chen, Jiaxuan, Dyla, Mateusz, Divakar, Ushashree, Bogu, Gireesh K, Teo, Roy

“…We demonstrate here that genomic redistribution of Oct4 by alternative partnering with Sox2 and Sox17 is a fundamental regulatory event of endodermal specification. We show that Sox17 partners with Oct4 and binds to a unique ‘compressed’ Sox/Oct motif that earmarks endodermal genes. …”
Get full text
Get full text

Flexural buckling behaviour and residual strengths of S700 high strength steel circular hollow section columns after exposure to fire by Koh, Alicia

“…The evaluation results generally revealed that the Eurocode yields rather conservative but relatively accurate and consistent buckling resistance predictions, while the American Specification and Australian Standard offer a high level of accuracy and consistency.…”
Get full text

Evolutionary origin of the chordate nervous system revealed by amphioxus developmental trajectories by Dai, Y, Zhong, Y, Liu, H, Pan, R, Yuan, L, Du, J, Li, M, Wang, X, Shi, C, Liu, G, Zhu, P, Shimeld, S, Zhou, X, Li, G

“…We characterized cell specification at the mechanistic level and generated mutant lines to examine the function of five key transcription factors involved in neural specification. …”

Particles in a box: Novel design and evaluation of an adaptable engineering control enclosure for a common split tube furnace to eliminate occupational exposure to refractory ceram... by Janković, Nina Z., Leong, Wei Lee, Ryan, Andrew I., Tantawi, Omar N., Smith, Brian S., Plat, Desiree L.

“…Technical drawings and specifications of the split tube furnace enclosure design are available for ready recreation and implementation, in light industry or laboratory settings, thereby providing low-cost modification to protect the health of workers and researchers.…”
Get full text

"Target trial emulation" for observational studies - potential and pitfalls by Hubbard, RA, Gatsonis, CA, Hogan, JW, Hunter, DJ, Normand, S-LT, Troxel, AB

“…To improve the quality of observational studies, target trial emulation requires careful specification of design elements, analytic methods for addressing confounding, and reporting of sensitivity analyses.…”

High power amplifier for S-band downlink system of LEO satellites by Tan, Tee Keng.

“…This procedure was followed to determine the specifications for the individual amplifier modules of the HPA. …”
Get full text

Machine-learning-assisted design of high strength steel I-section columns by Cheng, Jinpeng, Li, Xuelai, Jiang, Ke, Li, Shuai, Su, Andi, Zhao, Ou

“…Based on the data in the collected database, the regression model trained by Categorical Boosting and existing codified design provisions, as given in the European code and American specification, were assessed and compared. The European code and American specification were found to yield scattered and inaccurate failure load predictions, while the Categorical Boosting trained model led to substantially more accurate and consistent failure load predictions for high strength steel I-section columns with different material grades, boundary conditions, geometric dimensions and failure modes.…”
Get full text

HGVS Nomenclature 2024: improvements to community engagement, usability, and computability by Hart, RK, Fokkema, IFAC, DiStefano, M, Hastings, R, Laros, JFJ, Taylor, R, Wagner, AH, den Dunnen, JT

“…The website has been redesigned using modern documentation tools and practices. The specification was updated to include guidance for transcript selection and to align with recent cross-consortia recommendations for the representation of gene fusions. …”

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…In this work, we observe that specifications for structured data manipulations can be phrased as hypersafety properties, i.e., predicates that relate traces of k programs. …”
Get full text