Results 271 to 280 of about 358,022 (298)
Some of the next articles are maybe not open access.
Microscale PV Cells for Concentrated PV Applications
200924th European Photovoltaic Solar Energy Conference, 21-25 September 2009, Hamburg, Germany; 170 ...
Nielson, G.N. +8 more
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
1999
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Sam Owre +3 more
openaire +1 more source
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Sam Owre +3 more
openaire +1 more source
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
PV-Boats: Design Issues in the Realization of PV Powered Boats
2010PV integration in boats is rarely seen, though it is a silent and sustainable alternative for motorized transportation on the water. In order to research the PV realization into boat design challenges, the University of Twente and the NHL hogeschool, both in the Netherlands, started a joined research into PV integration into boats. By studying 3 cases,
Gorter, Tim +4 more
openaire +2 more sources
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
New PV System Concept - Wireless PV Module Prototype
201936th European Photovoltaic Solar Energy Conference and Exhibition; 1209 ...
Carigiet, Fabian +4 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