نتایج جستجو برای: lia industrial city
تعداد نتایج: 298191 فیلتر نتایج به سال:
In the third millennium and the urban world, achievement to development requires cities that they were mentioned as development engine until a few decades ago and today, they are introduced as knowledge-based cities. Such cities have a kind of economy based on knowledge and sustainable cities that their citizens live in comfort. In other words, a knowledge-based city is one aiming to achieve wi...
Many applications of automated deduction require reasoning modulo some form of integer arithmetic. Unfortunately, theory reasoning support for the integers in current theorem provers is sometimes too weak for practical purposes. In this paper we propose a novel calculus for a large fragment of first-order logic modulo Linear Integer Arithmetic (LIA) that overcomes several limitations of existin...
L ('800-year) and short-term ('20-year) estimates of the rate of deep water formation in the Southern Ocean are in serious disagreement. This disagreement suggests to me that the rate of deep water formation may have been larger during the Little Ice Age (LIA) than it is now. Based on studies of ice-rafted debris in northern Atlantic sediments, a strong case (1) has been made that a cycle avera...
The Systems of LIA at DEFT’13 The 2013 Défi de Fouille de Textes (DEFT) campaign is interested in two types of language analysis tasks, the document classification and the information extraction in the specialized domain of cuisine recipes. We present the systems that the LIA has used in DEFT 2013. Our systems show interesting results, even though the complexity of the proposed tasks. MOTS-CLÉS...
BACKGROUND Serologic testing algorithms for recent HIV seroconversion (STARHS) provide important information for HIV surveillance. We have shown that a patient's antibody reaction in a confirmatory line immunoassay (INNO-LIA HIV I/II Score, Innogenetics) provides information on the duration of infection. Here, we sought to further investigate the diagnostic specificity of various Inno-Lia algor...
A glycophospholipid (GPL) antigen isolated from Plasmodium falciparum culture supernatant has been tested for its antigenicity. Detection of malaria positive known blood samples and unknown field samples from endemic and non-endemic areas were compared. In this study laser light scattering immunoassay (LIA) was used for the detection of P. falciparum malaria. Test results of control (malaria ne...
BACKGROUND Randomized trials evaluating efficacy of local infiltration analgesia (LIA) have been published but many of these lack standardized analgesics. There is a paucity of reports on the effects of LIA on functional capability and quality of life. METHODS 56 patients undergoing unilateral total knee arthroplasty (TKA) were randomized into 2 groups in this placebo-controlled study with 12...
One of the key problems for the accelerator system for a heavy ion fusion (HIF) power plant is to provide a source of ions at the parameters, principally energy and intensity, that are well matched for the primary accelerator component. A promising candidate for the primary accelerator component is the linear induction accelerator (LIA). The LIA is well matched to the pellet requirements becaus...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید