Buscar
Mostrando ítems 1-10 de 77427
Formal Semantics for Java-like Languages and Research Opportunities
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)
An alternative theoretical approach to describe planetary systems through a Schrödinger-type diffusion equation
(2004)
In the present work we show that planetary mean distances can be calculated with the help of a Schrödinger-type diffusion equation. The obtained results are shown to agree with the observed orbits of all the planets and ...
New radial systems of dark globules
(UNAM, Instituto de Astronomía, 2015)
We present the results of a systematic survey of ESO/SRC plates of the Southern Hemisphere aimed at discovering new radial systems of dark globules. During this survey, we found 16 new type 1 radial systems and 6 type 2 ...
Customizable Gradual Polymorphic Effects for Scala
(Assoc. Computing Machinery, 2015)
Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...
Hardware implementation of type-2 programmable fuzzifier
(2011-05-20)
The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...
Hardware implementation of type-2 programmable fuzzifier
(2011-05-20)
The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...
Haar type systems and Banach functions spaces on spaces of homogeneous type
(Instituto de Matemática de Bahía Blanca, 2014-05)
In this note we prove that the Haar type systems defined on spaces of homogeneous type are unconditional bases for a wide family of Banach function spaces. Also, we give a characterization of these spaces via Haar coefficients. ...
BOUSSINESQ-TYPE SYSTEM OF EQUATIONS IN THE BENARD-MARANGONI SYSTEM
(Plenum Publ Corp, 1994-06-01)
A system of coupled evolution equations for the bulk velocity and the surface displacement is found to govern the long-wavelength perturbations in a Benard-Marangoni system. This system of equations, involving nonlinearity, ...