Results 91 to 100 of about 2,046,692 (239)

Communicating Formal Proofs: The Case of Flyspeck [PDF]

, 2013
We introduce a platform for presenting and cross-linking formal and informal proof developments together. The platform supports writing natural language ‘narratives’ that include islands of formal text. The formal text contains hyperlinks and gives on-demand state information at every proof step.
Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers   +3 more
openaire   +4 more sources

Learning from Experts to Aid the Automation of Proof Search. [PDF]

, 2009
Most formal methods give rise to proof obligations (POs) which are putative lemmas that need proof. Discharging these POs can become a bottleneck in the use of formal methods in practical applications.
Bundy, Alan, Grov, Gudmund, Jones, Cliff B.   +2 more
core  

Electrically Induced Phase Transition and Synaptic Functionality in MoTe2/Graphene Memristors

Advanced Functional Materials, EarlyView.
An electrically induced reversible 2H ↔ 1T′ phase transition is demonstrated in a vertical Au/Ti/MoTe2/graphene memristor with a laterally contacted graphene electrode. Resistive switching proceeds through a compositionally invariant amorphous/2H ↔ amorphous/1T′ transformation, in which a self‐formed amorphous MoTe2 interfacial region is proposed to ...
Chien‐Hua Wang, Mu‐Pai Lee, Jhen‐Dong Tsai, Liang‐Ying Hsieh, Jui‐Yuan Chen, Chun‐Wei Huang, Yen‐Fu Lin, Wen‐Wei Wu   +7 more
wiley   +1 more source

Fiber‐Based Wearable Electronics as Adaptive Biointerfaces for Healthcare Applications

Advanced Functional Materials, EarlyView.
Fiber‐based wearable electronics have been extensively studied as adaptive healthcare biointerfaces. In this review, we classify and introduce fiber‐based systems according to biointerface design, conductive materials, transduction mechanisms, and healthcare applications, and provide a perspective on their translation toward reliable, continuous ...
Sangwoo Hong, Jinsol Kim, Yoonjae Jeong, Sejong Kang, Daeho Lee, Seung Hwan Ko   +5 more
wiley   +1 more source

Biodegradable 3D‐Printable and Coatable Antifouling Composites for Marine Applications

Advanced Functional Materials, EarlyView.
Marine biofouling damages submerged surfaces and raises greenhouse gas emissions. Biodegradable antifouling biocomposites were developed by hot‐mixing beeswax, Tween 80, and calcium stearate or stearic acid. Adjusting the component ratio enables processing via hot‐pressing, 3D‐printing, or dip‐coating.
Gabriele Corigliano, Lorenzo Ravelli, Martina Nardi, Ruowen Tu, Elena Bellini, Valerio Isa, Carlo Filippeschi, Roberta Finazzi, Luca Ceseracciu, Niloofar Paknezhad, Vincenzo Scribano, Paolo Galli, Silvia Lavorano, Simone Montano, Barbara Mazzolai, Marco Contardi, Pietro Cataldi, Athanassia Athanassiou   +17 more
wiley   +1 more source

Epistemic Obstacles in Real Analysis: Newman’s Error Analysis of Prospective Mathematics Teachers' Theorem Proving

Prisma Sains: Jurnal Pengkajian Ilmu dan Pembelajaran Matematika dan IPA IKIP Mataram
Real Analysis is often a gatekeeper course in mathematics education, marking the difficult transition from computational calculus to formal axiomatic proof.
Ahmad Syamsuadi, Nasrun Nasrun, Baharullah Baharullah, Mukhlis Mukhlis, Andi Kaharuddin, Joseph Ozigis Akomodi   +5 more
doaj   +1 more source

Formalizing a Proof that e is Transcendental

J. Formaliz. Reason., 2011
Journal of Formalized Reasoning; Vol 4, No 1 (2011); 71 ...
openaire   +2 more sources

Proving as Programming with DrHOL: A Preliminary Design [PDF]

, 2003
We discuss the design of a new implementation of the HOL system aimed at improved graphical user interface support for formal proof. We call our approach Proving as Programming, since we believe that metalanguage programming is a central aspect of proof ...
Konrad Slind, Owens, Scott, Scott Owens, Slind, Konrad   +3 more
core  

Analog Classification of Human Hand Gestures Exploiting Dendritic Integration With an Organic Artificial Soma

Advanced Functional Materials, EarlyView.
An organic neuromorphic architecture for the classification of human motor behavior is presented and validated. It performs somatic integration by linearly combining the activity from three muscles. An investigation of synaptic weights is presented and discussed in relationship with the classification performance.
Ilenia Sergi, Federico Rondelli, Francesco Torricelli, Federica Velluto, Anna De Salvo, Michele Di Lauro, Luciano Fadiga, Fabio Biscarini   +7 more
wiley   +1 more source

Strategi Pembuktian Matematis Mahasiswa Pada Soal Geometri

JTAM (Jurnal Teori dan Aplikasi Matematika), 2017
Abstrak: Penelitian kualitatif ini bertujuan untuk mengungkap strategi yang digunakan mahasiswa dalam melakukan pembuktian soal Geometri. Subjek dalam penelitian ini adalah mahasiswa yang telah menempuh mata kuliah Geometri.
Sofyan Mahfudy
doaj   +1 more source