„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
  Capretta, Venanzio ; Krebbers, Robbert ; Wiedijk, Freek 2024 Springer Nature Switzerland, Imprint: Springer
• On the critical behavior for time-fractional pseudo-parabolic-type equations with combined nonlinearities
  Bin Sultan, Areej ; Jleli, Mohamed ; Samet, Bessem ; Vetro, Calogero
• Some new results for $$\psi -$$ ψ - Hilfer fractional pantograph-type differential equation depending on $$\psi -$$ ψ - Riemann–Liouville integral
  Foukrach, Djamal ; Bouriah, Soufyane ; Benchohra, Mouffak ; Karapınar, Erdal
• Towards a Dynamic Type Theory
  Kohlhase, Michael ; Kuschert, Susanna 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Improved student dropout prediction in Thai University using ensemble of mixed-type data clusterings
  Iam-On, Natthakan ; Boongoen, Tossapon
• Static instability of beam-type NEMS subjected to symmetric electrostatic actuation based on couple stress theory and Timoshenko beam theory
  Shojaeian, M. ; Zeighampour, H.
• Predictors of in-hospital mortality following major lower extremity amputations in type 2 diabetic patients using artificial neural networks
  Lopez-de-Andres, Ana ; Hernandez-Barrera, Valentin ; Lopez, Roberto ; Martin-Junco, Pablo ; Jimenez-Trujillo, Isabel ; Álvaro-Meca, Alejandro ; Salinero-Fort, Miguel Angel ; Jimenez-Garcia, Rodrigo
• Least absolute shrinkage and selection operator type methods for the identification of serum biomarkers of overweight and obesity: simulation and application
  Vasquez, Monica M. ; Hu, ChengCheng ; Roe, Denise J. ; Chen, Zhao ; Halonen, Marilyn ; Guerra, Stefano
• Performance analysis of retrial queue with server subject to two types of breakdowns and repairs
  Kumar, B. Krishna ; Rukmani, R. ; Thanikachalam, A. ; Kanakasabapathi, V.
• Measurement of adherence in a randomised controlled trial of a complex intervention: supported self-management for adults with learning disability and type 2 diabetes
  Graham, Liz ; Wright, Judy ; Walwyn, Rebecca ; Russell, Amy M. ; Bryant, Louise ; Farrin, Amanda ; House, Allan
• Pre-notification letter type and response rate to a postal survey among women who have recently given birth
  Todd, Angela L. ; Porter, Maree ; Williamson, Jennifer L. ; Patterson, Jillian A. ; Roberts, Christine L.
• Assessment at UK medical schools varies substantially in volume, type and intensity and correlates with postgraduate attainment
  Devine, Oliver Patrick ; Harborne, Andrew Christopher ; McManus, I. C.
• Nurse-led theory-based educational intervention improves glycemic and metabolic parameters in South Asian patients with type II diabetes: a randomized controlled trial
  Al Lenjawi, Badriya ; Mohamed, Hashim ; Amuna, Paul ; Zotor, Francis ; Ziki, Maen D. Abou
• Dressler’s theory for curved topography flows: iterative derivation, transcritical flow solutions and higher-order wave-type equations
  Castro-Orgaz, Oscar ; Hager, Willi H.
• Generalised André-Pink-Zannier conjecture for Shimura varieties of Abelian type
  Richard, Rodolphe ; Yafaev, A.
• Selberg-Type Integrals Associated with SL3
  Tarasov, V. ; Varčenko, Aleksandr N.
• When and why do consumers resist virtual influencer endorsement? The role of product depth and advertising claim types
  Zeng, Weinuo ; Ma, Zhenfeng ; Chen, Tong
• Development of an IS change reason–IS change type combinations matrix
  Krell, Katharina ; Matook, Sabine ; Rohde, Fiona
• Modelling emergency medical services with phase-type distributions
  Knight, Vincent A. ; Harper, Paul R.
• Initialization strategies for clustering mixed-type data with the k-prototypes algorithm
  Aschenbruck, Rabea ; Szepannek, Gero ; Wilhelm, Adalbert F. X.