Results 91 to 100 of about 830,162 (351)
A Graph Rewriting Approach for Transformational Design of Digital Systems [PDF]
Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps.
Huijs, Corrie
core +10 more sources
THE METHODOLOGY OF TEACHING MATHEMATICS THROUGH ICT
This article describes the ways to improve methods and algorithms of the automated control of knowledge, approaches to the establishment and effective functioning of electronic teaching complexes, which include tests of a new generation, and their use is not limited control purpose only.
Sadullaeva Mavjuda Ziyadullaevna +1 more
openaire +1 more source
In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart +3 more
wiley +1 more source
Background Multi-arm multi-stage (MAMS) randomised trial designs have been proposed to evaluate multiple research questions in the confirmatory setting.
Babak Choodari-Oskooei +4 more
doaj +1 more source
This study analyses how preservice mathematics teachers reflect on the incorporation of gamification in their teaching practices after participating in a training cycle focused on this active methodology.
Alexandre Cortés +3 more
doaj +1 more source
Electrical Conductivities of Conductors, Semiconductors, and Their Mixtures at Elevated Temperatures
This article presents a comprehensive review of temperature‐dependent electrical conductivity data for multiple material classes at elevated temperatures, highlighting a persistent conductivity gap between metals and semiconductors in the range of 102$\left(10\right)^{2}$– 107$\left(10\right)^{7}$ S/m. Metal–ceramic irregular metamaterials are proposed
Valentina Torres Nieto, Marcia A. Cooper
wiley +1 more source
Tecnología y educación de adultos. Cambio metodológico en las matemáticas
The present work analyses and assesses the application of the information and communication technologies (ICTs) in the education of adult people.This application consists of a methodological investigation in the field of mathematics, specifically in ...
Mª Luisa Barrio de la Puente +2 more
doaj
This paper aims to analyze the importance of acquiring mathematical skills in the primary education stage within the framework of the key competences highlighting their contribution to the development of a mathematical culture of society, hence the ...
Luis del Espino Díaz
semanticscholar +1 more source
This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal +2 more
wiley +1 more source
Problem solving in Technical and Vocational Education: a student's view
Problem solving is a very effective mathematics teaching methodology, since it fosters a mobilization of knowledge in the sense of seeking the solution.
Yasniel Suarez Serrano +1 more
doaj

