Search

Your search keyword '"Type (model theory)"' showing total 71,139 results

Search Constraints

Start Over You searched for: Descriptor "Type (model theory)" Remove constraint Descriptor: "Type (model theory)" Search Limiters Available in Library Collection Remove constraint Search Limiters: Available in Library Collection
71,139 results on '"Type (model theory)"'

Search Results

2. Spatial dynamic analysis for COVID-19 epidemic model with diffusion and Beddington-DeAngelis type incidence

3. New type i binary [72, 36, 12] self-dual codes from composite matrices and R1 lifts

4. Balancing Constraints and Objectives by Considering Problem Types in Constrained Multiobjective Optimization

5. A new type of difference I-convergent sequence in IFnNS

6. Semi-Supervised Learning With Label Proportion

7. Volumes of Polyhedra in Non-Euclidean Spaces of Constant Curvature

8. The new soliton solutions for long and short-wave interaction system

9. Two perishable inventory systems with one-way substitution

10. Decentralized Mutual Damping Control of Cascaded-Type VSGs for Power and Frequency Oscillation Suppression

11. Combinatorial Auctions with Interdependent Valuations: SOS to the Rescue

12. Automorphisms of the k-Curve Graph

13. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure

14. Порядок слов в эритажном русском : влияние типа клаузы и языка окружения

15. Linear Forms in Polylogarithms

16. Finite-Time Stabilization of Switched Systems Under Mode-Dependent Event-Triggered Impulsive Control

17. Dimensions of the popcorn graph

18. Interval Type-2 Fuzzy Application for Diet Journaling

19. Some novel integration techniques to explore the conformable M-fractional Schrödinger-Hirota equation

20. Distributed Integral-Type Edge Event- and Self-Triggered Synchronization for Nonlinear Multiagent Systems

21. Minimising the expected commute time

22. Observer Design for Sampled-Data Systems via Deterministic Learning

23. A Novel Attack Detection for Linear Systems With Unknown-But-Bounded Noises

24. An analytical solution for the Caputo type generalized fractional evolution equation

25. Linear theory for a mixed operator with Neumann conditions

26. A maximum-margin multisphere approach for binary Multiple Instance Learning

29. Sobolev-type inequalities on variable exponent Morrey spaces of an integral form

30. Generalized Fractal Jensen–Mercer and Hermite–Mercer type inequalities via h-convex functions involving Mittag–Leffler kernel

32. Quasi Type-1 PLL With Tunable Phase Detector for Unbalanced and Distorted Three-Phase Grid

33. A Unified Carrier-Based Pulsewidth Modulation for Three-Phase Vienna-Type Rectifiers

34. Synchronization of Timescale-Type Nonautonomous Neural Networks With Proportional Delays

35. Approximations for non-stationary stochastic lot-sizing under (s,Q)-type policy

36. Birational geometry of varieties fibred into complete intersections of codimension two

37. A novel quasi-type-1 PLL based on frequency-fixed complex filter for three phase grid synchronization

38. Efficient top/bottom-k fraction estimation in spatial databases using bounded main memory

39. Stochastic evolution equations with Wick-polynomial nonlinearities

40. Cubature rules for unitary Jacobi ensembles

41. Diamond distances in Nottingham algebras

42. Dynamics of an atom cavity field system in interacting Fock space

43. Multiple positive solutions for a p-Laplace Benci–Cerami type problem (1<2), via Morse theory

44. Decision model to identify the optimum retaining wall type for restricted highway projects sites

45. Regional Controllability for Caputo Type Semi-Linear Time-Fractional Systems

49. Generalization of Darbo-type theorem and application on existence of implicit fractional integral equations in tempered sequence spaces

50. Effects of lossy mediums for resonator-coupled typewireless power transfer system using conventional single- and dual-spiral resonators

Catalog

Books, media, physical & digital resources