Proof (truth)

Formal sciences
Logic
Classical logic
First-order logic

About
Privacy
Disclaimer

Graph Chatbot

Related publications (29)

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

Maryam Kamgarpour, Baiwei Guo, Orcun Karaca

We provide a counterexample to the performance guarantee obtained in the paper "Il'ev, V., Linker, N., 2006. Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the Eur ...

ELSEVIER2021

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Hoài-Minh Nguyên

The controllability cost for the heat equation as the control time

T

goes to 0 is well-known of the order

e^{C/T}

for some positive constant

C

, depending on the controlled domain and for all initial datum. In this paper, we prove that the constant $C ...

2021

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

Ivo Furno, Alan Howling, Fabio Avino, Alexandra Waskow

Plasma treatments are currently being assessed as a seed processing technology for agricultural purposes. There is sufficient information as a proof-of-concept, but a lack of standardization in the methodology prevents a convincing evaluation of plasma tre ...

2022

Computation of Al-Salam Carlitz and Askey-Wilson moments using Motzkin paths

Gaspard Ohlmann

In this paper we study the moments of polynomials from the Askey scheme, and we focus on Askey-Wilson polynomials. More precisely, we give a combinatorial proof for the case where d = 0. Their values have already been computed by Kim and Stanton in 2015, h ...

ELECTRONIC JOURNAL OF COMBINATORICS2021

All-polymeric transient neural probe for prolonged in-vivo electrophysiological recordings

Diego Ghezzi, Laura Ferlauto, Paola Vagni, Adele Fanelli, Elodie Geneviève Zollinger

Transient bioelectronics has grown fast, opening possibilities never thought before. In medicine, transient implantable devices are interesting because they could eliminate the risks related to surgical retrieval and reduce the chronic foreign body reactio ...

2021

Proof Of Concept Of A Graphene-Based Resonant Accelerometer

Luis Guillermo Villanueva Torrijo, Daniel Moreno Garcia

Acceleration measurements are fundamental in applications such as consumer electronics, navigation, automotive safety and Internet of things (IoT). In comparison with capacitive or piezoresistive MEMS accelerometers, resonant graphene accelerometers have t ...

IEEE2021

Critical role of H-aggregation for high-efficiency photoinduced charge generation in pristine pentamethine cyanine salts

Jacques-Edouard Moser, Frank Nüesch, George Cameron Fish, Juan Manuel Moreno Naranjo

The mechanism of photoinduced symmetry-breaking charge separation in solid cyanine salts at the base of organic photovoltaic and optoelectronic devices is still debated. Here, we employ femtosecond transient absorption spectroscopy (TAS) to monitor the cha ...

2021

Nanoscale Pattern Extraction from Relative Positions of Sparse 3D Localizations

Suliana Manley, Christian Sieben

Inferring the organization of fluorescently labeled nanosized structures from single molecule localization microscopy (SMLM) data, typically obscured by stochastic noise and background, remains challenging. To overcome this, we developed a method to extrac ...

AMER CHEMICAL SOC2021

Movement-Related Cortical Potentials in Embodied Virtual Mirror Visual Feedback

Gangadhar Garipelli, Tamara Rossy

Background: Mirror therapy is thought to drive interhemispheric communication, resulting in a balanced activation. We hypothesized that embodied virtual mirror visual feedback (VR-MVF) presented on a computer screen may produce a similar activation. In thi ...

FRONTIERS MEDIA SA2021

Page 2 of 2