Results 251 to 260 of about 56,783 (314)

Sharp upper bound for anisotropic Rényi entropy and Heisenberg uncertainty principle. [PDF]

Manuscr Math
Chatzakou M, Ruzhansky M, Shriwastawa A.
europepmc   +1 more source

Blood Pressure Prediction During Blood Transfusion: A Population-Informed Multi-Modal Sequential Inference Approach. [PDF]

IEEE Control Syst Lett
Kao YM, Razaei P, Shahrbabak SM, Pepino JA, Shogren ISK, Wang Y, Reisner AT, Hahn JO.   +7 more
europepmc   +1 more source

Enhanced power management in PV-Integrated hybrid energy storage systems using fuzzy 2DOF-PI control optimized by hippopotamus algorithm. [PDF]

Sci Rep
Kotb H, Khairalla AG, ElRefaie HB, AboRas KM.   +3 more
europepmc   +1 more source

Agent-based simulation for multi-resource-constrained scheduling of scattered atypical repetitive projects. [PDF]

Sci Rep
Sultan RA, Hamdy K, Essawy YAS.
europepmc   +1 more source

Optimized battery energy management using an improved type-2 fuzzy logic approach. [PDF]

Sci Rep
Naoui M, Romdhane M, Gacem A, Sbita L, Alturki M, Almalaq Y, Albaker A, Alshammari BM, Guesmi T.   +8 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Descriptions in mathematical logic

Studia Logica, 1984
If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire   +2 more sources

IF logic and the foundations of mathematics

Synthese, 2001
One of the properties of independence friendly (IF) first-order logic as discussed, e.g., by \textit{J. Hintikka} in his ``The principles of mathematics revisited'' [Cambridge University Press, Cambridge (1996; Zbl 0869.03003)] is that ``it defines its own truth-predicate in certain models, like for instance, in the standard model \(N\) of PA'' (p. 40).
Gabriel Sandu, Tapani Hyttinen
openaire   +2 more sources

Logic for Mathematical Writing

Logic Journal of IGPL, 2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The module is for second-year undergraduates and has been running for three years.
Edmund Harriss, Wilfrid Hodges
openaire   +1 more source