Keywords: قضیه ثابت می کند; Frequency response; Continuous-time systems; Theorem proving; Higher-order logic; HOL-Light; Fourier transform;
مقالات ISI قضیه ثابت می کند (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: قضیه ثابت می کند; Formal semantics; Hybrid systems; Process algebra; Unifying theories; Theorem proving;
Keywords: قضیه ثابت می کند; Propositional logic; First-order logic; Resolution; Automated deduction; Theorem proving; Contradiction separation; Dynamic multi-clause synergized deduction;
Keywords: قضیه ثابت می کند; Higher-order logic; Theorem proving; Dynamic Thermal Management; Task migration; Many-core systems;
Keywords: قضیه ثابت می کند; Active domain; Combined lying and refusal; Confidentiality policy; Completeness sentence; Data publishing; Diagonalization function; Inference control; Lying; Open query; Theorem proving;
Keywords: قضیه ثابت می کند; Graph transformation; Theorem proving;
Keywords: قضیه ثابت می کند; Formal Methods; Theorem Proving; Verification; Nonlinear Control; Prototype Verification System
Keywords: قضیه ثابت می کند; High-order logic; Theorem proving; Fractional order linear systems; Formal verification;
Keywords: قضیه ثابت می کند; theorem proving;
Keywords: قضیه ثابت می کند; Error analysis; Theorem proving; Design and verification
Keywords: قضیه ثابت می کند; Reliability analysis; Lifetime analysis; Failure rate; Hazard function; Fractile function; Statistical properties; Random variables; Formal methods; Theorem proving; HOL
Keywords: قضیه ثابت می کند; Temporal logic; Constraints; Theorem proving; Tableau
Formalization of fractional order PD control systems in HOL4
Keywords: قضیه ثابت می کند; Fractional calculus; Caputo definition; Higher order logic; Theorem proving; Fractional order PD controller;
Compositionality and correctness of fault tolerant patterns in HOL4
Keywords: قضیه ثابت می کند; Redundancy management; Fault tolerance; Behavioural preservation; Theorem proving; HOL
A formal proof of the deadline driven scheduler in PPTL axiomatic system
Keywords: قضیه ثابت می کند; Theorem proving; Projection temporal logic; Deadline driven scheduler; Real-time
Scheme-based theorem discovery and concept invention
Keywords: قضیه ثابت می کند; Theory-exploration; Theorem proving; Isabelle/HOL; Completion
Function extraction
Keywords: قضیه ثابت می کند; Proof automation; Program verification; Theorem proving
Provably correct conflict prevention bands algorithms
Keywords: قضیه ثابت می کند; Formal verification; Theorem proving; Air traffic management
ASPfun : A typed functional active object calculus
Keywords: قضیه ثابت می کند; Theorem proving; Object calculus; Futures; Distribution; Typing; Binders
Formal reliability analysis of combinational circuits using theorem proving
Keywords: قضیه ثابت می کند; Formal verification; Higher-order logic; HOL; Probability theory; Reliability analysis; Theorem proving
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections
Keywords: قضیه ثابت می کند; Connection establishment protocol; Narrow bandwidth; Theorem proving; PVS
Applying automated deduction to natural language understanding
Keywords: قضیه ثابت می کند; Automated reasoning; Natural language understanding; First-order logic; Theorem proving; Model building
Integrating external deduction tools with ACL2
Keywords: قضیه ثابت می کند; Automated reasoning; Decision procedures; First-order logic; Interfaces; Theorem proving;
Analyzing safety properties of hybrid processing systems: A case study on an industrial evaporator
Keywords: قضیه ثابت می کند; Processing systems; Hybrid systems; Safety analysis; Optimization; Theorem proving; Simulation
On the reducibility of failure theories for composite materials
Keywords: قضیه ثابت می کند; Failure criteria; Strain energy density; Dissipated energy density; Material constitutive response; Theorem proving; Polynomial reduction
Theorem-proving anonymity of infinite-state systems
Keywords: قضیه ثابت می کند; Anonymity; Verification; Infinite-state system; I/O-automaton; Theorem proving; Formal methods; Safety/security in digital systems;
Error analysis of digital filters using HOL theorem proving
Keywords: قضیه ثابت می کند; Error analysis; Digital filters; Theorem proving; Fixed-point; Floating-point; HOL
A proof-centric approach to mathematical assistants
Keywords: قضیه ثابت می کند; Proof planning; Isabelle; Isar; IsaPlanner; Theorem proving; Proof assistant
A multi-agent framework for distributed theorem proving
Keywords: قضیه ثابت می کند; Intelligent agents; Multi-agent system; KQML; Theorem proving; The hyper-linking strategy; First-order logic;
Towards formalising AADL in Proof Assistants
Keywords: قضیه ثابت می کند; AADL; Program Transformation; Theorem Proving;
An Abstract Equivalence Notion for Object Models
Keywords: قضیه ثابت می کند; equivalence notion; theorem proving; object models;
Extracting a data flow analyser in constructive logic
Keywords: قضیه ثابت می کند; Program analysis; Constructive logic; Lattices; Theorem proving; Constraint solving;
Dealing with algebraic expressions over a field in Coq using Maple
Keywords: قضیه ثابت می کند; Theorem proving; Computer algebra; Fields;
Translation of resolution proofs into short first-order proofs without choice axioms
Keywords: قضیه ثابت می کند; 68T15; 03F20; 03F05; Theorem proving; Proof theory; Skolemization;
Partition-based logical reasoning for first-order and propositional theories
Keywords: قضیه ثابت می کند; Reasoning with structure; Theorem proving; First-order logic; SAT; Tree decomposition; Graphical models; Parallel computation; Distributed computation;