Results 11 to 20 of about 1,033,712 (285)
Indian Journal of Animal Sciences, 2023 This study investigated the impact of different levels of dietary energy and crude protein on productive performance, egg quality, and reproductive parameters in Rajasri breeder birds during a 12-week period between 25 to 36 weeks of age. A total of 648
K PRASHANTH +4 more
doaj +1 more source
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
Small world yields the most effective information spreading [PDF]
, 2011 Spreading dynamics of information and diseases are usually analyzed by using a unified framework and analogous models. In this paper, we propose a model to emphasize the essential difference between information spreading and epidemic spreading, where the
Duan-Bing Chen +8 more
core +2 more sources
Thermal modelling and experimental assessment of the dependence of PV module temperature on wind velocity and direction, module orientation and inclination [PDF]
, 2014 A theoretical and experimental analysis of PV module temperature under various environmental conditions is presented in relation to module inclination, wind velocity and direction.
Kaplani, E., Kaplanis, S.
core +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
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
On the relationship factor between the PV module temperature and the solar radiation on it for various BIPV configurations [PDF]
, 2014 Temperatures of c-Si, pc-Si and a-Si PV modules making part of a roof in a building or hanging outside windows with various inclinations were measured with respect to the Intensity of the solar radiation on them under various environmental conditions.
Kaplani, E., Kaplanis, S.
core +1 more source