نتائج البحث

Elimination and quantification of oxidation induced interstitial injection via Ge implants

• Authors : Martin, Thomas P.; Jones, K S; Camillo-Castillo, Renata A. ...

Subjects: New Orleans; United States

• Source: ECS Transactions ; https://www.scopus.com/record/display.uri?eid=2-s2.0-85021817833&origin=inward&txGid=0376ea50af776bb475b251ba004d9a22

تفاصيل العنوان

Mechanising cut-elimination for display logic

• Authors : Dawson, Jeremy; Gore, Rajeev

Subjects: proof systems for relation algebra; non-classical logics; automated deduction

تفاصيل العنوان

The Numerical Simulation of Radiative Shocks. I: The elimination of numerical shock instabilities using a localized oscillation filter

• Authors : Sutherland, Ralph S; Bisset, David K; Bicknell, Geoffrey V

Subjects: computational hydrodynamics; radiative cooling; radiative shock

تفاصيل العنوان

Valentini's cut-elimination for provability logic resolved

• Authors : Gore, Rajeev; Ramanayake, Revantha

Subjects: Keywords: Cut elimination; Formal setting; Multi-setsNancy France

• Source: Advances in Modal Logic, Volume 7

تفاصيل العنوان

Efficient implementation of Gaussian Elimination Method to recover generator polynomials of convolutional codes

• Authors : Atif, Muhammad; Rauf, Abid

Subjects: Keywords: Burst errors; Code rates; Communication channelIslamabad Pakistan

• Source: 2009 International Conference on Emerging Technologies, ICET 2009

تفاصيل العنوان

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

• Authors : Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen

Subjects: Keywords: Automated proofs; Bi-intuitionistic logic; Cut eliminationNancy France

• Source: Advances in Modal Logic, Volume 7

تفاصيل العنوان

Generic modal cut elimination applied to conditional logics

• Authors : Pattinson, Dirk; Schroder, Lutz

Subjects: Keywords: Cut elimination; Excluded-middle; Modal logicOslo Norway

• Source: Proceedings of International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009)

تفاصيل العنوان

Cut elimination for shallow modal logics

• Authors : Lellmann, Bjorn; Pattinson, Dirk

Subjects: Keywords: Cut elimination; Decision procedure; Finite setBern Switzerland

• Source: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

تفاصيل العنوان

An efficient alternative to SVM based recursive feature elimination with applications in natural language processing and bioinformatics

• Authors : Bedo, Justin; Sanderson, Conrad; Kowalczyk, Adam

Subjects: Keywords: Computable limits; Convex optimisation; Microarray classification

تفاصيل العنوان

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

• Authors : Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen

Subjects: Keywords: Arbitrary structures; Cut elimination; Deep inferenceMoscow Russia

• Source: Advances in Modal Logic, Volume 8 ; http://www.aiml.net/volumes/volume8/

تفاصيل العنوان