Results 281 to 290 of about 4,452,390 (325)
Some of the next articles are maybe not open access.
SMARTLOG: Place error log statement by deep understanding of log intention
IEEE International Conference on Software Analysis, Evolution, and Reengineering, 2018Zhouyang Jia +4 more
semanticscholar +1 more source
Proof of Goldbach's Conjecture. Some Corollaries and Equivalent Statements
This paper proves Goldbach's Conjecture ("every even number >2 is the sum of two primes") using contradiction. Key contributions: Establishes that every even number can also be written as the difference of two primes Provides equivalent formulations Shows implications for twin primes and prime ...openaire +1 more source
Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System
Foundations of Software Science and Computation Structure, 2017S. Berardi, M. Tatsuta
semanticscholar +1 more source
Sliding Modes in Control and Optimization
Communications and Control Engineering Series, 1992V. Utkin
semanticscholar +1 more source
Equivalent power for a wind power system
International Symposium on Applied Computational Intelligence and Informatics, 2016C. Șorândaru +4 more
semanticscholar +1 more source
Deterministic and Stochastic Optimal Control
, 1975W. Fleming, R. Rishel
semanticscholar +1 more source
Empirical Evaluation of the Statement Deletion Mutation Operator
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013Lin Deng, Jeff Offutt, Nan Li
semanticscholar +1 more source