Results 221 to 230 of about 199,340 (246)
Some of the next articles are maybe not open access.
2008
PVS is now 15 years old, and has been extensively used in research, industry, and teaching. The system is very expressive, with unique features such as predicate subtypes, recursive and corecursive datatypes, inductive and coinductive definitions, judgements, conversions, tables, and theory interpretations. The prover supports a combination of decision
Sam Owre, Natarajan Shankar
openaire +1 more source
PVS is now 15 years old, and has been extensively used in research, industry, and teaching. The system is very expressive, with unique features such as predicate subtypes, recursive and corecursive datatypes, inductive and coinductive definitions, judgements, conversions, tables, and theory interpretations. The prover supports a combination of decision
Sam Owre, Natarajan Shankar
openaire +1 more source
2020
Renewable energy sources (RES) are one of the important instruments that human beings can use to tackle problems created by climate change. We expect a quick expansion of RES in the next few years. One important new technology is the floating photovoltaic (FPV) which is at its very beginning but which after only 10 years from its first proposal has ...
Marco Rosa-Clot, Giuseppe Marco Tina
openaire +1 more source
Renewable energy sources (RES) are one of the important instruments that human beings can use to tackle problems created by climate change. We expect a quick expansion of RES in the next few years. One important new technology is the floating photovoltaic (FPV) which is at its very beginning but which after only 10 years from its first proposal has ...
Marco Rosa-Clot, Giuseppe Marco Tina
openaire +1 more source
Online PV panel characterisation for PV system diagnostic
2023 20th International Multi-Conference on Systems, Signals & Devices (SSD), 2023Fadoua Borchani +2 more
openaire +1 more source
Pseudomonas Syringae pv. aptata and pv. atrofaciens, Specific Pathovars or Members of pv. Syringae?
1997Pseudomonas syringae strains were isolated in Belgium from necrotic ieaf spots on sugar beet as well as from basal glume rot on wheat or barley and leaf blight on wheat. These strains have been compared in various physiological and pathogenicity tests with pathotype strains of P. s. pv. aptata, pv. atrofaciens and pv.
Henri Maraite, Jeannine Weyns
openaire +1 more source
2010
The Knaster–Tarski theorem asserts the existence of least and greatest fixpoints for any monotonic function on a complete lattice. More strongly, it asserts the existence of a complete lattice of such fixpoints. This fundamental theorem has a fairly straightforward proof.
openaire +1 more source
The Knaster–Tarski theorem asserts the existence of least and greatest fixpoints for any monotonic function on a complete lattice. More strongly, it asserts the existence of a complete lattice of such fixpoints. This fundamental theorem has a fairly straightforward proof.
openaire +1 more source
PVDATABASE.Org The PV Database for Urban PV Applications
200823rd European Photovoltaic Solar Energy Conference and Exhibition, 1-5 September 2008, Valencia, Spain; 3484 ...
openaire +1 more source
PV SYSTEMS, MODELING PV MODULES
SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings, 2019openaire +1 more source