Results 11 to 20 of about 1,010,425 (305)
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under
Ghani, Neil +2 more
openaire +5 more sources
Modelling and control of a variable-speed switched reluctance generator based wind turbine [PDF]
, 2007 This paper studies the system modelling and control aspects of switched reluctance generator (SRG) based variable speed wind turbines. A control system is implemented to provide proper operation of the SRG as well as power tracking capabilities for ...
McSwiggan, D., Xu, L., Littler, T.
core +4 more sources
Sampling assumptions in inductive generalization [PDF]
Cognitive Science, 2011 Inductive generalization, where people go beyond the data provided, is a basic cognitive capability, and it underpins theoretical accounts of learning, categorization, and decision making. To complete the inductive leap needed for generalization, people must make a key ‘‘sampling’’ assumption about how the available data were generated. Previous models
Danielle Navarro +2 more
openaire +5 more sources
Generating good generators for inductive relations [PDF]
Proceedings of the ACM on Programming Languages, 2017 Property-based random testing (PBRT) is widely used in the functional programming and verification communities. For testing simple properties, PBRT tools such as QuickCheck can automatically generate random inputs of a given type. But for more complex properties, effective testing often demands generators for random inputs that belong to a given type ...
Leonidas Lampropoulos +2 more
openaire +1 more source
Inductively Generating Euler Diagrams [PDF]
IEEE Transactions on Visualization and Computer Graphics, 2011 Euler diagrams have a wide variety of uses, from information visualization to logical reasoning. In all of their application areas, the ability to automatically layout Euler diagrams brings considerable benefits. In this paper, we present a novel approach to Euler diagram generation.
Gem Stapleton +3 more
openaire +3 more sources
Generator Systems for Marine Current Turbine Applications: A Comparative Study [PDF]
, 2012 Emerging technologies for marine current turbines are mainly related to works that have been carried out on wind turbines and ship propellers. It is then obvious that many electric generator topologies could be used for marine current turbines. As in the
BENELGHALI, Seifeddine +3 more
core +1 more source
Analysis of the Dynamic Performance of Self-Excited Induction Generators Employed in Renewable Energy Generation [PDF]
, 2014 Incentives, such as the Feed-in-tariff are expected to lead to continuous increase in the deployment of Small Scale Embedded Generation (SSEG) in the distribution network.
Farrag, Mohamed E.A.; id_orcid +7 more
core +1 more source
Capacitor Bank Sizing for Squirrel Cage Induction Generators Operating in Distributed Systems
IEEE Access, 2020 The design of the capacitor bank to be placed with the squirrel cage induction generator, when operating with a direct connection to the distribution system, is performed from the value of the magnetization reactance of the machine.
Eudinei O. Silva +2 more
doaj +1 more source
A general framework for induction and a study of selective induction [PDF]
Machine Learning, 1986 This paper has two major parts. The first is an extensive analysis of the problem of induction, and the second part is a detailed study of selective induction. Throughout the paper we integrate a number of notions, mainly from artificial intelligence, but also from pattern recognition and cognitive psychology.
openaire +3 more sources
Optimal Operation of a Wind Driven System
Journal of King Saud University: Engineering Sciences, 2004 This paper presents a number of controlling techniques that can used in extracting the wind energy from a wind prime mover. The extraction of wind energy bears in mind the target of matching the electric power needed by an electric generator with the ...
Maamar Taleb
doaj +1 more source