نتایج جستجو برای: multiplicative linear functional

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

Journal: :Theor. Comput. Sci. 1997
Simone Martini Andrea Masini

We investigate several fragments of multiplicative linear logic, in a natural deduction setting and with the aim of a better understanding of the par connective. We study, first, a pre-tensorial calculus, which is strengthened then in the standard tensorial fragment. The addition of a further pre-tensorial connective yields (a natural deduction version of) Full Intuitionistic Linear Logic. A fu...

2008
Zhifang Zhang Mulan Liu Yeow Meng Chee San Ling Huaxiong Wang

Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether or not there exist efficient constructions of strongly multiplicative LSSS from general LSSS. In this paper, we propose the new concept of a 3-multiplicative LSSS, and establish its relationship with strongly multiplic...

2008
Carl Mueller David Nualart

We study the smoothness of the density of a semilinear heat equation with multiplicative spacetime white noise. Using Malliavin calculus, we reduce the problem to a question of negative moments of solutions of a linear heat equation with multiplicative white noise. Then we settle this question by proving that solutions to the linear equation have negative moments of all orders. Supported by NSA...

1995
M Griebel P Oswald

We propose a modiied approach to the abstract convergence theory of the additive and multiplicative Schwarz iterative methods associated with a subspace splitting for solving symmetric positive deenit linear problems. In particular, we obtain a satisfactory bound for the convergence rate of the appropriately scaled multiplicative Schwarz method directly in terms of the condition number of the c...

Journal: :Bulletin of The London Mathematical Society 2022

We establish the following Hilbert-space analogue of Gleason-Kahane-\.Zelazko theorem. If $\mathcal{H}$ is a reproducing kernel Hilbert space with normalized complete Pick kernel, and if $\Lambda$ linear functional on such that $\Lambda(1)=1$ $\Lambda(f)\ne0$ for all cyclic functions $f\in\mathcal{H}$, then multiplicative, in sense $\Lambda(fg)=\Lambda(f)\Lambda(g)$ $f,g\in\mathcal{H}$ $fg\in\m...

Journal: :European Journal of Operational Research 2009
Yong Liu Michael J. Fry Amitabh S. Raturi

We investigate the operational decisions and resulting profits for a supply chain facing price-dependent demand under a policy where there is an ex-ante commitment made on the retail price markup. We obtain closed-form solutions for this policy under the assumption of a multiplicative demand function and we analytically compare its performance with that of a traditional price-only policy. We co...

Journal: :SIAM J. Scientific Computing 1993
Xiao-Chuan Cai

We consider the solution of linear systems of algebraic equations that arise from elliptic nite element problems We study a two level overlapping domain decomposition method that can be viewed as a combination of the additive and multiplicative Schwarz methods This method combines the advantages of the two methods It converges faster than the additive Schwarz algorithm and is more parallelizabl...

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

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

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