Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker.

Unlabelled: Automated reasoning techniques based on computer algebra have seen renewed interest in recent years and are for example heavily used in formal verification of arithmetic circuits. However, the verification process might contain errors. Generating and checking proof certificates is important to increase the trust in automated reasoning tools.

The imprint of microbe-induced plant resistance in plant-associated insects.

Beneficial microbes induce resistance in plants (MIR), imposing both lethal and sublethal effects on herbivorous insects. We argue that herbivores surviving MIR carry metabolic and immunological imprints of MIR with cascading effects across food webs. We propose that incorporating such cascading effects will strongly enhance the current MIR research framework.

In vivo effects of the alpha-synuclein misfolding inhibitor minzasolmin supports clinical development in Parkinson's disease.

Direct targeting of alpha-synuclein (ASYN) has emerged as a disease-modifying strategy for Parkinson's disease and other synucleinopathies which is being approached using both small molecule compounds and ASYN-targeted biologics. Minzasolmin (UCB0599) is an orally bioavailable and brain-penetrant small molecule ASYN misfolding inhibitor in clinical development as a disease-modifying therapeutic for Parkinson's disease. Herein the results of preclinical evaluations of minzasolmin that formed the basis for subsequent clinical development are described.

Effects of tomato inoculation with the entomopathogenic fungus on spider mite resistance and the rhizosphere microbial community.

Entomopathogenic fungi have been well exploited as biocontrol agents that can kill insects through direct contact. However, recent research has shown that they can also play an important role as plant endophytes, stimulating plant growth, and indirectly suppressing pest populations. In this study, we examined the indirect, plant-mediated, effects of a strain of entomopathogenic fungus, on plant growth and population growth of two-spotted spider mites () in tomato, using different inoculation methods (seed treatment, soil drenching and a combination of both).