28 papers · ranked by Valyu relevance
Samuele Doria, Eleonora Losiouk
Dynamically resolving method reachability in Android applications remains a critical and largely unsolved problem. Despite notable advancements in GUI testing and static call graph construction, current tools are insufficient for reliably driving execution toward specific target methods, especially those not embedded…
Yung Ryn Choe, Michael Bierma, Jeremy Lee Erickson, David Jakob Fritz + 1 more
'David Jakob Fritz' 'Eric Gustafson'] Analyzing Android applications for malicious behavior is an important area of research, and is made difficult, in part, by the increasingly large number of applications available for the platform. While techniques exist to perform static analysis on a large number of applications…
Authors not listed
The functionality of viral proteases, such as those from Dengue Virus (DENV) and SARS-CoV-2, is intrinsically linked to their conformational dynamics. While Molecular Dynamics (MD) is a powerful tool to study these motions, its computational cost limits large-scale screening. Here, we present a rapid analysis of the…
Authors not listed
The analysis of molecular dynamics (MD) simulations is a critical but fragmented process, often requiring researchers to chain together multiple software tools and write bespoke scripts for routine structural and dynamic analyses. This workflow complexity creates a significant barrier to efficiency, standardization…
Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan, Santosh Pande
Generative Models and Large-Language Models Authors: ['Bodhisatwa Chatterjee' 'Neeraj Jadhav' 'Sharjeel Khan' 'Santosh Pande'] Application profiling is an indispensable technique for many software development tasks, such as code optimization and memory management, where optimization decisions are tailored to specific…
Jinlong Song, Zhiyong Shi, Lvhua Wang, Hailiang Wang
In view that traditional dynamic Allan variance (DAVAR) method is difficult to make a good balance between dynamic tracking capabilities and the confidence of the estimation. And the reason is the use of a rectangular window with the fixed window length to intercept the original signal. So an improved dynamic Allan…
Faraz Zaidi, Chris Muelder, Arnaud Sallaberry
| Title: | Analysis and Visualization of Dynamic Networks | | --- | --- | | Name: | Faraz Zaidi1 , Chris Muelder2 , Arnaud Sallaberry3 | | Affil./Addr. 1: | College of Computing and Information Sciences, Karachi Institute | | | of Economics and Technology (KIET), Karachi, Pakistan | | | faraz@pafkiet.edu.pk | |…
Serhii Bahdasariants, Lauren Parola, Kriti Kacker, Ariel K. Feldman + 3 more
Biological and robotic systems must solve two related computations to move: inverse dynamics, which determines the forces or torques needed to produce a desired movement, and forward dynamics, which maps applied forces to motion. Although these computations are coupled by the same equations of motion, they are usually…
Liangliang Cheng, Justin de Groot, Kun Xie, Yanxin Si + 2 more
'Barry K. Lavine'] Accelerometers are commonly used to measure vibrations for condition monitoring in mechanical and civil structures; however, their high cost and point-based measurement approach present practical limitations. With rapid advancements in computer vision and deep learning, research into tracking the…
Subhash Lakshminarayana, Sondipon Adhikari, Carsten Maple
—Recent research has shown that large-scale Internet of Things (IoT)-based load altering attacks can have a serious impact on power grid operations such as causing unsafe frequency excursions and destabilizing the grid's control loops. In this work, we present an analytical framework to investigate the impact of…
Gerardo Peláez, Joshua Vaugan, Pablo Izquierdo, Higinio Rubio + 1 more
'Juan Carlos García-Prada'] Input shaping is an Optimal Control feedforward strategy whose ability to define how and when a flexible dynamical system defined by Ordinary Differential Equations (ODEs) and computer controlled would move into its operative space, without command induced unwanted dynamics, has been…
Wenjun Huang, Guorui Yu, Wentao Xu, Ruchuan Zhou + 2 more
'Leif Kari'] In the field of aerospace and advanced equipment manufacturing, accurate response analysis has been paid more attention, requiring a more comprehensive study of the variation of mechanical parameters with the service environment. The damping variation characteristics of 304 aluminum alloy, Sa564…
Krzysztof Nering, Arkadiusz Kwiecień, Konrad Nering, Miaomiao Hu + 1 more
'Jintang Guo'] This study investigates the dynamic stiffness and damping characteristics of three polyurethane materials-PM, PS, and PST-using a comprehensive vibroacoustic testing approach. The aim is to examine material parameters such as dynamic stiffness, Young’s modulus, critical damping factor, and the influence…
Jane Kondev, Marc Kirschner, Hernan G. Garcia, Gabriel L. Salmon + 1 more
Many biological processes can be thought of as the result of an underlying dynamics in which the system repeatedly undergoes distinct and abortive trajectories with the dynamical process only ending when some specific process, purpose, structure or function is achieved. A classic example is the way in which…
Tomasz Blachowicz, Sara Bysko, Szymon Bysko, Alina Domanowska + 3 more
The rapid advancement of computing power, combined with the ability to collect vast amounts of data, has unlocked new possibilities for industrial applications. While traditional time-domain industrial signals generally do not allow for direct stability assessment or the detection of abnormal situations, alternative…
Authors not listed
The persistent failure to drug mutant forms of key oncogenes—such as TP53, KRAS, and MYC—is largely due to their lack of stable, visible binding pockets in crystal structures. These proteins are frequently labeled “undruggable,” not because they cannot be modulated, but because their ligandable sites are hidden…
Tosif Ahamed, Antonio C. Costa, Greg J. Stephens
Animal behavior is often quantified through subjective, incomplete variables that may mask essential dynamics. Here, we develop a behavioral state space in which the full instantaneous state is smoothly unfolded as a combination of short-time posture dynamics. Our technique is tailored to multivariate observations and…
Suraj Reddy
Materials with special geometrically designed microstructures, referred to as metamaterials, have gained significant attention in the world due to their unique properties of toughness and failureresistance. The ability to simply alter the internal geometry of almost any material to exponentially increase strength is…
Alexis Geslin, Le Xu, Devi Ganapathi, Kevin Moy + 2 more
Laboratory aging campaigns benchmark and elucidate the complex degradation behavior of lithium-ion batteries, and are critical not only for developing new battery chemistries and cell designs but also for engineering reliable battery management systems. Critically, these laboratory experiments aim to quantify and…
Tarun Khajuria, Kadi Tulver, Jaan Aru
Human vision is not merely a passive process of interpreting sensory input but can also function as a problem-solving process incorporating generative mechanisms to interpret ambiguous or noisy data. This synergy between the generative and discriminative components, often described as analysis-by-synthesis, enables…
Tom Rottier, Andrew K. Schulz, Katja Söhnel, Kathryn Mccarthy + 2 more
Dogs and other members of Canidae utilize their tails for different purposes, including agile movements, such as running and jumping. In this study, we utilized motion capture biomechanical data of a border collie executing an agile rotational jump maneuver. This data created a 17-segment biomechanical model of the…
Robin Gutzen, Grace W Lindsay
Convolutional Neural Networks (CNNs) have demonstrated remarkable success in image recognition and exhibit conceptual similarities to the primate ventral visual pathway. Adding recurrence opens the door to exploring temporal dynamics and investigating mechanisms underlying recognition robustness, attentional…
Li-Xia Huang, Xu Liu, Shun-Gen Xiao, Meng-Meng Song + 2 more
This article takes the linear inclined vibrating screen (TLIVS) as the research object, establishes a spatial 6-degree-of-freedom dynamic model of TLIVS, and verifies the correctness of the established model through comparison between real experiments and simulation experiments. Steady-state response of TLIVS is solved…
Arion Pons
In insect locomotion, the transmission of energy from muscles to motion is a process within which there are many sources of dissipation. One significant but understudied source is the structural damping within the insect exoskeleton itself: the thorax and limbs. Experimental evidence suggests that exoskeletal damping…
Ankan Pandey, A. Ghose‐Choudhury, Partha Guha
In this paper a new approach to study an equation of the Li´enard type with a strong quadratic damping is proposed based on Jacobi's last multiplier and Cheillini's integrability condition. We obtain a closed form solution of the transcedental characteristic equation of the Li´enard type equation using the Lambert…
Authors not listed
Deriving versatile and robust mechanistic models from experimental data is a key challenge in engineering and natural sciences. This is especially true in chemical reaction engineering, where reactor manufacturers and operators increasingly pursue the development and maintenance of digital twins that rely on frequent…
Fuzhan Rahmanian, Robert M. Lee, Dominik Linzner, Kathrin Michel + 4 more
Predicting and monitoring battery life early and across chemistries is a significant challenge due to the plethora of degradation paths, form factors, and electrochemical testing protocols. Existing models typically translate poorly across different electrode, electrolyte, and additive materials, mostly require a fixed…
Yao Yang
It has been the standard teaching of today that backward stability analysis is taught as absolute, just as in Newtonian physics time is taught as absolute time. We will prove that it is not true in general. It depends on algorithms. We will prove that forward and mixed stability analysis are absolutely invalid…