Results 51 to 60 of about 1,174,960 (285)

Lakatos and Hersh on Mathematical Proof

Journal of Philosophical Investigations, 2015
The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant ...
Hossein Bayat
doaj  

FABI: A Formal Analyzer of Binary Image Objects Identification Tools

IEEE Access
In computer vision, the goal of object identification in images is to track or count objects such as persons, cars, animals and so on. Object detection techniques have found their place in several applications such as video analytic, contact-less ...
Saima Iqbal, Ahmed B. Altamimi, Wilayat Khan, Mohammad Alsaffar, Aakash Ahmad, Fahad F. Alfaisal   +5 more
doaj   +1 more source

Students Thinking Process in Compiling Mathematical Proof with Semantics Strategy

Jurnal Pendidikan Sains, 2015
Proses Berpikir Mahasiswa dalam Menyusun Bukti Matematis dengan Strategi Semantik   Abstract: This study is aimed to reveal the thinking process in proof construction performed by students with semantic strategy.
Abdussakir Abdussakir
doaj   +1 more source

See-saw mechanism and four light neutrino state [PDF]

, 2001
A formal proof is given that in a see-saw type neutrino mass matrix with only two neutrino mass scales ($m_D \ll m_R$) and the maximal rank of $m_{R(D)}$, we can not get a fourth light sterile neutrino.Comment: 5 ...
C. Athanassopoulos, C. Athanassopoulos, C. Athanassopoulos, C. Athanassopoulos, E. Chun, E. J. Chun, E. Ma, E. Ma, G. M. Fuller, J. Gluza, J. Gluza, J. M. Gelb, M. Czakon, M. Gell-Mann, M. Reed, M. Zrałek, N. Okada, R. Foot, R. Mohapatra, R. N. Moahpatra, S. C. Gibbons, S. M. Bilenkii, S. M. Bilenky, S. M. Bilenky, S. M. Bilenky, S. Mohanty, T. Yanagida, U. Sarkar, V. Barger, V. Barger, V. Barger, Y. Chikira, Z. G. Berezhiani   +32 more
core   +3 more sources

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

Sentidos primitivos de la demostración en la formación de profesores

Revista Científica, 2011
he first emerging meanings of the proof process, given by a group of five prospective teachers is studied in the context of real numeric continuum. The metodology is a teaching experiment of a six month long.
ARTURO SANJUAN, JAIME HUMBERTO ROMERO, MARTA BONILLA ESTEVEZ   +2 more
doaj  

Comparison of geometric proof development tasks as set up in the textbook and as implemented by teachers in the classroom

Pythagoras, 2019
This qualitative case study examined similarities and differences between circle geometric proof development tasks set up in the Malawian Grade 11 mathematics textbook, and those that are set up and implemented by teachers in the classroom.
Lisnet Mwadzaangati
doaj   +1 more source

Oxide‐Free Titanium Coatings by Wire Arc Spraying in a Silane‐Doped Inert Atmosphere

Advanced Engineering Materials, EarlyView.
A silane‐doped argon atmosphere enables the production of oxide‐free titanium coatings via twin‐wire arc spraying at ambient pressure. This innovative approach eliminates residual oxygen, creating process conditions that prevent oxidation and nitride formation.
Manuel Rodriguez Diaz, Maik Szafarska, René Gustus, Kai Möhwald, Hans Jürgen Maier   +4 more
wiley   +1 more source

Dielectric Barrier Discharge Plasma Deoxidation of Natively Oxide Layer of Copper Powders in a Fluidized Bed

Advanced Engineering Materials, EarlyView.
This paper presents a novel approach to reducing oxide layers on metal powders using low‐temperature hydrogen dielectric barrier discharge plasmas at atmospheric pressure. Unlike conventional hydrogen‐plasma reductions, the powders do not contact the plasma directly.
Shukang Zhang, Annett Wollmann, Thomas Gimpel, Alfred P. Weber   +3 more
wiley   +1 more source

Introduction to Formal Methods for Software Engineering

Measurement + Control, 1993
This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly.
Trevor King
doaj   +1 more source