Results 81 to 90 of about 1,005,997 (319)

Microsphere Autolithography—A Scalable Approach for Arbitrary Patterning of Dielectric Spheres

Advanced Functional Materials, EarlyView.
MicroSphere Autolithography (µSAL) enables scalable fabrication of patchy particles with customizable surface motifs. Focusing light through dielectric microspheres creates well defined, tunable patches via a conformal poly(dopamine) photoresist. Nearly arbitrary surface patterns can be achieved, with the resolution set by the index contrast between ...
Elliott D. Kunkel, Alec G. Burnett, Katherine E. Scheiber, Hans D. Robinson   +3 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

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Mathematical Proof and Discovery Reductio ad Absurdum

Informal Logic, 2008
The uses and interpretation of reductio ad absurdum argumentation in mathematical proof and discovery are examined, illustrated with elementary and progressively sophisticated examples, and explained.
Dale Jacquette
doaj   +1 more source

Intrinsic Nanopore‐Assisted SnP2S6 Memristors With Ti Ion Dynamics for Compact Logic‐In‐Memory Hardware

Advanced Functional Materials, EarlyView.
Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun, Sanchali Mitra, Hongxi Su, Jiali Huo, Haofei Zheng, Michel Bosman, Yee Sin Ang, Kah‐Wee Ang   +7 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

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  

Hybrid Scaffolds Decouple Biochemical & Biophysical Regulation of Cell Phenotype

Advanced Healthcare Materials, EarlyView.
Replicating tissue‐specific extracellular matrix is crucial for understanding its role in disease. This work demonstrates independent control over stiffness, composition and 3D collagen architecture using hybrid scaffolds: patterned collagen perfused with defined hydrogels.
Xinyuan Song, Samantha C. Mitchell, Abbie N. Smart, William Hardiman, Daniel V. Bax, Ceri E. Staley, Catherine Probert, Pamela Collier, Marian Meakin, Alison A. Ritchie, Tania Mendonca, Amanda J. Wright, Victoria James, Anna M. Grabowska, Catherine L. R. Merry, Serena M. Best, Ruth E. Cameron, Jennifer C. Ashworth   +17 more
wiley   +1 more source

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

Peptomer Linkers Enable Kinetic Control over Co‐Delivery of Multiple Chemotherapeutics

Advanced Healthcare Materials, EarlyView.
A key challenge in combinatorial chemotherapeutic drug delivery is independent control over release kinetics, especially with drugs of similar size and structure. Here, peptoid substitutions to proteolytically degradable peptides enabled the design of fast and slow‐releasing drug linkers.
Carolyn M. Watkins, Samuel L. Hallam, Mariah J. Austin, Adrianne M. Rosales   +3 more
wiley   +1 more source