Results 71 to 80 of about 101,763 (309)
An Approach of XML Query Evaluation Based Model Checking
Cybernetics and Information Technologies, 2016 In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluating ...
Yan-Mei Li, Shao-Bin Huang, Ya Li, Li Xu
doaj +1 more source
Pengembangan Desain Didaktis Materi Pecahan pada Sekolah Menengah Pertama (SMP)
Jurnal Matematika Integratif, 2015 Penelitian ini bertujuan mengembangkan desain didaktis materi pecahan di SMP. Desain didaktis dikembangkan dengan terlebih dahulu mengidentifikasi hambatan belajar (learning obstacles) yang dihadapi siswa.
Jaky Jerson Palpialy, Elah Nurlaelah
doaj +1 more source
, 2023 sj-sps-3-hpq-10.1177_13591053221140259 for Cybervictimization and suicidal ideation in adolescents: A prospective view through gratitude and life satisfaction by María Teresa Chamizo-Nieto and Lourdes Rey in Journal of Health ...
María Teresa Chamizo-Nieto (14329977) +1 more
core +1 more source
Amphoteric Cu‐Doping Leading to High Thermoelectric Performance in p‐Type Bismuth Antimony Telluride
Advanced Functional Materials, EarlyView.This study shows that Cu plays two opposite roles in p‐type Bi0.5Sb1.5Te3 depending on the processing route. Under thermodynamic‐equilibrium bulk‐synthesis, Cu mainly occupies cation sites, increases hole concentration, preserves mobility, and slightly reduces lattice heat transport. The best‐performing composition among the investigated series reaches
Moritz Thiem +15 more
wiley +1 more source
Profil Kemampuan Pemecahan Masalah Siswa pada Pembelajaran Gerak Lurus
JPPPF: Jurnal Penelitian & Pengembangan Pendidikan Fisika, 2016 This study aims to determine the effect of the application models of learning are teachers doing the problem solving ability of students. The study was conducted in one of the class X State Senior High School in Sukabumi District, West Java Province ...
M. Hariri Mustofa, Dadi Rusdiana
doaj +1 more source
Paramacrobiotus sagani Sp., sp.
, 2017 Paramacrobiotus sagani sp. nov. (Figs. 2–3, Tables 2–3) Material examined: Holotype mounted in Hoyer’s medium, 11 paratypes and 10 eggs in Hoyer’s medium, and 15 paratypes in PVA, from locality Bonda, lower basin of the ManZanares River. One additional specimen and one additional egg from the locality Puerto Mosquito, lower basin of the Gaira River ...
Daza, Anisbeth +3 more
openaire +1 more source
, 2022 Supplemental material, sj-sps-6-hpq-10.1177_13591053221133890 for Intersections of paranoia and the body in the general population by Wei Lin Toh, Andrea Phillipou, Erica Neill and Susan L Rossell in Journal of Health ...
Erica Neill (5197361) +3 more
core +1 more source
Advanced Materials, EarlyView.Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin +7 more
wiley +1 more source
, 1922 Laelaps explanatus, Cope, 1876 " = (?)Dromaeosaurus sp.
Matthew, W. D.,, Brown, B.
openaire +1 more source
, 2023 sj-sps-4-hpq-10.1177_13591053231159483 for Community peer support among individuals living with spinal cord injury by Joy McLeod and Christopher G.
Christopher G. Davis (9215206) +1 more
core +1 more source