Buscar
Mostrando ítems 11-20 de 389590
Interval Type 2 Fuzzy Markov Chains Type ReductionInterval Type-2 Fuzzy Markov Chains: Type Reduction
(International Conference on Intelligent Computing, 2011)
This paper shows an application of Type-reduction algorithms for computing the steady state of an Interval Type-2 Fuzzy Markov Chain (IT2FM). The IT2FM approach is an extension of the scope of a Type-1 fuzzy markov chain ...
Oral sex practices, oral human papillomavirus and correlations between oral and cervical human papillomavirus prevalence among female sex workers in Lima, Peru
(SAGE Publications, 2011)
Few data exist on oral human papillomavirus (HPV) prevalence in female sex workers (FSWs). Information regarding oral sex practices of 185 Peruvian FSWs, 18-26 years of age, was obtained via survey and compared with HPV ...
Gradual Refinement Types
(2017)
Refinement types are an effective language-based verification technique. However, as any expressive typing discipline, its strength is its weakness, imposing sometimes undesired rigidity. Guided by abstract interpretation, ...
Type-Driven Gradual Security with References
(2018)
In security-typed programming languages, types statically enforce noninterference between potentially conspiring values, such as the arguments and results of functions. But to adopt static security types, like other advanced ...
Type Tool Windows
(2014)
Type Tool
(2014)
On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
(ACM, 2015)
Object-orientation relies on polymorphism to express behavioral variants. As opposed to traditional procedural design, explicit type-based conditionals should be avoided. This message is conveyed in introductory material ...
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 ...