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

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

Sowing the seeds of love: Ovid's Sementivae (Fasti 1.655-704) by Armstrong, RM

“…Meanwhile, he also modifies and subtly reconfigures the relationship between Ceres and Tellus in a manner not found in either of his dominant poetic influences. …”

A Multi-satellite Perspective on “Hot Tower” Characteristics in the Equatorial Trough Zone by Pilewskie, J, Stephens, G, Takahashi, H, L’Ecuyer, T

“…Cloud vertical profiles from CloudSat and CALIPSO measurements supply convective core diameters and proxies for intensity and convective activity, and these proxies are augmented with brightness temperature data from geostationary satellite observations, precipitation information from IMERG, and cloud radiative properties from CERES. Less than 35% of all deep cores are classified as hot towers, and we estimate that 800–1700 hot towers occur at any given time over the course of a day, with the mean maximum core and hot tower frequency occurring at the time of year when peak convective intensity and precipitation occur. …”

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

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

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

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