نتایج جستجو برای: functional categories

تعداد نتایج: 685383  

2004
Donald Firesmith

As software-intensive systems become more pervasive, more and more safety-critical systems are being developed and deployed. Yet when most people think about safety requirements, they think of safety-critical functional requirements, which are requirements that have critical safety ramifications if not correctly implemented. However, there are actually four major...

2002
LURDES SOUSA

In several familiar subcategories of the category Top of topological spaces and continuous maps, embeddings are not pushoutstable. But, an interesting feature, capturable in many categories, namely in categories B of topological spaces, is the following: ForM the class of all embeddings, the subclass of all pushout-stable M-morphisms (that is, of those M-morphisms whose pushout along an arbitra...

Introduction: In the field of studying information systems, qualitative approach is one of the ways to extract the system requirements from the perspective of the users. Therefore, this study was performed to identify the functional requirements of the pharmacy information system from the perspective of the pharmacists using a qualitative approach. Method: This qualitative study was performed u...

Journal: :Journal of rehabilitation medicine 2011
Nika Goljar Helena Burger Gaj Vidmar Matilde Leonardi Crt Marincek

OBJECTIVE To determine whether the International Classification of Functioning, Disability and Health (ICF) model is adequate for assessing disability patterns in stroke survivors in the sub-acute rehabilitation setting in terms of potential changes in functional profiles over time. METHODS Functional profiles of 197 stroke patients were assessed using the ICF Checklist and the Functional Ind...

Purpose: The purpose of this research is to investigate the role of public libraries in the social and economic empowerment of housewives, emphasizing the capacities of virtual space, especially social network sites. Method: This is an applied research that was conducted with a qualitative approach using thematic analysis method. The study population included librarians and officials of public...

Journal: :Proceedings. AMIA Symposium 2002
Anita Burgun-Parenthoine Olivier Bodenreider Franck Le Duff Fouzia Moussouni Olivier Loréal

OBJECTIVE Representing roles, i.e. functions of proteins, sequences and structures, is the cornerstone of knowledge representation in functional genomics. The objective of this study is to investigate representation of roles as functional categories or associative relations. We focus on GeneOntology (GO) and the UMLS and take examples from iron metabolism. METHODS The terms corresponding to t...

Journal: :international journal of community based nursing and midwifery 0
heidarali abedi department of nursing, isfahan (khorasgan) branch, islamic azad university, isfahan, iran abbas abbaszadeh department of medical-surgical nursing, school of nursing & midwifery, shahid beheshti university of medical sciences, tehran, iran minoo motaghi department of nursing, kerman university of medical sciences, kerman, iran

background: students’ health and future health of the community are related to providing health care in schools and since in every society, different contextual factors affect this matter, the present study aims to recognize the factors influencing the health care elementary students are provided with. methods: this qualitative content analysis was performed in 2014 in isfahan. this study was c...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه رازی - دانشکده علوم 1390

در قسمت اول، طراحی و ساخت یک سنسور الکتروشیمیایی با انتخابگری بالا با استفاده ازmolecularly imprinted polymer (mip) به عنوان عنصر شناساگر برای داروی مترونیدازول معرفی شده است. mip انتخابگر نسبت به مترونیدازول وnonimprinted polymer (nip) سنتز شدند وسپس در الکترود خمیر کربن قرار گرفتند. این الکترود برای اندازه گیری مترونیدازول با استفاده از روش cathodic stripping voltammetry به کار برده شد. الکتر...

2017
J. Robin B. Cockett Jean-Simon Lemay

Differential categories are now an established abstract setting for differentiation. The paper presents the parallel development for integration by axiomatizing an integral transformation, sA : !A→ !A⊗A, in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense...

Journal: :Theor. Comput. Sci. 2014
J. Robin B. Cockett Richard Garner

Article history: Received 27 November 2012 Received in revised form 4 September 2013 Accepted 20 December 2013 Communicated by B.P.F. Jacobs

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید