Results 71 to 80 of about 1,007,644 (283)

Optimal Gabor frame bounds for separable lattices and estimates for Jacobi theta functions

, 2016
We study sharp frame bounds of Gabor frames with the standard Gaussian window and prove that the square lattice optimizes both the lower and the upper frame bound among all rectangular lattices.
Faulhuber, Markus, Steinerberger, Stefan
core   +1 more source

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source

Kemampuan Pembuktian Matematis Mahasiswa Menggunakan Induksi Matematika

Journal of Medives: Journal of Mathematics Education IKIP Veteran Semarang, 2019
Kemampuan mahasiswa dalam melakukan pembuktian matematis tidak sama bergantung dari kategori kognitifnya. Salah satu metode pembuktian matematika adalah induksi matematika yang memerlukan pemahaman konsep secara sistematis. Tujuan penelitian adalah untuk
Siska Firmasari, Herri Sulaiman
doaj   +1 more source

Artificial Intelligence‐Assisted Workflow for Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling

Advanced Materials, EarlyView.
AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll, Ivan Pinto‐Huguet, Enzo Rotunno, Thomas Galvani, Catalina Coll, Payam Habibzadeh Kavkani, Maria Chiara Spadaro, Yann‐Michel Niquet, Martin Børstad Eriksen, Sara Martí‐Sánchez, Georgios Katsaros, Giordano Scappucci, Peter Krogstrup, Giovanni Isella, Andreu Cabot, Gonzalo Merino, Pablo Ordejón, Stephan Roche, Vincenzo Grillo, Jordi Arbiol   +19 more
wiley   +1 more source

ADVERSITY QUOTIENT AND RESILIENCE IN MATHEMATICAL PROOF PROBLEM-SOLVING ABILITY

MaPan: Jurnal Matematika dan Pembelajaran, 2020
: Various mathematical abilities require a high level of struggle to be achieved, one of which is the ability to solve mathematical proof problems. Several factors are also associated with this ability, including adversity quotient and resilience.
Fauziah Hakim, Murtafiah Murtafiah
doaj   +1 more source

Light‐Induced Entropy for Secure Vision

Advanced Materials, EarlyView.
This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo, Seungme Kang, Chaehyun Kim, Taehyun Park, Youngwoo Yoo, Yeong Kwon Kim, Wonjun Shin, Byung Chul Jang, Young‐Joon Kim, Hocheon Yoo   +9 more
wiley   +1 more source

The Eternal Unprovability Filter – Part I [PDF]

, 2016
I prove both the mathematical conjectures P ≠ NP and the Continuum Hypothesis are eternally unprovable using the same fundamental idea. Starting with the Saunders Maclane idea that a proof is eternal or it is not a proof, I use the indeterminacy of human
Pai, Kiran
core  

Proof Auditing Formalised Mathematics

Journal of Formalized Reasoning, 2016
The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much ...
openaire   +2 more sources

Thermally Modulated Metasurface Sensor for Dynamic and Time‐Resolved Isolation of Extracellular Vesicles

Advanced Materials, EarlyView.
A thermally adaptive plasmonic metasurface, functionalized with poly(N‐isopropylacrylamide) (PNIPAM) and anti‐CD63 antibodies, enables precise, on‐demand capture and release of extracellular vesicles (EVs). Delivering high recovery, improved purity, and intact vesicle structure, the platform offers a versatile, label‐free solution for real‐time EV ...
Beyza Nur Kucuk, Eylul Gulsen Yilmaz, Yusuf Aslan, Emre Ece, Özgecan Erdem, Murat Alp Gungen, Bengi Özgün Öztürk, Fatih Inci   +7 more
wiley   +1 more source

Discovery in Student-Centered Learning: The Essential Role in Guiding Students' Mathematical Reasoning and Proof

International Journal of Research in Mathematics Education
This study explores how a teacher focuses students' mathematical reasoning to advance instruction through the implementation of five mathematically productive teaching streams: guidance to student reasoning and proof, student mathematical discussion ...
Scristia, Tatang Herman
doaj   +1 more source