搜索页_linear+arithmetic

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(5)	Springer电子图书(8)	CNKI学位论文(5536)	知网期刊论文(1284)
中国地质文献-英文(2)	CNKI会议论文(1)	CNKI期刊论文0611(3)

在“SpringerLink电子期刊”中，命中：940条，耗时：0.0219898 秒

在所有数据库中总计命中：6,839条

1. Analyzing restricted fragments of the theory of linear arithmetic

作者： Piotr Wojciechowski ; Pavlos Eirinakis…

关键词：Quantified linear programming ; Quantified linear implication ; Theory of real numbers with addition ; Complexity classes

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

2. Alternative representation of the Gutenberg–Richter relation in terms of the logarithmic mean annual seismicity rate and its standard deviation

作者： Wen-Yen Chang ; Kuei-Pao Chen ; Yi-Ben Tsai

关键词：Arithmetic mean ; Arithmetic standard deviation ; Logarithmic mean ; Logarithmic standard deviation

刊名：Natural Hazards

出版年：2017

3. Improved solution to the generalized Galilei’s problem with interval loads

作者： Evgenija D. Popova

关键词：Force equilibrium ; Interval arithmetic ; Proper and improper intervals ; Overestimation

刊名：Archive of Applied Mechanics

出版年：2017

4. New Bent Functions from Permutations and Linear Translators

关键词：Boolean functions ; Bent functions ; Linear translators ; Permutations

刊名：Lecture Notes in Computer Science

出版年：2017

5. Iterative algorithms for least-squares solutions of a quaternion matrix equation

作者： Salman Ahmadi-Asl ; Fatemeh Panjeh Ali Beik

关键词：Quaternion matrix equations ; \(\eta \) ; (anti) ; Hermitian matrix ; Iterative algorithm ; Preconditioner ; Convergence

刊名：Journal of Applied Mathematics and Computing

出版年：2017

6. 2D Lyndon Words and Applications

作者： Shoshana Marcus ; Dina Sokol

关键词：Lyndon word ; Periodicity ; Modular arithmetic ; Two ; dimensional ; Suffix–prefix matching

刊名：Algorithmica

出版年：2017

7. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems

作者： Owe Axelsson ; Shiraz Farouq ; Maya Neytcheva

关键词：PDE ; constrained optimization problems ; Finite elements ; Iterative solution methods ; Preconditioning

刊名：Numerical Algorithms

出版年：2017

8. Efficient variability analysis of arithmetic units using linear regression techniques

作者： Dimitrios Stamoulis ; Kostas Tsoumanis…

关键词：Add–multiply operation ; Arithmetic circuits ; Linear regression ; Modified Booth recoding ; Static timing analysis ; Transistor variability

刊名：Analog Integrated Circuits and Signal Processing

出版年：2016

9. On Computing the Immunity of Boolean Power Functions Against Fast Algebraic Attacks

关键词：Stream cipher ; Boolean power function ; Algebraic immunity ; Fast algebraic attack

刊名：Lecture Notes in Computer Science

出版年：2017

10. An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints

作者： Li Chen ; Jing-Zheng Wu ; Yin-Run Lv…

关键词：constrained optimization ; Satisfiability Modulo Theories ; linear programming

刊名：Journal of Computer Science and Technology

出版年：2016

按检索点细分(940)

题名(65)

关键词(65)

文摘(815)

按出版年细分(940)

2017年(9)

2016年(59)

2015年(69)

2014年(68)

2013年(74)

2012年(74)

2011年(13)

2010年(30)

2009年(63)

2008年(41)

2007年(93)

2006年(80)

2005年(49)

2004年(40)

2003年(24)

2002年(46)

2001年(34)

2000年(10)

2000年及以前(64)