189,475 research outputs found
Mosquée de 'Abdel Ghani el-Fakhrī
No full textMosquée de 'Abdel Ghani el-Fakhrī. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 40, exercice 1946-1953, 1961. p. 296
Mosquée de 'Abdel Ghani el-Fakhrī
No full textMosquée de 'Abdel Ghani el-Fakhrī. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 40, exercice 1946-1953, 1961. p. 296
6° Mosquée Abdel Ghani el-Fakhri
No full textGrand Pierre, Herz Max. 6° Mosquée Abdel Ghani el-Fakhri. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 12, exercice 1895, 1896. p. 87
2° Mosquée d'el-Kadi Abdel-Ghani
No full textIsmaïl, Barois Julien, Sabri Saber, Herz Max. 2° Mosquée d'el-Kadi Abdel-Ghani. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 13, exercice 1896, 1897. p. 131
7° Mosquée el-Kadi Abdel-Ghani el-Fakhri
No full textIsmaïl, Herz Max. 7° Mosquée el-Kadi Abdel-Ghani el-Fakhri. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 13, exercice 1896, 1897. p. 141
Fibrational induction meets effects
No full textThis paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring
16° Mosquée de Kadi Abdel Ghani el-Fakhri
No full textIsmaïl, Herz Max, Faouzi Abdel Hamid, Scandar effendi Aziz. 16° Mosquée de Kadi Abdel Ghani el-Fakhri. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 14, exercice 1897, 1898. p. 25
3° Mosquée el-Kadi Abdel Ghani el-Fakhri
No full textIsmaïl, Sabry, Sabri Saber, Herz Max, Scandar effendi Aziz. 3° Mosquée el-Kadi Abdel Ghani el-Fakhri. In: Comité de Conservation des Monuments de l'Art Arabe. Fascicule 13, exercice 1896, 1897. p. 167
A Battery Energy Storage System for Single-Phase Residential Application with Paralleled GaN Devices
No full textIn this paper a battery energy storage system (BESS) for single-phase residential application is proposed. The idea is to apply Gallium Nitride (GaN) devices in order to achieve the advantage of very low switching power loss and relatively high efficiency. The GaN-based BESS includes a bidirectional half-bridge dc-dc converter and a full-bridge single-phase grid-connected inverter with paralleled GaN devices. The power stage design, GaN paralleling, and controller design are analyzed. Moreover, OrCAD Spice and MATLAB SIMULINK simulation results are discussed and validated
Author-wise bibliometric analysis based on entropy.
No full textAuthor-wise bibliometric analysis based on entropy.</p
- …
