نتایج جستجو برای: cic

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

2010
Daniel Calegari Carlos Daniel Luna Nora Szasz Alvaro Tasistro

We present a framework based on the Calculus of Inductive Constructions (CIC) and its associated tool the Coq proof assistant to allow certification of model transformations in the context of Model-Driven Engineering (MDE). The approached is based on a semi-automatic translation process from metamodels, models and transformations of the MDE technical space into types, propositions and functions...

Journal: :Journal of clinical and diagnostic research : JCDR 2014
Maheswari H Eswaran M A Srividhya S Malavika R Prabhu R Geetha K R

PURPOSE OF THE STUDY The present study was conducted to estimate the serum levels of Circulating Immune Complexes in patients with Oral Leukoplakia ,Oral sub mucous fibrosis and normal subjects and correlate these values with the clinical grades of the diseases. MATERIALS AND METHODS The study consisted of 25 Oral Leukoplakia patients, 25 Oral sub mucous fibrosis patients and 25 Normal subjec...

Journal: :JDIM 2011
Guoping Zhang Mande Xie

281 ABSTRACT: DDC (Digital Down Converter), as a key part of digital receivers, aims to get low-speed digital baseband signals by extracting and filtering the digital signals transformed by high-speed ADC (Analog Digital Conversion). This paper employs the multi-rate process technique to design the DDC, i.e. firstly conducting data CIC (Cascade Integrator Comb) extraction, then HBF (HalfBand Fi...

2014
Lauren Farrell Margaret Gilman Eva Teszner Susan E. Coffin Julia Shaklee Sammons

Healthcare Safety Network Surveillance Definitions Lauren Farrell, MS, MLS(ASCP); Margaret Gilman, CIC; Eva Teszner, RN, CIC; Susan E. Coffin, MD, MPH; Julia Shaklee Sammons, MD, MSCE; Infection Prevention and Control, The Children’s Hospital of Philadelphia, Philadelphia, PA; Division of Infectious Diseases, The Children’s Hospital of Philadelphia, Philadelphia, PA; Perelman School of Medicine...

2007
M. Barrandeguy

(1) Department of Virology, Faculty of Veterinary Sciences, National University of La Plata, 60 & 118, CC296, 1900 La Plata, Buenos Aires, Argentina (2) CICV-INTA, CC77, 1708 Morón, Buenos Aires, Argentina (3) National Research Council (CONICET), Av. Rivadavia 1917, C1033 AAJ, Buenos Aires, Argentina (4) Professional Assistant of the Scientific Research Commission (CIC), 10 & 526, 1900 La Plata...

Journal: :Indian journal of medical ethics 2015
M R Hariharan Nair

Medical ethics attaches the utmost priority to the confidentiality of medical records. Hence, the decision of the Chief Information Commissioner (CIC) rendered on April 10, 2015 in Case No: CIC/KY/A/2014/001348SA Ms Jyoti Jeena v. PIO, Institute of Human Behaviour & Allied Science (hereinafter referred to as Jyoti Jeena), that the wife-applicant is entitled to get copies of the medical reco...

Journal: :Leukemia & lymphoma 2013
Jamil N Kanji Michel Laverdière Coleman Rotstein Thomas J Walsh Prakesh S Shah Shariq Haider

Candidemia and invasive candidiasis (CIC) is associated with considerable morbidity and mortality, with a paucity of controlled data in neutropenic patients. A systematic review was conducted of available data for the treatment of CIC during neutropenia. A structured OVID search of multiple databases was performed. Data from randomized controlled trials of CIC and of empirical antifungal therap...

Journal: :Indian journal of experimental biology 1999
D Chattopodhyay M R Sen

High level of circulating immune complexes (CIC) in the serum has been reported in different forms of hepatitis particularly in complicated cases of viral hepatitis due to hepatitis B virus (HBV) infection. In this study CIC level in experimental autoimmune hepatitis were assessed by detection of polyethylene glycol (PEG) index. The sera of mice with established autoimmune hepatitis (EAH) confi...

2014
Cesira de Chiara Geoff Kelly Rajesh P. Menon John McCormick Annalisa Pastore

Ataxin-1 is the protein responsible for the genetically-inherited neurodegenerative disease spinocerebellar ataxia type-1 linked to the expansion of a polyglutamine tract within the protein sequence. The AXH domain of ataxin-1 is essential for the protein to function as a transcriptional co-repressor and mediates the majority of the interactions of ataxin-1 with cellular partners, mainly transc...

2012
Chantal Keller Marc Lasson

Reynold’s abstraction theorem is now a well-established result for a large class of type systems. We propose here a definition of relational parametricity and a proof of the abstraction theorem in the Calculus of Inductive Constructions (CIC), the underlying formal language of Coq, in which parametricity relations’ codomain is the impredicative sort of propositions. To proceed, we need to refin...

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

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

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