117,172 results on '"Kaushik, A."'
Search Results
2. Content analysis of top fifty engineering and technology Universities Library websites in the world
- Author
-
Kaushik, A.
- Published
- 2022
- Full Text
- View/download PDF
3. A Study on the Associations among the Factors Influencing Digital Education with Reference to Indian Higher Education
- Author
-
Hans Kaushik and Smriti Kaushik
- Abstract
The involvement of technology in the education domain has transformed the traditional system in many countries. The need was realized when 300 million students in India itself were pushed to move from traditional to various digital education platforms during the pandemic. There has been an essential emphasis given to the promotion of digital based education for achieving the aim of Digital India and National Education Policy (NEP) 2020. Considering the vision, this research work is an attempt to articulate such factors affecting the attainment of digital education based on previous researches and opinions of domain experts in this area through Nominal Group Technique (NGT). ISM based hierarchical model along with MICMAC were used to analyze the interactions among identified factors. The ISM results have put technology awareness, course & subject choice, digital literacy, geographical location, interactivity, cyber security and training for handling ICT, as the most crucial factors driving the others. The MICMAC results indicate geographical location as the most driving factor and switching behaviour as the most dependent factor. The model will assist to understand how factors work in hierarchy with inter-relationships and thus provide support to policy planners and institutions in planning the effective implementation.
- Published
- 2024
- Full Text
- View/download PDF
4. Characterizing and Efficiently Accelerating Multimodal Generation Model Inference
- Author
-
Lee, Yejin, Sun, Anna, Hosmer, Basil, Acun, Bilge, Balioglu, Can, Wang, Changhan, Hernandez, Charles David, Puhrsch, Christian, Haziza, Daniel, Guessous, Driss, Massa, Francisco, Kahn, Jacob, Wan, Jeffrey, Reizenstein, Jeremy, Zhai, Jiaqi, Isaacson, Joe, Schlosser, Joel, Pino, Juan, Sadagopan, Kaushik Ram, Shamis, Leonid, Ma, Linjian, Hwang, Min-Jae, Chen, Mingda, Elhoushi, Mostafa, Rodriguez, Pedro, Pasunuru, Ram, Yih, Scott, Popuri, Sravya, Liu, Xing, and Wu, Carole-Jean
- Subjects
Computer Science - Machine Learning - Abstract
Generative artificial intelligence (AI) technology is revolutionizing the computing industry. Not only its applications have broadened to various sectors but also poses new system design and optimization opportunities. The technology is capable of understanding and responding in multiple modalities. However, the advanced capability currently comes with significant system resource demands. To sustainably scale generative AI capabilities to billions of users in the world, inference must be fast and efficient. This paper pinpoints key system design and optimization opportunities by characterizing a family of emerging multi-modal generation models on real systems. Auto-regressive token generation is a critical latency performance bottleneck, typically dominated by GPU idle time. In addition to memory-intensive attention across the generative AI models, linear operations constitute significant inference latency due to the feed forward networks in Transformer-based models. We demonstrate that state-of-the-art optimization levers, spanning from applications to system software and hardware, set a 3.88x better baseline., Comment: 13 pages including references. 8 Figures. Under review to HPCA 2025 Industry Track
- Published
- 2024
5. M2Distill: Multi-Modal Distillation for Lifelong Imitation Learning
- Author
-
Roy, Kaushik, Dissanayake, Akila, Tidd, Brendan, and Moghadam, Peyman
- Subjects
Computer Science - Machine Learning ,Computer Science - Artificial Intelligence ,Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Robotics - Abstract
Lifelong imitation learning for manipulation tasks poses significant challenges due to distribution shifts that occur in incremental learning steps. Existing methods often focus on unsupervised skill discovery to construct an ever-growing skill library or distillation from multiple policies, which can lead to scalability issues as diverse manipulation tasks are continually introduced and may fail to ensure a consistent latent space throughout the learning process, leading to catastrophic forgetting of previously learned skills. In this paper, we introduce M2Distill, a multi-modal distillation-based method for lifelong imitation learning focusing on preserving consistent latent space across vision, language, and action distributions throughout the learning process. By regulating the shifts in latent representations across different modalities from previous to current steps, and reducing discrepancies in Gaussian Mixture Model (GMM) policies between consecutive learning steps, we ensure that the learned policy retains its ability to perform previously learned tasks while seamlessly integrating new skills. Extensive evaluations on the LIBERO lifelong imitation learning benchmark suites, including LIBERO-OBJECT, LIBERO-GOAL, and LIBERO-SPATIAL, demonstrate that our method consistently outperforms prior state-of-the-art methods across all evaluated metrics., Comment: Submitted to ICRA2025
- Published
- 2024
6. Quantum Authenticated Key Expansion with Key Recycling
- Author
-
Kon, Wen Yu, Chu, Jefferson, Loh, Kevin Han Yong, Alia, Obada, Amer, Omar, Pistoia, Marco, Chakraborty, Kaushik, and Lim, Charles
- Subjects
Quantum Physics - Abstract
Data privacy and authentication are two main security requirements for remote access and cloud services. While QKD has been explored to address data privacy concerns, oftentimes its use is separate from the client authentication protocol despite implicitly providing authentication. Here, we present a quantum authentication key expansion (QAKE) protocol that (1) integrates both authentication and key expansion within a single protocol, and (2) provides key recycling property -- allowing all authentication keys to be reused. We analyse the security of the protocol in a QAKE framework adapted from a classical authentication key exchange (AKE) framework, providing separate security conditions for authentication and data privacy. An experimental implementation of the protocol, with appropriate post-selection, was performed to demonstrate its feasibility., Comment: 71 pages, comments are welcome
- Published
- 2024
7. Probing the fission of $^{220}$Ra${^\star}$ at E$^{\star}$ $\approx$ 31.8--45.4 MeV
- Author
-
Kaur, Rupinderjeet, Amanjot, Priyanka, Kaushik, Malika, Kumar, Subham, Sood, Arshiya, Jangid, Yashraj, Kumar, R., Sharma, Manoj Kumar, and Singh, Pushpendra P.
- Subjects
Nuclear Experiment - Abstract
In this work, fission of moderately excited compound nucleus $^{220}$Ra${^\star}$ produced in $^{12}$C+$^{208}$Pb reaction at E$_{\rm lab}$ = 81.9, 75.8, and 67.5 MeV has been studied. 28 fission fragments, within the mass range 60$\leq$A$\leq$141, have been identified based on their characteristic decay $\gamma$-lines and half-lives. The yields of different fission fragments have been analyzed to generate isotopic and isobaric yield distributions. The value of the mass dispersion parameter, $\sigma^2_A$, is found to be 2.93 and 2.65 for Antimony (Sb) isotope at excitation energy E$^{\star}$ = 45.4 and 39.6 MeV, and 1.24 for Indium (In) isotope at E$^{\star}$ = 45.4 MeV. The charge dispersion parameter $\sigma_z$ for Sb is estimated to be 0.769 and 0.714 at E$^{\star}$ = 45.4 and 39.6 MeV, respectively. For In isotopes, the value of $\sigma_z$ is estimated to be 0.430 at E$^{\star}$ = 45.4 MeV. The value of mass and charge dispersion parameters for Sb and In isotopes display good agreement with the values reported in the literature for similar systems. It has been found that $^{99m}$Tc and $^{111}$In, medically important isotopes, populate in this system. The present investigations suggest that fission is a dominating mode of deexcitation of the compound nucleus, even at entrance channel energies slightly above the Coulomb barrier.
- Published
- 2024
8. Exact mean and variance of the squared Hellinger distance for random density matrices
- Author
-
Kumar, Vinay, Vasan, Kaushik, and Kumar, Santosh
- Subjects
Quantum Physics ,Computer Science - Information Theory ,Mathematical Physics ,Nonlinear Sciences - Chaotic Dynamics ,94A15, 62B10, 81P47, 60B20, 15B52 - Abstract
The Hellinger distance between quantum states is a significant measure in quantum information theory, known for its Riemannian and monotonic properties. It is also easier to compute than the Bures distance, another measure that shares these properties. In this work, we derive the mean and variance of the Hellinger distance between pairs of density matrices, where one or both matrices are random. Along the way, we also obtain exact results for the mean affinity and mean square affinity. The first two cumulants of the Hellinger distance allow us to propose an approximation for the corresponding probability density function based on the gamma distribution. Our analytical results are corroborated through Monte Carlo simulations, showing excellent agreement., Comment: 8 pages, 5 figures
- Published
- 2024
9. Detection of QPO Soft Lag during Outburst of Swift J1727.8-1613: Estimation of Instrinsic Parameters from Spectral Study
- Author
-
Debnath, Dipak, Nath, Sujoy Kumar, Chatterjee, Debjit, Chatterjee, Kaushik, and Chang, Hsiang-Kuang
- Subjects
Astrophysics - High Energy Astrophysical Phenomena - Abstract
The recently discovered bright transient black hole candidate Swift J1727.8-1613 is studied in a broad energy range ($0.5-79$ keV) using combined NICER and NuSTAR data on 29 August 2023. A promonient type-C Quasi-Periodic Oscillation (QPO) at $0.89 \pm 0.01$ Hz with its harmonic was observed in NICER data of $0.5-10$ keV. Interestingly, the harmonic becomes weaker in the lower energy bands ($0.5-1$ & $1-3$ keV). We also report the first detection of a soft time-lag of $0.014 \pm 0.001$ s at the QPO frequency between harder ($3-10$ kev) and softer ($0.5-3$ keV) band photons observed with the NICER/XTI instrument. This indicates that the inclination of the accretion disk in the binary system might be high. From the detailed spectral analysis with the relxill reflection model, we found the disk inclination angle of source to be $\sim 85^\circ$. We discuss how the accretion flow configuration inferred from spectral analysis can help us to understand the origin of QPOs and soft lag in this source., Comment: 10 pages, 4 figures, 1 table (in press ApJ)
- Published
- 2024
10. ESIGMAHM: An Eccentric, Spinning inspiral-merger-ringdown waveform model with Higher Modes for the detection and characterization of binary black holes
- Author
-
Paul, Kaushik, Maurya, Akash, Henry, Quentin, Sharma, Kartikey, Satheesh, Pranav, Divyajyoti, Kumar, Prayush, and Mishra, Chandra Kant
- Subjects
General Relativity and Quantum Cosmology ,Astrophysics - High Energy Astrophysical Phenomena - Abstract
We present a time-domain inspiral-merger-ringdowm (IMR) waveform model ESIGMAHM constructed within a framework we named ESIGMA for coalescing binaries of spinning black holes on moderately eccentric orbits (Huerta et al. (2018) [Phys. Rev. D 97, 024031]). We now include the effect of black hole spins on the dynamics of eccentric binaries, as well as model sub-dominant waveform harmonics emitted by them. The inspiral evolution is described by a consistent combination of latest results from post-Newtonian theory, self-force, and black hole perturbation theory. We assume that these moderately eccentric binaries radiate away most of their orbital eccentricity before merger, and seamlessly connect the eccentric inspiral with a numerical relativity based surrogate waveform model for mergers of spinning binaries on quasi-circular orbits. We validate ESIGMAHM against eccentric Numerical Relativity simulations, and also against contemporary effective-one-body and phenomenological models in the quasi-circular limit. We find that ESIGMAHM achieves match values greater than $99\%$ for quasi-circular spin-aligned binaries with mass ratios up to $8$, and above $97\%$ for non-spinning and spinning eccentric systems with small or positively aligned spins. Using IMRESIGMA, we quantify the impact of orbital eccentricity on GW signals, showing that next-generation detectors can detect eccentric sources up to $10\%$ louder than quasi-circular ones. We also show that current templated LIGO-Virgo searches will lose more than $10\%$ of optimal SNR for about $20\%$ of all eccentric sources by using only quasi-circular waveform templates. The same will result in a $25\%$ loss in detection rate for eccentric sources with mass ratios $m_1/m_2\geq 4$. Our results highlight the need for including eccentricity and higher-order modes in GW source models and searches for asymmetric eccentric BBH signals.
- Published
- 2024
11. Impact of grain boundary energy anisotropy on grain growth
- Author
-
Naghibzadeh, S. Kiana, Xu, Zipeng, Kinderlehrer, David, Suter, Robert, Dayal, Kaushik, and Rohrer, Gregory S.
- Subjects
Condensed Matter - Materials Science - Abstract
A threshold dynamics model of grain growth that accounts for the anisotropy in the grain boundary energy has been used to simulate experimentally observed grain growth of polycrystalline Ni. The simulation reproduces several aspects of the observed microstructural evolution that are not found in the results of simulations assuming isotropic properties. For example, the relative areas of the lowest-energy twin boundaries increase as the grains grow and the average grain boundary energy decreases with grain growth. This decrease in energy occurs because the population of higher-energy grain boundaries decreases while the population of lower-energy boundaries increases as the total grain boundary area decreases. This phenomenon emerges from the assumption of anisotropic grain boundary energies without modification of the energy minimizing algorithm. These findings are consistent with the observation that, in addition to the decrease in grain boundary area, additional energy is dissipated during grain growth by a decrease in the average grain boundary energy.
- Published
- 2024
- Full Text
- View/download PDF
12. Cyclicity Analysis of the Ornstein-Uhlenbeck Process
- Author
-
Kaushik, Vivek
- Subjects
Mathematics - Statistics Theory ,Mathematics - Dynamical Systems ,Mathematics - Probability ,Statistics - Other Statistics - Abstract
In this thesis, we consider an $N$-dimensional Ornstein-Uhlenbeck (OU) process satisfying the linear stochastic differential equation $d\mathbf x(t) = - \mathbf B\mathbf x(t) dt + \boldsymbol \Sigma d \mathbf w(t).$ Here, $\mathbf B$ is a fixed $N \times N$ circulant friction matrix whose eigenvalues have positive real parts, $\boldsymbol \Sigma$ is a fixed $N \times M$ matrix. We consider a signal propagation model governed by this OU process. In this model, an underlying signal propagates throughout a network consisting of $N$ linked sensors located in space. We interpret the $n$-th component of the OU process as the measurement of the propagating effect made by the $n$-th sensor. The matrix $\mathbf B$ represents the sensor network structure: if $\mathbf B$ has first row $(b_1 \ , \ \dots \ , \ b_N),$ where $b_1>0$ and $b_2 \ , \ \dots \ ,\ b_N \le 0,$ then the magnitude of $b_p$ quantifies how receptive the $n$-th sensor is to activity within the $(n+p-1)$-th sensor. Finally, the $(m,n)$-th entry of the matrix $\mathbf D = \frac{\boldsymbol \Sigma \boldsymbol \Sigma^\text T}{2}$ is the covariance of the component noises injected into the $m$-th and $n$-th sensors. For different choices of $\mathbf B$ and $\boldsymbol \Sigma,$ we investigate whether Cyclicity Analysis enables us to recover the structure of network. Roughly speaking, Cyclicity Analysis studies the lead-lag dynamics pertaining to the components of a multivariate signal. We specifically consider an $N \times N$ skew-symmetric matrix $\mathbf Q,$ known as the lead matrix, in which the sign of its $(m,n)$-th entry captures the lead-lag relationship between the $m$-th and $n$-th component OU processes. We investigate whether the structure of the leading eigenvector of $\mathbf Q,$ the eigenvector corresponding to the largest eigenvalue of $\mathbf Q$ in modulus, reflects the network structure induced by $\mathbf B.$, Comment: Ph.D. thesis successfully defended and deposited in July 2024. To appear in the IDEALS repository
- Published
- 2024
13. Learnings from a Large-Scale Deployment of an LLM-Powered Expert-in-the-Loop Healthcare Chatbot
- Author
-
Sachdeva, Bhuvan, Ramjee, Pragnya, Fulari, Geeta, Murali, Kaushik, and Jain, Mohit
- Subjects
Computer Science - Human-Computer Interaction - Abstract
Large Language Models (LLMs) are widely used in healthcare, but limitations like hallucinations, incomplete information, and bias hinder their reliability. To address these, researchers released the Build Your Own expert Bot (BYOeB) platform, enabling developers to create LLM-powered chatbots with integrated expert verification. CataractBot, its first implementation, provides expert-verified responses to cataract surgery questions. A pilot evaluation showed its potential; however the study had a small sample size and was primarily qualitative. In this work, we conducted a large-scale 24-week deployment of CataractBot involving 318 patients and attendants who sent 1,992 messages, with 91.71% of responses verified by seven experts. Analysis of interaction logs revealed that medical questions significantly outnumbered logistical ones, hallucinations were negligible, and experts rated 84.52% of medical answers as accurate. As the knowledge base expanded with expert corrections, system performance improved by 19.02%, reducing expert workload. These insights guide the design of future LLM-powered chatbots., Comment: The first two authors contributed equally to this research
- Published
- 2024
14. ASMA: An Adaptive Safety Margin Algorithm for Vision-Language Drone Navigation via Scene-Aware Control Barrier Functions
- Author
-
Sanyal, Sourav and Roy, Kaushik
- Subjects
Computer Science - Robotics ,Computer Science - Artificial Intelligence ,Electrical Engineering and Systems Science - Image and Video Processing ,Electrical Engineering and Systems Science - Systems and Control - Abstract
In the rapidly evolving field of vision-language navigation (VLN), ensuring robust safety mechanisms remains an open challenge. Control barrier functions (CBFs) are efficient tools which guarantee safety by solving an optimal control problem. In this work, we consider the case of a teleoperated drone in a VLN setting, and add safety features by formulating a novel scene-aware CBF using ego-centric observations obtained through an RGB-D sensor. As a baseline, we implement a vision-language understanding module which uses the contrastive language image pretraining (CLIP) model to query about a user-specified (in natural language) landmark. Using the YOLO (You Only Look Once) object detector, the CLIP model is queried for verifying the cropped landmark, triggering downstream navigation. To improve navigation safety of the baseline, we propose ASMA -- an Adaptive Safety Margin Algorithm -- that crops the drone's depth map for tracking moving object(s) to perform scene-aware CBF evaluation on-the-fly. By identifying potential risky observations from the scene, ASMA enables real-time adaptation to unpredictable environmental conditions, ensuring optimal safety bounds on a VLN-powered drone actions. Using the robot operating system (ROS) middleware on a parrot bebop2 quadrotor in the gazebo environment, ASMA offers 59.4% - 61.8% increase in success rates with insignificant 5.4% - 8.2% increases in trajectory lengths compared to the baseline CBF-less VLN while recovering from unsafe situations.
- Published
- 2024
15. SHIRE: Enhancing Sample Efficiency using Human Intuition in REinforcement Learning
- Author
-
Joshi, Amogh, Kosta, Adarsh Kumar, and Roy, Kaushik
- Subjects
Computer Science - Machine Learning ,Computer Science - Neural and Evolutionary Computing ,Computer Science - Robotics - Abstract
The ability of neural networks to perform robotic perception and control tasks such as depth and optical flow estimation, simultaneous localization and mapping (SLAM), and automatic control has led to their widespread adoption in recent years. Deep Reinforcement Learning has been used extensively in these settings, as it does not have the unsustainable training costs associated with supervised learning. However, DeepRL suffers from poor sample efficiency, i.e., it requires a large number of environmental interactions to converge to an acceptable solution. Modern RL algorithms such as Deep Q Learning and Soft Actor-Critic attempt to remedy this shortcoming but can not provide the explainability required in applications such as autonomous robotics. Humans intuitively understand the long-time-horizon sequential tasks common in robotics. Properly using such intuition can make RL policies more explainable while enhancing their sample efficiency. In this work, we propose SHIRE, a novel framework for encoding human intuition using Probabilistic Graphical Models (PGMs) and using it in the Deep RL training pipeline to enhance sample efficiency. Our framework achieves 25-78% sample efficiency gains across the environments we evaluate at negligible overhead cost. Additionally, by teaching RL agents the encoded elementary behavior, SHIRE enhances policy explainability. A real-world demonstration further highlights the efficacy of policies trained using our framework.
- Published
- 2024
16. Growth-Induced Unconventional Magnetic Anisotropy in Co/Fullerene (C60) Bilayer Systems; Insights from a Two-Grain Stoner-Wohlfarth Model
- Author
-
Kaushik, Sonia, Raj, Rakhul, Gupta, Pooja, Venkatesh, R, Chumakov, Andrei, Schwartzkopf, Matthias, Reddy, V Raghavendra, and Kumar, Dileep
- Subjects
Condensed Matter - Materials Science - Abstract
Organic spintronics has drawn the interest of the science community due to various applications in spin-valve devices. However, an efficient room-temperature Organic Spin Valve device has not been experimentally realized due to the complicated spin transport at the metal-organic interfaces. The present study focuses on a comprehensive understanding of the interfacial properties essential for advancing device performance and functionality. The structural and magnetic properties of the ultra-thin Cobalt (Co) films deposited on the fullerene (C60) layer are studied to investigate the origin of magnetic anisotropy in the metal-organic bilayer structures. Due to the mechanical softness of C60, penetration of ferromagnetic Co atoms inside the C60 film is confirmed by the X-ray reflectivity and Secondary Ion Mass Spectroscopy measurements. Grazing incidence small-angle X-ray scattering and atomic force microscopy provided information regarding the structural and morphological properties of the Co/C60 bilayers, angular dependent Magneto-optic Kerr effect measurements with varying Co layer thickness provided information about the growth-induced uniaxial magnetic anisotropy. In contrast to the inorganic silicon substrates, magnetic anisotropy in Co film tends to develop at 25 {\AA} thickness on the C60 layer, which further increases with the thickness of Cobalt. The anomalous behavior in coercivity and remanence variation along the nominal hard axis is explained by a two-grain Stoner-Wohlfarth model with intergranular exchange coupling. It is further confirmed by a non-uniform spatial distribution of magnetic domains investigated through Kerr microscopy. These anomalies could be attributed to the distribution of magneto-crystalline anisotropy and inhomogeneous strain caused by the formation of a diffused layer at the Co/C60 interface., Comment: 18 pages, 13 Figures
- Published
- 2024
17. MANGO: Disentangled Image Transformation Manifolds with Grouped Operators
- Author
-
Ancelin, Brighton, Chen, Yenho, Guan, Peimeng, Kaushik, Chiraag, Martin-Urcelay, Belen, Saad-Falcon, Alex, and Singh, Nakul
- Subjects
Electrical Engineering and Systems Science - Image and Video Processing ,Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Machine Learning ,I.2.6 ,I.4.2 ,I.4.7 ,I.4.10 ,I.5.1 - Abstract
Learning semantically meaningful image transformations (i.e. rotation, thickness, blur) directly from examples can be a challenging task. Recently, the Manifold Autoencoder (MAE) proposed using a set of Lie group operators to learn image transformations directly from examples. However, this approach has limitations, as the learned operators are not guaranteed to be disentangled and the training routine is prohibitively expensive when scaling up the model. To address these limitations, we propose MANGO (transformation Manifolds with Grouped Operators) for learning disentangled operators that describe image transformations in distinct latent subspaces. Moreover, our approach allows practitioners the ability to define which transformations they aim to model, thus improving the semantic meaning of the learned operators. Through our experiments, we demonstrate that MANGO enables composition of image transformations and introduces a one-phase training routine that leads to a 100x speedup over prior works., Comment: Submitted to IEEE ICASSP 2025. This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
- Published
- 2024
18. CACER: Clinical Concept Annotations for Cancer Events and Relations
- Author
-
Fu, Yujuan, Ramachandran, Giridhar Kaushik, Halwani, Ahmad, McInnes, Bridget T., Xia, Fei, Lybarger, Kevin, Yetisgen, Meliha, and Uzuner, Özlem
- Subjects
Computer Science - Computation and Language - Abstract
Clinical notes contain unstructured representations of patient histories, including the relationships between medical problems and prescription drugs. To investigate the relationship between cancer drugs and their associated symptom burden, we extract structured, semantic representations of medical problem and drug information from the clinical narratives of oncology notes. We present Clinical Concept Annotations for Cancer Events and Relations (CACER), a novel corpus with fine-grained annotations for over 48,000 medical problems and drug events and 10,000 drug-problem and problem-problem relations. Leveraging CACER, we develop and evaluate transformer-based information extraction (IE) models such as BERT, Flan-T5, Llama3, and GPT-4 using fine-tuning and in-context learning (ICL). In event extraction, the fine-tuned BERT and Llama3 models achieved the highest performance at 88.2-88.0 F1, which is comparable to the inter-annotator agreement (IAA) of 88.4 F1. In relation extraction, the fine-tuned BERT, Flan-T5, and Llama3 achieved the highest performance at 61.8-65.3 F1. GPT-4 with ICL achieved the worst performance across both tasks. The fine-tuned models significantly outperformed GPT-4 in ICL, highlighting the importance of annotated training data and model optimization. Furthermore, the BERT models performed similarly to Llama3. For our task, LLMs offer no performance advantage over the smaller BERT models. The results emphasize the need for annotated training data to optimize models. Multiple fine-tuned transformer models achieved performance comparable to IAA for several extraction tasks., Comment: This is a pre-copy-editing, author-produced PDF of an article accepted for publication in JAMIA following peer review. The definitive publisher-authenticated version is available online at https://academic.oup.com/jamia/advance-article/doi/10.1093/jamia/ocae231/7748302
- Published
- 2024
- Full Text
- View/download PDF
19. On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
- Author
-
Shi, Kaiyan, Chakraborty, Kaushik, Kon, Wen Yu, Amer, Omar, Pistoia, Marco, and Lim, Charles
- Subjects
Quantum Physics ,Computer Science - Cryptography and Security - Abstract
We initiate the study of relativistic zero-knowledge quantum proof of knowledge systems with classical communication, formally defining a number of useful concepts and constructing appropriate knowledge extractors for all the existing protocols in the relativistic setting which satisfy a weaker variant of the special soundness property due to Unruh (EUROCRYPT 2012). We show that there exists quantum proofs of knowledge with knowledge error 1/2 + negl({\eta}) for all relations in NP via a construction of such a system for the Hamiltonian cycle relation using a general relativistic commitment scheme exhibiting the fairly-binding property due to Fehr and Fillinger (EUROCRYPT 2016). We further show that one can construct quantum proof of knowledge extractors for proof systems which do not exhibit special soundness, and therefore require an extractor to rewind multiple times. We develop a new multi-prover quantum rewinding technique by combining ideas from monogamy of entanglement and gentle measurement lemmas that can break the quantum rewinding barrier. Finally, we prove a new bound on the impact of consecutive measurements and use it to significantly improve the soundness bound of some existing relativistic zero knowledge proof systems, such as the one due to Chailloux and Leverrier (EUROCRYPT 2017)., Comment: 37 pages
- Published
- 2024
20. Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
- Author
-
Kaushik, Kartik, Halder, Raju, and Mondal, Samrat
- Subjects
Computer Science - Software Engineering ,Computer Science - Programming Languages - Abstract
Invariants are essential for ensuring the security and correctness of Solidity smart contracts, particularly in the context of blockchain's immutability and decentralized execution. This paper introduces InvSol, a novel framework for pre-deployment invariant generation tailored specifically for Solidity smart contracts. Unlike existing solutions, namely InvCon, InvCon+, and Trace2Inv, that rely on post-deployment transaction histories on Ethereum mainnet, InvSol identifies invariants before deployment and offers comprehensive coverage of Solidity language constructs, including loops. Additionally, InvSol incorporates custom templates to effectively prevent critical issues such as reentrancy, out-of-gas errors, and exceptions during invariant generation. We rigorously evaluate InvSol using a benchmark set of smart contracts and compare its performance with state-of-the-art solutions. Our findings reveal that InvSol significantly outperforms these tools, demonstrating its effectiveness in handling new contracts with limited transaction histories. Notably, InvSol achieves a 15% improvement in identifying common vulnerabilities compared to InvCon+ and is able to address certain crucial vulnerabilities using specific invariant templates, better than Trace2Inv.
- Published
- 2024
21. Influence of incomplete fusion in $^{12}$C+$^{193}$Ir at $E_{lab}$ = 64-84 MeV
- Author
-
Amanjot, Priyanka, Kaur, Rupinderjeet, Kumar, Subham, Kaushik, Malika, Sharma, Manoj Kumar, Jangid, Yashraj, Kumar, Rakesh, and Singh, Pushpendra P.
- Subjects
Nuclear Experiment - Abstract
Excitation functions of several evaporation residues populated via complete and/or incomplete fusion in $^{12}$C+$^{193}$Ir system have been measured at energies $\approx$ 64-84 MeV, and analyzed in the framework of theoretical model code PACE4. It has been found that the $xn$ channels are predominantly populated via complete fusion; however, some of the $pxn$ channels decay via their precursor. A significant enhancement has been observed in the case of $\alpha$-emitting channels over PACE4 calculations, indicating the onset of a reaction mechanism not included in this code, e.g., incomplete fusion. For better insights into the onset and influence of incomplete fusion, the percentage fraction of incomplete fusion has been deduced and analyzed in terms of different entrance-channel parameters. The findings of the present study underline the importance of projectile energy, entrance-channel mass-asymmetry, and the Coulomb factor of interacting partners. The impact of projectile break-up on complete fusion has also been discussed in the framework of the Universal Fusion Function, where suppression of $\approx$ 12$\%$ has been observed in the fusion function. The finding of the present work reinstates that the fusion suppression is affected by the projectile $\alpha$-break-up threshold.
- Published
- 2024
22. End equilibrium state of a spherical gravitational collapse in the presence of matter and scalar field
- Author
-
Debnath, Debanjan, Dey, Dipanjan, and Bhattacharya, Kaushik
- Subjects
General Relativity and Quantum Cosmology - Abstract
We explore the possibilities of modeling a spherically symmetric static spacetime that can emerge as the end state of gravitational collapse, by considering it to be seeded by a composite fluid made of matter and a scalar field. In this scenario, the matter represents dark matter, while the scalar field represents dark energy. On certain scales, dark energy is believed to significantly influence the structure formation of dark matter. Various models describe the possible impacts of dark energy on structure formation under different scenarios. By investigating an inhomogeneous scalar field representing dark energy, coupled with dark matter, we demonstrate that this two-component fluid can seed spacetimes forming the final equilibrium state. We derive solutions for the scalar field and potential for Joshi-Malafarina-Narayan (JMN) spacetimes., Comment: 15 pages, 3 figures
- Published
- 2024
23. Potential of Raman scattering in probing magnetic excitations and their coupling to lattice dynamics
- Author
-
Kumawat, Reshma, Farswan, Shubham, Kaur, Simranjeet, Bhatia, Smriti, and Sen, Kaushik
- Subjects
Condensed Matter - Strongly Correlated Electrons ,Condensed Matter - Materials Science - Abstract
Raman scattering is an excellent method for simultaneously determining the dynamics of lattice, spin, and charge degrees of freedom. Furthermore, polarization selection rules in Raman scattering enable momentum-resolved quasiparticle dynamics. In this review, we highlight the potential of Raman scattering in probing magnetic quasiparticles or excitations in various magnetic materials. We demonstrate how temperature-dependent Raman scattering data can confirm the existence of magnons in long-range ordered magnets and fractionalized excitations in Kitaev spin liquid candidates. To make this review easily understandable to novices, we provide background information on magnons and fractionalized excitations, and explain how they become visible in the Raman scattering process. We also show how to estimate magnetic exchange interactions from the data. For both types of magnetic materials, we discuss the impact of spin-phonon coupling on the lineshape of the phonon modes. In terms of materials, we present magnetic Raman scattering data of antiferromagnetic Sr2IrO4 and La2CuO4, ferromagnetic CrI3 monolayers, and Kitaev spin liquid candidates {\alpha}-RuCl3 and \b{eta}-Li2IrO3. Overall, our review demonstrates the versatility of the Raman scattering technique in probing quasiparticles in magnetic quantum materials. The review aims to inform young experimental researchers about the potential of Raman scattering, thereby motivating them to use this technique in their research., Comment: It is a review article
- Published
- 2024
- Full Text
- View/download PDF
24. A microscopic approach to the problem of enhancement and suppression of superconductivity on twinning planes
- Author
-
Talkachov, Anton, Kaushik, Sahal, and Babaev, Egor
- Subjects
Condensed Matter - Superconductivity - Abstract
Using a microscopic approach, we revisit the problem of superconducting critical temperature change in the presence of twin boundaries. We show that both critical temperature enhancement and suppression can come purely from geometric effects. These include aspects of scattering of electrons on these crystalline defects even when the coupling constant is unchanged. We consider two dimensional rectangular and three dimensional body centered cubic lattices with onsite s-wave superconducting pairing, nearest and next-to-nearest neighbor hoppings. In the considered two dimensional lattice with twin boundaries, the superconducting critical temperature associated with twinning planes is suppressed for moderate band filling and enhanced for an almost empty/filled band. The superconducting phase diagram is more diverse for the three dimensional lattice, which is caused by the interplay of van Hove singularity, changing coordination number, and modification of distances to nearest and next-to-nearest neighbors., Comment: 9 pages, 8 figures
- Published
- 2024
25. DCT-CryptoNets: Scaling Private Inference in the Frequency Domain
- Author
-
Roy, Arjun and Roy, Kaushik
- Subjects
Computer Science - Cryptography and Security ,Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Machine Learning - Abstract
The convergence of fully homomorphic encryption (FHE) and machine learning offers unprecedented opportunities for private inference of sensitive data. FHE enables computation directly on encrypted data, safeguarding the entire machine learning pipeline, including data and model confidentiality. However, existing FHE-based implementations for deep neural networks face significant challenges in computational cost, latency, and scalability, limiting their practical deployment. This paper introduces DCT-CryptoNets, a novel approach that leverages frequency-domain learning to tackle these issues. Our method operates directly in the frequency domain, utilizing the discrete cosine transform (DCT) commonly employed in JPEG compression. This approach is inherently compatible with remote computing services, where images are usually transmitted and stored in compressed formats. DCT-CryptoNets reduces the computational burden of homomorphic operations by focusing on perceptually relevant low-frequency components. This is demonstrated by substantial latency reduction of up to 5.3$\times$ compared to prior work on image classification tasks, including a novel demonstration of ImageNet inference within 2.5 hours, down from 12.5 hours compared to prior work on equivalent compute resources. Moreover, DCT-CryptoNets improves the reliability of encrypted accuracy by reducing variability (e.g., from $\pm$2.5\% to $\pm$1.0\% on ImageNet). This study demonstrates a promising avenue for achieving efficient and practical privacy-preserving deep learning on high resolution images seen in real-world applications., Comment: Under Review; 10 pages content, 3 pages appendix, 4 figures, 8 tables; Code TBD
- Published
- 2024
26. Interplay between Nucleation and Kinetics in Dynamic Twinning
- Author
-
Chua, Janel, Agrawal, Vaibhav, Walkington, Noel, Gazonas, George, and Dayal, Kaushik
- Subjects
Condensed Matter - Materials Science - Abstract
In this work, we apply a phase-field modeling framework to elucidate the interplay between nucleation and kinetics in the dynamic evolution of twinning interfaces. The key feature of this phase-field approach is the ability to transparently and explicitly specify nucleation and kinetic behavior in the model, in contrast to other regularized interface models. We use this to study 2 distinct problems where it is essential to explicitly specify the kinetic and nucleation behavior governing twin evolution. First, we study twinning interfaces in 2-d. When these interfaces are driven to move, we find that significant levels of twin nucleation occur ahead of the moving interface. Essentially, the finite interface velocity and the relaxation time of the stresses ahead of the interface allows for nucleation to occur before the interface is able to propagate to that point. Second, we study the growth of needle twins in antiplane elasticity. We show that both nucleation and anisotropic kinetics are essential to obtain predictions of needle twins. While standard regularized interface approaches do not permit the transparent specification of anisotropic kinetics, this is readily possible with the phase-field approach that we have used here., Comment: To appear in Journal of Applied Mechanics
- Published
- 2024
- Full Text
- View/download PDF
27. High-Q Slow-Wave Coplanar Waveguides
- Author
-
Hsu, Heng-Chia, Dasgupta, Kaushik, Neihart, Nathan M., Shekhar, Sudip, Walling, Jeffrey S., and Allstot, David J.
- Subjects
Physics - Applied Physics ,Condensed Matter - Materials Science - Abstract
A comprehensive study of methods of maximizing Q for slow-wave coplanar waveguides is described. In addition to the widths of the signal conductor and coplanar ground lines and the distance between them, the length, spacing and stacking of the metal layers of the substrate shield strips are also shown to be critical in maximizing performance. Measured results from more than 50 different devices show that a 7X increase in the quality factor (e.g., Q > 70 at 24 GHz in 0.18 {\mu}m CMOS) is achievable using the optimum topology with optimum dimensions., Comment: 14 pages, 17 figures
- Published
- 2024
28. Hierarchical Structured Neural Network for Retrieval
- Author
-
Rangadurai, Kaushik, Yuan, Siyang, Huang, Minhui, Liu, Yiqun, Ghasemiesfeh, Golnaz, Pu, Yunchen, Xie, Xinfeng, He, Xingfeng, Xu, Fangzhou, Cui, Andrew, Viswanathan, Vidhoon, Dong, Yan, Xiong, Liang, Yang, Lin, Wang, Liang, Yang, Jiyan, and Sun, Chonglin
- Subjects
Computer Science - Information Retrieval ,Computer Science - Artificial Intelligence - Abstract
Embedding Based Retrieval (EBR) is a crucial component of the retrieval stage in (Ads) Recommendation System that utilizes Two Tower or Siamese Networks to learn embeddings for both users and items (ads). It then employs an Approximate Nearest Neighbor Search (ANN) to efficiently retrieve the most relevant ads for a specific user. Despite the recent rise to popularity in the industry, they have a couple of limitations. Firstly, Two Tower model architecture uses a single dot product interaction which despite their efficiency fail to capture the data distribution in practice. Secondly, the centroid representation and cluster assignment, which are components of ANN, occur after the training process has been completed. As a result, they do not take into account the optimization criteria used for retrieval model. In this paper, we present Hierarchical Structured Neural Network (HSNN), a deployed jointly optimized hierarchical clustering and neural network model that can take advantage of sophisticated interactions and model architectures that are more common in the ranking stages while maintaining a sub-linear inference cost. We achieve 6.5% improvement in offline evaluation and also demonstrate 1.22% online gains through A/B experiments. HSNN has been successfully deployed into the Ads Recommendation system and is currently handling major portion of the traffic. The paper shares our experience in developing this system, dealing with challenges like freshness, volatility, cold start recommendations, cluster collapse and lessons deploying the model in a large scale retrieval production system., Comment: 9 pages
- Published
- 2024
29. Imagen 3
- Author
-
Imagen-Team-Google, Baldridge, Jason, Bauer, Jakob, Bhutani, Mukul, Brichtova, Nicole, Bunner, Andrew, Chan, Kelvin, Chen, Yichang, Dieleman, Sander, Du, Yuqing, Eaton-Rosen, Zach, Fei, Hongliang, de Freitas, Nando, Gao, Yilin, Gladchenko, Evgeny, Colmenarejo, Sergio Gómez, Guo, Mandy, Haig, Alex, Hawkins, Will, Hu, Hexiang, Huang, Huilian, Igwe, Tobenna Peter, Kaplanis, Christos, Khodadadeh, Siavash, Kim, Yelin, Konyushkova, Ksenia, Langner, Karol, Lau, Eric, Luo, Shixin, Mokrá, Soňa, Nandwani, Henna, Onoe, Yasumasa, Oord, Aäron van den, Parekh, Zarana, Pont-Tuset, Jordi, Qi, Hang, Qian, Rui, Ramachandran, Deepak, Rane, Poorva, Rashwan, Abdullah, Razavi, Ali, Riachi, Robert, Srinivasan, Hansa, Srinivasan, Srivatsan, Strudel, Robin, Uria, Benigno, Wang, Oliver, Wang, Su, Waters, Austin, Wolff, Chris, Wright, Auriel, Xiao, Zhisheng, Xiong, Hao, Xu, Keyang, van Zee, Marc, Zhang, Junlin, Zhang, Katie, Zhou, Wenlei, Zolna, Konrad, Aboubakar, Ola, Akbulut, Canfer, Akerlund, Oscar, Albuquerque, Isabela, Anderson, Nina, Andreetto, Marco, Aroyo, Lora, Bariach, Ben, Barker, David, Ben, Sherry, Berman, Dana, Biles, Courtney, Blok, Irina, Botadra, Pankil, Brennan, Jenny, Brown, Karla, Buckley, John, Bunel, Rudy, Bursztein, Elie, Butterfield, Christina, Caine, Ben, Carpenter, Viral, Casagrande, Norman, Chang, Ming-Wei, Chang, Solomon, Chaudhuri, Shamik, Chen, Tony, Choi, John, Churbanau, Dmitry, Clement, Nathan, Cohen, Matan, Cole, Forrester, Dektiarev, Mikhail, Du, Vincent, Dutta, Praneet, Eccles, Tom, Elue, Ndidi, Feden, Ashley, Fruchter, Shlomi, Garcia, Frankie, Garg, Roopal, Ge, Weina, Ghazy, Ahmed, Gipson, Bryant, Goodman, Andrew, Górny, Dawid, Gowal, Sven, Gupta, Khyatti, Halpern, Yoni, Han, Yena, Hao, Susan, Hayes, Jamie, Hertz, Amir, Hirst, Ed, Hou, Tingbo, Howard, Heidi, Ibrahim, Mohamed, Ike-Njoku, Dirichi, Iljazi, Joana, Ionescu, Vlad, Isaac, William, Jana, Reena, Jennings, Gemma, Jenson, Donovon, Jia, Xuhui, Jones, Kerry, Ju, Xiaoen, Kajic, Ivana, Ayan, Burcu Karagol, Kelly, Jacob, Kothawade, Suraj, Kouridi, Christina, Ktena, Ira, Kumakaw, Jolanda, Kurniawan, Dana, Lagun, Dmitry, Lavitas, Lily, Lee, Jason, Li, Tao, Liang, Marco, Li-Calis, Maggie, Liu, Yuchi, Alberca, Javier Lopez, Lu, Peggy, Lum, Kristian, Ma, Yukun, Malik, Chase, Mellor, John, Mosseri, Inbar, Murray, Tom, Nematzadeh, Aida, Nicholas, Paul, Oliveira, João Gabriel, Ortiz-Jimenez, Guillermo, Paganini, Michela, Paine, Tom Le, Paiss, Roni, Parrish, Alicia, Peckham, Anne, Peswani, Vikas, Petrovski, Igor, Pfaff, Tobias, Pirozhenko, Alex, Poplin, Ryan, Prabhu, Utsav, Qi, Yuan, Rahtz, Matthew, Rashtchian, Cyrus, Rastogi, Charvi, Raul, Amit, Rebuffi, Sylvestre-Alvise, Ricco, Susanna, Riedel, Felix, Robinson, Dirk, Rohatgi, Pankaj, Rosgen, Bill, Rumbley, Sarah, Ryu, Moonkyung, Salgado, Anthony, Singla, Sahil, Schroff, Florian, Schumann, Candice, Shah, Tanmay, Shillingford, Brendan, Shivakumar, Kaushik, Shtatnov, Dennis, Singer, Zach, Sluzhaev, Evgeny, Sokolov, Valerii, Sottiaux, Thibault, Stimberg, Florian, Stone, Brad, Stutz, David, Su, Yu-Chuan, Tabellion, Eric, Tang, Shuai, Tao, David, Thomas, Kurt, Thornton, Gregory, Toor, Andeep, Udrescu, Cristian, Upadhyay, Aayush, Vasconcelos, Cristina, Vasiloff, Alex, Voynov, Andrey, Walker, Amanda, Wang, Luyu, Wang, Miaosen, Wang, Simon, Wang, Stanley, Wang, Qifei, Wang, Yuxiao, Weisz, Ágoston, Wiles, Olivia, Wu, Chenxia, Xu, Xingyu Federico, Xue, Andrew, Yang, Jianbo, Yu, Luo, Yurtoglu, Mete, Zand, Ali, Zhang, Han, Zhang, Jiageng, Zhao, Catherine, Zhaxybay, Adilet, Zhou, Miao, Zhu, Shengqi, Zhu, Zhenkai, Bloxwich, Dawn, Bordbar, Mahyar, Cobo, Luis C., Collins, Eli, Dai, Shengyang, Doshi, Tulsee, Dragan, Anca, Eck, Douglas, Hassabis, Demis, Hsiao, Sissie, Hume, Tom, Kavukcuoglu, Koray, King, Helen, Krawczyk, Jack, Li, Yeqing, Meier-Hellstern, Kathy, Orban, Andras, Pinsky, Yury, Subramanya, Amar, Vinyals, Oriol, Yu, Ting, and Zwols, Yori
- Subjects
Computer Science - Computer Vision and Pattern Recognition - Abstract
We introduce Imagen 3, a latent diffusion model that generates high quality images from text prompts. We describe our quality and responsibility evaluations. Imagen 3 is preferred over other state-of-the-art (SOTA) models at the time of evaluation. In addition, we discuss issues around safety and representation, as well as methods we used to minimize the potential harm of our models.
- Published
- 2024
30. LOLgorithm: Integrating Semantic,Syntactic and Contextual Elements for Humor Classification
- Author
-
Khurana, Tanisha, Pillalamarri, Kaushik, Pande, Vikram, and Singh, Munindar
- Subjects
Computer Science - Computation and Language ,Computer Science - Artificial Intelligence ,Computer Science - Machine Learning - Abstract
This paper explores humor detection through a linguistic lens, prioritizing syntactic, semantic, and contextual features over computational methods in Natural Language Processing. We categorize features into syntactic, semantic, and contextual dimensions, including lexicons, structural statistics, Word2Vec, WordNet, and phonetic style. Our proposed model, Colbert, utilizes BERT embeddings and parallel hidden layers to capture sentence congruity. By combining syntactic, semantic, and contextual features, we train Colbert for humor detection. Feature engineering examines essential syntactic and semantic features alongside BERT embeddings. SHAP interpretations and decision trees identify influential features, revealing that a holistic approach improves humor detection accuracy on unseen data. Integrating linguistic cues from different dimensions enhances the model's ability to understand humor complexity beyond traditional computational methods.
- Published
- 2024
31. Approximate ADCs for In-Memory Computing
- Author
-
Ghosh, Arkapravo, Sadana, Hemkar Reddy, Debnath, Mukut, Maji, Panthadip, Negi, Shubham, Gupta, Sumeet, Sharad, Mrigank, and Roy, Kaushik
- Subjects
Computer Science - Emerging Technologies ,Computer Science - Hardware Architecture ,Computer Science - Machine Learning ,Computer Science - Neural and Evolutionary Computing - Abstract
In memory computing (IMC) architectures for deep learning (DL) accelerators leverage energy-efficient and highly parallel matrix vector multiplication (MVM) operations, implemented directly in memory arrays. Such IMC designs have been explored based on CMOS as well as emerging non-volatile memory (NVM) technologies like RRAM. IMC architectures generally involve a large number of cores consisting of memory arrays, storing the trained weights of the DL model. Peripheral units like DACs and ADCs are also used for applying inputs and reading out the output values. Recently reported designs reveal that the ADCs required for reading out the MVM results, consume more than 85% of the total compute power and also dominate the area, thereby eschewing the benefits of the IMC scheme. Mitigation of imperfections in the ADCs, namely, non-linearity and variations, incur significant design overheads, due to dedicated calibration units. In this work we present peripheral aware design of IMC cores, to mitigate such overheads. It involves incorporating the non-idealities of ADCs in the training of the DL models, along with that of the memory units. The proposed approach applies equally well to both current mode as well as charge mode MVM operations demonstrated in recent years., and can significantly simplify the design of mixed-signal IMC units.
- Published
- 2024
32. Eigen Attention: Attention in Low-Rank Space for KV Cache Compression
- Author
-
Saxena, Utkarsh, Saha, Gobinda, Choudhary, Sakshi, and Roy, Kaushik
- Subjects
Computer Science - Machine Learning ,Computer Science - Artificial Intelligence ,Computer Science - Computation and Language - Abstract
Large language models (LLMs) represent a groundbreaking advancement in the domain of natural language processing due to their impressive reasoning abilities. Recently, there has been considerable interest in increasing the context lengths for these models to enhance their applicability to complex tasks. However, at long context lengths and large batch sizes, the key-value (KV) cache, which stores the attention keys and values, emerges as the new bottleneck in memory usage during inference. To address this, we propose Eigen Attention, which performs the attention operation in a low-rank space, thereby reducing the KV cache memory overhead. Our proposed approach is orthogonal to existing KV cache compression techniques and can be used synergistically with them. Through extensive experiments over OPT, MPT, and Llama model families, we demonstrate that Eigen Attention results in up to 40% reduction in KV cache sizes and up to 60% reduction in attention operation latency with minimal drop in performance., Comment: 12 page, 6 figures, 6 tables
- Published
- 2024
33. Optimal Dispersion of Silent Robots in a Ring
- Author
-
Das, Bibhuti, Gorain, Barun, Mondal, Kaushik, Mukhopadhyaya, Krishnendu, and Pandit, Supantha
- Subjects
Computer Science - Distributed, Parallel, and Cluster Computing - Abstract
Given a set of co-located mobile robots in an unknown anonymous graph, the robots must relocate themselves in distinct graph nodes to solve the dispersion problem. In this paper, we consider the dispersion problem for silent robots \cite{gorain2024collaborative}, i.e., no direct, explicit communication between any two robots placed in the nodes of an oriented $n$ node ring network. The robots operate in synchronous rounds. The dispersion problem for silent mobile robots has been studied in arbitrary graphs where the robots start from a single source. In this paper, we focus on the dispersion problem for silent mobile robots where robots can start from multiple sources. The robots have unique labels from a range $[0,\;L]$ for some positive integer $L$. Any two co-located robots do not have the information about the label of the other robot. The robots have weak multiplicity detection capability, which means they can determine if it is alone on a node. The robots are assumed to be able to identify an increase or decrease in the number of robots present on a node in a particular round. However, the robots can not get the exact number of increase or decrease in the number of robots. We have proposed a deterministic distributed algorithm that solves the dispersion of $k$ robots in an oriented ring in $O(\log L+k)$ synchronous rounds with $O(\log L)$ bits of memory for each robot. A lower bound $\Omega(\log L+k)$ on time for the dispersion of $k$ robots on a ring network is presented to establish the optimality of the proposed algorithm.
- Published
- 2024
34. On the Robustness of Malware Detectors to Adversarial Samples
- Author
-
Salman, Muhammad, Zhao, Benjamin Zi Hao, Asghar, Hassan Jameel, Ikram, Muhammad, Kaushik, Sidharth, and Kaafar, Mohamed Ali
- Subjects
Computer Science - Cryptography and Security ,Computer Science - Machine Learning - Abstract
Adversarial examples add imperceptible alterations to inputs with the objective to induce misclassification in machine learning models. They have been demonstrated to pose significant challenges in domains like image classification, with results showing that an adversarially perturbed image to evade detection against one classifier is most likely transferable to other classifiers. Adversarial examples have also been studied in malware analysis. Unlike images, program binaries cannot be arbitrarily perturbed without rendering them non-functional. Due to the difficulty of crafting adversarial program binaries, there is no consensus on the transferability of adversarially perturbed programs to different detectors. In this work, we explore the robustness of malware detectors against adversarially perturbed malware. We investigate the transferability of adversarial attacks developed against one detector, against other machine learning-based malware detectors, and code similarity techniques, specifically, locality sensitive hashing-based detectors. Our analysis reveals that adversarial program binaries crafted for one detector are generally less effective against others. We also evaluate an ensemble of detectors and show that they can potentially mitigate the impact of adversarial program binaries. Finally, we demonstrate that substantial program changes made to evade detection may result in the transformation technique being identified, implying that the adversary must make minimal changes to the program binary., Comment: This is the full version of the paper with the same title to appear in the proceedings of the 2024 Workshop on Security and Artificial Intelligence (SECAI 2024)
- Published
- 2024
35. Rate-Splitting Multiple Access for GEO-LEO Coexisting Satellite Systems: A Traffic-Aware Throughput Maximization Precoder Design
- Author
-
Ryu, Jaehak, Kaushik, Aryan, Lee, Byungju, and Shin, Wonjae
- Subjects
Computer Science - Information Theory ,Electrical Engineering and Systems Science - Systems and Control - Abstract
The frequency coexistence between geostationary orbit (GEO) and low earth orbit (LEO) satellite systems is expected to be a promising approach for relieving spectrum scarcity. However, it is essential to manage mutual interference between GEO and LEO satellite systems for frequency coexistence. Specifically, \emph{in-line interference}, caused by LEO satellites moving near the line-of-sight path between GEO satellite and GEO users (GUs), can significantly degrade GEO system throughput. This paper put forth a novel rate-splitting multiple access (RSMA) with a super-common message for GEO-LEO coexisting satellite systems (CSS). By employing a super-common message that GUs can decode, GUs can mitigate the in-line interference by successive interference cancellation (SIC). Moreover, we formulate a traffic-aware throughput maximization (TTM) problem to satisfy the heterogeneous traffic demands of users by minimizing total unmet throughput demands (or user dissatisfaction). By doing so, the TTM precoder can be flexibly adjusted according to the interference leakage from LEO satellites to GUs and target traffic demands. Numerical results confirm that our proposed method ensures seamless connectivity even in the GEO-LEO in-line interference regime under imperfect channel state information (CSI) at both the transmitter and receiver., Comment: 17 pages, 4 figures, 1 table
- Published
- 2024
36. SHA-CNN: Scalable Hierarchical Aware Convolutional Neural Network for Edge AI
- Author
-
Dhakad, Narendra Singh, Malhotra, Yuvnish, Vishvakarma, Santosh Kumar, and Roy, Kaushik
- Subjects
Computer Science - Neural and Evolutionary Computing - Abstract
This paper introduces a Scalable Hierarchical Aware Convolutional Neural Network (SHA-CNN) model architecture for Edge AI applications. The proposed hierarchical CNN model is meticulously crafted to strike a balance between computational efficiency and accuracy, addressing the challenges posed by resource-constrained edge devices. SHA-CNN demonstrates its efficacy by achieving accuracy comparable to state-of-the-art hierarchical models while outperforming baseline models in accuracy metrics. The key innovation lies in the model's hierarchical awareness, enabling it to discern and prioritize relevant features at multiple levels of abstraction. The proposed architecture classifies data in a hierarchical manner, facilitating a nuanced understanding of complex features within the datasets. Moreover, SHA-CNN exhibits a remarkable capacity for scalability, allowing for the seamless incorporation of new classes. This flexibility is particularly advantageous in dynamic environments where the model needs to adapt to evolving datasets and accommodate additional classes without the need for extensive retraining. Testing has been conducted on the PYNQ Z2 FPGA board to validate the proposed model. The results achieved an accuracy of 99.34%, 83.35%, and 63.66% for MNIST, CIFAR-10, and CIFAR-100 datasets, respectively. For CIFAR-100, our proposed architecture performs hierarchical classification with 10% reduced computation while compromising only 0.7% accuracy with the state-of-the-art. The adaptability of SHA-CNN to FPGA architecture underscores its potential for deployment in edge devices, where computational resources are limited. The SHA-CNN framework thus emerges as a promising advancement in the intersection of hierarchical CNNs, scalability, and FPGA-based Edge AI.
- Published
- 2024
37. The Llama 3 Herd of Models
- Author
-
Dubey, Abhimanyu, Jauhri, Abhinav, Pandey, Abhinav, Kadian, Abhishek, Al-Dahle, Ahmad, Letman, Aiesha, Mathur, Akhil, Schelten, Alan, Yang, Amy, Fan, Angela, Goyal, Anirudh, Hartshorn, Anthony, Yang, Aobo, Mitra, Archi, Sravankumar, Archie, Korenev, Artem, Hinsvark, Arthur, Rao, Arun, Zhang, Aston, Rodriguez, Aurelien, Gregerson, Austen, Spataru, Ava, Roziere, Baptiste, Biron, Bethany, Tang, Binh, Chern, Bobbie, Caucheteux, Charlotte, Nayak, Chaya, Bi, Chloe, Marra, Chris, McConnell, Chris, Keller, Christian, Touret, Christophe, Wu, Chunyang, Wong, Corinne, Ferrer, Cristian Canton, Nikolaidis, Cyrus, Allonsius, Damien, Song, Daniel, Pintz, Danielle, Livshits, Danny, Esiobu, David, Choudhary, Dhruv, Mahajan, Dhruv, Garcia-Olano, Diego, Perino, Diego, Hupkes, Dieuwke, Lakomkin, Egor, AlBadawy, Ehab, Lobanova, Elina, Dinan, Emily, Smith, Eric Michael, Radenovic, Filip, Zhang, Frank, Synnaeve, Gabriel, Lee, Gabrielle, Anderson, Georgia Lewis, Nail, Graeme, Mialon, Gregoire, Pang, Guan, Cucurell, Guillem, Nguyen, Hailey, Korevaar, Hannah, Xu, Hu, Touvron, Hugo, Zarov, Iliyan, Ibarra, Imanol Arrieta, Kloumann, Isabel, Misra, Ishan, Evtimov, Ivan, Copet, Jade, Lee, Jaewon, Geffert, Jan, Vranes, Jana, Park, Jason, Mahadeokar, Jay, Shah, Jeet, van der Linde, Jelmer, Billock, Jennifer, Hong, Jenny, Lee, Jenya, Fu, Jeremy, Chi, Jianfeng, Huang, Jianyu, Liu, Jiawen, Wang, Jie, Yu, Jiecao, Bitton, Joanna, Spisak, Joe, Park, Jongsoo, Rocca, Joseph, Johnstun, Joshua, Saxe, Joshua, Jia, Junteng, Alwala, Kalyan Vasuden, Upasani, Kartikeya, Plawiak, Kate, Li, Ke, Heafield, Kenneth, Stone, Kevin, El-Arini, Khalid, Iyer, Krithika, Malik, Kshitiz, Chiu, Kuenley, Bhalla, Kunal, Rantala-Yeary, Lauren, van der Maaten, Laurens, Chen, Lawrence, Tan, Liang, Jenkins, Liz, Martin, Louis, Madaan, Lovish, Malo, Lubo, Blecher, Lukas, Landzaat, Lukas, de Oliveira, Luke, Muzzi, Madeline, Pasupuleti, Mahesh, Singh, Mannat, Paluri, Manohar, Kardas, Marcin, Oldham, Mathew, Rita, Mathieu, Pavlova, Maya, Kambadur, Melanie, Lewis, Mike, Si, Min, Singh, Mitesh Kumar, Hassan, Mona, Goyal, Naman, Torabi, Narjes, Bashlykov, Nikolay, Bogoychev, Nikolay, Chatterji, Niladri, Duchenne, Olivier, Çelebi, Onur, Alrassy, Patrick, Zhang, Pengchuan, Li, Pengwei, Vasic, Petar, Weng, Peter, Bhargava, Prajjwal, Dubal, Pratik, Krishnan, Praveen, Koura, Punit Singh, Xu, Puxin, He, Qing, Dong, Qingxiao, Srinivasan, Ragavan, Ganapathy, Raj, Calderer, Ramon, Cabral, Ricardo Silveira, Stojnic, Robert, Raileanu, Roberta, Girdhar, Rohit, Patel, Rohit, Sauvestre, Romain, Polidoro, Ronnie, Sumbaly, Roshan, Taylor, Ross, Silva, Ruan, Hou, Rui, Wang, Rui, Hosseini, Saghar, Chennabasappa, Sahana, Singh, Sanjay, Bell, Sean, Kim, Seohyun Sonia, Edunov, Sergey, Nie, Shaoliang, Narang, Sharan, Raparthy, Sharath, Shen, Sheng, Wan, Shengye, Bhosale, Shruti, Zhang, Shun, Vandenhende, Simon, Batra, Soumya, Whitman, Spencer, Sootla, Sten, Collot, Stephane, Gururangan, Suchin, Borodinsky, Sydney, Herman, Tamar, Fowler, Tara, Sheasha, Tarek, Georgiou, Thomas, Scialom, Thomas, Speckbacher, Tobias, Mihaylov, Todor, Xiao, Tong, Karn, Ujjwal, Goswami, Vedanuj, Gupta, Vibhor, Ramanathan, Vignesh, Kerkez, Viktor, Gonguet, Vincent, Do, Virginie, Vogeti, Vish, Petrovic, Vladan, Chu, Weiwei, Xiong, Wenhan, Fu, Wenyin, Meers, Whitney, Martinet, Xavier, Wang, Xiaodong, Tan, Xiaoqing Ellen, Xie, Xinfeng, Jia, Xuchao, Wang, Xuewei, Goldschlag, Yaelle, Gaur, Yashesh, Babaei, Yasmine, Wen, Yi, Song, Yiwen, Zhang, Yuchen, Li, Yue, Mao, Yuning, Coudert, Zacharie Delpierre, Yan, Zheng, Chen, Zhengxing, Papakipos, Zoe, Singh, Aaditya, Grattafiori, Aaron, Jain, Abha, Kelsey, Adam, Shajnfeld, Adam, Gangidi, Adithya, Victoria, Adolfo, Goldstand, Ahuva, Menon, Ajay, Sharma, Ajay, Boesenberg, Alex, Vaughan, Alex, Baevski, Alexei, Feinstein, Allie, Kallet, Amanda, Sangani, Amit, Yunus, Anam, Lupu, Andrei, Alvarado, Andres, Caples, Andrew, Gu, Andrew, Ho, Andrew, Poulton, Andrew, Ryan, Andrew, Ramchandani, Ankit, Franco, Annie, Saraf, Aparajita, Chowdhury, Arkabandhu, Gabriel, Ashley, Bharambe, Ashwin, Eisenman, Assaf, Yazdan, Azadeh, James, Beau, Maurer, Ben, Leonhardi, Benjamin, Huang, Bernie, Loyd, Beth, De Paola, Beto, Paranjape, Bhargavi, Liu, Bing, Wu, Bo, Ni, Boyu, Hancock, Braden, Wasti, Bram, Spence, Brandon, Stojkovic, Brani, Gamido, Brian, Montalvo, Britt, Parker, Carl, Burton, Carly, Mejia, Catalina, Wang, Changhan, Kim, Changkyu, Zhou, Chao, Hu, Chester, Chu, Ching-Hsiang, Cai, Chris, Tindal, Chris, Feichtenhofer, Christoph, Civin, Damon, Beaty, Dana, Kreymer, Daniel, Li, Daniel, Wyatt, Danny, Adkins, David, Xu, David, Testuggine, Davide, David, Delia, Parikh, Devi, Liskovich, Diana, Foss, Didem, Wang, Dingkang, Le, Duc, Holland, Dustin, Dowling, Edward, Jamil, Eissa, Montgomery, Elaine, Presani, Eleonora, Hahn, Emily, Wood, Emily, Brinkman, Erik, Arcaute, Esteban, Dunbar, Evan, Smothers, Evan, Sun, Fei, Kreuk, Felix, Tian, Feng, Ozgenel, Firat, Caggioni, Francesco, Guzmán, Francisco, Kanayet, Frank, Seide, Frank, Florez, Gabriela Medina, Schwarz, Gabriella, Badeer, Gada, Swee, Georgia, Halpern, Gil, Thattai, Govind, Herman, Grant, Sizov, Grigory, Guangyi, Zhang, Lakshminarayanan, Guna, Shojanazeri, Hamid, Zou, Han, Wang, Hannah, Zha, Hanwen, Habeeb, Haroun, Rudolph, Harrison, Suk, Helen, Aspegren, Henry, Goldman, Hunter, Damlaj, Ibrahim, Molybog, Igor, Tufanov, Igor, Veliche, Irina-Elena, Gat, Itai, Weissman, Jake, Geboski, James, Kohli, James, Asher, Japhet, Gaya, Jean-Baptiste, Marcus, Jeff, Tang, Jeff, Chan, Jennifer, Zhen, Jenny, Reizenstein, Jeremy, Teboul, Jeremy, Zhong, Jessica, Jin, Jian, Yang, Jingyi, Cummings, Joe, Carvill, Jon, Shepard, Jon, McPhie, Jonathan, Torres, Jonathan, Ginsburg, Josh, Wang, Junjie, Wu, Kai, U, Kam Hou, Saxena, Karan, Prasad, Karthik, Khandelwal, Kartikay, Zand, Katayoun, Matosich, Kathy, Veeraraghavan, Kaushik, Michelena, Kelly, Li, Keqian, Huang, Kun, Chawla, Kunal, Lakhotia, Kushal, Huang, Kyle, Chen, Lailin, Garg, Lakshya, A, Lavender, Silva, Leandro, Bell, Lee, Zhang, Lei, Guo, Liangpeng, Yu, Licheng, Moshkovich, Liron, Wehrstedt, Luca, Khabsa, Madian, Avalani, Manav, Bhatt, Manish, Tsimpoukelli, Maria, Mankus, Martynas, Hasson, Matan, Lennie, Matthew, Reso, Matthias, Groshev, Maxim, Naumov, Maxim, Lathi, Maya, Keneally, Meghan, Seltzer, Michael L., Valko, Michal, Restrepo, Michelle, Patel, Mihir, Vyatskov, Mik, Samvelyan, Mikayel, Clark, Mike, Macey, Mike, Wang, Mike, Hermoso, Miquel Jubert, Metanat, Mo, Rastegari, Mohammad, Bansal, Munish, Santhanam, Nandhini, Parks, Natascha, White, Natasha, Bawa, Navyata, Singhal, Nayan, Egebo, Nick, Usunier, Nicolas, Laptev, Nikolay Pavlovich, Dong, Ning, Zhang, Ning, Cheng, Norman, Chernoguz, Oleg, Hart, Olivia, Salpekar, Omkar, Kalinli, Ozlem, Kent, Parkin, Parekh, Parth, Saab, Paul, Balaji, Pavan, Rittner, Pedro, Bontrager, Philip, Roux, Pierre, Dollar, Piotr, Zvyagina, Polina, Ratanchandani, Prashant, Yuvraj, Pritish, Liang, Qian, Alao, Rachad, Rodriguez, Rachel, Ayub, Rafi, Murthy, Raghotham, Nayani, Raghu, Mitra, Rahul, Li, Raymond, Hogan, Rebekkah, Battey, Robin, Wang, Rocky, Maheswari, Rohan, Howes, Russ, Rinott, Ruty, Bondu, Sai Jayesh, Datta, Samyak, Chugh, Sara, Hunt, Sara, Dhillon, Sargun, Sidorov, Sasha, Pan, Satadru, Verma, Saurabh, Yamamoto, Seiji, Ramaswamy, Sharadh, Lindsay, Shaun, Feng, Sheng, Lin, Shenghao, Zha, Shengxin Cindy, Shankar, Shiva, Zhang, Shuqiang, Wang, Sinong, Agarwal, Sneha, Sajuyigbe, Soji, Chintala, Soumith, Max, Stephanie, Chen, Stephen, Kehoe, Steve, Satterfield, Steve, Govindaprasad, Sudarshan, Gupta, Sumit, Cho, Sungmin, Virk, Sunny, Subramanian, Suraj, Choudhury, Sy, Goldman, Sydney, Remez, Tal, Glaser, Tamar, Best, Tamara, Kohler, Thilo, Robinson, Thomas, Li, Tianhe, Zhang, Tianjun, Matthews, Tim, Chou, Timothy, Shaked, Tzook, Vontimitta, Varun, Ajayi, Victoria, Montanez, Victoria, Mohan, Vijai, Kumar, Vinay Satish, Mangla, Vishal, Albiero, Vítor, Ionescu, Vlad, Poenaru, Vlad, Mihailescu, Vlad Tiberiu, Ivanov, Vladimir, Li, Wei, Wang, Wenchen, Jiang, Wenwen, Bouaziz, Wes, Constable, Will, Tang, Xiaocheng, Wang, Xiaofang, Wu, Xiaojian, Wang, Xiaolan, Xia, Xide, Wu, Xilun, Gao, Xinbo, Chen, Yanjun, Hu, Ye, Jia, Ye, Qi, Ye, Li, Yenda, Zhang, Yilin, Zhang, Ying, Adi, Yossi, Nam, Youngjin, Yu, Wang, Hao, Yuchen, Qian, Yundi, He, Yuzi, Rait, Zach, DeVito, Zachary, Rosnbrick, Zef, Wen, Zhaoduo, Yang, Zhenyu, and Zhao, Zhiwei
- Subjects
Computer Science - Artificial Intelligence ,Computer Science - Computation and Language ,Computer Science - Computer Vision and Pattern Recognition - Abstract
Modern artificial intelligence (AI) systems are powered by foundation models. This paper presents a new set of foundation models, called Llama 3. It is a herd of language models that natively support multilinguality, coding, reasoning, and tool usage. Our largest model is a dense Transformer with 405B parameters and a context window of up to 128K tokens. This paper presents an extensive empirical evaluation of Llama 3. We find that Llama 3 delivers comparable quality to leading language models such as GPT-4 on a plethora of tasks. We publicly release Llama 3, including pre-trained and post-trained versions of the 405B parameter language model and our Llama Guard 3 model for input and output safety. The paper also presents the results of experiments in which we integrate image, video, and speech capabilities into Llama 3 via a compositional approach. We observe this approach performs competitively with the state-of-the-art on image, video, and speech recognition tasks. The resulting models are not yet being broadly released as they are still under development.
- Published
- 2024
38. Analyzing Customer-Facing Vendor Experiences with Time Series Forecasting and Monte Carlo Techniques
- Author
-
Kaushik, Vivek and Tang, Jason
- Subjects
Statistics - Machine Learning ,Computer Science - Machine Learning ,Statistics - Computation ,62M10 - Abstract
eBay partners with external vendors, which allows customers to freely select a vendor to complete their eBay experiences. However, vendor outages can hinder customer experiences. Consequently, eBay can disable a problematic vendor to prevent customer loss. Disabling the vendor too late risks losing customers willing to switch to other vendors, while disabling it too early risks losing those unwilling to switch. In this paper, we propose a data-driven solution to answer whether eBay should disable a problematic vendor and when to disable it. Our solution involves forecasting customer behavior. First, we use a multiplicative seasonality model to represent behavior if all vendors are fully functioning. Next, we use a Monte Carlo simulation to represent behavior if the problematic vendor remains enabled. Finally, we use a linear model to represent behavior if the vendor is disabled. By comparing these forecasts, we determine the optimal time for eBay to disable the problematic vendor.
- Published
- 2024
39. Prospects of five-dimensional $L_\mu-L_\tau$ gauge interactions in the light of elastic neutrino-electron scatterings: the scope of the DUNE near detector
- Author
-
Chakraborty, Dibyendu, Chatterjee, Arindam, Kaushik, Ayushi, and Nishiwaki, Kenji
- Subjects
High Energy Physics - Phenomenology ,High Energy Physics - Experiment - Abstract
We discuss the future prospects of a minimally five-dimensional version of the well-motivated scenario for addressing the discrepancy in the muon anomalous magnetic moment, the $U(1)_{L_\mu - L_\tau}$ extension of the standard model (SM) gauge symmetry. Here, multiple associated massive gauge bosons appear thanks to the five-dimensional $U(1)_{L_\mu - L_\tau}$ gauge symmetry, and they contribute to the muon $(g-2)$ and also other processes. We focus on the powerful probe of elastic neutrino-electron scatterings since the upcoming DUNE experiment will explore MeV-scale uncharted regions by previous experiments (e.g., CHARM-II and Borexino) in the near future. We found that even with small kinetic mixing parameters, much of the parameter space, including those satisfying muon $(g-2)$, can be probed using several years of data from the DUNE experiment, focusing on the near detector. In our scenario, interference effects between intermediate-state gauge bosons play an important role. Our results include comparisons between flat and warped extra dimensions., Comment: 40 pages, 7 figures
- Published
- 2024
40. Validating Mean Field Theory in a New Complex, Disordered High-Entropy Spinel Oxide
- Author
-
Sharma, Neha, Sharma, Nikita, Sharma, Jyoti, Kaushik, S. D., Mahatha, Sanjoy Kr., Chakraborty, Tirthankar, and Marik, Sourav
- Subjects
Condensed Matter - Strongly Correlated Electrons - Abstract
The advent of novel high-entropy oxides has sparked substantial research interest due to their exceptional functional properties, which often surpass the mere sum of their constituent elements' characteristics. This study introduces a complex high-entropy spinel oxide with composition (Ni$_{0.2}$Mg$_{0.2}$Co$_{0.2}$Cu$_{0.2}$Zn$_{0.2}$)(Mn$_{0.66}$Fe$_{0.66}$Cr$_{0.66}$)O$_{4}$. We performed comprehensive structural (X-ray and Neutron diffraction), microstructural, magnetic, and local electronic structure investigations on this material. Despite the material's high degree of disorder, detailed magnetization measurements and low temperature neutron powder diffraction studies reveal long-range ferrimagnetic ordering beginning at 293 K. The sample exhibits a high saturation magnetization of 766 emu-cm${^3}$ (at 50 K), a low coercivity (H$_C$) of 100 Oe (50 K), a high transition temperature (T$_C$) around room temperature, and high resistivity value of 4000 Ohm-cm at room temperature, indicating its potential for high density memory devices. The magnetic structure is determined using a collinear-type ferrimagnetic model with a propagation vector k = 0,0,0. Various analytical techniques, including modified Arrott plots, Kouvel-Fischer analysis, and critical isotherm analysis, are employed to investigate the phase transitions and magnetic properties of this complex system. Our results indicate a second-order phase transition. Remarkably, despite the complex structure and significant disorder, the critical exponents obtained are consistent with the mean field model. The high entropy leads to a remarkably homogeneous distribution of multiple cations, validating the approximation of average local magnetic environments and supporting the mean field theory.
- Published
- 2024
41. Neurosymbolic AI for Enhancing Instructability in Generative AI
- Author
-
Sheth, Amit, Pallagani, Vishal, and Roy, Kaushik
- Subjects
Computer Science - Artificial Intelligence ,Computer Science - Human-Computer Interaction - Abstract
Generative AI, especially via Large Language Models (LLMs), has transformed content creation across text, images, and music, showcasing capabilities in following instructions through prompting, largely facilitated by instruction tuning. Instruction tuning is a supervised fine-tuning method where LLMs are trained on datasets formatted with specific tasks and corresponding instructions. This method systematically enhances the model's ability to comprehend and execute the provided directives. Despite these advancements, LLMs still face challenges in consistently interpreting complex, multi-step instructions and generalizing them to novel tasks, which are essential for broader applicability in real-world scenarios. This article explores why neurosymbolic AI offers a better path to enhance the instructability of LLMs. We explore the use a symbolic task planner to decompose high-level instructions into structured tasks, a neural semantic parser to ground these tasks into executable actions, and a neuro-symbolic executor to implement these actions while dynamically maintaining an explicit representation of state. We also seek to show that neurosymbolic approach enhances the reliability and context-awareness of task execution, enabling LLMs to dynamically interpret and respond to a wider range of instructional contexts with greater precision and flexibility.
- Published
- 2024
42. HDRSplat: Gaussian Splatting for High Dynamic Range 3D Scene Reconstruction from Raw Images
- Author
-
Singh, Shreyas, Garg, Aryan, and Mitra, Kaushik
- Subjects
Computer Science - Computer Vision and Pattern Recognition ,Electrical Engineering and Systems Science - Image and Video Processing - Abstract
The recent advent of 3D Gaussian Splatting (3DGS) has revolutionized the 3D scene reconstruction space enabling high-fidelity novel view synthesis in real-time. However, with the exception of RawNeRF, all prior 3DGS and NeRF-based methods rely on 8-bit tone-mapped Low Dynamic Range (LDR) images for scene reconstruction. Such methods struggle to achieve accurate reconstructions in scenes that require a higher dynamic range. Examples include scenes captured in nighttime or poorly lit indoor spaces having a low signal-to-noise ratio, as well as daylight scenes with shadow regions exhibiting extreme contrast. Our proposed method HDRSplat tailors 3DGS to train directly on 14-bit linear raw images in near darkness which preserves the scenes' full dynamic range and content. Our key contributions are two-fold: Firstly, we propose a linear HDR space-suited loss that effectively extracts scene information from noisy dark regions and nearly saturated bright regions simultaneously, while also handling view-dependent colors without increasing the degree of spherical harmonics. Secondly, through careful rasterization tuning, we implicitly overcome the heavy reliance and sensitivity of 3DGS on point cloud initialization. This is critical for accurate reconstruction in regions of low texture, high depth of field, and low illumination. HDRSplat is the fastest method to date that does 14-bit (HDR) 3D scene reconstruction in $\le$15 minutes/scene ($\sim$30x faster than prior state-of-the-art RawNeRF). It also boasts the fastest inference speed at $\ge$120fps. We further demonstrate the applicability of our HDR scene reconstruction by showcasing various applications like synthetic defocus, dense depth map extraction, and post-capture control of exposure, tone-mapping and view-point.
- Published
- 2024
43. Affine Connection and Quantum Theory
- Author
-
Ghosh, Kaushik
- Subjects
General Relativity and Quantum Cosmology ,High Energy Physics - Theory - Abstract
In a few recent manuscripts, we used the affine connection to introduce two massless scalar fields in the Einstein-Palatini action. These fields lead to non-metricity. In this article, we will discuss the significance of these fields in inflation and dark energy. We will construct a Lagrangian formalism to include these scalar fields in a theory of gravity coupled with ordinary matter and radiation. We will find that these fields need not to be included in the actions of interacting gauge theories coupled with conserved fermionic vector currents as a part of the connection. The same remains valid for ordinary scalar fields. We can couple the connection-scalars with ordinary matter by adding suitable interaction terms. In this context, we will find that Stokes' theorem leads us to include the right-handed neutrinos in the electroweak theory in curved spacetime even with the Levi-Civita connection. This is required to obtain consistent equations of motion and anomaly-free conserved vector current for the neutrinos. Axial vector currents for different Dirac fields may remain anomalous. The right-handed neutrinos can be useful to explain neutrino oscillation and dark matter. We will also discuss the possibility of introducing massless finite integer spin particles using second rank symmetric traceless tensors with reference to the corresponding little group in flat spacetime. We will show that we can use massless (A,A) type fields in Minkowski space to introduce massless finite integer spin particles., Comment: 17 pages, accepted in Quantum Studies: Mathematics and Foundations
- Published
- 2024
- Full Text
- View/download PDF
44. Swift-BAT GUANO follow-up of gravitational-wave triggers in the third LIGO-Virgo-KAGRA observing run
- Author
-
Raman, Gayathri, Ronchini, Samuele, Delaunay, James, Tohuvavohu, Aaron, Kennea, Jamie A., Parsotan, Tyler, Ambrosi, Elena, Bernardini, Maria Grazia, Campana, Sergio, Cusumano, Giancarlo, D'Ai, Antonino, D'Avanzo, Paolo, D'Elia, Valerio, De Pasquale, Massimiliano, Dichiara, Simone, Evans, Phil, Hartmann, Dieter, Kuin, Paul, Melandri, Andrea, O'Brien, Paul, Osborne, Julian P., Page, Kim, Palmer, David M., Sbarufatti, Boris, Tagliaferri, Gianpiero, Troja, Eleonora, Abac, A. G., Abbott, R., Abe, H., Abouelfettouh, I., Acernese, F., Ackley, K., Adamcewicz, C., Adhicary, S., Adhikari, N., Adhikari, R. X., Adkins, V. K., Adya, V. B., Affeldt, C., Agarwal, D., Agathos, M., Aguiar, O. D., Aguilar, I., Aiello, L., Ain, A., Akutsu, T., Albanesi, S., Alfaidi, R. A., Al-Jodah, A., Alléné, C., Allocca, A., Al-Shammari, S., Altin, P. A., Alvarez-Lopez, S., Amato, A., Amez-Droz, L., Amorosi, A., Amra, C., Anand, S., Ananyeva, A., Anderson, S. B., Anderson, W. G., Andia, M., Ando, M., Andrade, T., Andres, N., Andrés-Carcasona, M., Andrić, T., Anglin, J., Ansoldi, S., Antelis, J. M., Antier, S., Aoumi, M., Appavuravther, E. Z., Appert, S., Apple, S. K., Arai, K., Araya, A., Araya, M. C., Areeda, J. S., Aritomi, N., Armato, F., Arnaud, N., Arogeti, M., Aronson, S. M., Ashton, G., Aso, Y., Assiduo, M., Melo, S. Assis de Souza, Aston, S. M., Astone, P., Aubin, F., AultONeal, K., Avallone, G., Babak, S., Badaracco, F., Badger, C., Bae, S., Bagnasco, S., Bagui, E., Bai, Y., Baier, J. G., Bajpai, R., Baka, T., Ball, M., Ballardin, G., Ballmer, S. W., Banagiri, S., Banerjee, B., Bankar, D., Baral, P., Barayoga, J. C., Barish, B. C., Barker, D., Barneo, P., Barone, F., Barr, B., Barsotti, L., Barsuglia, M., Barta, D., Barthelmy, S. D., Barton, M. A., Bartos, I., Basak, S., Basalaev, A., Bassiri, R., Basti, A., Bawaj, M., Baxi, P., Bayley, J. C., Baylor, A. C., Bazzan, M., Bécsy, B., Bedakihale, V. M., Beirnaert, F., Bejger, M., Belardinelli, D., Bell, A. S., Benedetto, V., Beniwal, D., Benoit, W., Bentley, J. D., Yaala, M. Ben, Bera, S., Berbel, M., Bergamin, F., Berger, B. K., Bernuzzi, S., Beroiz, M., Berry, C. P. L., Bersanetti, D., Bertolini, A., Betzwieser, J., Beveridge, D., Bevins, N., Bhandare, R., Bhardwaj, U., Bhatt, R., Bhattacharjee, D., Bhaumik, S., Bhowmick, S., Bianchi, A., Bilenko, I. A., Billingsley, G., Binetti, A., Bini, S., Birnholtz, O., Biscoveanu, S., Bisht, A., Bitossi, M., Bizouard, M. -A., Blackburn, J. K., Blair, C. D., Blair, D. G., Bobba, F., Bode, N., Bogaert, G., Boileau, G., Boldrini, M., Bolingbroke, G. N., Bolliand, A., Bonavena, L. D., Bondarescu, R., Bondu, F., Bonilla, E., Bonilla, M. S., Bonino, A., Bonnand, R., Booker, P., Borchers, A., Boschi, V., Bose, S., Bossilkov, V., Boudart, V., Boumerdassi, A., Bozzi, A., Bradaschia, C., Brady, P. R., Braglia, M., Branch, A., Branchesi, M., Breschi, M., Briant, T., Brillet, A., Brinkmann, M., Brockill, P., Brockmueller, E., Brooks, A. F., Brown, D. D., Brozzetti, M. L., Brunett, S., Bruno, G., Bruntz, R., Bryant, J., Bucci, F., Buchanan, J., Bulashenko, O., Bulik, T., Bulten, H. J., Buonanno, A., Burtnyk, K., Buscicchio, R., Buskulic, D., Buy, C., Byer, R. L., Davies, G. S. Cabourn, Cabras, G., Cabrita, R., Cadonati, L., Cagnoli, G., Cahillane, C., Bustillo, J. Calderón, Callaghan, J. D., Callister, T. A., Calloni, E., Camp, J. B., Canepa, M., Santoro, G. Caneva, Cannavacciuolo, M., Cannon, K. C., Cao, H., Cao, Z., Capistran, L. A., Capocasa, E., Capote, E., Carapella, G., Carbognani, F., Carlassara, M., Carlin, J. B., Carpinelli, M., Carrillo, G., Carter, J. J., Carullo, G., Diaz, J. Casanueva, Casentini, C., Castaldi, G., Castro-Lucas, S. Y., Caudill, S., Cavaglià, M., Cavalieri, R., Cella, G., Cerdá-Durán, P., Cesarini, E., Chaibi, W., Chakraborty, P., Subrahmanya, S. Chalathadka, Chan, C., Chan, J. C. L., Chan, K. H. M., Chan, M., Chan, W. L., Chandra, K., Chang, R. -J., Chanial, P., Chao, S., Chapman-Bird, C., Charlton, E. L., Charlton, P., Chassande-Mottin, E., Chatterjee, C., Chatterjee, Debarati, Chatterjee, Deep, Chaturvedi, M., Chaty, S., Chen, A., Chen, A. H. -Y., Chen, D., Chen, H., Chen, H. Y., Chen, K. H., Chen, X., Chen, Yi-Ru, Chen, Yanbei, Chen, Yitian, Cheng, H. P., Chessa, P., Cheung, H. T., Chia, H. Y., Chiadini, F., Chiang, C., Chiarini, G., Chiba, A., Chiba, R., Chierici, R., Chincarini, A., Chiofalo, M. L., Chiummo, A., Chou, C., Choudhary, S., Christensen, N., Chua, S. S. Y., Chung, K. W., Ciani, G., Ciecielag, P., Cieślar, M., Cifaldi, M., Ciobanu, A. A., Ciolfi, R., Clara, F., Clark, J. A., Clarke, T. A., Clearwater, P., Clesse, S., Cleva, F., Coccia, E., Codazzo, E., Cohadon, P. -F., Colleoni, M., Collette, C. G., Collins, J., Colloms, S., Colombo, A., Colpi, M., Compton, C. M., Conti, L., Cooper, S. J., Corbitt, T. R., Cordero-Carrión, I., Corezzi, S., Cornish, N. J., Corsi, A., Cortese, S., Costa, C. A., Cottingham, R., Coughlin, M. W., Couineaux, A., Coulon, J. -P., Countryman, S. T., Coupechoux, J. -F., Cousins, B., Couvares, P., Coward, D. M., Cowart, M. J., Coyne, D. C., Coyne, R., Craig, K., Creed, R., Creighton, J. D. E., Creighton, T. D., Cremonese, P., Criswell, A. W., Crockett-Gray, J. C. G., Croquette, M., Crouch, R., Crowder, S. G., Cudell, J. R., Cullen, T. J., Cumming, A., Cuoco, E., Cusinato, M., Dabadie, P., Canton, T. Dal, Dall'Osso, S., Dálya, G., D'Angelo, B., Danilishin, S., D'Antonio, S., Danzmann, K., Darroch, K. E., Dartez, L. P., Dasgupta, A., Datta, S., Dattilo, V., Daumas, A., Davari, N., Dave, I., Davenport, A., Davier, M., Davies, T. F., Davis, D., Davis, L., Davis, M. C., Daw, E. J., Dax, M., De Bolle, J., Deenadayalan, M., Degallaix, J., De Laurentis, M., Deléglise, S., Del Favero, V., De Lillo, F., Dell'Aquila, D., Del Pozzo, W., De Marco, F., De Matteis, F., D'Emilio, V., Demos, N., Dent, T., Depasse, A., DePergola, N., De Pietri, R., De Rosa, R., De Rossi, C., De Simone, R., Dhani, A., Dhurandhar, S., Diab, R., Díaz, M. C., Di Cesare, M., Dideron, G., Didio, N. A., Dietrich, T., Di Fiore, L., Di Fronzo, C., Di Giovanni, F., Di Giovanni, M., Di Girolamo, T., Diksha, D., Di Michele, A., Ding, J., Di Pace, S., Di Palma, I., Di Renzo, F., Divyajyoti, Dmitriev, A., Doctor, Z., Dohmen, E., Doleva, P. P., Donahue, L., D'Onofrio, L., Donovan, F., Dooley, K. L., Dooney, T., Doravari, S., Dorosh, O., Drago, M., Driggers, J. C., Drori, Y., Ducoin, J. -G., Dunn, L., Dupletsa, U., D'Urso, D., Duval, H., Duverne, P. -A., Dwyer, S. E., Eassa, C., Ebersold, M., Eckhardt, T., Eddolls, G., Edelman, B., Edo, T. B., Edy, O., Effler, A., Eichholz, J., Einsle, H., Eisenmann, M., Eisenstein, R. A., Ejlli, A., Emma, M., Engelby, E., Engl, A. J., Errico, L., Essick, R. C., Estellés, H., Estevez, D., Etzel, T., Evans, M., Evstafyeva, T., Ewing, B. E., Ezquiaga, J. M., Fabrizi, F., Faedi, F., Fafone, V., Fairhurst, S., Fan, P. C., Farah, A. M., Farr, B., Farr, W. M., Favaro, G., Favata, M., Fays, M., Fazio, M., Feicht, J., Fejer, M. M., Fenyvesi, E., Ferguson, D. L., Ferrante, I., Ferreira, T. A., Fidecaro, F., Fiori, A., Fiori, I., Fishbach, M., Fisher, R. P., Fittipaldi, R., Fiumara, V., Flaminio, R., Fleischer, S. M., Fleming, L. S., Floden, E., Foley, E. M., Fong, H., Font, J. A., Fornal, B., Forsyth, P. W. F., Franceschetti, K., Franchini, N., Frasca, S., Frasconi, F., Mascioli, A. Frattale, Frei, Z., Freise, A., Freitas, O., Frey, R., Frischhertz, W., Fritschel, P., Frolov, V. V., Fronzé, G. G., Fuentes-Garcia, M., Fujii, S., Fukunaga, I., Fulda, P., Fyffe, M., Gabella, W. E., Gadre, B., Gair, J. R., Galaudage, S., Gallardo, S., Gallego, B., Gamba, R., Gamboa, A., Ganapathy, D., Ganguly, A., Gaonkar, S. G., Garaventa, B., Garcia-Bellido, J., García-Núñez, C., García-Quirós, C., Gardner, J. W., Gardner, K. A., Gargiulo, J., Garron, A., Garufi, F., Gasbarra, C., Gateley, B., Gayathri, V., Gemme, G., Gennai, A., George, J., George, R., Gerberding, O., Gergely, L., Ghadiri, N., Ghosh, Archisman, Ghosh, Shaon, Ghosh, Shrobana, Ghosh, Suprovo, Ghosh, Tathagata, Giacoppo, L., Giaime, J. A., Giardina, K. D., Gibson, D. R., Gibson, D. T., Gier, C., Giri, P., Gissi, F., Gkaitatzis, S., Glanzer, J., Gleckl, A. E., Glotin, F., Godfrey, J., Godwin, P., Goebbels, N. L., Goetz, E., Golomb, J., Lopez, S. Gomez, Goncharov, B., González, G., Goodarzi, P., Goodwin-Jones, A. W., Gosselin, M., Göttel, A. S., Gouaty, R., Gould, D. W., Goyal, S., Grace, B., Grado, A., Graham, V., Granados, A. E., Granata, M., Granata, V., Argianas, L. Granda, Gras, S., Grassia, P., Gray, C., Gray, R., Greco, G., Green, A. C., Green, S. M., Green, S. R., Gretarsson, A. M., Gretarsson, E. M., Griffith, D., Griffiths, W. L., Griggs, H. L., Grignani, G., Grimaldi, A., Grimaud, C., Grote, H., Gruson, A. S., Guerra, D., Guetta, D., Guidi, G. M., Guimaraes, A. R., Gulati, H. K., Gulminelli, F., Gunny, A. M., Guo, H., Guo, W., Guo, Y., Gupta, Anchal, Gupta, Anuradha, Gupta, Ish, Gupta, N. C., Gupta, P., Gupta, S. K., Gupta, T., Gupte, N., Gurav, R., Gurs, J., Gutierrez, N., Guzman, F., Haba, D., Haberland, M., Haegel, L., Hain, G., Haino, S., Hall, E. D., Hamilton, E. Z., Hammond, G., Han, W. -B., Haney, M., Hanks, J., Hanna, C., Hannam, M. D., Hannuksela, O. A., Hanselman, A. G., Hansen, H., Hanson, J., Harada, R., Harder, T., Haris, K., Harmark, T., Harms, J., Harry, G. M., Harry, I. W., Haskell, B., Haster, C. -J., Hathaway, J. S., Haughian, K., Hayakawa, H., Hayama, K., Healy, J., Heffernan, A., Heidmann, A., Heintze, M. C., Heinze, J., Heinzel, J., Heitmann, H., Hellman, F., Hello, P., Helmling-Cornell, A. F., Hemming, G., Hendry, M., Heng, I. S., Hennes, E., Hennig, J. -S., Hennig, M., Henshaw, C., Hernandez, A., Hertog, T., Heurs, M., Hewitt, A. L., Higginbotham, S., Hild, S., Hill, P., Hill, S., Himemoto, Y., Hines, A. S., Hirata, N., Hirose, C., Ho, J., Hoang, S., Hochheim, S., Hofman, D., Holland, N. A., Holley-Bockelmann, K., Hollows, I. J., Holmes, Z. J., Holz, D. E., Hong, C., Hornung, J., Hoshino, S., Hough, J., Hourihane, S., Howell, E. J., Hoy, C. G., Hoyland, D., Hrishikesh, C. A., Hsieh, H. -F., Hsiung, C., Hsu, H. C., Hsu, S. -C., Hsu, W. -F., Hu, P., Hu, Q., Huang, H. Y., Huang, Y. -J., Huang, Y., Huang, Y. T., Huddart, A. D., Hughey, B., Hui, D. C. Y., Hui, V., Hur, R., Husa, S., Huxford, R., Huynh-Dinh, T., Iakovlev, A., Iandolo, G. A., Iess, A., Inayoshi, K., Inoue, Y., Iorio, G., Irwin, J., Isi, M., Ismail, M. A., Itoh, Y., Iwaya, M., Iyer, B. R., JaberianHamedan, V., Jacquet, P. -E., Jadhav, S. J., Jadhav, S. P., Jain, T., James, A. L., James, P. A., Jamshidi, R., Jan, A. Z., Jani, K., Janiurek, L., Janquart, J., Janssens, K., Janthalur, N. N., Jaraba, S., Jaranowski, P., Jasal, P., Jaume, R., Javed, W., Jennings, A., Jia, W., Jiang, J., Jin, H. -B., Johansmeyer, K., Johns, G. R., Johnson, N. A., Johnston, R., Johny, N., Jones, D. H., Jones, D. I., Jones, R., Jose, S., Joshi, P., Ju, L., Jung, K., Junker, J., Juste, V., Kajita, T., Kalaghatgi, C., Kalogera, V., Kamiizumi, M., Kanda, N., Kandhasamy, S., Kang, G., Kanner, J. B., Kapadia, S. J., Kapasi, D. P., Karat, S., Karathanasis, C., Karki, S., Kashyap, R., Kasprzack, M., Kastaun, W., Kato, J., Kato, T., Katsanevas, S., Katsavounidis, E., Katzman, W., Kaur, T., Kaushik, R., Kawabe, K., Keitel, D., Kelley-Derzon, J., Kennington, J., Kesharwani, R., Key, J. S., Khadka, S., Khalili, F. Y., Khan, F., Khan, I., Khanam, T., Khazanov, E. A., Khursheed, M., Kiendrebeogo, W., Kijbunchoo, N., Kim, C., Kim, J. C., Kim, K., Kim, M. H., Kim, S., Kim, W. S., Kim, Y. -M., Kimball, C., Kimura, N., Kinley-Hanlon, M., Kinnear, M., Kissel, J. S., Kiyota, T., Klimenko, S., Klinger, T., Knee, A. M., Knust, N., Koch, P., Koehlenbeck, S. M., Koekoek, G., Kohri, K., Kokeyama, K., Koley, S., Kolitsidou, P., Kolstein, M., Komori, K., Kong, A. K. H., Kontos, A., Korobko, M., Kossak, R. V., Kou, X., Koushik, A., Kouvatsos, N., Kovalam, M., Koyama, N., Kozak, D. B., Kranzhoff, S. L., Kringel, V., Krishnendu, N. V., Królak, A., Kuehn, G., Kuijer, P., Kulkarni, S., Ramamohan, A. Kulur, Kumar, A., Kumar, Praveen, Kumar, Prayush, Kumar, Rahul, Kumar, Rakesh, Kume, J., Kuns, K., Kuroyanagi, S., Kuwahara, S., Kwak, K., Kwan, K., Lacaille, G., Lagabbe, P., Laghi, D., Lai, S., Laity, A. H., Lakkis, M. H., Lalande, E., Lalleman, M., Landry, M., Lane, B. B., Lang, R. N., Lange, J., Lantz, B., La Rana, A., La Rosa, I., Lartaux-Vollard, A., Lasky, P. D., Lawrence, J., Laxen, M., Lazzarini, A., Lazzaro, C., Leaci, P., LeBohec, S., Lecoeuche, Y. K., Lee, H. M., Lee, H. W., Lee, K., Lee, R. -K., Lee, R., Lee, S., Lee, Y., Legred, I. N., Lehmann, J., Lehner, L., Lemaître, A., Lenti, M., Leonardi, M., Leonova, E., Lequime, M., Leroy, N., Lesovsky, M., Letendre, N., Lethuillier, M., Levesque, C., Levin, Y., Leyde, K., Li, A. K. Y., Li, K. L., Li, T. G. F., Li, X., Lin, Chien-Yu, Lin, Chun-Yu, Lin, E. T., Lin, F., Lin, H., Lin, L. C. -C., Linde, F., Linker, S. D., Littenberg, T. B., Liu, A., Liu, G. C., Liu, Jian, Llamas, F., Llobera-Querol, J., Lo, R. K. L., Locquet, J. -P., London, L., Longo, A., Lopez, D., Portilla, M. Lopez, Lorenzini, M., Loriette, V., Lormand, M., Losurdo, G., Lott IV, T. P., Lough, J. D., Loughlin, H. A., Lousto, C. O., Lowry, M. J., Lück, H., Lumaca, D., Lundgren, A. P., Lussier, A. W., Ma, L. -T., Ma, S., Ma'arif, M., Macas, R., MacInnis, M., Maciy, R. R., Macleod, D. M., MacMillan, I. A. O., Macquet, A., Macri, D., Maeda, K., Maenaut, S., Hernandez, I. Magaña, Magare, S. S., Magazzù, C., Magee, R. M., Maggio, E., Maggiore, R., Magnozzi, M., Mahesh, M., Mahesh, S., Maini, M., Majhi, S., Majorana, E., Makarem, C. N., Malaquias-Reis, J. A., Maliakal, S., Malik, A., Man, N., Mandic, V., Mangano, V., Mannix, B., Mansell, G. L., Manske, M., Mantovani, M., Mapelli, M., Marchesoni, F., Pina, D. Marín, Marion, F., Márka, S., Márka, Z., Markakis, C., Markosyan, A. S., Markowitz, A., Maros, E., Marquina, A., Marsat, S., Martelli, F., Martin, I. W., Martin, R. M., Martinez, B. B., Martinez, M., Martinez, V., Martini, A., Martinovic, K., Martins, J. C., Martynov, D. V., Marx, E. J., Massaro, L., Masserot, A., Masso-Reid, M., Mastrodicasa, M., Mastrogiovanni, S., Mateu-Lucena, M., Matiushechkina, M., Matsuyama, M., Mavalvala, N., Maxwell, N., McCarrol, G., McCarthy, R., McClelland, D. E., McCormick, S., McCuller, L., McGhee, G. I., McGowan, K. B. M., Mchedlidze, M., McIsaac, C., McIver, J., McKinney, K., McLeod, A., McRae, T., McWilliams, S. T., Meacher, D., Mehta, A. K., Meijer, Q., Melatos, A., Mellaerts, S., Menendez-Vazquez, A., Menoni, C. S., Mercer, R. A., Mereni, L., Merfeld, K., Merilh, E. L., Mérou, J. R., Merritt, J. D., Merzougui, M., Messenger, C., Messick, C., Meyer-Conde, M., Meylahn, F., Mhaske, A., Miani, A., Miao, H., Michaloliakos, I., Michel, C., Michimura, Y., Middleton, H., Miller, A. L., Miller, S., Millhouse, M., Milotti, E., Minenkov, Y., Mio, N., Mir, Ll. M., Mirasola, L., Miravet-Tenés, M., Miritescu, C. -A., Mishra, A. K., Mishra, A., Mishra, C., Mishra, T., Mitchell, A. L., Mitchell, J. G., Mitra, S., Mitrofanov, V. P., Mitselmakher, G., Mittleman, R., Miyakawa, O., Miyamoto, S., Miyoki, S., Mo, G., Mobilia, L., Modafferi, L. M., Mohapatra, S. R. P., Mohite, S. R., Molina-Ruiz, M., Mondal, C., Mondin, M., Montani, M., Moore, C. J., Morales, M., Moraru, D., Morawski, F., More, A., More, S., Moreno, C., Moreno, G., Morisaki, S., Moriwaki, Y., Morras, G., Moscatello, A., Mourier, P., Mours, B., Mow-Lowry, C. M., Mozzon, S., Muciaccia, F., Mukherjee, D., Mukherjee, Samanwaya, Mukherjee, Soma, Mukherjee, Subroto, Mukherjee, Suvodip, Mukund, N., Mullavey, A., Munch, J., Mungioli, C. L., Munn, M., Oberg, W. R. Munn, Murakoshi, M., Murray, P. G., Muusse, S., Nadji, S. L., Nagar, A., Nagarajan, N., Nagler, K. N., Nakamura, K., Nakano, H., Nakano, M., Nandi, D., Napolano, V., Narayan, P., Nardecchia, I., Narola, H., Naticchioni, L., Nayak, R. K., Neil, B. F., Neilson, J., Nelson, A., Nelson, T. J. N., Nery, M., Neunzert, A., Ng, S., Nguyen, C., Nguyen, P., Quynh, L. Nguyen, Nichols, S. A., Nielsen, A. B., Nieradka, G., Niko, A., Nishino, Y., Nishizawa, A., Nissanke, S., Nitoglia, E., Niu, W., Nocera, F., Norman, M., North, C., Novak, J., Siles, J. F. Nuño, Nurbek, G., Nuttall, L. K., Obayashi, K., Oberling, J., O'Dell, J., Oertel, M., Offermans, A., Oganesyan, G., Oh, J. J., Oh, K., Oh, S. H., O'Hanlon, T., Ohashi, M., Ohkawa, M., Ohme, F., Ohta, H., Oliveira, A. S., Oliveri, R., Oloworaran, V., O'Neal, B., Oohara, K., O'Reilly, B., Ormsby, N. D., Orselli, M., O'Shaughnessy, R., Oshima, Y., Oshino, S., Ossokine, S., Osthelder, C., Ottaway, D. J., Ouzriat, A., Overmier, H., Owen, B. J., Pace, A. E., Pagano, R., Page, M. A., Pai, A., Pai, S. A., Pal, A., Pal, S., Palaia, M. A., Palashov, O., Pálfi, M., Palma, P. P., Palomba, C., Pan, K. C., Panda, P. K., Panebianco, L., Pang, P. T. H., Pannarale, F., Pant, B. C., Panther, F. H., Panzer, C. D., Paoletti, F., Paoli, A., Paolone, A., Papalexakis, E. E., Papalini, L., Papigkiotis, G., Parisi, A., Park, J., Parker, W., Pascale, G., Pascucci, D., Pasqualetti, A., Passaquieti, R., Passuello, D., Patane, O., Patel, M., Pathak, D., Pathak, M., Patra, A., Patricelli, B., Patron, A. S., Paul, S., Payne, E., Pearce, T., Pedraza, M., Pegna, R., Pele, A., Arellano, F. E. Peña, Penn, S., Penuliar, M. D., Perego, A., Pereira, A., Perez, J. J., Périgois, C., Perkins, C. C., Perna, G., Perreca, A., Perret, J., Perriès, S., Perry, J. W., Pesios, D., Petrillo, C., Pfeiffer, H. P., Pham, H., Pham, K. A., Phukon, K. S., Phurailatpam, H., Piccinni, O. J., Pichot, M., Piendibene, M., Piergiovanni, F., Pierini, L., Pierra, G., Pierro, V., Pietrzak, M., Pillas, M., Pilo, F., Pinard, L., Pineda-Bosque, C., Pinto, I. M., Pinto, M., Piotrzkowski, B. J., Pirello, M., Pitkin, M. D., Placidi, A., Placidi, E., Planas, M. L., Plastino, W., Poggiani, R., Polini, E., Pompili, L., Poon, J., Porcelli, E., Portell, J., Porter, E. K., Posnansky, C., Poulton, R., Powell, J., Pracchia, M., Pradhan, B. K., Pradier, T., Prajapati, A. K., Prasai, K., Prasanna, R., Prasia, P., Pratten, G., Principe, M., Prodi, G. A., Prokhorov, L., Prosposito, P., Prudenzi, L., Puecher, A., Pullin, J., Punturo, M., Puosi, F., Puppo, P., Pürrer, M., Qi, H., Qin, J., Quéméner, G., Quetschke, V., Quigley, C., Quinonez, P. J., Quitzow-James, R., Raab, F. J., Raaijmakers, G., Radulesco, N., Raffai, P., Rail, S. X., Raja, S., Rajan, C., Rajbhandari, B., Ramirez, D. S., Ramirez, K. E., Vidal, F. A. Ramis, Ramos-Buades, A., Rana, D., Randel, E., Ranjan, S., Rapagnani, P., Ratto, B., Rawat, S., Ray, A., Raymond, V., Razzano, M., Read, J., Payo, M. Recaman, Regimbau, T., Rei, L., Reid, S., Reid, S. W., Reitze, D. H., Relton, P., Renzini, A., Rettegno, P., Revenu, B., Reza, A., Rezac, M., Rezaei, A. S., Ricci, F., Ricci, M., Richards, D., Richardson, C. J., Richardson, J. W., Rijal, A., Riles, K., Riley, H. K., Rinaldi, S., Rittmeyer, J., Robertson, C., Robinet, F., Robinson, M., Rocchi, A., Rolland, L., Rollins, J. G., Romanelli, M., Romano, A. E., Romano, R., Romero, A., Romero-Shaw, I. M., Romie, J. H., Roocke, T. J., Rosa, L., Rosauer, T. J., Rose, C. A., Rosińska, D., Ross, M. P., Rossello, M., Rowan, S., Roy, S. K., Roy, S., Rozza, D., Ruggi, P., Morales, E. Ruiz, Ruiz-Rocha, K., Sachdev, S., Sadecki, T., Sadiq, J., Saffarieh, P., Sah, M. R., Saha, S. S., Sainrat, T., Menon, S. Sajith, Sakai, K., Sakellariadou, M., Sako, T., Sakon, S., Salafia, O. S., Salces-Carcoba, F., Salconi, L., Saleem, M., Salemi, F., Sallé, M., Salvador, S., Sanchez, A., Sanchez, E. J., Sanchez, J. H., Sanchez, L. E., Sanchis-Gual, N., Sanders, J. R., Sänger, E. M., Saravanan, T. R., Sarin, N., Sasli, A., Sassi, P., Sassolas, B., Satari, H., Sato, R., Sato, S., Sato, Y., Sauter, O., Savage, R. L., Sawada, T., Sawant, H. L., Sayah, S., Schaetzl, D., Scheel, M., Scheuer, J., Schiworski, M. G., Schmidt, P., Schmidt, S., Schnabel, R., Schneewind, M., Schofield, R. M. S., Schouteden, K., Schuler, H., Schulte, B. W., Schutz, B. F., Schwartz, E., Scott, J., Scott, S. M., Seetharamu, T. C., Seglar-Arroyo, M., Sekiguchi, Y., Sellers, D., Sengupta, A. S., Sentenac, D., Seo, E. G., Seo, J. W., Sequino, V., Sergeev, A., Serra, M., Servignat, G., Setyawati, Y., Shaffer, T., Shah, U. S., Shahriar, M. S., Shaikh, M. A., Shams, B., Shao, L., Sharma, A. K., Sharma, P., Sharma-Chaudhary, S., Shawhan, P., Shcheblanov, N. S., Shen, B., Shikano, Y., Shikauchi, M., Shimode, K., Shinkai, H., Shiota, J., Shoemaker, D. H., Shoemaker, D. M., Short, R. W., ShyamSundar, S., Sider, A., Siegel, H., Sieniawska, M., Sigg, D., Silenzi, L., Simmonds, M., Singer, L. P., Singh, A., Singh, D., Singh, M. K., Singha, A., Sintes, A. M., Sipala, V., Skliris, V., Slagmolen, B. J. J., Slaven-Blair, T. J., Smetana, J., Smith, J. R., Smith, L., Smith, R. J. E., Smith, W. J., Soldateschi, J., Somala, S. N., Somiya, K., Soni, K., Soni, S., Sordini, V., Sorrentino, F., Sorrentino, N., Soulard, R., Souradeep, T., Southgate, A., Sowell, E., Spagnuolo, V., Spencer, A. P., Spera, M., Spinicelli, P., Srivastava, A. K., Stachurski, F., Steer, D. A., Steinlechner, J., Steinlechner, S., Stergioulas, N., Stevens, P., StPierre, M., Strang, L. C., Stratta, G., Strong, M. D., Strunk, A., Sturani, R., Stuver, A. L., Suchenek, M., Sudhagar, S., Sueltmann, N., Sullivan, A. G., Sullivan, K. D., Sun, L., Sunil, S., Sur, A., Suresh, J., Sutton, P. J., Suzuki, Takamasa, Suzuki, Takanori, Swinkels, B. L., Syx, A., Szczepańczyk, M. J., Szewczyk, P., Tacca, M., Tagoshi, H., Tait, S. C., Takahashi, H., Takahashi, R., Takamori, A., Takatani, K., Takeda, H., Takeda, M., Talbot, C. J., Talbot, C., Tamaki, M., Tamanini, N., Tanabe, D., Tanaka, K., Tanaka, S. J., Tanaka, T., Tanasijczuk, A. J., Tang, D., Tanioka, S., Tanner, D. B., Tao, L., Tapia, R. D., Martín, E. N. Tapia San, Tarafder, R., Taranto, C., Taruya, A., Tasson, J. D., Teloi, M., Tenorio, R., Themann, H., Theodoropoulos, A., Thirugnanasambandam, M. P., Thomas, L. M., Thomas, M., Thomas, P., Thompson, J. E., Thondapu, S. R., Thorne, K. A., Thrane, E., Tissino, J., Tiwari, A., Tiwari, Shubhanshu, Tiwari, Srishti, Tiwari, V., Todd, M. R., Toivonen, A. M., Toland, K., Tolley, A. E., Tomaru, T., Tomita, K., Tomura, T., Tong-Yu, C., Toriyama, A., Toropov, N., Torres-Forné, A., Torrie, C. I., Toscani, M., Melo, I. Tosta e, Tournefier, E., Trani, A. A., Trapananti, A., Travasso, F., Traylor, G., Trenado, J., Trevor, M., Tringali, M. C., Tripathee, A., Troiano, L., Trovato, A., Trozzo, L., Trudeau, R. J., Tsang, T. T. L., Tso, R., Tsuchida, S., Tsukada, L., Tsutsui, T., Turbang, K., Turconi, M., Turski, C., Ubach, H., Ubhi, A. S., Uchikata, N., Uchiyama, T., Udall, R. P., Uehara, T., Ueno, K., Unnikrishnan, C. S., Ushiba, T., Utina, A., Vacatello, M., Vahlbruch, H., Vaidya, N., Vajente, G., Vajpeyi, A., Valdes, G., Valencia, J., Valentini, M., Vallejo-Peña, S. A., Vallero, S., Valsan, V., van Bakel, N., van Beuzekom, M., van Dael, M., Brand, J. F. J. van den, Broeck, C. Van Den, Vander-Hyde, D. C., van der Sluys, M., Van de Walle, A., van Dongen, J., Vandra, K., van Haevermaet, H., van Heijningen, J. V., Vanosky, J., van Putten, M. H. P. M., van Ranst, Z., van Remortel, N., Vardaro, M., Vargas, A. F., Varma, V., Vasúth, M., Vecchio, A., Vedovato, G., Veitch, J., Veitch, P. J., Venikoudis, S., Venneberg, J., Verdier, P., Verkindt, D., Verma, B., Verma, P., Verma, Y., Vermeulen, S. M., Veske, D., Vetrano, F., Veutro, A., Vibhute, A. M., Viceré, A., Vidyant, S., Viets, A. D., Vijaykumar, A., Vilkha, A., Villa-Ortega, V., Vincent, E. T., Vinet, J. -Y., Viret, S., Virtuoso, A., Vitale, S., Vocca, H., Voigt, D., von Reis, E. R. G., von Wrangel, J. S. A., Vyatchanin, S. P., Wade, L. E., Wade, M., Wagner, K. J., Walet, R. C., Walker, M., Wallace, G. S., Wallace, L., Wang, H., Wang, J. Z., Wang, W. H., Wang, Z., Waratkar, G., Ward, R. L., Warner, J., Was, M., Washimi, T., Washington, N. Y., Watarai, D., Wayt, K. E., Weaver, B., Weaving, C. R., Webster, S. A., Weinert, M., Weinstein, A. J., Weiss, R., Weller, C. M., Weller, R. A., Wellmann, F., Wen, L., Weßels, P., Wette, K., Whelan, J. T., White, D. D., Whiting, B. F., Whittle, C., Wildberger, J. B., Wilk, O. S., Wilken, D., Willetts, K., Williams, D., Williams, M. J., Williams, N. S., Willis, J. L., Willke, B., Wils, M., Wipf, C. C., Woan, G., Woehler, J., Wofford, J. K., Wolfe, N. E., Wong, D., Wong, H. T., Wong, H. W. Y., Wong, I. C. F., Wright, J. L., Wright, M., Wu, C., Wu, D. S., Wu, H., Wysocki, D. M., Xiao, L., Xu, V. A., Xu, Y., Yadav, N., Yamamoto, H., Yamamoto, K., Yamamoto, M., Yamamoto, T. S., Yamamoto, T., Yamamura, S., Yamazaki, R., Yan, S., Yan, T., Yang, F. W., Yang, F., Yang, K. Z., Yang, L. -C., Yang, Y., Yarbrough, Z., Yeh, S. -W., Yelikar, A. B., Yeung, S. M. C., Yin, X., Yokoyama, J., Yokozawa, T., Yoo, J., Yu, H., Yuzurihara, H., Zadrożny, A., Zannelli, A. J., Zanolin, M., Zeeshan, M., Zelenova, T., Zendri, J. -P., Zeoli, M., Zerrad, M., Zevin, M., Zhang, A. C., Zhang, J., Zhang, L., Zhang, R., Zhang, T., Zhang, Y., Zhao, C., Zhao, Yue, Zhao, Yuhang, Zheng, Y., Zhong, H., Zhong, S., Zhou, R., Zhu, Z. -H., Zimmerman, A. B., Zucker, M. E., and Zweizig, J.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,General Relativity and Quantum Cosmology - Abstract
We present results from a search for X-ray/gamma-ray counterparts of gravitational-wave (GW) candidates from the third observing run (O3) of the LIGO-Virgo-KAGRA (LVK) network using the Swift Burst Alert Telescope (Swift-BAT). The search includes 636 GW candidates received in low latency, 86 of which have been confirmed by the offline analysis and included in the third cumulative Gravitational-Wave Transient Catalogs (GWTC-3). Targeted searches were carried out on the entire GW sample using the maximum--likelihood NITRATES pipeline on the BAT data made available via the GUANO infrastructure. We do not detect any significant electromagnetic emission that is temporally and spatially coincident with any of the GW candidates. We report flux upper limits in the 15-350 keV band as a function of sky position for all the catalog candidates. For GW candidates where the Swift-BAT false alarm rate is less than 10$^{-3}$ Hz, we compute the GW--BAT joint false alarm rate. Finally, the derived Swift-BAT upper limits are used to infer constraints on the putative electromagnetic emission associated with binary black hole mergers., Comment: 50 pages, 10 figures, 4 tables
- Published
- 2024
45. iNeMo: Incremental Neural Mesh Models for Robust Class-Incremental Learning
- Author
-
Fischer, Tom, Liu, Yaoyao, Jesslen, Artur, Ahmed, Noor, Kaushik, Prakhar, Wang, Angtian, Yuille, Alan, Kortylewski, Adam, and Ilg, Eddy
- Subjects
Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Machine Learning - Abstract
Different from human nature, it is still common practice today for vision tasks to train deep learning models only initially and on fixed datasets. A variety of approaches have recently addressed handling continual data streams. However, extending these methods to manage out-of-distribution (OOD) scenarios has not effectively been investigated. On the other hand, it has recently been shown that non-continual neural mesh models exhibit strong performance in generalizing to such OOD scenarios. To leverage this decisive property in a continual learning setting, we propose incremental neural mesh models that can be extended with new meshes over time. In addition, we present a latent space initialization strategy that enables us to allocate feature space for future unseen classes in advance and a positional regularization term that forces the features of the different classes to consistently stay in respective latent space regions. We demonstrate the effectiveness of our method through extensive experiments on the Pascal3D and ObjectNet3D datasets and show that our approach outperforms the baselines for classification by $2-6\%$ in the in-domain and by $6-50\%$ in the OOD setting. Our work also presents the first incremental learning approach for pose estimation. Our code and model can be found at https://github.com/Fischer-Tom/iNeMo., Comment: ECCV-24
- Published
- 2024
46. A Hybrid Spiking-Convolutional Neural Network Approach for Advancing Machine Learning Models
- Author
-
Sanaullah, Roy, Kaushik, Rückert, Ulrich, and Jungeblut, Thorsten
- Subjects
Computer Science - Neural and Evolutionary Computing ,Computer Science - Artificial Intelligence - Abstract
In this article, we propose a novel standalone hybrid Spiking-Convolutional Neural Network (SC-NN) model and test on using image inpainting tasks. Our approach uses the unique capabilities of SNNs, such as event-based computation and temporal processing, along with the strong representation learning abilities of CNNs, to generate high-quality inpainted images. The model is trained on a custom dataset specifically designed for image inpainting, where missing regions are created using masks. The hybrid model consists of SNNConv2d layers and traditional CNN layers. The SNNConv2d layers implement the leaky integrate-and-fire (LIF) neuron model, capturing spiking behavior, while the CNN layers capture spatial features. In this study, a mean squared error (MSE) loss function demonstrates the training process, where a training loss value of 0.015, indicates accurate performance on the training set and the model achieved a validation loss value as low as 0.0017 on the testing set. Furthermore, extensive experimental results demonstrate state-of-the-art performance, showcasing the potential of integrating temporal dynamics and feature extraction in a single network for image inpainting., Comment: 7 Pages, 3 figures, and 2 tables
- Published
- 2024
47. GAURA: Generalizable Approach for Unified Restoration and Rendering of Arbitrary Views
- Author
-
Gupta, Vinayak, Girish, Rongali Simhachala Venkata, T, Mukund Varma, Tewari, Ayush, and Mitra, Kaushik
- Subjects
Computer Science - Computer Vision and Pattern Recognition - Abstract
Neural rendering methods can achieve near-photorealistic image synthesis of scenes from posed input images. However, when the images are imperfect, e.g., captured in very low-light conditions, state-of-the-art methods fail to reconstruct high-quality 3D scenes. Recent approaches have tried to address this limitation by modeling various degradation processes in the image formation model; however, this limits them to specific image degradations. In this paper, we propose a generalizable neural rendering method that can perform high-fidelity novel view synthesis under several degradations. Our method, GAURA, is learning-based and does not require any test-time scene-specific optimization. It is trained on a synthetic dataset that includes several degradation types. GAURA outperforms state-of-the-art methods on several benchmarks for low-light enhancement, dehazing, deraining, and on-par for motion deblurring. Further, our model can be efficiently fine-tuned to any new incoming degradation using minimal data. We thus demonstrate adaptation results on two unseen degradations, desnowing and removing defocus blur. Code and video results are available at vinayak-vg.github.io/GAURA., Comment: European Conference on Computer Vision(ECCV) 2024
- Published
- 2024
48. Distributed multi-robot potential-field-based exploration with submap-based mapping and noise-augmented strategy
- Author
-
Pongsirijinda, Khattiya, Cao, Zhiqiang, Bhowmik, Kaushik, Shalihan, Muhammad, Lau, Billy Pik Lik, Liu, Ran, Yuen, Chau, and Tan, U-Xuan
- Subjects
Computer Science - Robotics - Abstract
Multi-robot collaboration has become a needed component in unknown environment exploration due to its ability to accomplish various challenging situations. Potential-field-based methods are widely used for autonomous exploration because of their high efficiency and low travel cost. However, exploration speed and collaboration ability are still challenging topics. Therefore, we propose a Distributed Multi-Robot Potential-Field-Based Exploration (DMPF-Explore). In particular, we first present a Distributed Submap-Based Multi-Robot Collaborative Mapping Method (DSMC-Map), which can efficiently estimate the robot trajectories and construct the global map by merging the local maps from each robot. Second, we introduce a Potential-Field-Based Exploration Strategy Augmented with Modified Wave-Front Distance and Colored Noises (MWF-CN), in which the accessible frontier neighborhood is extended, and the colored noise provokes the enhancement of exploration performance. The proposed exploration method is deployed for simulation and real-world scenarios. The results show that our approach outperforms the existing ones regarding exploration speed and collaboration ability., Comment: This paper has been accepted by Robotics and Autonomous Systems
- Published
- 2024
- Full Text
- View/download PDF
49. Automated Chronotyping from a Daily Calendar using Machine Learning
- Author
-
Kaushik, Pratiik, Askari, Koorosh, Gupta, Saksham, Mohan, Rahul, Skrinak, Kris, Kamyar, Royan, and Smarr, Benjamin
- Subjects
Quantitative Biology - Other Quantitative Biology - Abstract
Chronotype compares individuals' circadian phase to others. It contextualizes mental health risk assessments and detection of social jet lag, which can hamper mental health and cognitive performance. Existing ways of determining chronotypes, such as Dim Light Melatonin Onset (DLMO) or the Morningness-Eveningness Questionnaire (MEQ), are limited by being discrete in time and time-intensive to update, meaning they rarely capture real-world variability across time. Chronotyping users based on a daily planner app might augment existing methods to enable assessment continuously and at scale. This paper reports the construction of a supervised binary classifier that attempts to demonstrate the feasibility of this approach. 1,460 registered users from the Owaves app opted in by filling out the MEQ survey between July 14, 2022, and May 1, 2023. 142 met the eligibility criteria. We used multimodal app data from individuals identified as morning and evening types from MEQ data, basing the classifier on app time series data. This included daily timing for 8 main lifestyle activity types: exercise, sleep, social interactions, meal times, relaxation, work, play, and miscellaneous, as defined in the app. The timing of activities showed substantial change across time, as well as heterogeneity by activity type. Our novel chronotyping classifier was able to predict the morningness and eveningness of its users with an ROC AUC of 0.70. Our findings demonstrate the feasibility of chronotype classification from multimodal, real-world app data, while highlighting fundamental challenges to applying discrete and fixed labels to complex, dynamic, multimodal behaviors. Our findings suggest a potential for real-time monitoring of shifts in chronotype specific to different causes (i.e. types of activity), which could feasibly be used to support future, prospective mental health support research., Comment: 15 pages, 4 figures, unsubmitted for peer review at date of posting; New Version 081724: expanded results text and updated discussion to match. Minor changes for clarity throughout
- Published
- 2024
50. Bidding Games with Charging
- Author
-
Avni, Guy, Goharshady, Ehsan Kafshdar, Henzinger, Thomas A., and Mallik, Kaushik
- Subjects
Computer Science - Computer Science and Game Theory - Abstract
Graph games lie at the algorithmic core of many automated design problems in computer science. These are games usually played between two players on a given graph, where the players keep moving a token along the edges according to pre-determined rules, and the winner is decided based on the infinite path traversed by the token from a given initial position. In bidding games, the players initially get some monetary budgets which they need to use to bid for the privilege of moving the token at each step. Each round of bidding affects the players' available budgets, which is the only form of update that the budgets experience. We introduce bidding games with charging where the players can additionally improve their budgets during the game by collecting vertex-dependent charges. Unlike traditional bidding games (where all charges are zero), bidding games with charging allow non-trivial recurrent behaviors. We show that the central property of traditional bidding games generalizes to bidding games with charging: For each vertex there exists a threshold ratio, which is the necessary and sufficient fraction of the total budget for winning the game from that vertex. While the thresholds of traditional bidding games correspond to unique fixed points of linear systems of equations, in games with charging, these fixed points are no longer unique. This significantly complicates the proof of existence and the algorithmic computation of thresholds for infinite-duration objectives. We also provide the lower complexity bounds for computing thresholds for Rabin and Streett objectives, which are the first known lower bounds in any form of bidding games (with or without charging), and we solve the following repair problem for safety and reachability games that have unsatisfiable objectives: Can we distribute a given amount of charge to the players in a way such that the objective can be satisfied?
- Published
- 2024
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.