Results 11 to 20 of about 199,340 (246)

Process Algebra in PVS [PDF]

, 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

Effect of metabolizable energy and crude protein levels on performance, fertility, hatchability and egg quality of Rajasri breeder birds

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, DAIDA KRISHNA, CHINNI PREETAM, N NALINI, S V RAMA RAO   +4 more
doaj   +1 more source

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, Martin Leblanc, Baptiste Schubnel, Renaud Langou, Cyril Topfel, Pierre-Jean Alet   +5 more
doaj   +1 more source

‘To PV or not to PV’ [PDF]

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

Effect of dietary nano zinc oxide on growth performance and carcass characterstics of broiler chicken

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, SRINIVAS GURRAM, VIJAY ANUMOL   +2 more
doaj   +1 more source

Two Faces of a Coin? A Systematic Review of Source Monitoring and Its Relationship with Memory in Autism

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, Cecilia Guiot, Marta Nola, Alberto Donadeo, Nicola Bassetti, Natascia Brondino, Pierluigi Politi   +6 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

Conformal laser printing and laser sintering of Ag nanoparticle inks: a digital approach for the additive manufacturing of micro-conductive patterns on patterned flexible substrates

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, Ioannis Theodorakos, Filimon Zacharatos, Ayala Kabla, Semyon Melamed, Fernando de la Vega, Yoann Porte, Patrick Too, Ioanna Zergioti   +8 more
doaj   +1 more source

Into the cognitive constructs related to adherence to treatment in CHD outpatients: the importance of accepting the disease limitations

Monaldi Archives for Chest Disease, 2016
Background and aims: Poor adherence to clinical prescriptions has been recognized as a major problem in management of chronic diseases. Only few studies tried to identify which factors could be considered predictive of low adherence to pharmacological ...
Antonia Pierobon, Anna Giardini, Giuseppina Majani, Simona Callegari, Francesca Lenta, Maria Teresa La Rovere, Oreste Febo   +6 more
doaj   +1 more source

Evaluating the Techno-Economic Effect of Pricing and Consumption Parameters on the Power-to-Energy Ratio for Sizing Photovoltaic-Battery Systems: An Assessment of Prosumers in the Mediterranean Area

Energies, 2023
The momentous deployment of photovoltaic (PV) installations in modern times converted schemes utilised to support behind-the-meter systems to compensation mechanisms promoting self-consumption for all prosumer types.
Nikolas G. Chatzigeorgiou, Spyros Theocharidis, George Makrides, George E. Georghiou   +3 more
doaj   +1 more source