Torthaí cuardaigh - "data structures"

Predictors associated with CD4 cell count changes over time among HIV-infected children on anti-retroviral therapy follow-up in Mekelle General Hospital, Northern Ethiopia, 2019: a... de réir Gebru Gebremeskel Gebrerufael

Connect to this object online.

Automated Monitoring of Adherence to Evidenced-Based Clinical Guideline Recommendations: Design and Implementation Study de réir Gregor Lichtner, Claudia Spies, Carlo Jurth, Thomas Bienert, Anika Mueller, Oliver Kumpf, Vanessa Piechotta, Nicole Skoetz, Monika Nothacker, Martin Boeker, Joerg J Meerpohl, Falk von Dincklage

Connect to this object online.

Contexto sócio-econômico e percepção da saúde bucal em uma população de adultos no Rio de Janeiro, Brasil: uma análise multinível Socioeconomic context and perceived oral... de réir Wagner de Souza Tassinari, Antônio Ponce de León, Guilherme Loureiro Werneck, Eduardo Faerstein, Claudia S. Lopes, Dora Chor, Paulo Nadanovsky

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Clár na nÁbhar: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

PENERAPAN ENTERPRISE SERVICE BUS UNTUK INTEGRASI LAYANAN MICROSERVICE BERBASIS REST DAN JSON de réir Haikal Adha Handamara, -

Link Metadata

PENERAPAN ENTERPRISE SERVICE BUS UNTUK INTEGRASI LAYANAN MICROSERVICE BERBASIS REST DAN JSON de réir Haikal Adha Handamara, -

Link Metadata

應用Petri-Net建構知識構圖強化適性學習診斷與學習推薦之研究 Applying Petri-Net to Construct Knowledge Graphs for Adaptive Learning Diagnostics and Learning Recommendations... de réir 戴建耘 Jiann-Yun Dai, 葉國良 Kuo-Liang Yeh, 高曼婷 Man-Ting Kao, 袁宇熙 Yu-Hsi Yuan, 張明文 Min-Wen Chang

Connect to this object online.

IMPLEMENTASI MEDIA ANIMASI ROTOSCOPING GUNA MENINGKATKAN PEMAHAMAN MATERI GRAPH PADA MATA KULIAH STRUKTUR DATA de réir Renaldi, Rendi

Link Metadata

RANCANG BANGUN MULTIMEDIA PEMBELAJARAN BERBASIS ADVENTURE GAME DENGAN MODEL MEANS-ENDS ANALYSIS PADA MATA KULIAH STRUKTUR DATA UNTUK MENINGKATKAN PEMAHAMAN MAHASISWA de réir Putri, Nindi Astari

Link Metadata

Intel Xeon Phi Coprocessor Architecture and Tools The Guide for Application Developers / de réir Rahman, Rezaur

Link to Metadata

Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers de réir Rezaur Rahman

DOAB: download the publication
DOAB: description of the publication

Archetype analysis and the PHATE algorithm as methods to describe and visualize pregnant women's levels of physical activity knowledge de réir Marek Karwański, Urszula Grzybowska, Ewa Mierzejewska, Katarzyna Szamotulska

Connect to this object online.

Decreasing number of distance shooting in handball - trend of nowadays male handball competition de réir Smolarczyk Marcin

Connect to this object online.

Auto-CORPus: A Natural Language Processing Tool for Standardizing and Reusing Biomedical Literature de réir Tim Beck, Tim Beck, Tom Shorter, Yan Hu, Yan Hu, Zhuoyu Li, Shujian Sun, Casiana M. Popovici, Casiana M. Popovici, Nicholas A. R. McQuibban, Nicholas A. R. McQuibban, Filip Makraduli, Cheng S. Yeung, Thomas Rowlands, Joram M. Posma, Joram M. Posma

Connect to this object online.

DESIGN AND IMPLEMENTATION AN IRAQI CITIES DATABASE USING K-D TREE de réir Makia k.Hamad Mahmood A. Othman

Connect to this object online.

A framework for design of automated lecture timetabling using memetic algorithm / Zarina Zainul Rashid, Roslan Sadjirin and Norhafizah Hashim de réir Rashid, Zarina Zainul, Sadjirin, Roslan, Hashim, Norhafizah

Link Metadata

FEATURES MICROSTRUCTURAL CHANGES LOBES OF THE THYMUS OF RATS AFTER OPIOID EFFECTS ON THE BODY DURING 4 WEEKS de réir T. V. Harapko

Connect to this object online.

SIS 2017. Statistics and Data Science: new challenges, new generations Proceedings of the Conference of the Italian Statistical Society, Florence 28-30 June 2017

DOAB: download the publication
DOAB: description of the publication

Learning objects and learning designs: an integrated system for reusable, adaptive and shareable learning content de réir J. Lukasiak, S. Agostinho, S. Bennett, B. Harper, L. Lockyer, B. Powley

Connect to this object online.

Chapter: 'The Blockchain and Kudos: A Distributed System for Educational Record, Reputation and Reward' from book: Adaptive and Adaptable Learning: 11th European Conference on Tech... de réir Mike Sharples

DOAB: download the publication
DOAB: description of the publication