Results 81 to 90 of about 28,950,866 (246)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Hypercontractive inequalities via SOS, and the Frankl-Rödl graph
Discrete Analysis, 2016 Hypercontractive inequalities via SOS, and the Frankl-Rödl graph, Discrete Analysis 2016:4, 20 pp. One of the major unsolved problems in theoretical computer science is the unique games conjecture of Subhash Khot. Its importance lies in the fact that it
Manuel Kauers +3 more
doaj +1 more source
Computational complexity and an integer programming model of Shakashaka [PDF]
, 2013 Shakashaka, one of the so-called “pencil-and-paper”puzzles like Sudoku, was proposed by Guten and hasbeen popularized by the Japanese publisher Nikoli. The computational complexity of Shakashaka was not studied so far.
Uehara, Ryuhei +3 more
core +1 more source
Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths
Advanced Science, EarlyView.Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears +5 more
wiley +1 more source
Advanced Science, EarlyView.Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas +6 more
wiley +1 more source
, 2009 [[abstract]]Abstract The study aims to analyze the effect of multimedia computer-assisted instruction on the teaching of integer arithmetic operations in elementary school.
Juang Yu-Shiuan
core
Charting Endocrine Progenitors Across Species and Organs
Advanced Science, EarlyView.Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing +21 more
wiley +1 more source
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
Physics‐Embedded Neural Network: A Novel Approach to Design Polymeric Materials
Advanced Science, EarlyView.Traditional black‐box models for polymer mechanics rely solely on data and lack physical interpretability. This work presents a physics‐embedded neural network (PENN) that integrates constitutive equations into machine learning. The approach ensures reliable stress predictions, provides interpretable parameters, and enables performance‐driven, inverse ...
Siqi Zhan +8 more
wiley +1 more source
Topology of quasi divisor graphs associated with non-associative algebra
Ain Shams Engineering JournalThe visualization of graphs representing algebraic structures has increasingly gained traction in chemical engineering research, emerging as a significant scientific challenge in contemporary studies.
Muhammad Nadeem +4 more
doaj +1 more source