Results 61 to 70 of about 1,174,960 (285)
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
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 +5 more
wiley +1 more source
Дискурс Пи, 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
Formal rigidity of the Witt and Virasoro Algebra
, 2012 The formal rigidity of the Witt and Virasoro algebras was first established by the author in [4]. The proof was based on some earlier results of the author and Goncharowa, and was not presented there.
Alice Fialowski, Cartan E., Fuchs D. B.
core +1 more source
In Situ Micromechanical Study of Bimodal γ′–γ″ Precipitate Assemblies in Ni–Cr–Al–Nb Superalloy
Advanced Engineering Materials, EarlyView.A Ni–Cr–Al–Nb superalloy with a bimodal γ′–γ″ precipitate distribution is developed. Composite precipitate assemblies form through heterogeneous nucleation, effectively impeding dislocation motion. Micropillar compression reveals high strength at room and elevated temperatures, governed by precipitate shearing, with coupled faulting mechanisms ...
Ujjval Bansal +4 more
wiley +1 more source
IEEE AccessSingle Sign-On (SSO) protocols streamline user authentication with a unified login for multiple online services, improving usability and security. One of the most common SSO protocol frameworks — the Security Assertion Markup Language V2.0 (SAML ...
Zvonimir Hartl, Ante Derek
doaj +1 more source
Advanced Functional Materials, EarlyView.For the first time, a highly sensitive electrochemical biosensor based on SiO2‐based hairy particles with a grafted PDMAEMA polymer brush containing a quantifiable and large amount of immobilized Laccase is reported. The fabricated biosensor exhibits a sensitivity of 0.14 A·m⁻¹, a limit of detection (LOD) of 0.1 µm, and a detection range of 0.3–750 µm,
Pavel Milkin +7 more
wiley +1 more source
Goal Translation for a Hammer for Coq (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems.
Łukasz Czajka, Cezary Kaliszyk
doaj +1 more source
Ideas for a high-level proof strategy language [PDF]
, 2010 Finding ways to prove theorems mechanically was one of the earliest challenges tackled by the AI community. Notable progress has been made but there is still always a limit to any set of heuristic search techniques.
Bundy, Alan +2 more
core
Through Diamond Robust Surface Enhanced Raman Spectroscopy
Advanced Functional Materials, EarlyView.Thin film diamond growth offers a unique opportunity for Surface Enhanced Raman Spectroscopy (SERS); the encapsulation of plasmonic nanostructures within a transparent, chemically stable, and physically robust coating. The diamond acts as both a window and protective layer, enabling illumination of the plasmonic nanostructures through the diamond ...
Kieran N. Twaddle +4 more
wiley +1 more source