Results 41 to 50 of about 1,007,644 (283)

A Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller

International Journal of Adaptive Control and Signal Processing, EarlyView.
Block Diagram of the Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller. ABSTRACT This article introduces a discrete‐time robust adaptive one‐sample‐ahead preview super‐twisting sliding mode controller. A stability analysis of the controller by Lyapunov criteria is developed to demonstrate its robustness in handling both ...
Guilherme Vieira Hollweg, Paulo Jefferson Dias de Oliveira Evald, Shivam Chaturvedi, Hilton Abilio Gründling, Rodrigo Varella Tambara, Wencong Su   +5 more
wiley   +1 more source

Configural reasoning as coordination of visualisation process

Enseñanza de las Ciencias, 2011
This study identifies visualisation processes in student primary teachers when they solve geometry problems requiring mathematical proof, in a pencil-and-paper environment.
Germán Torregrosa-Gironés, H. Quesada Vilella, M.C. Penalva Martínez   +2 more
doaj   +1 more source

Unpacking the logic of mathematical statements [PDF]

, 1995
This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
core   +1 more source

Planar Solid‐State Nanopores Toward Scalable Nanofluidic Integration Based on CMOS Technology

Advanced Engineering Materials, EarlyView.
We present a scalable silicon‐based fabrication strategy for planar solid‐state nanopores to enable their integration with complex nanofluidic systems. Prototype devices demonstrate normal voltage‐current characteristics, good noise performance, and appreciable streaming currents. Our CMOS‐compatible fabrication process offers precise geometric control
Ngan Hoang Pham, Chenyu Wen, Mohammad Hadi Khaksaran, Won‐Yong Lee, Javier Cruz, Klas Hjort, Dongping Wu, Shi‐Li Zhang   +7 more
wiley   +1 more source

Investigation of the Mathematical Proof Ability of Prospective Teacher Students Through Cooperative Learning Approach

Edumatica: Jurnal Pendidikan Matematika
The research investigates pre-service teachers’ ability to create mathematical proofs through cooperative learning, as this skill becomes essential in university mathematics education. The research used a mixed-methods survey design to study 24 students
Nila Kesumawati, Lusiana Lusiana, Nyiayu Fahriza Fuadiah   +2 more
doaj   +1 more source

Lakatos and Hersh on Mathematical Proof [PDF]

Journal of Philosophical Investigations, 2016
مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی
حسین بیات
doaj  

Multiplicative-Additive Focusing for Parsing as Deduction

, 2015
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing.
Morrill, Glyn, Valentín, Oriol
core   +2 more sources

NanoMOF‐Based Multilevel Anti‐Counterfeiting by a Combination of Visible and Invisible Photoluminescence and Conductivity

Advanced Functional Materials, EarlyView.
This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner, Ruben Maile, Murat Cuvalli, Andreas Wolf, Ayisha Komal, Robert Oestreich, Christoph Janiak, Karl Mandel, Alexander Knebel, Klaus Müller‐Buschbaum   +9 more
wiley   +1 more source

A Science of Reasoning [PDF]

, 1991
This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core   +1 more source

Unleashing the Power of Machine Learning in Nanomedicine Formulation Development

Advanced Functional Materials, EarlyView.
A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore, Cristiano Pesce, Antonietta Greco, Claudia Pisante, Greta Avancini, Valentina Di Francesco, Yosi Shamay, Paolo Decuzzi   +7 more
wiley   +1 more source