High-Throughput Three-Party DPFs with Applications to ORAM and Digital Currencies by Zyskind, Guy, Yanai, Avishay, Pentland, Alex

Get full text

Essays on oil price fluctuations, financial markets and international trade by Le, Thai Ha

“…The stability of the causality is also checked and the estimated impulse responses across different periods are examined. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

Efficient techniques for subgraph mining and query processing by Lin, Wenqing

“…Graph data has been so prevalent that efficiently obtaining useful information from them is highly demanded. …”
Get full text

High cycle fatigue characterisation and modelling of 316L stainless steel processed by laser powder bed fusion by Zhang, Meng

“…Despite the diverse fatigue and fracture properties, the models produced good prediction accuracy when checked against the test data. Moreover, the method demonstrated good generalisation capability on applying to literature data. …”
Get full text

Health professions digital education on antibiotic management : systematic review and meta-analysis by the Digital Health Education Collaboration by Kyaw, Bhone Myint, Tudor Car, Lorainne, van Galen, Louise Sandra, van Agtmael, Michiel A., Costelloe, Céire E., Ajuebor, Onyema, Campbell, James, Car, Josip

“…We also searched the International Clinical Trials Registry Platform Search Portal and metaRegister of Controlled Trials to identify unpublished trials and checked the reference lists of included studies and relevant systematic reviews for study eligibility. …”
Get full text

Evaluation of Enterococcus hirae isolated from vegetable wastes as probiotic and improvement of immune response in African catfish (Clarias spp.) by Hamid, Nur Hidayahanum

“…Therefore, probiotics usage as an alternative strategy has been suggested to be used as substitution for antimicrobial drugs. …”
Get full text

Electronic cigarettes for smoking cessation by Lindson, N, Butler, AR, McRobbie, H, Bullen, C, Hajek, P, Wu, AD, Begh, R, Theodoulou, A, Notley, C, Rigotti, NA, Turner, T, Livingstone-Banks, J, Morris, T, Hartmann-Boyce, J

“…<p><strong> Search methods</strong></p> We searched the Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, Embase, and PsycINFO to 1 February 2024 and the Cochrane Tobacco Addiction Group's Specialized Register to 1 February 2023, reference‐checked, and contacted study authors. <p><strong> Selection criteria</strong></p> We included trials randomizing people who smoke to an EC or control condition. …”

Electronic cigarettes for smoking cessation by Lindson, N, Butler, AR, McRobbie, H, Bullen, C, Hajek, P, Begh, R, Theodoulou, A, Notley, C, Rigotti, NA, Turner, T, Livingstone-Banks, J, Morris, T, Hartmann-Boyce, J

“…&lt;h4&gt;Search methods&lt;/h4&gt;We searched the Cochrane Tobacco Addiction Group's Specialized Register to 1 February 2023, and Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, Embase, and PsycINFO to 1 July 2023, and reference-checked and contacted study authors.&lt;h4&gt;Selection criteria&lt;/h4&gt;We included trials in which people who smoke were randomized to an EC or control condition. …”

Algebraic identifiability of partial differential equation models by Byrne, HM, Harrington, HA, Ovchinnikov, A, Pogudin, G, Rahkooy, H, Soto, P

“…This problem has been intensively studied for ordinary differential equation models, where theory, several efficient algorithms and software packages have been developed. …”

The influence of nutrition on obesity by Ee, Xing Min

“…While these two factors may be crucial in the regulation of body weight, the impact of nutrition on obesity has often been overlooked. People in modern days consume copious amounts of carbohydrate-rich foods and sugary products, having the misconception that as long as their calorie intake is kept to a minimum, their weight would be kept in check as well. …”
Get full text

A computer vision software to automatically measure dimensions of flat surfaces in a photograph by Wang, Qifeng

“…A previous project has been conducted and a substantial amount of work have been done on objects and contours detection. …”
Get full text

Geometric primitive feature extraction : concepts, algorithms and applications by Prasad, Dilip Kumar.

“…For the problem of polygonal approximation, two fundamental problems have been addressed. First, the nature of the performance evaluation metrics in relation to the local and global fitting characteristics has been studied. …”
Get full text

Development of isolated type DC/DC converter for on-board power supply by Enrique Alejandro, Nunes Di Pierri

“…A 20 kW high frequency DC/DC converter composed of two identical 10 kW units has been constructed for a hybrid vehicle application. …”
Get full text

Target interception by mobile robots in a wireless sensor network by Liu, Yan.

“…In addition, serial port has been expanded, and the battery has been replaced as well. …”
Get full text

A Biography of the Prophet of Islam : In the Light of the Original Sources An Analytical Study / by Mahdi Rizqullah Ahmad, Dr. author 598741

“…First, every detail mentioned has been traced back to original sources, whose authenticity has been discussed extensively in the footnotes. …”

Carbon based materials for MEMS applications by Tan, Chong Wei

“…CNTs have been a subject of interest by many researchers since its discovery by Ijima in 1991. …”
Get full text

RFID and cloud computing in supply chain tracking system by Saha, Ishita.

“…Different techniques for doing this have been studied and the most effective solution has been provided using Service-Oriented Architecture. …”
Get full text

Optical and optoelectronic properties of Si nanocrystals embedded in dielectric matrix by Ding, Liang

“…Thermal annealing effect on optical properties of nc-Si embedded in SiO2 films has been studied also. The influence of nanocrystal size on the band gap and dielectric function has been investigated. …”
Get full text

Development of a fiber optic gradient hydrophone by Mei, Suo Hai.

“…Fiber optic hydrophones have been under development since 1970s, and have been proven to have many advantages over their traditional counterparts, such as PZT hydrophones. …”
Get full text