Results 261 to 270 of about 1,033,712 (285)
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
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
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
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
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
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