English
Related papers

Related papers: A method for testing handgun bullets in deer

200 papers

Optimal locomotion and efficient traversal of extraterrestrial rovers in dynamic terrains and environments is an important problem statement in the field of planetary science and geophysical systems. Designing a superlative and efficient…

Neural and Evolutionary Computing · Computer Science 2022-09-27 Harsh Senjaliya , Pranshav Gajjar , Brijan Vaghasiya , Pooja Shah , Paresh Gujarati

We study the problem of finding the optimal dosage in early stage clinical trials through the multi-armed bandit lens. We advocate the use of the Thompson Sampling principle, a flexible algorithm that can accommodate different types of…

Machine Learning · Statistics 2020-04-09 Maryam Aziz , Emilie Kaufmann , Marie-Karelle Riviere

Cutting and Packing problems are occurring in different industries with a direct impact on the revenue of businesses. Generally, the goal in Cutting and Packing is to assign a set of smaller objects to a set of larger objects. To solve…

Artificial Intelligence · Computer Science 2021-10-28 Stefan Böhm , Martin Neumayer , Oliver Kramer , Alexander Schiendorfer , Alois Knoll

Correctness and robustness are essential for logic synthesis applications, but they are often only tested with a limited set of benchmarks. Moreover, when the application fails on a large benchmark, the debugging process may be tedious and…

Software Engineering · Computer Science 2022-07-28 Siang-Yun Lee , Heinz Riener , Giovanni De Micheli

Fuzzing is a popular vulnerability automated testing method utilized by professionals and broader community alike. However, despite its abilities, fuzzing is a time-consuming, computationally expensive process. This is problematic for the…

Software Engineering · Computer Science 2023-07-25 Michael Wang , Michael Robinson

Heap layout randomization renders a good portion of heap vulnerabilities unexploitable. However, some remnants of the vulnerabilities are still exploitable even under the randomized layout. According to our analysis, such heap exploits…

Cryptography and Security · Computer Science 2018-08-09 Daehee Jang , Jonghwan Kim , Minjoon Park , Yunjong Jung , Hojoon Lee , Brent Byunghoon Kang

We study few-shot debugging of transformer based natural language understanding models, using recently popularized test suites to not just diagnose but correct a problem. Given a few debugging examples of a certain phenomenon, and a…

Computation and Language · Computer Science 2022-04-14 Christopher Malon , Kai Li , Erik Kruus

Results are presented for lead free primers based on diazodinitrophenol (DDNP)compared with tests on lead styphnate based primers. First, barrel friction measurements in 5.56 mm NATO are presented. Second, shot to shot variations in blast…

Popular Physics · Physics 2014-10-24 Elya Courtney , Amy Courtney , Peter David Summer , Michael Courtney

Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniques, strategies, and algorithms. Such new ideas are…

Cryptography and Security · Computer Science 2018-10-22 George Klees , Andrew Ruef , Benji Cooper , Shiyi Wei , Michael Hicks

Cybersecurity software tool evaluation is difficult due to the inherently adversarial nature of the field. A penetration testing (or offensive) tool must be tested against a viable defensive adversary and a defensive tool must, similarly,…

Cryptography and Security · Computer Science 2024-09-17 Jeremy Straub

Fuzzing is one of the fastest growing fields in software testing. The idea behind fuzzing is to check the behavior of software against a large number of randomly generated inputs, trying to cover all interesting parts of the input space,…

Software Engineering · Computer Science 2022-02-15 Rahul Gopinath , Philipp Görz , Alex Groce

A novel statistical method is proposed and investigated for estimating a heavy tailed density under mild smoothness assumptions. Statistical analyses of heavy-tailed distributions are susceptible to the problem of sparse information in the…

Methodology · Statistics 2022-11-18 Surya T Tokdar , Sheng Jiang , Erika L Cunningham

The problem of stock hedging is reconsidered in this paper, where a put option is chosen from a set of available put options to hedge the market risk of a stock. A formula is proposed to determine the probability that the potential loss…

Risk Management · Quantitative Finance 2011-10-04 Guanghui Huang , Jing Xu , Wenting Xing

We study a hypothesis testing problem in which data is compressed distributively and sent to a detector that seeks to decide between two possible distributions for the data. The aim is to characterize all achievable encoding rates and…

Information Theory · Computer Science 2011-02-01 Md. Saifur Rahman , Aaron B. Wagner

We investigate the doping of a geometrically frustrated spin ladder with static holes by a complementary approach using exact diagonalization and quantum dimers. Results for thermodynamic properties, the singlet density of states, the…

Strongly Correlated Electrons · Physics 2010-01-20 George B. Martins , Wolfram Brenig

The $K$-armed dueling bandit problem, where the feedback is in the form of noisy pairwise comparisons, has been widely studied. Previous works have only focused on the sequential setting where the policy adapts after every comparison.…

Machine Learning · Computer Science 2022-02-23 Arpit Agarwal , Rohan Ghuge , Viswanath Nagarajan

This article presents a deep reinforcement learning-based approach to tackle a persistent surveillance mission requiring a single unmanned aerial vehicle initially stationed at a depot with fuel or time-of-flight constraints to repeatedly…

Robotics · Computer Science 2024-05-06 Manav Mishra , Hritik Bana , Saswata Sarkar , Sujeevraja Sanjeevi , PB Sujit , Kaarthik Sundar

Methodologies to test hypotheses about the tail-heaviness of an underlying distribution are introduced based on results of Rojo (1996) using the limiting behavior of the extreme spacings. The tests are consistent and have point-wise robust…

Statistics Theory · Mathematics 2010-12-01 J. Rojo , R. C. Ott

We present the design of a radio antenna system for obtaining instantaneous bearing measurements towards a radio emitter. Our work is motivated by applications where robots are used for localizing and tracking radio-tagged wildlife. The…

Robotics · Computer Science 2020-03-03 William E. Gerhard , Pratap Tokekar

We develop a cost functional and state-space equations to model the problem of herding m sheep to the origin using n dogs. Our initial approach uses solve_bvp to approximate optimal control trajectories. But this method often fails to…

Optimization and Control · Mathematics 2025-10-31 Drake Brown , Trevor Garrity , Daniel Perkins , Davis Hunter , Wyatt Pochman
‹ Prev 1 3 4 5 6 7 10 Next ›