نتایج جستجو برای: I/O system theory

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

2009
Jay Lofstead Scott Klasky Michael Booth Hasan Abbasi Fang Zheng Matthew Wolf

ADIOS, the adaptable IO system, has demonstrated excellent scalability to 29,000 cores. With the introduction of the XT5 upgrades to Jaguar, new optimizations are required to successfully reach 140,000+ cores. This paper explains the techniques employed and shows the performance levels attained.

متن کامل
پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه یاسوج - دانشکده علوم 1391
ندا ملکپور, سید محمد اعظمی,

in this investigation the effect of external field on the electron density of nanostructures of cds, cdse, cdte, gaas and polymeric structure of three, four, five and six units of cds as a kind of nanosolar cells has been studied theoretically. as modeling this system in nanodimension, molecular structures has used. specific properties of molecular structures permit us to consider different sym...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه الزهراء - دانشکده علوم پایه 1393
الهه صادقی, مریم ربیعی, داریوش بهمردی,

در این پایان نامه مجموعه ‎-w‎حدی برای مجموعه های ژولیا دندریت‎ ‎‎نگاشت های درجه دوم توصیف می شود. ‏با استفاده از نمایش نمادین بالدوین این فضاها، به عنوان فضای راه نامه غیرهاسدورف‏، نشان داده می شود که نگاشت های درجه دوم با مجموعه ژولیا دندریت دارای خاصیت تعقیب هستند و همچنین ثابت می شود که برای همه چنین نگاشت هایی، یک مجموعه بسته‏ ی ناوردا‏، مجموعه ‎-w‎حدی یک نقطه است اگر و تنها اگر به طور درون...

Journal: :بینا 0
عباس باقری a bagheri تهران- پاسداران- بوستان نهم- بیمارستان لبافی نژاد- مرکز تحقیقات چشم محمد اسحاقی m eshaghi دانشگاه علوم پزشکی مازندران محمد ابریشمی m abrishami دانشگاه علوم پزشکی شهید بهشتی حسین سالور h salour دانشگاه علوم پزشکی شهید بهشتی مریم آل طه m ale-taha دانشگاه علوم پزشکی شهید بهشتی سیدعلی میردهقان a mirdehghan دانشگاه علوم پزشکی شهید بهشتی محمد فقیهی

purpose: to determine the anatomical location of the inferior oblique (io) muscle and any possible correlation between io overaction and io muscle mass. methods: in this interventional case series, eyes undergoing primary surgery for io overaction underwent measurement of the distance between io muscle borders from the limbus as well as muscle belly circumference, intraoperatively. results: ove...

متن کامل
Journal: :Electr. Notes Theor. Comput. Sci. 2005
Markus Michelbrink Anton Setzer

We introduce the notion of state dependent interactive programs for Martin-Löf Type Theory. These programs are elements of coalgebras of an endofunctor on the presheaf category S → Set. We prove the existence of final coalgebras for these functors. This shows as well the consistency of type theory plus rules expressing the existence of weakly final coalgebras for these functors, which represent...

متن کامل
پایان نامه :وزارت علوم، تحقیقات و فناوری - پژوهشگاه دانشهای بنیادی (مرکز تحقیقات فیزیک نظری و - پژوهشکده علوم نانو 1392
پویا پرتوی آذر, افشین نمیرانیان,

among the low–dimensional allotropes of carbon, nanotubes and graphene have attracted very much attention from nano–science and nanotechnology specialists. they have been proposed as building blocks in nanometer device engineering. however, these structures are not defect–free. in this thesis, we focused on defective carbon nanotubes and graphene, and studied the effect of couple of very common...

15 صفحه اول
Journal: Anatomical Sciences Journal 2015
Mohamad Zaman Kasaie, Tahereh Foroutan,

Introduction: IIron oxide nanoparticles (IO NP) have an increasing number of biomedical applications. To date, the potential cytotoxicity of these particles remains an issue of debate. Little is known about the cellular interaction or toxic effects of IO NP on differentiation of stem cells. The aim of the present study was to investigate the possible toxic role of different doses of IO NP in di...

متن کامل
Journal: :IFAC-PapersOnLine 2021

Based on the extension of behavioral theory and Fundamental Lemma for Linear Parameter-Varying (LPV) systems, this paper introduces a Data-driven Predictive Control (DPC) scheme capable to ensure reference tracking satisfaction Input-Output (IO) constraints an unknown system under conditions that (i) can be represented in LPV form (ii) informative data-set containing measured IO scheduling traj...

متن کامل
Journal: :Journal of Thoracic Oncology 2018

متن کامل
2014
Sebastiaan la Fleur

This paper presents a generalized system for graphical IO that views the graphical environment as a separate IO device, for Haskell and other functional languages. Haskell uses monads in its IO system but these are considered difficult and stimulate an imperative way of thinking. This paper shows why an implementation of the so-called stream model provides a solution to these problems. We demon...

متن کامل

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

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

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