全文获取类型
收费全文 | 171篇 |
免费 | 3篇 |
出版年
2021年 | 2篇 |
2020年 | 6篇 |
2019年 | 3篇 |
2018年 | 5篇 |
2017年 | 3篇 |
2016年 | 4篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 18篇 |
2012年 | 3篇 |
2011年 | 6篇 |
2010年 | 5篇 |
2009年 | 4篇 |
2008年 | 9篇 |
2007年 | 8篇 |
2006年 | 10篇 |
2005年 | 4篇 |
2004年 | 3篇 |
2003年 | 4篇 |
2002年 | 8篇 |
2001年 | 3篇 |
2000年 | 7篇 |
1999年 | 2篇 |
1998年 | 6篇 |
1993年 | 3篇 |
1991年 | 5篇 |
1990年 | 2篇 |
1984年 | 3篇 |
1983年 | 1篇 |
1981年 | 4篇 |
1979年 | 1篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1973年 | 2篇 |
1972年 | 1篇 |
1971年 | 1篇 |
1968年 | 1篇 |
1966年 | 1篇 |
1957年 | 1篇 |
1955年 | 1篇 |
1949年 | 1篇 |
1937年 | 2篇 |
1934年 | 1篇 |
1932年 | 1篇 |
1931年 | 1篇 |
1924年 | 1篇 |
1921年 | 1篇 |
1919年 | 1篇 |
排序方式: 共有174条查询结果,搜索用时 15 毫秒
131.
132.
It is known that linear-time temporal logic (LTL), which is an extension of classical logic, is useful for expressing temporal reasoning as investigated in computer science. In this paper, two constructive and bounded versions of LTL, which are extensions of intuitionistic logic or Nelson's paraconsistent logic, are introduced as Gentzen-type sequent calculi. These logics, and , are intended to provide a useful theoretical basis for representing not only temporal (linear-time), but also constructive, and paraconsistent (inconsistency-tolerant) reasoning. The time domain of the proposed logics is bounded by a fixed positive integer. Despite the restriction on the time domain, the logics can derive almost all the typical temporal axioms of LTL. As a merit of bounding time, faithful embeddings into intuitionistic logic and Nelson's paraconsistent logic are shown for and , respectively. Completeness (with respect to Kripke semantics), cut–elimination, normalization (with respect to natural deduction), and decidability theorems for the newly defined logics are proved as the main results of this paper. Moreover, we present sound and complete display calculi for and .In [P. Maier, Intuitionistic LTL and a new characterization of safety and liveness, in: Proceedings of Computer Science Logic 2004, in: Lecture Notes in Computer Science, vol. 3210, Springer-Verlag, Berlin, 2004, pp. 295–309] it has been emphasized that intuitionistic linear-time logic (ILTL) admits an elegant characterization of safety and liveness properties. The system ILTL, however, has been presented only in an algebraic setting. The present paper is the first semantical and proof-theoretical study of bounded constructive linear-time temporal logics containing either intuitionistic or strong negation. 相似文献
133.
134.
135.
François Roubert Marie-Gabrielle Beuzelin-Ollivier Margarethe Hofmann-Amtenbrink Heinrich Hofmann Alessandra Hool 《Nanoethics》2016,10(1):41-62
Nanomaterials have attracted much interest in the medical field and related applications as their distinct properties in the nanorange enable new and improved diagnosis and therapies. Owing to these properties and their potential interactions with the human body and the environment, the impact of nanomaterials on humans and their potential toxicity have been regarded a very significant issue. Consequently, nanomaterials are the subject of a wide range of cutting-edge research efforts in the medical and related fields to thoroughly probe their potential beneficial utilizations and their more negative effects. We posit that the lack of standardization in the field is a serious shortcoming as it has led to the establishment of methods and results that do not ensure sufficient consistency and thus in our view can possibly result in research outputs that are not as robust as they should be. The main aim of this article is to present how NanoDiaRA, a large FP7 European multidisciplinary project that seeks to investigate and develop nanotechnology-based diagnostic systems, has developed and implemented robust, standardized methods to support research practices involving the engineering and manipulation of nanomaterials. First, to contextualize this research, an overview of the measures defined by different regulatory bodies concerning nanosafety is presented. Although these authorities have been very active in the past several years, many questions remain unanswered in our view. Second, a number of national and international projects that attempted to ensure more reliable exchanges of methods and results are discussed. However, the frequent lack of publication of procedures and protocols in research can often be a hindrance for sharing those good practices. Subsequently, the efforts made through NanoDiaRA to introduce standardized methods and techniques to support the development and utilization of nanomaterials are discussed in depth. A series of semi-structured interviews were conducted with the partners of this project, and the interviews were analyzed thematically to highlight the determined efforts of the researchers to standardize their methods. Finally, some recommendations are made toward the setting up of well-defined methods to support the high-quality work of collaborative nanoparticle-based research and development projects and to enhance standardization processes. 相似文献
136.
Animal Cognition - Timing is an essential parameter influencing many behaviours. A previous study demonstrated a high sensitivity of a phocid, the harbour seal (Phoca vitulina), in discriminating... 相似文献
137.
Heinrich Dennis D. U. Vila Pouca Catarina Brown Culum Huveneers Charlie 《Animal cognition》2020,23(5):939-949
Animal Cognition - The development of adaptive responses to novel situations via learning has been demonstrated in a wide variety of animal taxa. However, knowledge on the learning abilities of one... 相似文献
138.
Corina Nandi Anselm Crombach Thomas Elbert Manassé Bambonye Rüdiger Pryss Johannes Schobel Roland Weierstall-Pust 《Aggressive behavior》2020,46(5):391-399
During deployment, soldiers face situations in which they are not only exposed to violence but also have to perpetrate it themselves. This study investigates the role of soldiers' levels of posttraumatic stress disorder (PTSD) symptoms and appetitive aggression, that is, a lust for violence, for their engaging in violence during deployment. Furthermore, factors during deployment influencing the level of PTSD symptoms and appetitive aggression after deployment were examined for a better comprehension of the maintenance of violence. Semi-structured interviews were conducted with 468 Burundian soldiers before and after a 1-year deployment to Somalia. To predict violent acts during deployment (perideployment) as well as appetitive aggression and PTSD symptom severity after deployment (postdeployment), structural equation modeling was utilized. Results showed that the number of violent acts perideployment was predicted by the level of appetitive aggression and by the severity of PTSD hyperarousal symptoms predeployment. In addition to its association with the predeployment level, appetitive aggression postdeployment was predicted by violent acts and trauma exposure perideployment as well as positively associated with unit support. PTSD symptom severity postdeployment was predicted by the severity of PTSD avoidance symptoms predeployment and trauma exposure perideployment, and negatively associated with unit support. This prospective study reveals the importance of appetitive aggression and PTSD hyperarousal symptoms for the engagement in violent acts during deployment, while simultaneously demonstrating how these phenomena may develop in mutually reinforcing cycles in a war setting. 相似文献
139.
Sandrine R. Müller Heinrich Peters Sandra C. Matz Weichen Wang Gabriella M. Harari 《欧洲人格杂志》2020,34(5):714-732
People interact with their physical environments every day by visiting different places and moving between them. Such mobility behaviours likely influence and are influenced by people's subjective well-being. However, past research examining the links between mobility behaviours and well-being has been inconclusive. Here, we provide a comprehensive investigation of these relationships by examining individual differences in two types of mobility behaviours (movement patterns and places visited) and their relationship to six indicators of subjective well-being (depression, loneliness, anxiety, stress, affect, and energy) at two different temporal levels of analysis (two-week tendencies and daily level). Using data from a large smartphone-based longitudinal study (N = 1765), we show that (i) movement patterns assessed via GPS data (distance travelled, entropy, and irregularity) and (ii) places visited assessed via experience sampling reports (home, work, and social places) are associated with subjective well-being at the between and within person levels. Our findings suggest that distance travelled is related to anxiety, affect, and stress, irregularity is related to depression and loneliness, and spending time in social places is negatively associated with loneliness. We discuss the implications of our work and highlight directions for future research on the generalizability to other populations as well as the characteristics of places. © 2020 European Association of Personality Psychology 相似文献
140.
Heinrich Wansing 《Erkenntnis》2000,53(1-2):267-283