Tootfinder

Sound Interval-Based Synthesis for Probabilistic Programs
Guilherme Espada, Alcides Fonseca
https://arxiv.org/abs/2507.06939 https://…

Sound Interval-Based Synthesis for Probabilistic Programs
Probabilistic programming has become a standard practice to model stochastic events and learn about the behavior of nature in different scientific contexts, ranging from Genetics and Ecology to Linguistics and Psychology. However, domain practitioners (such as biologists) also need to be experts in statistics in order to select which probabilistic model is suitable for a given particular problem, relying then on probabilistic inference engines such as Stan, Pyro or Edward to fine-tune the param…

Unlocking the hybrid piezo and pyroelectric nanogenerators performance by SiO2 nanowires confinement in poly(vinylidene fluoride)
Juan Delgado-Alvarez, Hari Krishna Mishra, Francisco J. Aparicio, Xabier Garcia-Casas, Angel Barranco, Juan R. Sanchez-Valencia, Victor Lopez-Flores, Ana Borras
https://arxiv.org/abs/2506.01580…

Unlocking the hybrid piezo and pyroelectric nanogenerators performance by SiO2 nanowires confinement in poly(vinylidene fluoride)
We report on the development of a novel flexible piezo/pyro-electric nanogenerator (PPNG) that combines a uniform film of poly(vinylidene fluoride) (PVDF) infiltrated over vertically supported SiO2 nanowires (NWs) to enhance both piezoelectric and pyroelectric energy harvesting capabilities. The synthetic procedure involves a low-temperature multi-step approach, including the soft-template formation of SiO2 NWs on a flexible substrate, followed by the infiltration of a PVDF thin film (TF). The …