Results 31 to 40 of about 490,777 (299)
"Boring formal methods" or "Sherlock Holmes deduction methods"?
, 2016 This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody ...
BF Sherman +11 more
core +1 more source
MODERN LANDMARKS IN TEACHING ACADEMIC COURSES OF INFORMATION LEGAL PROFILE
Гуманитарные и юридические исследования, 2021 The article describes the experience of implementing information and legal profile and teaching Media Law and Bachelor in EP structure. The study is based on the curricula of the Law Institute of the North Caucasus Federal University and the teaching ...
L. E. Botasheva, A. S. Gondarenko
doaj
Adapting to a changing highschool population [PDF]
, 2010 This paper reports the recent changes in the EE Bachelor program at the University of Twente. Recent generations of freshman students exhibited a lack in mathematics skills and the ability to grasp the physics behind the equations.
Eijkel, Jan +3 more
core +2 more sources
Quantum Magnetism, Spin Waves, and Light
, 2019 Both magnetic materials and light have always played a predominant role in information technologies, and continue to do so as we move into the realm of quantum technologies.
Kusminskiy, Silvia Viola
core +1 more source
Multilingual Education and Interference: Written Ungrammatical Tag-switching Among Pre-service Teachers of English Language [PDF]
, 2016 This research aims to: (1) show the ungrammaticality of pre-service teachers\u27 (Bachelor III students\u27) written tag-switching models and this is disapproving since these subjects are English teachers-to-be.
Ndayizeye, O. (Oscar)
core +2 more sources
Advanced Engineering Materials, EarlyView.The study investigates novel semi‐finished products made of unidirectionally arranged hemp or pineapple leaf fiber‐reinforced composites produced from different matrices. The materials are analyzed in terms of their mechanical and interfacial properties and void content.
Nina Graupner +22 more
wiley +1 more source
Integrative Medicine Research, 2020 Background: During the COVID-19 epidemic period, Traditional Chinese Medicine (TCM) course for international students of Medical Bachelor, Bachelor of Surgery (MBBS) program in Zhejiang University has shifted from traditional classroom to online ...
Qing Zhang +10 more
doaj +1 more source
Correlation between Students’ Results Obtained during their Studies and at Final State Examinations [PDF]
, 2014 Purpose of the article: The objective of the article is to provide information regarding of the evaluation of the knowledge students prove to have during their studies and show at final state examinations before the Board on the one hand, and the ...
Dostál, Petr, Kropáč, Jiří
core
Advanced Robotics Research, EarlyView.Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds +2 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source