Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 2120 results
Sort by: relevance publication year

Multilevel interconnection technologies and future requirements for logic applications

PROCEEDINGS ARTICLE published 1998 in European Workshop Materials for Advanced Metallization,

Authors: M. Brillouet

Global Calculus of Fourier Integral Operators, Weighted Estimates, and Applications to Global Analysis of Hyperbolic Equations

BOOK CHAPTER published in Pseudo-Differential Operators and Related Topics

Authors: Michael Ruzhansky | Mitsuru Sugimoto

Multilevel interconnection technologies and future requirements for logic applications

PROCEEDINGS ARTICLE published 1997 in European Workshop Materials for Advanced Metallization,

Authors: M. Brillouet

Statistical convergence of integral operators generated by a single kernel

JOURNAL ARTICLE published May 2012 in Nonlinear Analysis: Theory, Methods & Applications

Authors: Octavian Agratini

2 Applications of the intensional abstraction operator

BOOK CHAPTER published 22 August 2022 in Intensional First-Order Logic

Automated Deduction — A Basis for Applications

BOOK published 1998 in Applied Logic Series

Editors: Wolfgang Bibel | Peter H. Schmitt

Automated Deduction — A Basis for Applications

BOOK published 1998 in Applied Logic Series

Editors: Wolfgang Bibel | Peter H. Schmitt

Spectral properties of some finite-difference and differential operators with random coefficients

BOOK CHAPTER published 31 December 1987 in Probability Theory and Applications

Kondratiev’s theory

BOOK CHAPTER published 1997 in Pseudo-Differential Operators, Singularities, Applications

Authors: Yuri V. Egorov | Bert-Wolfgang Schulze

Invertibility of Functional Operators with Slowly Oscillating Non-Carleman Shifts

BOOK CHAPTER published 2003 in Singular Integral Operators, Factorization and Applications

Authors: A. Yu. Karlovich | A. B. Lebre | Yu. I. Karlovich

Singular Integral Operators with Piecewise Almost Periodic Coefficients and Carleman Shift

BOOK CHAPTER published 2003 in Singular Integral Operators, Factorization and Applications

Authors: M. Amélia Bastos | António Bravo | Yuri Karlovich

Understanding CASE generated legacy applications: a case study

PROCEEDINGS ARTICLE published in Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.

Authors: C. Sarmiento | S. Takahashi

The generated order preserving real-time garbage collection

PROCEEDINGS ARTICLE published in Proceedings Second International Workshop on Real-Time Computing Systems and Applications

Authors: H. Koide

ON HYPONORMAL OPERATORS AND RELATED CLASSES OF OPERATORS

JOURNAL ARTICLE published 28 December 2017 in Poincare Journal of Analysis and Applications

Authors: ARIYADASA ALUTHGE

Inequalities for semibounded operators and their applications to log-hyponormal operators

BOOK CHAPTER published 2001 in Recent Advances in Operator Theory and Related Topics

Authors: Mitsuru Uchiyama

VLSI logic design with logic programming and knowledge base technology

PROCEEDINGS ARTICLE published in Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications

Authors: N. Hamada | K. Bekki | T. Yokota

5th Workshop on Logic, Language, Information and Computation (Wollic '98)

JOURNAL ARTICLE published September 1999 in Bulletin of Symbolic Logic

Authors: Ruy J. G. B. de Queiroz

Toeplitz Operators with Discontinuous Symbols: Phenomena Beyond Piecewise Continuity

BOOK CHAPTER published 1996 in Singular Integral Operators and Related Topics

Authors: Albrecht Böttcher | Sergei M. Grudsky

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (EP/F042728/1)

Authors: Roy Dyckhoff | Mehrnoosh Sadrzadeh | Julien Truffaut

Subgroups, Automorphisms, and Lie Algebras Related to the Basis-Conjugating Automorphism Group

JOURNAL ARTICLE published January 2017 in Algebra and Logic

Authors: V. G. Bardakov | M. V. Neshchadim