The effectiveness of biochar application to promote plant growth and suppress diseases is usually dependent on the dose biochar. Here, we evaluated effects supplied at 0%, 1%, 2%, 3% (w/w) tomato growth, Fusarium wilt disease severity, rhizosphere microbial community diversity. We found that applied 1% 2% promoted decreased severity disease. High-throughput amplicon sequencing indicated alpha d...

In this paper, we study the interaction between square of opposition for Aristotelian quantifiers (‘all’, ‘some’, ‘no’, and ‘not all’) generated by proportional quantifier ‘most’ (in its standard generalized theory reading ‘more than half’). a first step, provide an analysis in terms bitstring semantics two squares independently. The classical involves tripartition logical space, whereas degene...

Few commercial genotypes of tomato are resistant to Fusarium wilt (Fusarium oxysporum f. sp. lycopersici [FOL]), especially race 3. We developed five intraspecific hybrids Solanum lycopersicum (FOX1 FOX5) and assessed them for agronomic traits resistance FOL races 1, 2, 3, a mixture these races. FOX1 FOX4 were all the but did not have desired traits. Next, as rootstocks cherry Sweet Heaven. The...

The tools enabling brief assessment of folate intake may be of great value for public health purposes. The aim of the presented study was to design a brief folate-specific food frequency questionnaire for Central and Eastern European population of women, as well as to assess the validity and reproducibility of the designed Folate-Intake Calculation-Food Frequency Questionnaire (Fol-IC-FFQ) on a...

First-order logic (FOL) is undecidable — that is, no algorithm exists that can decide whether a formula of FOL is valid or not. However, there are various fragments of FOL that are known to be decidable. FO, the two-variable fragment of FOL, is one of such languages [1,2]. FO is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equalit...

In the last decades, first-order logic (FOL) has become a standard language for describing a large number of mathematical theories. Numerous proof systems for FOL which determine what formulas are universally true emerged over time. On the other hand, higher-order logic (HOL) enables one to describe more theories and to describe existing theories more succinctly. Due to more complicated higher-...

Temozolomide (TMZ) is one of the most effective chemotherapeutic agents for glioblastoma multiforme, but the required high administration dose is accompanied by side effects. To overcome this problem and to further improve TMZ's efficacy, targeted delivery of TMZ by using polymeric nanoparticles has been explored. We synthesised the PLGA-PEG-FOL copolymer and attempted encapsulation of TMZ into...

Mesoporous silica nanoparticles (MSNs) have been proposed as DNA and drug delivery carriers, as well as efficient tools for fluorescent cell tracking. The major limitation is that MSNs enter cells regardless of a target-specific functionalization. Here we show that non functionalized MSNs, synthesized using a PEG surfactant-based interfacial synthesis procedure, do not enter cells, while a high...