Results 61 to 70 of about 349,803 (277)
Advanced Science, EarlyView.This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita +4 more
wiley +1 more source
Almost periodic solutions for Fox production harvesting model with delay
Electronic Journal of Qualitative Theory of Differential Equations, 2012 By utilizing the continuation theorem of coincidence degree theory, we shall prove that a Fox production harvesting model with delay has at least one positive almost periodic solution.
Jehad Alzabut, Saleem Obaidat
doaj +1 more source
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving [PDF]
Logical Methods in Computer Science, 2012 We propose a synthesis of the two proof styles of interactive theorem proving: the procedural style (where proofs are scripts of commands, like in Coq) and the declarative style (where proofs are texts in a controlled natural language, like in Isabelle ...
Freek Wiedijk
doaj +1 more source
A variation norm Carleson theorem [PDF]
, 2009 We strengthen the Carleson-Hunt theorem by proving $L^p$ estimates for the $r$-variation of the partial sum operators for Fourier series and integrals, for $p>\max\{r',2\}$.
Oberlin, Richard +4 more
core +1 more source
Advanced Electronic Materials, EarlyView.Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley +1 more source
Constraints Optimal Control Governing by Triple Nonlinear Hyperbolic Boundary Value Problem
Journal of Applied Mathematics, 2020 The focus of this work lies on proving the existence theorem of a unique state vector solution (Stvs) of the triple nonlinear hyperbolic boundary value problem (TNHBVP) when the classical continuous control vector (CCCVE) is fixed by using the Galerkin ...
Jamil A. Ali Al-Hawasy, Lamyaa H. Ali
doaj +1 more source
Advanced Energy Materials, EarlyView.In this work, we developed a phase‐stability predictor by combining machine learning and ab initio thermodynamics approaches, and identified the key factors determining the favorable phase for a given composition. Specifically, a lower TM ionic potential, higher Na content, and higher mixing entropy favor the O3 phase.
Liang‐Ting Wu +6 more
wiley +1 more source
Price Premiums for Single‐Name and Compound‐Name Geographical Indications in Swiss Cheese Trade
Agribusiness, EarlyView.ABSTRACT Geographical indications (GIs) have become increasingly important in agri‐food markets, especially in Europe. For Swiss cheese imports and exports, we analyze whether GIs are associated with higher trade prices. We find that price premiums can be obtained for both exports and imports. However, this is only the case for cheeses with single name
Judith Irek
wiley +1 more source
ISPRS International Journal of Geo-InformationThe p-median problem is one of the earliest location-allocation models used in spatial analysis and GIS. It involves locating a set of central facilities (the location decision) and allocating customers to these facilities (the allocation decision) so as
Ting L. Lei, Zhen Lei
doaj +1 more source
Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]
, 2011 Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core