全文获取类型
收费全文 | 131篇 |
免费 | 1篇 |
出版年
2021年 | 3篇 |
2020年 | 2篇 |
2019年 | 2篇 |
2018年 | 5篇 |
2017年 | 2篇 |
2016年 | 2篇 |
2013年 | 10篇 |
2011年 | 7篇 |
2010年 | 4篇 |
2009年 | 7篇 |
2007年 | 3篇 |
2006年 | 2篇 |
2005年 | 5篇 |
2004年 | 4篇 |
2003年 | 2篇 |
2002年 | 4篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 3篇 |
1989年 | 2篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1986年 | 4篇 |
1985年 | 4篇 |
1984年 | 3篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1978年 | 2篇 |
1976年 | 2篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1973年 | 1篇 |
1972年 | 1篇 |
1971年 | 1篇 |
1968年 | 1篇 |
1967年 | 2篇 |
1962年 | 2篇 |
1961年 | 2篇 |
1960年 | 1篇 |
1958年 | 1篇 |
1956年 | 2篇 |
1955年 | 1篇 |
1949年 | 1篇 |
排序方式: 共有132条查询结果,搜索用时 15 毫秒
11.
12.
Dariusz Zapała Emilia Zabielska-Mendyk Andrzej Cudo Agnieszka Krzysztofiak Paweł Augustynowicz Piotr Francuz 《Journal of motor behavior》2013,45(4):312-318
The authors’ aim was to examine whether short-term kinesthetic training affects the level of sensorimotor rhythm (SMR) in different frequency band: alpha (8–12 Hz), lower beta (12.5–16 Hz) and beta (16.5–20 Hz) during the execution of a motor imagery task of closing and opening the right and the left hand by experts (jugglers, practicing similar exercises on an everyday basis) and amateurs (individuals not practicing any sports). It was found that the performance of short kinesthetic training increases the power of alpha rhythm when executing imagery tasks only in the group of amateurs. Therefore, kinesthetic training may be successfully used as a method increasing the vividness of motor imagery, for example, in tasks involving the control of brain–computer interfaces based on SMR. 相似文献
13.
The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction. 相似文献
14.
Musically trained listeners compared a notated melody presented visually and a comparison melody presented auditorily, and judged whether they were exactly the same or not, with respect to relative pitch. Listeners who had absolute pitch showed the poorest performance for melodies transposed to different pitch levels from the notated melodies, whereas they exhibited the highest performance for untransposed melodies. By comparison, the performance of melody recognition by listeners who did not have absolute pitch was not influenced by the actual pitch level at which melodies were played. These results suggest that absolute-pitch listeners tend to rely on absolute pitch even in recognizing transposed melodies, for which the absolute-pitch strategy is not useful. 相似文献
15.
The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed. 相似文献
16.
Studia Logica - Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and... 相似文献
17.
18.
Aimee L. Lucas Adam Tarlecki Kellie Van Beck Casey Lipton Arindam RoyChoudhury Elana Levinson Sheila Kumar Wendy K. Chung Harold Frucht Jeanine M. Genkinger 《Journal of genetic counseling》2017,26(4):806-813
Pancreatic ductal adenocarcinoma (PDAC) is a leading cause of cancer death; approximately 5–10% of PDAC is hereditary. Self-administered health history questionnaires (HHQs) may provide a low-cost method to detail family history (FH) of malignancy. Pancreas Center patients were asked to enroll in a registry; 149 with PDAC completed a HHQ which included FH data. Patients with FH of PDAC, or concern for inherited PDAC syndrome, were separately evaluated in a Prevention Program and additionally met with a genetic counselor (GC) to assess PDAC risk (n?=?61). FH obtained through GC and HHQ were compared using Wilcoxon signed-rank sum and generalized linear mixed models with Poisson distribution. Agreement between GC and HHQ risk-assessment was assessed using kappa (κ) statistic. In the Prevention Program, HHQ was as precise in detecting FH of cancer as the GC (all p?>?0.05). GC and HHQ demonstrated substantial agreement in risk-stratification of the Prevention Program cohort (κ?=?0.73, 95% CI 0.59–0.87.) The sensitivity of the HHQ to detect a patient at elevated risk (i.e., moderate- or high-risk) of PDAC, compared to GC, was 82.9% (95% CI 67.3–92.3%) with a specificity of 95% (95% CI 73.1–99.7%). However, seven patients who were classified as average-risk by the HHQ were found to be at an elevated-risk of PDAC by the GC. In the PDAC cohort, 30/149 (20.1%) reported at least one first-degree relative (FDR) with PDAC. The limited sensitivity of the HHQ to detect patients at elevated risk of PDAC in the Prevention Program cohort suggests that a GC adds value in risk-assessment in this population. The HHQ may offer an opportunity to identify high-risk patients in a PDAC population. 相似文献
19.
In the current paper we consider theories with vocabulary containing a number of binary and unary relation symbols. Binary relation symbols represent labeled edges of a graph and unary relations represent unique annotations of the graph’s nodes. Such theories, which we call annotation theories, can be used in many applications, including the formalization of argumentation, approximate reasoning, semantics of logic programs, graph coloring, etc. We address a number of problems related to annotation theories over finite models, including satisfiability, querying problem, specification of preferred models and model checking problem. We show that most of considered problems are NPTime- or co-NPTime-complete. In order to reduce the complexity for particular theories, we use second-order quantifier elimination. To our best knowledge none of existing methods works in the case of annotation theories. We then provide a new second-order quantifier elimination method for stratified theories, which is successful in the considered cases. The new result subsumes many other results, including those of [2, 28, 21]. 相似文献
20.
Periods of 24 to 48 hours of food deprivation reliably induced pup-killing in 30–50% of non-killer male mice. The behavior was prevented by previous experience with young and did not perseverate to non-deprived states. Castrated males and intact females also exhibited pup-killing following food deprivation, suggesting that the behavior is neither sexdependent nor related to the presence of testosterone. The findings are discussed in terms of their relationship to predatory behaviors and population dynamics. 相似文献