نتایج جستجو برای: indexed papers
تعداد نتایج: 104551 فیلتر نتایج به سال:
The concept of indexing of a category (a part of indexed category, see [14]) is introduced as a pair formed by a many sorted category and a many sorted functor. The indexing of a category C against to [14] is not a functor but it can be treated as a functor from C into some categorial category (see [1]). The goal of the article is to work out the notation necessary to define institutions (see [...
Seminal work by Weitzman (1974) revealed that prices are preferred to quantities when marginal benefits are relatively flat compared to marginal costs. We extend this comparison to indexed policies, where quantities are proportional to an index, such as output. We find that policy preferences hinge on additional parameters describing the first and second moments of the index and the ex post opt...
We consider the language consisting of all words such that it is possible to obtain the empty word by iteratively deleting powers. It turns out that in the case of deleting squares in binary words this language is regular, and in the case of deleting squares in words over a larger alphabet the language is not regular. However, for deleting squares over any alphabet we find that this language ca...
Purpose: The aim of this study is to identify the components affecting information seeking behavior and to measure their impact from Persian and English articles in this field. In addition, the moderating variables affecting information seeking behavior were identified and their effect size was calculated. Method: The method of this study is meta-analysis. The research population included all ...
In this study, we aimed at mapping the trend and impact of mathematics research originated from Association of Southeast Asian Nations (ASEAN) countries by using a scientometric approach. We extracted the Web of Science’s article-level data of all publications concerning mathematics research during the period of 2006–2015 for ASEAN countries. The impact of research was assessed in terms of cita...
This paper analyzes the profile of the Brazilian output in the field of multiple sclerosis from 1981 to 2004. The search was conducted through the MEDLINE and LILACS databases, selecting papers in which the term "multiple sclerosis" was defined as the main topic and "Brazil" or "Brasil" as others. The data were analyzed regarding the themes, the state in Brazil and institution where the papers ...
This is the fourth in a series of papers extending Martin-Löf’s meaning explanation of dependent type theory to higher-dimensional types. In this installment, we show how to define cubical type systems supporting a general schema of cubical inductive types, inductive types whose constructors may take dimension parameters and may have specified boundaries. Using this schema, we are able to speci...
Publishing Body: Australasian Medical Publishing Company Pty. Ltd. Country: Australia Status: Active Start Year: 1914 Frequency: Semi-monthly (23/yr.) Document Type: Journal; Academic/Scholarly Refereed: Yes Abstracted/Indexed: Yes Media: Print Alternate Edition ISSN: 1326-5377 Language: Text in English Price: AUD 368.50 subscription per year domestic to individuals AUD 474 subscription per yea...
OBJECTIVE Interest in the use of musculoskeletal ultrasonography in the field of Physical Medicine and Rehabilitation has increased significantly over recent years. In order to determine to what extent this growing interest among Physical and Rehabilitation Medicine physicians is resulting in publications, we reviewed the trend in publications by physiatrists on musculoskeletal ultrasonography....
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید