„Type theory“
Suchergebnisse
1.000+ Treffer
-
Logics and Type Systems in Theory and Practice – Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
-
On the critical behavior for time-fractional pseudo-parabolic-type equations with combined nonlinearities
-
Some new results for $$\psi -$$ ψ - Hilfer fractional pantograph-type differential equation depending on $$\psi -$$ ψ - Riemann–Liouville integral
-
Towards a Dynamic Type Theory
-
Improved student dropout prediction in Thai University using ensemble of mixed-type data clusterings
-
Static instability of beam-type NEMS subjected to symmetric electrostatic actuation based on couple stress theory and Timoshenko beam theory
-
Predictors of in-hospital mortality following major lower extremity amputations in type 2 diabetic patients using artificial neural networks
-
Least absolute shrinkage and selection operator type methods for the identification of serum biomarkers of overweight and obesity: simulation and application
-
Performance analysis of retrial queue with server subject to two types of breakdowns and repairs
-
Measurement of adherence in a randomised controlled trial of a complex intervention: supported self-management for adults with learning disability and type 2 diabetes
-
Pre-notification letter type and response rate to a postal survey among women who have recently given birth
-
Assessment at UK medical schools varies substantially in volume, type and intensity and correlates with postgraduate attainment
-
Nurse-led theory-based educational intervention improves glycemic and metabolic parameters in South Asian patients with type II diabetes: a randomized controlled trial
-
Dressler’s theory for curved topography flows: iterative derivation, transcritical flow solutions and higher-order wave-type equations
-
Generalised André-Pink-Zannier conjecture for Shimura varieties of Abelian type
-
Selberg-Type Integrals Associated with SL3
-
When and why do consumers resist virtual influencer endorsement? The role of product depth and advertising claim types
-
Development of an IS change reason–IS change type combinations matrix
-
Modelling emergency medical services with phase-type distributions
-
Initialization strategies for clustering mixed-type data with the k-prototypes algorithm