Results 201 to 210 of about 8,277 (260)
Developing the DSSAT-CERES-Millet Model for Dynamic Simulation of Grain Protein and Starch Accumulation in Foxtail Millet (<i>Setaria italica</i>) Under Varying Irrigation and Nitrogen Regimes. [PDF]
Plants (Basel)Zhou S, Liu Z, Chen F.
europepmc +1 more source
Patient Satisfaction Using Guselkumab Self-administered Using the One-Press Device for Treatment of Moderate-to-Severe Psoriasis: Results from a National, Prospective, Real-World Study in Portugal (CERES Study). [PDF]
Dermatol Ther (Heidelb)Torres T +10 more
europepmc +1 more source
Unusually broad-spectrum small-molecule sensing using a single protein scaffold. [PDF]
Proc Natl Acad Sci U S ATian H +10 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2022
Even before the arrival of the Dawn spacecraft, Ceres attracted attention due to its infrared spectral properties, which were distinct from most other asteroids (see Chapter 1). First speculated based on telescopic data (King et al., Reference King, Clark, Calvin, Sherman and Brown1992), subsequent data from the Dawn spacecraft confirmed the presence ...
Ammannito, Eleonora, Ehlmann, Bethany
openaire +2 more sources
Even before the arrival of the Dawn spacecraft, Ceres attracted attention due to its infrared spectral properties, which were distinct from most other asteroids (see Chapter 1). First speculated based on telescopic data (King et al., Reference King, Clark, Calvin, Sherman and Brown1992), subsequent data from the Dawn spacecraft confirmed the presence ...
Ammannito, Eleonora, Ehlmann, Bethany
openaire +2 more sources
2006
Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works by constructing a set of clauses from a proof with cuts.
Matthias Baaz +4 more
openaire +1 more source
Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works by constructing a set of clauses from a proof with cuts.
Matthias Baaz +4 more
openaire +1 more source
2020
Abstract Asteroids 1 Ceres and 4 Vesta are the two most massive asteroids in the asteroid belt, with mean diameters of 946 km and 525 km, respectively. Ceres was reclassified as a dwarf planet by the International Astronomical Union as a result of its new dwarf planet definition which is a body that (a) orbits the sun, (b) has enough ...
openaire +1 more source
Abstract Asteroids 1 Ceres and 4 Vesta are the two most massive asteroids in the asteroid belt, with mean diameters of 946 km and 525 km, respectively. Ceres was reclassified as a dwarf planet by the International Astronomical Union as a result of its new dwarf planet definition which is a body that (a) orbits the sun, (b) has enough ...
openaire +1 more source