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

Subjects: Get full text

Consolidated Health Economic Evaluation Reporting Standards for Interventions that use Artificial Intelligence (CHEERS-AI) by Elvidge, J, Hawksworth, C, Avşar, TS, Zemplenyi, A, Chalkidou, A, Petrou, S, Petykó, Z, Srivastava, D, Chandra, G, Delaye, J, Denniston, A, Gomes, M, Knies, S, Nousios, P, Siirtola, P, Wang, J, Dawoud, D

“…The Consolidated Health Economic Evaluation Reporting Standards (CHEERS 2022) provide reporting guidelines for EEs. …”

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

100 UMPSA athletes to compete in 10 events at the 2024 SUKUM Championship by Siti Nur Azwin, Zulkapri

“…PEKAN, 6 August 2024 – The enthusiastic cheers of “UMPSA! Minda Juara!” echoed as 100 athletes, comprising 65 men and 35 women from Universiti Malaysia Pahang Al-Sultan Abdullah (UMPSA), prepared to represent their university in the upcoming 2024 SUKUM Championship.…”
Get full text

Cost of the national malaria control program and cost-effectiveness of indoor residual spraying and insecticide-treated bed net interventions in two districts of Madagascar by Andrianantoandro, VTA, Audibert, M, Kesteman, T, Ravolanjarasoa, L, Randrianarivelojosia, M, Rogier, C

“…The cost-effectiveness ratio (CER) of ITN intervention was then compared to the CER of IRS intervention to identify the most cost-effective intervention. …”

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

The utilization of chitin and chitosan as green modifiers in nanocomposite membrane for water treatment by Mamah, Stanley Chinedu, Goh, Pei Sean, Ng, Be Cheer, Abdullah, Mohamad Sohaimi, Ismail, Ahmad Fauzi, Samavati, Zahra, Ahmad, Nor Akalili, Raji, Yusuf Olabode

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

Empirical studies on director shareholdings of SGX-listed companies. by Chew, Kim Cheer., Tan, Chiu Yun., Teo, Chuan Ming.

Get full text

EV charging/discharging coordination in LV distribution grid by Toh, Wei Le.

“…The proposed algorithm should be tested using the Microgrid Energy Management System (MG-EMS) setup in LaCER laboratory. The effectiveness of the proposed algorithm should be assessed in terms of operating cost, cable power losses and voltage deviations of the distribution grid which is a 13-node test feeder. …”
Get full text

Remote monitoring and control of wind turbine simulator (a1026-131) by Yin, Min Htet

“…In Laboratory for Clean Energy Research (LaCER), a wind turbine simulator is set up with a 7.5 kW induction generator operated as wind turbine generator; a 11 kW induction motor which acts as a wind turbine to convert the wind energy into the mechanical power. …”
Get full text

Solving nondeterministic polynomial complete problems optically and the design of its light source by Zheng, Mengying.

“…Compare with the conventional computer calculation method, the problem solving time is reduced. This result is cheerful since all the NP-complete problems are inter convertible. …”
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

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

UROPOT: study protocol for a randomized, double-blind phase I/II trial for metabolism-based potentiation of antimicrobial prophylaxis in the urological tract by Stritt, Kevin, Roth, Beat, Masnada, Audrey, Hammann, Felix, Jacot, Damien, Domingos-Pereira, Sonia, Crettenand, François, Bohner, Perrine, Sommer, Isabelle, Bréat, Emilien, Sauser, Julien, Derré, Laurent, Haschke, Manuel, Collins, James J., McKinney, John

“…Trial registration The protocol is approved by the local ethics committee (CER-VD, 2023–01369, protocole 2.0) and the Swiss Agency for Therapeutic Products (Swissmedic, 701,676) and is registered on the NIH’s ClinicalTrials.gov (trial registration number: NCT05761405). …”
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

Dynamic drug combination methods for suppressing bacterial antibiotics resistance adaptation by Bhone, Myint Kyaw

“…In this study, the effects of using conventional antibiotics in combination with phytochemicals were studied by using checker board methods and time-kill assays using 12 S. aureus strains. …”
Get full text