Keywords: نظریه تنظیم; Proof assistant libraries; Library alignment; Higher-order logic; Type theory; Set theory; Dynamical systems;
مقالات ISI نظریه تنظیم (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: نظریه تنظیم; Morphological classifier; Supervised learning; Mathematical morphology; Set theory;
Keywords: نظریه تنظیم; Mixed-variable optimization (MVOP); Differential evolution (DE); Set theory;
Keywords: نظریه تنظیم; Data fusion; Set Theory; Spatial Data Infrastructure; Service Composition; Geoprocessing pattern;
Keywords: نظریه تنظیم; Fracture; Microcrack; Probability; Set theory; Multi-axial loading; Normal stress;
Keywords: نظریه تنظیم; Biofuels; Biorefinery; Second generation bioethanol; Geothermal heat; Set theory;
Keywords: نظریه تنظیم; Set theory; Multiscale; Emergy evaluation; Territorial systems;
Keywords: نظریه تنظیم; Diagrammatic reasoning; Set theory; Set space diagrams; Boolean algebra; Cardinalities; Euler circles; Venn diagrams
Keywords: نظریه تنظیم; Decision procedures; Set theory; Undecidability;
Keywords: نظریه تنظیم; Emergy evaluation; Nested systems; Set theory; Double counting;
Keywords: نظریه تنظیم; 03B30; 03E30; 03F03; 03F55; Classical and intuitionistic mathematical logic; Set theory; Proof theory; Constructive mathematics;
Keywords: نظریه تنظیم; Set theory; Interval analysis; Constraint programming; Localization; Robotics
Keywords: نظریه تنظیم; 01A55; 03A0520th century logic; Paradoxes; Set theory; Infinite
Keywords: نظریه تنظیم; Destination choice; Tourist decision-making; Set theory; Tourist typology; Travel constraints
Keywords: نظریه تنظیم; 03C62; 03C65; 03E70; 03E65Automorphisms; Set theory; ‘New Foundations’ with urelements
Encoding TLA+ into unsorted and many-sorted first-order logic
Keywords: نظریه تنظیم; Interactive theorem proving; Set theory; Many-sorted first-order logic; TLA+; Formal verification of distributed systems;
L(R,μ) is unique
Keywords: نظریه تنظیم; Set theory; Inner model theory; Determinacy; HOD analysis; Supercompact cardinals; Descriptive set theory;
Structure preserving binary image morphing using Delaunay triangulation
Keywords: نظریه تنظیم; Binary image; Delaunay triangulation; Dilation; Mathematical morphology; Set theory; Structuring element; Distance transform; Pattern recognition;
Semantics-based approach for detecting flaws, conflicts and redundancies in XACML policies
Keywords: نظریه تنظیم; Web services security; Access control; Policy analysis; Set theory; Semantics; XACML
Emergy evaluation of hierarchically nested systems: application to EU27, Italy and Tuscany and consequences for the meaning of emergy indicators
Keywords: نظریه تنظیم; Hierarchical emergy evaluation; Set theory; EU27; Italy; Tuscany
Ontological and linguistic metamodelling revisited: A language use approach
Keywords: نظریه تنظیم; Concepts; Speech act theory; Set theory; Metamodel
Counting extensional acyclic digraphs
Keywords: نظریه تنظیم; Extensional digraph; Transitive set; Recurrence formula; Automorphism group; Combinatorial problems; Set theory
The set-theory method for systems reliability of structures with degrading components
Keywords: نظریه تنظیم; Time-variant reliability; Systems reliability; Random variable degradation; Set theory; Monte-Carlo simulation
Countable partition ordinals
Keywords: نظریه تنظیم; 03E02; 05D10; 05C55Ramsey theory; Set theory; Ordinals; Martin’s axiom; Partition calculus
An integrated method for finding key suppliers in SCM
Keywords: نظریه تنظیم; Data mining; Association rule; Set theory; Supply chain management; Supplier selection
The influence of Spinoza’s concept of infinity on Cantor’s set theory
Keywords: نظریه تنظیم; Georg Cantor; Baruch de Spinoza; Infinity in philosophy and mathematics; Transfinite numbers; Set theory; Infinity and pantheism
Deducing logical relationships between spatially registered cortical parcellations under conditions of uncertainty
Keywords: نظریه تنظیم; Map relationships; Spatial data representation; Set theory; Cortex; Parcellation schemes;
Pure misallocation of “0” in number transcoding: A new symptom of right cerebral dysfunction
Keywords: نظریه تنظیم; Number transcoding; Pure misallocation of “0”; Arabic numerals; Right hemisphere; Set theory
Hidden variables in quantum mechanics: Noncontextual generic models
Keywords: نظریه تنظیم; 03.65.Ta; 02.10.Ab; 02.50.Cw; 02.30.Cj; Quantum mechanics; Foundations; Hidden variables; Generic; Forcing; Set theory;
Hidden variables in quantum mechanics: Generic models, set-theoretic forcing, and the appearance of probability
Keywords: نظریه تنظیم; 03.65.Ta; 02.10.Ab; 02.50.Cw; 02.30.CjQuantum mechanics; Foundations; Hidden variables; Generic; Forcing; Set theory
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
Keywords: نظریه تنظیم; Logical frameworks; Foundation of mathematics; Automath; Set theory; Higher order logic; Type theory; Category theory; Zermelo–Fraenkel; ZF; ZFC; New foundations; NF; HOL; Isabelle; Calculus of constructions; Martin-Löf type theory; Formalization of mathe
A mathematical analysis of theories of parthood
Keywords: نظریه تنظیم; Mereology; Part-whole relation; Ontologies; Reasoning; Set theory
Superposition with equivalence reasoning and delayed clause normal form transformation
Keywords: نظریه تنظیم; 03B35; 68T15; 02.10.Ab; Automated theorem proving; Deduction; Rewriting; Clause-normal-form transformation; Logical equivalence; Superposition; Paramodulation; First-order logic; Set theory;