Results 71 to 80 of about 358,022 (298)

Formalising Confluence in PVS [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional specifications and rewriting system as termination and completion. Several criteria have been explored that guarantee confluence and their formalisations provide further ...
openaire   +3 more sources

An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials

Advanced Engineering Materials, EarlyView.
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut, Pierre Le Berre, Hamdi Jaballah, Lukas Fink, Victor Poline, Richard Haettel, Stéphane Grenier, Gilbert Chahine, Ewen Bellec, Guillaume Buatier, Wilfried Hortschitz, Santa Pile, Thomas Schrefl, Nils Blanc, Yuan Hong, Thibaut Devillers, Nora M. Dempsey   +16 more
wiley   +1 more source

PV array simulator performance evaluation

, 2011
This dissertation evaluates the performance of a 25kW PV Array Simulator based on a design from Prof. Heinrich Haberlin and his staff from the PV laboratory of the Berne University of Applied Sciences, in Burgdorf, Switzerland.
Chan, Joshua
core  

Energy Management System of Wind and Photovoltaic based Hybrid Nanogrid [PDF]

E3S Web of Conferences
The hybrid photovoltaic (PV)- wind based power generation systems are installing on many rooftops of individual houses, apartments, institutions, hospitals and small scale industries worldwide.
Gupta Sheryl, Shankar Sahoo Girija, Kumar Mukesh, N Beemkumar   +3 more
doaj   +1 more source

Integrating WS1S with PVS [PDF]

, 2000
There is a growing trend to integrate theorem proving systems with specialized decision procedures and model checking systems. The proving capabilities of the PVS theorem prover, for example, have been improved considerably by extending it with new proof tactics based on a BDD package, a μ-calculus model-checker [4], and a polyhedral library.
Sam Owre, Harald Rueß
openaire   +1 more source

Mechanoluminescent HOF Nanotransducers Enabled Sono‐Optogenetics in Parkinsonian Rats

Advanced Functional Materials, EarlyView.
We present a mechanoluminescent system utilizing porous hydrogen‐bonded organic frameworks (HOFs) as a toolkit for focused ultrasound‐triggered, non‐invasive light delivery to the deep brain in rats. This approach enables the specific activation of PV‐GPe neurons in dopamine‐depleted Parkinson's disease rat models, resulting in a comparable alleviation
Wenliang Wang, Ilya Pyatnitskiy, Yanshu Shi, Kai Wing Kevin Tang, Yi Xie, Sihan Yu, Thomas Wynn, Xiangping Liu, Ju‐Chun Hsieh, Jinmo Jeong, Weilong He, Brinkley Artman, Anakaren Romero Lozano, Xi Shi, Arjun Sangani, Lief E Fenno, Samantha Santacruz, Banglin Chen, Huiliang Wang   +18 more
wiley   +1 more source

Involvement of bacterial TonB-dependent signaling in the generation of an oligogalacturonide damage-associated molecular pattern from plant cell walls exposed to Xanthomonas campestris pv. campestris pectate lyases

, 2012
Vorhölter F-J, Wiggerich H-G, Scheidle H, et al. Involvement of bacterial TonB-dependent signaling in the generation of an oligogalacturonide damage-associated molecular pattern from plant cell walls exposed to Xanthomonas campestris pv.
Vishaldeep Kaur Sidhu, Sidhu Vishaldeep Kaur, Scheidle, Heiko, Küster, Helge, Küster Helge, Wiggerich Heinrich-Günter, Vorhölter, Frank-Jörg, Karsten Niehaus, Mrozek, Kalina, Pühler Alfred, Scheidle Heiko, Vorhölter Frank-Jörg, Alfred Pühler, Sidhu, Vishaldeep Kaur, Frank-Jörg Vorhölter, Heinrich-Günter Wiggerich, Niehaus Karsten, Mrozek Kalina, Niehaus, Karsten, Pühler, Alfred, Pühler, Alfred ; https://orcid.org/, Wiggerich, Heinrich-Günter, Helge Küster, Kalina Mrozek, Heiko Scheidle   +24 more
core   +1 more source

El pasado violento del País Vasco en la formación inicial del profesorado: análisis de la incidencia del proyecto Convivencia y Memoria a través de rutinas de pensamiento

Diálogos
El País Vasco afronta el reto de reconstruir su tejido social tras décadas de violencia. Esta investigación analiza cómo el alumnado en formación docente percibe el pasado reciente, sus fuentes de información y el impacto del proyecto Convivencia y ...
Alex Ibañez-Etxeberria, Nekane Aristondo, Leire Albas, Naiara Vicent   +3 more
doaj   +1 more source

Mayfly Optimization Algorithm for MPPT of PV System under Partial Shading Conditions [PDF]

E3S Web of Conferences
Maximum power point tracking (MPPT)methods are most popular to harvest maximum energy from renewable energy sources for generating electric power. Among many renewable energy sources, solar energy is a primary and mostly available on the earth. Generally
Pratap Singh Akhilendra, Srivastava Manish, Soumya K., Kulhar Kuldeep Singh   +3 more
doaj   +1 more source

PV Polaris – Automated PV System Orientation Prediction

IEEE Photonics Journal
Published by IEEE, New York ...
Wittmann, Ernst, Buerhop-Lutz, Claudia, Bennett, Savannah, Christlein, Vincent, Hauch, Jens, Brabec, Christoph, Peters, Ian Marius   +6 more
openaire   +2 more sources