English
Related papers

Related papers: Methodic of separate components formation of mobil…

200 papers

Large language models (LLMs) are becoming increasingly embedded in students' learning practices, yet much of what is known about how students use LLMs and how this usage impacts learning comes from problem-solving domains or constrained…

Human-Computer Interaction · Computer Science 2026-05-07 Minju Park , Ivan Orozco Vasquez , Cristina Conati

Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving. The paper describes experiments with a combined system involving learning technology that generates…

Logic in Computer Science · Computer Science 2024-01-17 Michael Rawson , Christoph Wernhard , Zsolt Zombori , Wolfgang Bibel

Traditional methods in educational research often fail to capture the complex and evolving nature of learning processes. This chapter examines the use of complex systems theory in education to address these limitations. The chapter covers…

Computers and Society · Computer Science 2025-02-03 Mohammed Saqr , Daryn Dever , Sonsoles López-Pernas , Christophe Gernigon , Gwen Marchand , Avi Kaplan

A self-training scheme geared at inducing students to improve their skills through independent homework is presented. The motivation is to identify an inexpensive, yet effective tool for raising the competence level of students in the…

Physics Education · Physics 2018-09-14 G. L. Lippi

Learning Spaces are certain set systems that are applied in the mathematical modeling of education. We propose a suitable compression (without loss of information) of such set systems to facilitate their logical and statistical analysis.…

Data Structures and Algorithms · Computer Science 2017-08-14 Marcel Wild

In this report, we have explored the issues associated with the specification of event-based systems in a mobile environment using Unity \cite{unity}. We used a few constructs and concepts from Mobile UNITY which was proposed as an…

Programming Languages · Computer Science 2019-09-09 Prashant Kumar , R. K. Ghosh

In recent years, promising mathematical models have been suggested which aim to describe conscious experience and its relation to the physical domain. Whereas the axioms and metaphysical ideas of these theories have been carefully…

Neurons and Cognition · Quantitative Biology 2020-07-15 Johannes Kleiner

Measurements are fundamental to knowledge creation in science, enabling consistent sharing of findings and serving as the foundation for scientific discovery. As machine learning systems increasingly transform scientific fields, the…

Materials Science · Physics 2025-05-07 Nawaf Alampara , Mara Schilling-Wilhelmi , Kevin Maik Jablonka

Current concerns over reforming engineering education have focused attention on helping students develop skills and an adaptive expertise. Phenomenological guidelines for instruction along these lines can be understood as arising out of an…

Physics Education · Physics 2012-09-05 Edward F. Redish , Karl A. Smith

Development of several alternative mathematical models for the biological system in question and discrimination between such models using experimental data is the best way to robust conclusions. Models which challenge existing theories are…

Quantitative Methods · Quantitative Biology 2016-02-01 Vitaly V. Ganusov

Background: Software project management activities help to introduce software process models in Software Engineering courses. However, these activities should be adequately aligned with the learning outcomes and support student's…

Software Engineering · Computer Science 2021-01-21 Javier Gonzalez-Huerta , Jefferson Seide Molleri , Aivars Šablis , Ehsan Zabardast

MADNESS (multiresolution adaptive numerical environment for scientific simulation) is a high-level software environment for solving integral and differential equations in many dimensions that uses adaptive and fast harmonic analysis methods…

Classical models of computation have been successful in capturing the very essence of individual computing devices. Although they are useful to understand computability power and limitations in the small, such models are not suitable to…

Logic in Computer Science · Computer Science 2025-08-26 Damian Arellanes

This study explores student attitudes to the use of substantive on-line assessments that require mathematical answers. Our goal is to learn what are the important aspects in a design of more effective e-assessments that support learning of…

Physics Education · Physics 2016-03-09 Elizabeth Acosta-Gonzaga , Niels R. Walet

M-Learning is a new learning paradigm of the new social structure with mobile and wireless technologies.Smart school is one of the four flagship applications for Multimedia Super Corridor (MSC) under Malaysian government initiative to…

Multimedia · Computer Science 2010-09-08 Saipunidzam Mahamad , Mohammad Noor Ibrahim , Shakirah Mohd Taib

Complex systems thinking is applied to a wide variety of domains, from neuroscience to computer science and economics. The wide variety of implementations has resulted in two key challenges: the progenation of many domain-specific…

Social and Information Networks · Computer Science 2020-06-05 Leo Torres , Ann S. Blevins , Danielle S. Bassett , Tina Eliassi-Rad

Information technology (IT) has been used widely in many aspects of our daily life. After discuss politics related aspects for some articles. In this article author would like to discuss social media for students learning environment.…

Computers and Society · Computer Science 2018-04-24 Leon Andretti Abdillah

Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…

Logic in Computer Science · Computer Science 2025-11-19 Reydel Arrieta , José Proença , Patrick Meumeu Yomsi

An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling…

History and Overview · Mathematics 2023-05-10 Brian D Wood

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented…

Logic in Computer Science · Computer Science 2011-05-04 Florian Rabe , Michael Kohlhase
‹ Prev 1 8 9 10 Next ›