Suggested Topics within your search.
Suggested Topics within your search.
-
41
-
42
-
43
-
44
Platform-independent Specification and Verification of the Standard Mathematical Square Root Function
Published 2018-12-01“…Incrementality means that we start with the most straightforward specification of the simplest case to verify the algorithm in real numbers and finish with a realistic specification and a verification of the algorithm in computer arithmetics. We call our approach combined because we start with manual (pen-and-paper) verification of the algorithm in real numbers, then use this verification as proof-outlines for a manual verification of the algorithm in computer arithmetics, and finish with a computer-aided validation of the manual proofs with a proof-assistant system (to avoid appeals to “obviousness” that are common in human-carried proofs). …”
Get full text
Article -
45
FRB 20250316A: A Brilliant and Nearby One-off Fast Radio Burst Localized to 13 pc Precision
Published 2025-01-01Get full text
Article -
46
Stroop Interference and Facilitation Effects in Kinesthetic and Haptic Tasks
Published 2010-01-01“…This study extends the Stroop phenomena also for kinesthetic and haptic tasks. In a touch-enabled computer interface, participants touched and manipulated virtual objects (cylinders, cubes, and tiles), through a pen-like stylus, and identified their haptic qualities (weight, firmness, vibrations). …”
Get full text
Article -
47
Using genomic data and machine learning to predict antibiotic resistance: A tutorial paper.
Published 2024-12-01Get full text
Article -
48
-
49
THEMIS: A Parameter Estimation Framework for the Event Horizon Telescope
Published 2020-01-01Get full text
Article -
50
First M87 Event Horizon Telescope Results. IV. Imaging the Central Supermassive Black Hole
Published 2019-01-01Get full text
Article -
51
Monitoring the Morphology of M87* in 2009–2017 with the Event Horizon Telescope
Published 2020-01-01Get full text
Article -
52
Impact of Stocking Density on Welfare and Performance of Ross 708 and Cobb 700 Broilers
Published 2024-12-01Get full text
Article -
53
Design, Fabrication, and Application of Large-Area Flexible Pressure and Strain Sensor Arrays: A Review
Published 2025-03-01Get full text
Article -
54
First M87 Event Horizon Telescope Results. VII. Polarization of the Ring
Published 2021-01-01Get full text
Article -
55
Polarimetric Properties of Event Horizon Telescope Targets from ALMA
Published 2021-01-01Get full text
Article -
56
First M87 Event Horizon Telescope Results. VIII. Magnetic Field Structure near The Event Horizon
Published 2021-01-01Get full text
Article -
57
The Variability of the Black Hole Image in M87 at the Dynamical Timescale
Published 2022-01-01Get full text
Article -
58
-
59
EPPTA: Efficient partially observable reinforcement learning agent for penetration testing applications
Published 2025-01-01“…Effectively managing the intrinsic uncertainties via partially observable Markov decision processes (POMDPs) constitutes a persistent challenge within the realm of pen‐testing. Furthermore, RL agents are compelled to formulate intricate strategies to contend with the challenges posed by partially observable environments, thereby engendering augmented computational and temporal expenditures. …”
Get full text
Article -
60
Enhancing small object detection for HCI: BRA-YOLO algorithm with RealSense 3D trajectory tracking
Published 2025-09-01“…The proposed method involves a contactless trajectory planning technique based on computer vision principles. Initially, MediaPipe is utilized to confine the detection area for interaction pens near the detected hand area, effectively reducing environmental interference. …”
Get full text
Article