Synthesis and testing of asynchronous circuits - micropipeline by Khaing, Kathy.

“…The checker is designed to meet the Totally Self-Checking (TSC) goal based on the existing checker design concepts.…”
Get full text

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

“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
Get full text

Evaluation of the music collection at the National Institute of Education Library by Yu, Bee Lian.

“…However, the Library fared relatively better, with 71.5% holdings, when a list of "Recommended Readings/References" drawn up by the Institute's academic staff was list-checked.…”
Get full text

Laser driver (ACC - auto current control) for driving laser diode in LED and laser modes by Tay, Eng Boon.

“…The circuit implemented is such that is portable and able to cater for few applications such as visual inspection of a laser diode and fiber checker.…”
Get full text

The golden thread of Woolmington – A domestic yarn that should never have been spun by Dyer, Karen

“…The case of Woolmington v The Director of Public Prosecutions [1935] 1 AC 462 is renowned for Viscount Sankey’s ‘golden thread’ ruling, that the prosecution bears the burden of proof at trial. However, what is frequently overlooked is that this judgment arises from domestic violence. …”
Get full text

Effect of iron (III) oxide concentration on the performance of meta-resonators embedded in cementitious matrix by Sum, Yee Loon, Rheinheimer, Vanessa, Soong, Boon Hee, Paulo J. M., Monteiro

Get full text

IS activity in Southeast Asia by Liow, Joseph Chinyong, Liow Chin Yong, Joseph

“…The increasing number of recruits from Indonesia and Malaysia to Islamic State reflects the evolving security threat to Southeast Asia. The emerging pattern bears lessons for countries in the region.…”
Get full text
Get full text

Investigation of low temperature wafer bonding using intermediate layer by Deng, Shusheng

Get full text

Exploring WAP technology to enhance online discussion by Lee, Chwee Beng.

Get full text

Fragmentation of white phosphorus by a cyclic (alkyl)(amino)alumanyl anion by Koshino, Kota, Kinjo, Rei

“…Structural and electronic features of the latter were fully characterized by standard spectroscopic means, X-ray diffraction analysis, and computational studies, which revealed that 2 bears highly polarized Al (δ+) and P (δ-) and relatively short Al-P bonds, indicative of the σ-donating and π-accepting nature of CAAAl groups.…”
Get full text

Application of low frequency noise in the study of VLSI electromigration by Lim, Shin Yeh.

Get full text

GPU-accelerated real-time motion planning for safe human-robot collaboration by Fujii, Shohei

“…We experimentally demonstrate that our method can navigate a 6-DoF robot earlier than a geometric-primitives-based distance checker in a dynamic, collaborative environment. …”
Get full text

Does bankruptcy law prevent internalization of environmental costs: evidence from China by Li, Xingwei

“…The principle requires those responsible for environmental damage or imminent threats of damage to bear the necessary costs of remediation and prevention. …”
Get full text
Get full text

Factual approach for tropical forest parameters measurement and monitoring: future option with a focus on synergetic use of airborne and terrestrial lidar technologies by Bazezew, Muluken N., Hussin, Yousif A., Kloosterman, Evert H., M. Hasmadi, Ismail

“…This approach contributes to the development of efficient techniques for forest monitoring systems and bears the potential to extend the modelling options from remote sensing data to understory layer trees.…”

Response to Comment on “Unique in the shopping mall: On the reidentifiability of credit card metadata” by de Montjoye, Yves-Alexandre, Pentland, Alex

“…The synthetic data set that they “successfully anonymize” bears no resemblance to modern high-dimensional data sets on which their methods fail. …”
Get full text

Studies of wafer level electromigration test for ULSI by Sum, Heng Keong.

Get full text

Design of insulated gate bipolar transistor using novel structure by Zhang, Guowei

Get full text

A three-membered diazo-aluminum heterocycle to access an Al=C π bonding species by Yan, Chenting, Kinjo, Rei

“…An X-ray study shows that the anionic part of 5 bears a considerable short exocyclic Al-C bond, and computational studies involving molecular orbital and natural bond orbital analysis indicate the Al=C π bonding character. …”
Get full text

Minimal type inference for Linked Data consumers by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

“…We also prove subject reduction and type safety results, which justify our claim that our language is statically type checked and does not throw basic runtime type errors. …”
Get full text
Get full text

Prevalence of sleep disturbance in patients with ankylosing spondylitis: a systematic review and meta-analysis by Salari, Nader, Sadeghi, Narges, Hosseinian-Far, Amin, Hasheminezhad, Razie, Khazaie, Habibolah, Shohaimi, Shamarina, Mohammadi, Masoud

“…Heterogeneity among the identified studies was checked using the I2 index, and the Begg and Mazumdar correlation test examined the existence of published bias. …”
Get full text