-
141
-
142
-
143
Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation
Published 2021-01-01“…In this paper, the formalization of <italic>fcomp</italic>, an efficient line oriented file comparison algorithm suggested by Miller and Myers, is modeled in the interactive theorem prover Isabelle/HOL. …”
Get full text
Article -
144
Physical-Literacy-Enriched Physical Education: A Capabilities Perspective
Published 2023-09-01Get full text
Article -
145
-
146
-
147
Opportunities for diversifying and enriching our article mix
Published 2020-12-01Get full text
Article -
148
-
149
Seizure Prediction and Detection via Phase and Amplitude Lock Values
Published 2016Get full text
Article -
150
Automatic partitioning of database applications
Published 2014Get full text
Get full text
Get full text
Article -
151
-
152
-
153
Relationship between Serum Ferritin and Outcomes in β-Thalassemia: A Systematic Literature Review
Published 2022-07-01Get full text
Article -
154
Genome-wide meta-analysis uncovers novel loci influencing circulating leptin levels
Published 2016-02-01Get full text
Article -
155
Effects of endogenous sex hormones on lung function and symptom control in adolescents with asthma
Published 2018-04-01Get full text
Article -
156
Inhibition of lung tumorigenesis by a small molecule CA170 targeting the immune checkpoint protein VISTA
Published 2021-07-01Get full text
Article -
157
Innovation and The Israel Journal of Health Policy Research
Published 2019-12-01Get full text
Article -
158
-
159
Multisector Collaborations and Global Oncology: The Only Way Forward
Published 2021-12-01Get full text
Article -
160