Results 291 to 300 of about 268,943 (316)

Quadrics of Coordinate Finite Type

2023 International Conference on Information Technology (ICIT), 2023
Mohammad Al-kafaween, Hamza Alzaareer, Hassan Al-Zoubi   +2 more
openaire   +1 more source

Finite forcing, existential types and complete types

Journal of Symbolic Logic, 1980
AbstractWe use the spaces and n of complete types and of existential types to investigate various notions which appear in the theory of the algebraic structure of models.
openaire   +1 more source

Finite Types

2022
openaire   +1 more source

An Overview of Finite/Fixed-Time Control and Its Application in Engineering Systems

IEEE/CAA Journal of Automatica Sinica, 2022
Xiaodi Li, Renquan Lu, Hongyi Li
exaly  

Finite-density lattice QCD and sign problem: Current status and open problems

Progress in Particle and Nuclear Physics, 2022
Keitaro Nagata
exaly  

Optimization of thermal systems based on finite-time thermodynamics and thermoeconomics

Progress in Energy and Combustion Science, 2004
Oguz Salim Sogut, Ahmet Durmayaz, Hasbi Yavuz   +2 more
exaly  

Mixed finite elements for solving 2-D diffusion-type equations

Reviews of Geophysics, 2010
Anis Younes, Philippe Ackerer, Frederick Delay   +2 more
exaly  

Modeling finite-volume effects and chiral symmetry breaking in two-flavor QCD thermodynamics

Physics Reports, 2017
Bertram Klein
exaly  

Finite-Time Attitude Tracking Control of Spacecraft With Application to Attitude Synchronization

IEEE Transactions on Automatic Control, 2011
Shihua Li, Chunjiang Qian, Haibo Du
exaly  

Adaptive Neural Network Finite-Time Output Feedback Control of Quantized Nonlinear Systems

IEEE Transactions on Cybernetics, 2018
Fang Wang, Bing Chen, Xinzhu Meng
exaly