Understanding lived experiences of bereaved parents of children with chronic life-threatening Illness : towards a culture-specific and meaning-oriented narrative E-writing intervention (NeW-I) for anticipatory grief support in Singapore by Dutta, Oindrila

“…This doctoral research is a first-of-its kind series of studies that comprehensively and holistically examined the lived experience of bereaved parents globally and in Singapore; building on this novel body of knowledge, it further developed and piloted a culture-specific and evidence-based intervention to support parent-caregivers of children with chronic life-threatening illness. …”
Get full text

Verification of social media content for news production: a thematic review of journalistic technique and strategies by Baharom, Melinda, Ghazali, Akmar Hayati Ahmad, Bin Ahmad, Abdul Mua'ti Zamri

“…This study will benefit knowledge of journalists' verification social media techniques and strategies and future study of journalists' verification practices.…”
Get full text

Reachability and escape problems in linear dynamical systems by Dcosta, J

Subjects:

Dialectic of digital enlightenment: reclaiming radical philosophy for our times by Nayak, Bhabani Shankar

Subjects:

Global age-sex-specific mortality, life expectancy, and population estimates in 204 countries and territories and 811 subnational locations, 1950–2021, and the impact of the COVID-19 pandemic: a comprehensive demographic analysis for the Global Burden of Disease Study 2021 by Schumacher, AE, Kyu, HH, Aali, A, Almidani, O, Bandyopadhyay, S, Basnyat, B, Maude, RJ, Bennett, D, Browne, AJ, Dolecek, C, Dunachie, SJ, Newton, CRJ, Rodriguez, JAB

“…Life expectancy was calculated using age-specific mortality rates and standard demographic methods. …”

Achieving 500x acceleration for adversarial robustness verification of tree-based smart grid dynamic security assessment by Ren, Chao, Zou, Chunran, Xiong, Zehui, Yu, Han, Dong, Zhao Yang, Dusit, Niyato

“…This letter presents a novel and efficient adversarial robustness verification method for tree-based smart grid dynamic security assessment (DSA). …”
Get full text

Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

“…A GNSS receiver, such as a Global Positioning System (GPS) receiver chain consists of multiple cascaded blocks, where each one contributes to the down conversion process of the feeble GPS signals received from a satellite in space. The design specification of the LDO regulator is obtained from the load, which in this case is a time-to-digital (TDC) convertor operating at a high frequency. …”
Get full text

16.355J / ESD.355J Advanced Software Engineering, Fall 2002 by Leveson, Nancy

Subjects: Get full text

A formal methodology for verifying side-channel vulnerabilities in cache architectures by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang

Subjects: Get full text

21W.780 Communicating in Technical Organizations, Spring 2006 by Barrett, Edward C., Bentley, Frank

Subjects: Get full text

16.842 Fundamentals of Systems Engineering, Fall 2009 by de Weck, Olivier

Subjects: Get full text

16.885J / ESD.35J Aircraft Systems Engineering, Fall 2003 by Hansman, Robert John, Liebeck, Robert H, Murman, Earll M., 1942-, Haggerty, Allen C

Subjects: Get full text

16.01-04 Unified Engineering I, II, III, & IV, Fall 2003-Spring 2004 by Hall, Steven Ray, Coleman, Charles P, Drela, Mark, Lundqvist, Ingrid Kristina, Spearing, S Mark, Waitz, Ian A, Young, Peter W

Subjects: Get full text

Improving the productivity of high-level synthesis by advancing reuseability and verifiability by Yang, Liwei

“…Following algorithmic specifications, designers perform architectural specification including hardware/software (HW/SW) partitioning. …”
Get full text

Modeling communication system components for prediction of RF performance by Lim, Seok Tien.

“…A process to model components specifications in RF front-end system is being demonstrated through a series of exploring basic fundamental of components and software simulators. …”
Get full text

A Robustness Measure of Transient Stability Under Operational Constraints in Power Systems by Aolaritei, Liviu, Lee, Dongchan, Vu, Thanh Long, Turitsyn, Konstantin

“…As a result, maintaining conventional performance specifications, such as transient stability, may not be sufficient to ensure its reliable operation in stressed conditions. …”
Get full text

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

Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

“…Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. …”
Get full text

Center potential by Tan, Hu Soon

“…To ensure the safety and trustworthiness of tutors, this application incorporates a rigorous verification process, which includes background checks, identity verification, and qualification validation. …”
Get full text