„type systems“

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
• Validity of type 2 diabetes diagnosis in a population-based electronic health record database
  Moreno-Iribas, Conchi ; Sayon-Orea, Carmen ; Delfrade, Josu ; Ardanaz, Eva ; Gorricho, Javier ; Burgui, Rosana ; Nuin, Marian ; Guevara, Marcela
• Experimental and numerical analysis of web stiffened cold-formed steel channel column with various types of edge stiffener
  Manikandan, P. ; Balaji, S. ; Sukumar, S. ; Sivakumar, M.
• Improved student dropout prediction in Thai University using ensemble of mixed-type data clusterings
  Iam-On, Natthakan ; Boongoen, Tossapon
• What information is used in treatment decision aids? A systematic review of the types of evidence populating health decision aids
  Clifford, Amanda M. ; Ryan, Jean ; Walsh, Cathal ; McCurtin, Arlene
• Priority scheduling to minimize the total tardiness for remanufacturing systems with flow-shop-type reprocessing lines
  Kim, Jong-min ; Zhou, Yi-Dong ; Lee, Dong-Ho
• Prescription pattern analysis of Type 2 Diabetes Mellitus: a cross-sectional study in Isfahan, Iran
  Ziad, Elnaz ; Sadat, Somayeh ; Farzadfar, Farshad ; Malekpour, Mohammad-Reza
• Patient and provider acceptance of telecoaching in type 2 diabetes: a mixed-method study embedded in a randomised clinical trial
  Odnoletkova, I. ; Buysse, H. ; Nobels, F. ; Goderis, G. ; Aertgeerts, B. ; Annemans, L. ; Ramaekers, D.
• Effects of depth perception cues and display types on presence and cybersickness in the elderly within a 3D virtual store
  Liu, Cheng-Li ; Uang, Shiaw-Tsyr
• Counteracting negative venous line pressures to avoid arterial air bubbles: an experimental study comparing two different types of miniaturized extracorporeal perfusion systems
  Aboud, Anas ; Mederos-Dahms, Hendrikje ; Liebing, Kai ; Zittermann, Armin ; Schubert, Harald ; Murray, Edward ; Renner, André ; Gummert, Jan ; Börgermann, Jochen
• Uplink access control for machine-type communications in LTE-A networks
  Hwang, Ren-Hung ; Huang, Chi-fu ; Lin, Huang-Wei ; Wu, Jang-Jiin
• Certain types of intuitionistic fuzzy directed hypergraphs
  Myithili, K. K. ; Parvathi, R. ; Akram, M.
• Deducing corticotropin-releasing hormone receptor type 1 signaling networks from gene expression data by usage of genetic algorithms and graphical Gaussian models
  Trümbach, Dietrich ; Graf, Cornelia ; Pütz, Benno ; Kühne, Claudia ; Panhuysen, Marcus ; Weber, Peter ; Holsboer, Florian ; Wurst, Wolfgang ; Welzl, Gerhard ; Deussing, Jan M.
• Comparative genomics of the type VI secretion systems of Pantoea and Erwinia species reveals the presence of putative effector islands that may be translocated by the VgrG and Hcp proteins
  De Maayer, Pieter ; Venter, Stephanus N. ; Kamber, Tim ; Duffy, Brion ; Coutinho, Teresa A. ; Smits, Theo HM
• Selberg-Type Integrals Associated with SL3
  Tarasov, V. ; Varčenko, Aleksandr N.
• Pseudo almost periodic solutions for neutral type high-order Hopfield neural networks with mixed time-varying delays and leakage delays on time scales
  Li, Yongkun ; Meng, Xiaofang ; Xiong, Lianglin
• Evaluating quality of care for patients with type 2 diabetes using electronic health record information in Mexico
  Perez-Cuevas, Ricardo ; Doubova, Svetlana V. ; Suarez-Ortega, Magdalena ; Law, Michael ; Pande, Aakanksha H. ; Escobedo, Jorge ; Espinosa-Larrañaga, Francisco ; Ross-Degnan, Dennis ; Wagner, Anita K.
• An algorithm to identify patients with treated type 2 diabetes using medico-administrative data
  Renard, Laurence M. ; Bocquet, Valéry ; Vidal-Trecan, Gwenaelle ; Lair, Marie-Lise ; Couffignal, Sophie ; Blum-Boisgard, Claudine
• Internet use, needs and expectations of web-based information and communication in childbearing women with type 1 diabetes
  Sparud-Lundin, Carina ; Ranerup, Agneta ; Berg, Marie
• Feasibility study of portable technology for weight loss and HbA1c control in type 2 diabetes
  Bentley, Claire L. ; Otesile, Olubukola ; Bacigalupo, Ruth ; Elliott, Jackie ; Noble, Hayley ; Hawley, Mark S. ; Williams, Elizabeth A. ; Cudd, Peter