نتایج جستجو برای: multiplicative derivations

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

1998
Mark Hepple

The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the formulation and parsing of various categorial grammars. These applications call for efficient deduction methods. Although a number of deduction methods for multiplicative linear logic are known, none of them are tabular methods...

2017
Jun Tao Wang Bijan Davvaz Peng Fei He

In this paper, we investigate related properties of some particular derivations and give some characterizations of additive derivations in MV-algebras. Then, we obtain that the fixed point set of additive derivations is still an MV-algebra. Also, we study Boolean additive derivations and their adjoint derivations. In particular, we get that the fixed point set of Boolean addition derivations an...

‎The first multiplicative Zagreb index $Pi_1(G)$ is equal to the‎ ‎product of squares of the degree of the vertices and the second‎ ‎multiplicative Zagreb index $Pi_2(G)$ is equal to the product of‎ ‎the products of the degree of pairs of adjacent vertices of the‎ ‎underlying molecular graphs $G$‎. ‎Also‎, ‎the multiplicative sum Zagreb index $Pi_3(G)$ is equal to the product of‎ ‎the sum...

Journal: :caspian journal of neurological sciences 0
shervin assari department of health behavior and health education, university of michigan, school of public health; assari@umich.edu

background: for psychiatric disorders, comorbidity is a rule rather than exception. thus it is particularly important to study additive and multiplicative effects of multiple mental disorders on suicidal behaviors. objectives: the aim of this study was to investigate the ethnic differences in multiplicative effects of mental disorders on suicidal ideation among black adults in the united states...

Journal: :International Mathematical Forum 2007

Journal: :international journal of nonlinear analysis and applications 2010
c. park a. najati

using the hyers-ulam-rassias stability method, weinvestigate isomorphisms in banach algebras and derivations onbanach algebras associated with the following generalized additivefunctional inequalitybegin{eqnarray}|af(x)+bf(y)+cf(z)|  le  |f(alpha x+ beta y+gamma z)| .end{eqnarray}moreover, we prove the hyers-ulam-rassias stability of homomorphismsin banach algebras and of derivations on banach ...

Journal: :Bulletin of the Iranian Mathematical Society 2018

Journal: :Bulletin of the Australian Mathematical Society 2002

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

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

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"; } -->