نتایج جستجو برای: category method

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

In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...

1997
K. Lano J. Bicarregui T. Maibaum

This paper will present the case for using a formal component-based speciication technique for reactive systems, such as the Object Calculus of Fiadeiro and Maibaum. The Object Calculus provides a modular, highly declarative and abstract speciication language, suitable for reenement using model-based design notations such as B or VDM. In the Object Calculus, pre/post style speciications of the ...

2010
Tacksun Jung

We investigate the nontrivial solutions for a class of the systems of the superquadratic nonlinear wave equations with Dirichlet boundary condition and periodic condition with a superquadratic nonlinear terms at infinity which have continuous derivatives. We approach the variational method and use the critical point theory on the manifold, in terms of the limit relative category of the sublevel...

Journal: :J. Symb. Comput. 2011
Benjamin Braatz Ulrike Golas Thomas Soboll

In category theory, most set-theoretic constructions—union, intersection, etc.—have direct categorical counterparts. But up to now, there is no direct construction of a deletion operation like the set-theoretic complement. In rule-based transformation systems, deletion of parts of a given object is one of the main tasks. In the double pushout approach to algebraic graph transformation, the cons...

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

in the area of vocabulary teaching and learning although much research has been done, only some of it has led to effective techniques of vocabulary teaching and many language learners still have problem learning vocabulary. the urge behind this study was to investigate three methods of teaching words. the first one was teaching words in context based on a traditional method of teaching that is,...

2012
Sun Park Jun-Woo Shin JangWoo Kwon Min A Jeong Yeonwoo Lee Seong Ro Lee

In this paper, we propose an email categorization method using fuzzy theory and inherent feature of messages set of email. The proposed method can automatically classify emails into category labels, which supports keyword search and directory search method to efficiently manage the classified result with relation to a large volume of emails. In addition, it can reorganize email category hierarc...

Journal: :iranian journal of fuzzy systems 2013
fu-gui shi bin pang

in this paper, new definitions of $l$-fuzzy closure operator, $l$-fuzzy interior operator, $l$-fuzzy remote neighborhood system, $l$-fuzzy neighborhood system and $l$-fuzzy quasi-coincident neighborhood system are proposed. it is proved that the category of $l$-fuzzy closure spaces, the category of $l$-fuzzy interior spaces, the category of $l$-fuzzy remote neighborhood spaces, the category of ...

ژورنال: اعتیاد پژوهی 2021

Objective: The present study aimed to explore the familial, social, and environmental factors detecting craving in substance-dependent women in Tehran. Method: The method of this research was qualitative of grounded theory type. The statistical population of the present study included substance-dependent women referring to Behboud Gostaran Hamgam Center in Tehran in 2018-2019. Among them, 40 pe...

2008
Jordan Schoenherr

Previous research has demonstrated that recall performance is facilitated by the order of presentation of salient stimuli, referred to as the category-order effect (Brooks & Watkins, 1990; Greene & Lasek, 1994). Specifically, recall is higher on the full list when numbers precede words. To extend and clarify this research, Experiment 1 modified Brooks and Watkins’ paradigm by presenting items a...

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

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

function paginate(evt) { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term pg=parseInt(evt.target.text) var data={ "year":filter_year, "term":term, "pgn":pg } filtered_res=post_and_fetch(data,url) window.scrollTo(0,0); } function update_search_meta(search_meta) { meta_place=document.getElementById("search_meta_data") term=search_meta.term active_pgn=search_meta.pgn num_res=search_meta.num_res num_pages=search_meta.num_pages year=search_meta.year meta_place.dataset.term=term meta_place.dataset.page=active_pgn meta_place.dataset.num_res=num_res meta_place.dataset.num_pages=num_pages meta_place.dataset.year=year document.getElementById("num_result_place").innerHTML=num_res if (year !== "unfilter"){ document.getElementById("year_filter_label").style="display:inline;" document.getElementById("year_filter_place").innerHTML=year }else { document.getElementById("year_filter_label").style="display:none;" document.getElementById("year_filter_place").innerHTML="" } } function update_pagination() { search_meta_place=document.getElementById('search_meta_data') num_pages=search_meta_place.dataset.num_pages; active_pgn=parseInt(search_meta_place.dataset.page); document.getElementById("pgn-ul").innerHTML=""; pgn_html=""; for (i = 1; i <= num_pages; i++){ if (i===active_pgn){ actv="active" }else {actv=""} pgn_li="
  • " +i+ "
  • "; pgn_html+=pgn_li; } document.getElementById("pgn-ul").innerHTML=pgn_html var pgn_links = document.querySelectorAll('.mypgn'); pgn_links.forEach(function(pgn_link) { pgn_link.addEventListener('click', paginate) }) } function post_and_fetch(data,url) { showLoading() xhr = new XMLHttpRequest(); xhr.open('POST', url, true); xhr.setRequestHeader('Content-Type', 'application/json; charset=UTF-8'); xhr.onreadystatechange = function() { if (xhr.readyState === 4 && xhr.status === 200) { var resp = xhr.responseText; resp_json=JSON.parse(resp) resp_place = document.getElementById("search_result_div") resp_place.innerHTML = resp_json['results'] search_meta = resp_json['meta'] update_search_meta(search_meta) update_pagination() hideLoading() } }; xhr.send(JSON.stringify(data)); } function unfilter() { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":"unfilter", "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } function deactivate_all_bars(){ var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(bar) { bar.dataset.active = false bar.style = "stroke:#71a3c5;" }) } year_chart.on("created", function() { var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(check) { check.addEventListener('click', checkIndex); }) }); function checkIndex(event) { var yrchart = document.querySelectorAll('.ct-bar'); var year_bar = event.target if (year_bar.dataset.active == "true") { unfilter_res = unfilter() year_bar.dataset.active = false year_bar.style = "stroke:#1d2b3699;" } else { deactivate_all_bars() year_bar.dataset.active = true year_bar.style = "stroke:#e56f6f;" filter_year = chart_data['labels'][Array.from(yrchart).indexOf(year_bar)] url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":filter_year, "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } } function showLoading() { document.getElementById("loading").style.display = "block"; setTimeout(hideLoading, 10000); // 10 seconds } function hideLoading() { document.getElementById("loading").style.display = "none"; } -->