Towards explainable and semantically coherent claim extraction for an automated fact-checker by Yoswara, Jocelyn Valencia

Subjects: 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

Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

Get full text

Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

“…We study the complexity of memory checkers with computational security and prove the first general tight lower bound. …”
Get full text

Greenly prepared antimicrobial cotton fabrics using bioactive agents from Cupressaceae pods by Syed, Murtaza Haider, Mior Ahmad Khushairi, Mohd Zahari, Qutaba, Syed, Norhayati, Abdullah, Syed, Lubna, Abro, Zamir Ahmed

Get full text
Get full text

TDSF: Two-phase tamper detection in semi-fragile watermarking using two-level integer wavelet transform by Amrullah, Agit, Ernawan, Ferda, Anis Farihan, Mat Raffei, Liew, Siau-Chuin

Get full text

Floquet Codes without Parent Subsystem Codes by Davydova, Margarita, Tantivasadakarn, Nathanan, Balasubramanian, Shankar

“…We generalize this construction to three dimensions and obtain a code that fault tolerantly alternates between realizing two type-I fracton models, the checkerboard and the X-cube model. Finally, we show the compatibility of our CSS honeycomb-code protocol and the honeycomb code by showing the possibility of randomly switching between the two protocols without information loss while still measuring error syndromes. …”
Get full text

Multiplicity dependence of σψ(2S)/σJ/ψ in pp collisions at √𝑠 = 13 TeV by Aaij, R., Abdelmotteleb, A. S. W., Abellan Beteta, C., Abudinén, F., Ackernley, T., Adeva, B., Adinolfi, M., Adlarson, P., Agapopoulou, C., Aidala, C. A., Ajaltouni, Z., Akar, S., Akiba, K., Albicocco, P., Albrecht, J., Alessio, F.

Get full text

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

Get full text

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

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

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

Get full text

Membrane compaction in forward osmosis process by Ng, Daniel Yee Fan, Chen, Yunfeng, Dong, Zhili, Wang, Rong

Get full text

On the corrosion resistance of some selective laser melted alloys by Suryawanshi, Jyoti, Baskaran, T., Prakash, Om, Arya, S. B., Ramamurty, Upadrasta

“…The effects of laser scanning strategy (single melt vs. checker board styles), post-SLM heat treatment, and corroding surface orientation (with respect to the scan and build directions) on the corrosion behavior were examined. …”
Get full text

Impact of innovation on performance of shipping companies in Singapore by Nah, Laura Yan Ling

Get full text

Energy-efficient hardware accelerators based on bit-serial graph and memory-centric computing architectures by Mu, Junjie

“…The proposed accelerator enables massive parallelism using the checkerboard update method and minimizes data communication by mapping equations into a 2D grid and localizing the computation. …”
Get full text

Adjoint-state traveltime tomography for azimuthally anisotropic media in spherical coordinates by Chen, Jing, Chen, Guoxu, Nagaso, Masaru, Tong, Ping

“…This method is applicable for large-scale tomography, and its performance is verified by a synthetic checkerboard test and a practical seismic tomographic inversion in central California near Parkfield.…”
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

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

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

Get full text