Full Range Of Features Research Articles

Is it only about technology? The interplay between educational technology for mathematics homework, teaching practice, and students’ activities

Current research on the use of digital technology in education has overgrown. It is becoming clear that technology will not unfold its pedagogical potential outlined in the literature on its own. To harness its full benefits, it is paramount to thoroughly understand the educational context and underlying pedagogical principles. This research reports how an educational technology can support students’ knowledge development from homework mathematics learning practices for 11 to 14 year-old students. The article describes the shift learning goals from producing the correct answer to understanding how to address current and future mathematical challenges as an important interaction between educational technology, teaching practices and student learning activities. The study revealed specific features of technology integration with mathematics teaching and learning practices. The findings highlighted the effectiveness of digital support for homework activities, indicating that there were benefits only when students and teachers used the full range of features and engaged in the process. Finally, the report provides practical tips and ground rules that can contribute to the successful implementation of educational technology for homework activities.

Soft, environmentally degradable microfluidic devices for measurement of sweat rate and total sweat loss and for colorimetric analysis of sweat biomarkers

AbstractAdvanced capabilities in noninvasive, in situ monitoring of parameters related to sweat serve as the basis for obtaining real‐time insights into human physiological state, health, and performance. Although recently reported classes of soft, skin‐interfaced microfluidic systems support powerful functions in this context, most are designed as single‐use disposables. As a result, associated waste streams have the potential to create adverse environmental impacts. Here, we introduce materials and fabrication techniques that bypass these concerns through biodegradable microfluidic systems with a full range of features, including measurement of sweat rate and total loss, and colorimetric analysis of biomarkers. The key components fully degrade through the enzymatic action of microorganisms in natural soil environments, or in industrial compost facilities, to yield end products with beneficial uses as fertilizers and species to improve soil health. Detailed characterization of the constituent materials, the fabrication procedures, the assembly processes, and the completed devices reveal a set of essential performance parameters that are comparable to, or even better than, those of non‐degradable counterparts. Human subject studies illustrate the ability of these devices to acquire accurate measurements of sweat loss, sweat rate, pH, and chloride concentration during physical activities and thermal exposures.image

Delay in the acquisition of Differential Object Marking by Spanish monolingual and bilingual teenagers

Aims and Objectives/Purpose/Research Questions: This study investigated the acquisition of Spanish Differential Object Marking (DOM) by bilingual and monolingual Spanish teenagers, evaluating to which extent their knowledge of DOM can be explained by different theories of acquisition. Design/Methodology/Approach: Two experiments with bilingual and monolingual Spanish teenagers (ages 10 to 15) were conducted. The experiments included an Elicited Production Completion Task, in which a space was to either be filled with an object marker or left blank, and a Context-Matching Acceptability Judgment Task. Data and Analysis: 54 subjects (44 bilinguals and 10 monolinguals) were tested. For both tasks, there were 6 conditions testing different syntactic–semantic features that trigger DOM (test items n = 42 in each task). The data were analysed with linear regressions and repeated measures analyses of variance. Findings/Conclusions: This study’s results show that bilingual teenagers do not demonstrate significant differences from age-matched monolinguals in their competence regarding the syntactic–semantic properties of DOM. Both groups are below ceiling in showing evidence of knowledge about all the syntactic–semantic features involved in DOM, indicating the possibility of a significant delay beyond childhood in their acquisition. Originality: There are few previous studies on the acquisition of DOM, and none which consider the full range of features and specific population considered here. Work by Montrul focuses on the animacy feature, while Guijarro-Fuentes considers the full range of features, but for adult L2 learners of Spanish. Significance/Implications: This study shows that the Interface Vulnerability Hypothesis, the Feature Reassembly Hypothesis, the Full Access/Full Transfer Hypothesis and the Interpretability Hypothesis have limitations in explaining its results. Instead, a feature-based approach is proposed in which the specification of features beyond animacy raises difficulties for the acquisition of DOM until late childhood.

Mostly-automated verification of low-level programs in computational separation logic

Several recent projects have shown the feasibility of verifying low-level systems software. Verifications based on automated theorem-proving have omitted reasoning about first-class code pointers , which is critical for tasks like certifying implementations of threads and processes. Conversely, verifications that deal with first-class code pointers have featured long, complex, manual proofs. In this paper, we introduce the Bedrock framework, which supports mostly-automated proofs about programs with the full range of features needed to implement, e.g., language runtime systems. The heart of our approach is in mostly-automated discharge of verification conditions inspired by separation logic. Our take on separation logic is computational , in the sense that function specifications are usually written in terms of reference implementations in a purely functional language . Logical quantifiers are the most challenging feature for most automated verifiers; by relying on functional programs (written in the expressive language of the Coq proof assistant), we are able to avoid quantifiers almost entirely. This leads to some dramatic improvements compared to both past work in classical verification, which we compare against with implementations of data structures like binary search trees and hash tables; and past work in verified programming with code pointers, which we compare against with examples like function memoization and a cooperative threading library.

Combined image compressor and denoiser based on tree-adapted wavelet shrinkage

An algorithm is described for simultaneously compressing and denoising images. The algorithm is called tree-adapted wavelet shrinkage and compression (TAWS-Comp). TAWS-Comp is a synthesis of an image compression algorithm, adaptively scanned wavelet difference reduction (ASWDR), and a denoising algorithm, tree-adapted wavelet shrinkage (TAWS). As a compression procedure, TAWS-Comp inherits all of the advantages of ASWDR: its ability to achieve a precise bit rate assigned before compressing, its scalability of decompression, and its capability for enhancing regions of interest. Such a full range of features has not been available with previous compressor-plus-denoiser algorithms. As a denoising procedure, TAWS-Comp is nearly as effective as TAWS alone. TAWS has been shown to have good performance, comparable to state of the art denoisers. In many cases, TAWS-Comp matches the performance of TAWS while simultaneously performing compression. TAWS-Comp is compared with other combined compressor/denoisers, in terms of error reduction and compressed bit rates. Simultaneous compression and denoising is needed when images are acquired from a noisy source and storage or transmission capacity is severely limited (as in some video coding applications). An application is described where the features of TAWS-Comp as both compressor and denoiser are exploited.