全文获取类型
收费全文 | 1985篇 |
免费 | 93篇 |
国内免费 | 3篇 |
专业分类
化学 | 1249篇 |
晶体学 | 2篇 |
力学 | 49篇 |
数学 | 419篇 |
物理学 | 362篇 |
出版年
2023年 | 13篇 |
2022年 | 16篇 |
2021年 | 23篇 |
2020年 | 21篇 |
2019年 | 24篇 |
2018年 | 35篇 |
2017年 | 23篇 |
2016年 | 88篇 |
2015年 | 74篇 |
2014年 | 73篇 |
2013年 | 154篇 |
2012年 | 131篇 |
2011年 | 125篇 |
2010年 | 94篇 |
2009年 | 70篇 |
2008年 | 99篇 |
2007年 | 104篇 |
2006年 | 102篇 |
2005年 | 83篇 |
2004年 | 73篇 |
2003年 | 70篇 |
2002年 | 66篇 |
2001年 | 36篇 |
2000年 | 29篇 |
1999年 | 21篇 |
1998年 | 21篇 |
1997年 | 23篇 |
1996年 | 21篇 |
1995年 | 23篇 |
1994年 | 19篇 |
1993年 | 17篇 |
1992年 | 25篇 |
1991年 | 18篇 |
1990年 | 22篇 |
1989年 | 15篇 |
1988年 | 11篇 |
1986年 | 8篇 |
1985年 | 15篇 |
1984年 | 13篇 |
1983年 | 11篇 |
1982年 | 17篇 |
1981年 | 15篇 |
1980年 | 20篇 |
1979年 | 8篇 |
1978年 | 10篇 |
1977年 | 7篇 |
1976年 | 10篇 |
1974年 | 9篇 |
1973年 | 7篇 |
1934年 | 11篇 |
排序方式: 共有2081条查询结果,搜索用时 14 毫秒
1.
2.
3.
We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean
clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies
all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms
equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable
selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT,
Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is
very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities.
Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal. 相似文献
4.
Sylvia Pulmannová 《International Journal of Theoretical Physics》2004,43(7-8):1573-1585
Divisible effect algebras and their relations to convex effect algebras and MV-algebras are studied. A categorical equivalence between divisible effect algebras and rational vector spaces is proved. Infinitesimal, sharp and extremal elements in divisible effect algebras are studied and their relations to properties of the state space are shown. 相似文献
5.
Sylvia Pulmannová 《International Journal of Theoretical Physics》2003,42(5):907-919
Tensor products of quantum logics and effect algebras with some known problems are reviewed. It is noticed that although tensor products of effect algebras having at least one state exist, in the category of complex Hilbert space effect algebras similar problems as with tensor products of projection lattices occur. Nevertheless, if one of the two coupled physical systems is classical, tensor product exists and can be considered as a Boolean power. Some applications of tensor products (in the form of Boolean powers) to quantum measurements are reviewed. 相似文献
6.
7.
Robert Andreu Gerard Lligadas Joan Carles Ronda Marina Galià Virginia Cádiz 《Journal of polymer science. Part A, Polymer chemistry》2007,45(21):4965-4973
A new oxazolidine derivative was obtained from phenol, 2‐amino‐2‐methylpropane‐1,3‐diol and paraformaldehyde. The reaction of this novel oxazolidine diol with phenylisocyanate lead to a urethane model compound which can be polymerized thermally by oxazolidine ring opening to give a Mannich bridge structure. Linear segmented polyurethanes were prepared by reaction of different ratios of oxazolidine diol and commercial polyethylenglycol (Mw ~ 400) with 4,4′‐methylenbis (cyclohexylisocyanate) (HMDI, 90% isomers mixture). The polyurethanes were thermally characterized and crosslinked by oxazolidine ring opening to obtain materials which showed improved thermal stability. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 4965–4973, 2007 相似文献
8.
Application of graph-theoretic methods to new perimeter polynomials for connected clusters on a lattice yields extra data on the total number of clusters and for the coefficients in the series expansion for the mean size of clusters at low densities. The lattices studied are the square, the square with next nearest neighbors, the triangular, and the simple cubic. 相似文献
9.
Hà Huy Tài 《manuscripta mathematica》2002,107(4):479-501
Suppose ? is a set of arbitrary number of smooth points in ℙ2
its defining ideal. In this paper, we study the Rees algebras of the ideals generated by I
t
, t ≥α. When the points of ? are general, we give a set of defining equations for the Rees algebra . When the points of ? are arbitrary, we show that for all t≫ 0, the Rees algebra is Cohen-Macaulay and its defining ideal is generated by quadratics. A cohomological characterization for arithmetic Cohen-Macaulayness
of subvarieties of a product space is also given.
Received 4 April 2001 相似文献
10.