Results 11 to 20 of about 717,652 (279)
Application of Discovery Learning Method in Mathematical Proof of Students in Trigonometry
Desimal, 2020 Trigonometry is a part of mathematics in learning that is related to angles. The purpose of this study was to determine the effect of the application of discovery learning methods in students' mathematical proof ability on trigonometry.
Windia Hadi, Ayu Faradillah
doaj +1 more source
Advances of proof scores in CafeOBJ
Science of Computer Programming, 2022 Critical flaws continue to exist at the level of domain, requirement, and/or design specification, and specification verification (i.e., to check whether a specification has desirable properties) is still one of the most important challenges in software/system engineering.
openaire +2 more sources
Development of a diet pattern assessment tool for coronary heart disease risk reduction
Public Health in Practice, 2022 Objective: Existing diet indices have gaps including neglect of the patterns of intake known to affect the final metabolic impact and use of measurement units prone to reporting error, and have applicability that is limited to specific populations.
Aparna Kohli +3 more
doaj +1 more source
Principles of proof scores in CafeOBJ
Theoretical Computer Science, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kokichi Futatsugi +2 more
openaire +2 more sources
Back to the Local Score in the Logarithmic Case: A Direct and Simple Proof [PDF]
Annals of the Institute of Statistical Mathematics, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bacro, Jean-Noel +3 more
openaire +2 more sources
Jurnal Pendidikan Matematika dan IPA, 2017 This study aims to know the effect of teaching and learning using Algebraic Stucture materials based on mathematical proof to improve mathematical proof ability. The type of this study is experimental method with One Shot Case Study design. Population in
Jamilah Jamilah, Syarifah Fadillah
doaj +1 more source
My Software has a Vulnerability, should I worry? [PDF]
, 2013 (U.S) Rule-based policies to mitigate software risk suggest to use the CVSS score to measure the individual vulnerability risk and act accordingly: an HIGH CVSS score according to the NVD (National (U.S.) Vulnerability Database) is therefore translated ...
Allodi, Luca, Massacci, Fabio
core +3 more sources
Reconstruction of score sets [PDF]
, 2014 The score set of a tournament is defined as the set of its different outdegrees. In 1978 Reid [15] published the conjecture that for any set of nonnegative integers D there exists a tournament T whose degree set is D.
Iványi, Antal
core +1 more source
Verifying Design with Proof Scores [PDF]
, 2008 Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for verifying design, in that they achieve a balance in which the respective capabilities of humans and machines are utilized optimally.
Kokichi Futatsugi +2 more
openaire +1 more source
Phase II Proof-of-Concept Trial of the Orexin Receptor Antagonist Filorexant (MK-6096) in Patients with Major Depressive Disorder. [PDF]
, 2017 BackgroundWe evaluated the orexin receptor antagonist filorexant (MK-6096) for treatment augmentation in patients with major depressive disorder.MethodsWe conducted a 6-week, double-blind, placebo-controlled, parallel-group, Phase II, proof-of-concept ...
Ceesay, Paulette +9 more
core +1 more source