Results 21 to 30 of about 15,715,755 (294)
Edutech, 2023 . The development of technology in this era is growing rapidly. This has had a major impact on several sectors in Indonesia, be it the education, economic, political, health, social or cultural sectors.
Ambarwati Ambarwati +2 more
doaj +1 more source
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
openaire +4 more sources
Physical Education of Students, 2013 The features of implementation of standard hoe-type motion of sportswomen of the synchronous swimming are certain. In an experiment took part 16 sportswomen aged 8-11 years.
M.V. Gordieieva
doaj +1 more source
Stochastic Integer Programming by Dynamic Programming [PDF]
Statistica Neerlandica, 1985 AbstractStochastic integer programming is a suitable tool for modeling hierarchical decision situations with combinatorial features. In continuation of our work on the design and analysis of heuristics for such problems, we now try to find optimal solutions.
B.J. Lageweg +4 more
openaire +5 more sources
Program equilibrium—a program reasoning approach [PDF]
International Journal of Game Theory, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
W. van der Hoek +2 more
openaire +2 more sources
EDIS, 2004 Each year, many thousands of horseshoe crabs are stranded upside-down and die. Horseshoe crabs are gentle and WON'T bite or sting you. Turn them over by the edge of their shell. Don't flip them by their tail! Horseshoe crabs are important to the coastal
Florida Master Naturalist Program
doaj +2 more sources
Вестник Мининского университета, 2021 Introduction. The article presents the results of the author's research work on the study of the factors that determined the development and approval of the content of the course of university pedagogy in the 1930s on the basis of the integration of ...
T. G. Khanova
doaj +1 more source
MANAJEMEN PROGRAM TAHFIDZ AL-QUR’AN DI MA’HAD AL-JAMI’AH
Managere, 2022 The purpose of this study was to describe the management of the Tahfidz Al-Qur'an Ma'had Al-jami'ah STIT program in Bekasi Regency. The research method used is a qualitative research in the form of descriptive evaluation, namely an evaluation evaluation ...
Elis Nurhayati +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT We sought to identify potential early risk biomarkers for lung disease in children post‐allogeneic HCT. Patients with pulmonary function tests 3 months post‐transplant and plasma samples between days 7 and 14 post‐HCT were included. Six of 27 subjects enrolled had reduced forced expiratory volume 1 (FEV1) z scores.
Isabella S. Small +3 more
wiley +1 more source
AI is a viable alternative to high throughput screening: a 318-target study
Scientific ReportsHigh throughput screening (HTS) is routinely used to identify bioactive small molecules. This requires physical compounds, which limits coverage of accessible chemical space.
The Atomwise AIMS Program
doaj +1 more source