Tootfinder

Content-Centric Prototyping of Generative AI Applications: Emerging Approaches and Challenges in Collaborative Software Teams
Hari Subramonyam, Divy Thakkar, J\"urgen Dieber, Anoop Sinha
https://arxiv.org/abs/2402.17721

Content-Centric Prototyping of Generative AI Applications: Emerging Approaches and Challenges in Collaborative Software Teams
Generative AI models are increasingly powering software applications, offering the capability to produce expressive content across varied contexts. However, unlike previous iterations of human-AI design, the emerging design process for generative capabilities primarily hinges on prompt engineering strategies. Given this fundamental shift in approach, our work aims to understand how collaborative software teams set up and apply design guidelines and values, iteratively prototype prompts, and eva…

Synthesis and Characterization of Superparamagnetic Iron Oxide Nanoparticles: A Series of Laboratory Experiments
Armando D. Urbina, Hari Sridhara, Alexis Scholtz, Andrea M. Armani
https://arxiv.org/abs/2403.19970

Synthesis and Characterization of Superparamagnetic Iron Oxide Nanoparticles: A Series of Laboratory Experiments
The following laboratory procedure provides students with a hands-on experience in nanomaterials chemistry and characterization. This three-day protocol is easy to follow for undergraduates with basic chemistry or materials science backgrounds and is suitable for inclusion in upper division courses in inorganic chemistry or materials science. Students use air-free chemistry procedures to synthesize and separate iron oxide magnetic nanoparticles and subsequently modify the nanoparticle surface u…

CHC-COMP 2023: Competition Report
Emanuele De Angelis (IASI-CNR, Rome, Italy), Hari Govind V K (University of Waterloo, Canada)
https://arxiv.org/abs/2404.14923

CHC-COMP 2023: Competition Report
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.

Controllable suppression of the unconventional superconductivity in bulk and thin-film Sr$_{2}$RuO$_{4}$ via high-energy electron irradiation
Jacob P. Ruf, Hilary M. L. Noad, Romain Grasset, Ludi Miao, Elina Zhakina, Philippa H. McGuinness, Hari P. Nair, Nathaniel J. Schreiber, Naoki Kikugawa, Dmitry Sokolov, Marcin Konczykowski, Darrell G. Schlom, Kyle M. Shen, Andrew P. Mackenzie

Controllable suppression of the unconventional superconductivity in bulk and thin-film Sr$_{2}$RuO$_{4}$ via high-energy electron irradiation
In bulk Sr$_{2}$RuO$_{4}$, the strong sensitivity of the superconducting transition temperature $T_{\text{c}}$ to nonmagnetic impurities provides robust evidence for a superconducting order parameter that changes sign around the Fermi surface. In superconducting epitaxial thin-film Sr$_{2}$RuO$_{4}$, the relationship between $T_{\text{c}}$ and the residual resistivity $ρ_0$, which in bulk samples is taken to be a proxy for the low-temperature elastic scattering rate, is far less clear. Using h…

Udah. Gitu aja.

The Spacetime Penrose Inequality for Cohomogeneity One Initial Data
Marcus Khuri, Hari Kunduri
https://arxiv.org/abs/2404.13247 https://

The Spacetime Penrose Inequality for Cohomogeneity One Initial Data
We prove the spacetime Penrose inequality for asymptotically flat $2(n+1)$-dimensional initial data sets for the Einstein equations, which are invariant under a cohomogeneity one action of $\mathrm{SU}(n+1)$. Analogous results are obtained for asymptotically hyperbolic initial data that arise as spatial hypersurfaces in asymptotically Anti de-Sitter spacetimes. More precisely, it is shown that with the dominant energy condition, the total mass is bounded below by an explicit function of the out…

Lifelong LERF: Local 3D Semantic Inventory Monitoring Using FogROS2
Adam Rashid, Chung Min Kim, Justin Kerr, Letian Fu, Kush Hari, Ayah Ahmad, Kaiyuan Chen, Huang Huang, Marcus Gualtieri, Michael Wang, Christian Juette, Nan Tian, Liu Ren, Ken Goldberg
https://arxiv.org/abs/2403.10494

Lifelong LERF: Local 3D Semantic Inventory Monitoring Using FogROS2
Inventory monitoring in homes, factories, and retail stores relies on maintaining data despite objects being swapped, added, removed, or moved. We introduce Lifelong LERF, a method that allows a mobile robot with minimal compute to jointly optimize a dense language and geometric representation of its surroundings. Lifelong LERF maintains this representation over time by detecting semantic changes and selectively updating these regions of the environment, avoiding the need to exhaustively remap.…

A Novel method for Schizophrenia classification using nonlinear features and neural networks
Hari Prasad SV
https://arxiv.org/abs/2402.14819 https://

A Novel method for Schizophrenia classification using nonlinear features and neural networks
One notable method for recording brainwaves to identify neurological problems is electroencephalography (hereafter EEG). A trained neuro physician can learn more about how the brain functions through the use of EEGs. However conventionally, EEGs are only used to examine neurological problems (Eg. Seizures). But abnormal links to neurological circuits can also exist in psychological illnesses like Schizophrenia. Hence EEGs can be an alternate source of data for detection and classification of ps…

Non-equilibrium pathways to emergent polar supertextures
Vladimir A. Stoica, Tiannan Yang, Sujit Das, Yue Cao, Huaiyu Wang, Yuya Kubota, Cheng Dai, Hari Padmanabhan, Yusuke Sato, Anudeep Mangu, Quynh L. Nguyen, Zhan Zhang, Disha Talreja, Marc E. Zajac, Donald A. Walko, Anthony D. DiChiara, Shigeki Owada, Kohei Miyanishi, Kenji Tamasaku, Takahiro Sato, James M. Glownia, Vincent Esposito, Silke Nelson, Matthias C. Hoffmann, Richard D. Schaller, Aaron M. Lindenberg, Lane W. Martin, Ramamo…

Why and When LLM-Based Assistants Can Go Wrong: Investigating the Effectiveness of Prompt-Based Interactions for Software Help-Seeking
Anjali Khurana, Hari Subramonyam, Parmit K Chilana
https://arxiv.org/abs/2402.08030

Why and When LLM-Based Assistants Can Go Wrong: Investigating the Effectiveness of Prompt-Based Interactions for Software Help-Seeking
Large Language Model (LLM) assistants, such as ChatGPT, have emerged as potential alternatives to search methods for helping users navigate complex, feature-rich software. LLMs use vast training data from domain-specific texts, software manuals, and code repositories to mimic human-like interactions, offering tailored assistance, including step-by-step instructions. In this work, we investigated LLM-generated software guidance through a within-subject experiment with 16 participants and follow-…