Results 71 to 80 of about 1,881,310 (251)

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  

Carboxylic‐Acid Functionalized Multiwalled Carbon Nanotube‐Alkane‐Based Resistive Temperature Sensor for Cold Chain Applications

Advanced Engineering Materials, EarlyView.
This study presents a reversible temperature sensor with high switching ratio, ∼103. The device is fabricated using PET‐ITO and carbon nanotube dispersions in alkane. Considering its application in cold chain logistics, a proof‐of‐concept with LED is showcased. Thus, a temperature drop below the threshold temperature (crystallization temperature of the
Sunil Kumar Behera, Philippe Marrec, A. Jorge Parola, Madalena Dionísio, Hugo Águas, Andreia F. M. Santos, Hamed Pourkheirollah, Donald Lupo, César A. T. Laia   +8 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  

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

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

Point-and-Click Logic

Informatics in Education, 2005
Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless
Matti NYKÄNEN
doaj   +1 more source

Analytical Theology: Deductive Proof of the Theorem of UnDecidability (In A Logically Formalized Axiomatic Theory Sigma) Of Formula [Dx] Representing (In A Relevant Theistic Interpretation) the Statement of God Existence

Дискурс Пи, 2020
The investigation aim - precise formulating and solving the problem of provability or improvability of statement of existence of God, and also of provability or improvability of negation of this statement in a formal axiomatic system of philosophical ...
Lobovikov V.O.
doaj   +1 more source

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Formal proof of prefix adders

Mathematical and Computer Modelling, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Feng Liu 0029, Qingping Tan, Gang Chen 0004   +2 more
openaire   +1 more source

Influence of Test Temperature and Test Frequency on Fatigue Life of Aluminum Alloy EN AW‐2618A

Advanced Engineering Materials, EarlyView.
The influence of test temperature and test frequency on the fatigue life of EN AW‐2618A is investigated. High‐cycle fatigue tests are performed at different test temperatures and frequencies on the 1000 h/230°C overaged state. Both test parameters reduce fatigue life due to time‐dependent damage mechanisms.
Ying Han, Julian M. Rosalie, Jan Radners, Mauro Madia, Philipp von Hartrott, Birgit Skrotzki   +5 more
wiley   +1 more source