Results 11 to 20 of about 358,022 (298)
PVS#: Streamlined Tacticals for PVS
Electronic Notes in Theoretical Computer Science, 2007 AbstractThe semantics of a proof language relies on the representation of the state of a proof after a logical rule has been applied. This information, which is usually meaningless from a logical point of view, is fundamental to describe the control mechanism of the proof search provided by the language.
Florent Kirchner, César A. Muñoz
openaire +1 more source
, 1999 The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the verification system PVS. One approach declares process terms as an uninterpreted type and specifies equality on terms by axioms.
Basten, T., Hooman, J.J.M.
openaire +3 more sources
High-Resolution PV Forecasting from Imperfect Data: A Graph-Based Solution
Energies, 2020 Operating power systems with large amounts of renewables requires predicting future photovoltaic (PV) production with fine temporal and spatial resolution. State-of-the-art techniques combine numerical weather predictions with statistical post-processing,
Rafael E. Carrillo +5 more
doaj +1 more source
Environmental Law Review, 2015 First paragraph: This analysis examines two important judicial reviews concerning financial supports for solar photovoltaic (PV) systems:Solar Century Holdings Limited & Others v Secretary of State for Energy and Climate Change(hereafterSolar Century),1andBreyer Group Plc and Others v Secretary of State for Energy and Climate Change(hereafterBreyer ...
openaire +2 more sources
Indian Journal of Animal Sciences, 2022 This study was conducted to evaluate the effect of dietary supplementation of nano zinc oxide (nano ZnO) on the performance and slaughter variables of commercial broiler chicken from 0 to 42 days of age. Straight run ‘Cobb 400’ day-old broiler chicks
DAIDA KRISHNA +2 more
doaj +1 more source
Modeling of PV Cell, PV Module, PV Array and PV IV Characteristics Analysis Using MATLAB/SIMULINK
, 2022 In this paper, a study of modeling PV cell (solar cell), PV module (solar modules) and PV array solar array) using Matlab/Simulink software is presented. This study is focused on the study to design photovoltaic cell, photovoltaic modules, photovoltaic panels and PV array (solar array) and to analyze the change in PV performance according to changes in
Arnob Das, Susmita Peu
openaire +1 more source
Brain Sciences, 2021 The ability to discriminate the origin of stimuli, known as source monitoring, is crucial for self–other distinction and the integration of internally generated and externally generated experiences.
Stefano Damiani +6 more
doaj +1 more source
Experimental identification of unique angular dependent scattering behavior of nanoparticles
Journal of the European Optical Society-Rapid Publications, 2017 Background Nanoparticles exhibit unique light scattering properties and are applied in many research fields. Methods In this work, we perform angular resolved scattering measurements to study the scattering behaviour of random and periodic silver (Ag ...
Guanchao Yin +4 more
doaj +1 more source
Virtual and Physical Prototyping, 2023 The laser induced forward transfer and sintering of metal nanoparticle inks has been proven a key enabling technology for flexible electronics. Nevertheless, many challenges concerning the conformal processing of non-planar substrates incorporating ...
Kostas Andritsos +8 more
doaj +1 more source
PQ Theory of SAP Filter in Photovoltaic System Connected to Three-Phase Grid and Controlled Nonlinear [PDF]
E3S Web of Conferences, 2022 Currently, we are trying to improve electrical energy in the world. In practice, the use of switching devices is increased in the various applications. Non-linearity of loads has adverse effects on energy efficiency, power factor, etc. This increases the
Kabba A. +3 more
doaj +1 more source