|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Distributed decision evaluation model in public transportation systems显示文摘 | Imen B Inès B Khaled G | 2008 | Engineering Applications of Artificial Intelligence2008，21，： | 1 |
| 2 | Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification显示文摘UML 2.X sequence diagrams(SD)are among privileged scenarios-based approaches dealing with the complexity of modeling the behaviors of some current systems.However,there are several issues related to the standard semantics of UML 2.X SD proposed by the Object Management Group(OMG).They mainly concern ambiguities of the interpretation of SDs,and the computation of causal relations between events which is not specifically laid out.Moreover,SD is a semi-formal language,and it does not support the verification of the modeled system.This justifies the considerable number of research studies intending to define formal semantics of UML SDs.We proposed in our previous work semantics covering the most popular combined fragments(CF)of control-flow ALT,OPT,LOOP and SEQ,allowing to model alternative,optional,iterative and sequential behaviors respectively.The proposed semantics is based on partial order theory relations that permit the computation of the precedence relations between the events of an SD with nested CFs.We also addressed the issue of the evaluation of the interaction constraint(guard)for guarded CFs,and the related synchronization issue.In this paper,we first extend our semantics,proposed in our previous work;indeed,we propose new rules for the computation of causal relations for SD with PAR and STRICT CFs(dedicated to modeling concurrent and strict behaviors respectively)as well as their nesting.Then,we propose a transformational semantics in Event-B.Our modeling approach emphasizes computation of causal relations,guard handling and transformational semantics into Event-B.The transformation of UML 2.X SD into the formal method Event-B allows us to perform several kinds of verification including simulation,trace acceptance,verification of properties,and verification of refinement relation between SDs. | Inès Mouakher Fatma Dhaou J.Christian Attiogbé | 2022 | Journal of Computer Science & Technology2022，37，1： | 1 |
| 3 | Flavonoids and sesquiterpenes from Tecurium ramosissimum promote antiproliferation of human cancer cells and enhance antioxidant activity: A structure–activity relationship study显示文摘 | Mohamed Ben Sghaier Ines Skandrani Nouha Nasr Marie-Genviève Dijoux Franca Leila Chekir-Ghedira Kamel Ghedira | 2011 | Environmental Toxicology and Pharmacology2011，，3： | 1 |
| 4 | Investigation of extracts from (Tunisian) Cyperus rotundus as antimutagens and radical scavengers显示文摘 | Soumaya Kilani Ribai Ben Ammar Inès Bouhlel Afef Abdelwahed Nawel Hayder Amor Mahmoud Kamel Ghedira Leila Chekir-Ghedira | 2005 | Environmental Toxicology and Pharmacology2005，，3： | 1 |
| 5 | Antioxidant and antigenotoxic properties of compounds isolated from Marrubium deserti de Noé显示文摘 | Nabila Zaabat Anne-Emmanuelle Hay Serge Michalet Nicole Darbour Christine Bayet Inès Skandrani Leila Chekir-Ghedira Salah Akkal Marie-Geneviève Dijoux-Franca | 2011 | Food and Chemical Toxicology2011，，12： | 1 |
| 6 | Role of HLA-G in innate immunity through direct activation of NF-κB in natural killer cells显示文摘 | Christine Guillard Inès Zidi Céline Marcou Catherine Menier Edgardo D. Carosella Philippe Moreau | 2007 | Molecular Immunology2007，，： | 1 |
| 7 | Ghrelin Levels and Sleeve Gastrectomy in Super-Super-Obesity显示文摘 | Régis Cohen MD PhD Bernard Uzzan MD Hélène Bihan MD Inès Khochtali MD Gérard Reach MD Jean Marc Catheline MD | 2005 | Obesity Surgery2005，，10： | 1 |
| 8 | Addressing the Role of microRNAs in Reprogramming Leaf Growth during Drought Stress in Brachypodium distachyon显示文摘对干旱的植物回答被基因的建筑群调整, epigenetic 联网导致植物生长的快速的 reprogramming。miRNAs 广泛地在生长和开发的规定作为关键播放器被显示了。在干旱反应的 miRNAs 的角色在 Brachypodium distachyon 的年轻叶子被调查,干旱容忍的 monocot 模型种。采用一在里面 vivo 干旱试金,出现在叶尺寸引起戏剧的减小主要由于减少的细胞扩大,小 RNA 图书馆从增殖并且扩展叶细胞被生产。下一代的定序数据用允许 66 注解 miRNA 基因和极大地扩展已知的 Brachypodium miRNAs 的数字的 122 新高信心预言的鉴定的一条内部生物信息学管道被分析。另外,我们识别了四 TAS3 loci 和显示出建议他们可以代表年轻 miRNA 基因的特征的很多生产 siRNA loci。大多数 miRNAs 显示出高表示水平,与他们在早叶开发和房间身份的参与一致。增殖并且膨胀的叶细胞对干旱处理不同地作出回应,微分表示分析为 miRNA 建议新奇证据处于正常、强调的条件的规章的网络控制细胞分割并且证明那干旱触发 miRNAs 深深地涉及的叶生长的基因 reprogramming。 | Edoardo Bertolini Wim Verelst David Stephen Horner Luca Gianfranceschi Viviana Piccolo Dirk Iné Mario Enrico Pè Erica Mica | 2013 | Molecular Plant2013，6，2： | 1 |
| 9 | Massive hepatic necrosis with toxic liver syndrome following portal vein ligation显示文摘Right portal vein ligation (PVL) is a safe and widespread procedure to induce controlateral liver hypertrophy for the treatment of bilobar colorectal liver metastases. We report a case of a 60-year-old man treated by both right PVL and ligation of the glissonian branches of segment 4 for colorectal liver metastases surrounding the right and median hepatic veins. After surgery, the patient developed massive hepatic necrosis with secondary pulmonary and renal insufficiency requiring transfer to the intensive care unit. This so-called toxic liver syndrome finally regressed after hemofiltration and positive oxygen therapy. Diagnosis of acute congestion of the ligated lobe was suspected. The mechanism suspected was an increase in arterial inflow secondary to portal vein ligation concomitant with a decrease in venous outflow due to liver metastases encircling the right and median hepatic vein. This is the first documented case of toxic liver syndrome in a non-cirrhotic patient with favorable issue, and a rare complication of PVL. | Aurélien Dupré Johan Gagnière Lucie Tixier David Da Ines Sébastien Perbet Denis Pezet Emmanuel Buc | 2013 | World Journal of Gastroenterology2013，19，18： | 1 |
| 10 | Medicinal halophytes: potent source of health promoting biomolecules with medical, nutraceutical and food applications显示文摘 | Riadh Ksouri Wided Megdiche Ksouri Inè s Jallali Ahmed Debez Christian Magné Isoda Hiroko Chedly Abdelly | 2012 | Critical Reviews in Biotechnology2012，，： | 1 |
| 11 | American Academy of Otolaryngology-Head and Neck Foundation,Inc显示文摘 | Committee on Hearing and Equilibrium Committee on Hearing and Equilibrium guidelines for the diagnosis and evaluation of therapy in Menière's disease | | 0，，03： | 1 |
| 12 | Giant mucinous cystic adenoma with pancreatic atrophy mimicking dorsal agenesis of the pancreas显示文摘Mucinous cystic adenoma(MCA) of the pancreas is a rare benign cystic tumor with ovarian-like stroma and lack of communication with the pancreatic ductal sys-tem. The ovarian tissue is incorporated from the left gonad within the dorsal pancreas during embryogen-esis. Consequently, congenital dorsal agenesis of the pancreas(DAP) cannot be associated with MCA. We report the case of a giant MCA associated with atro-phy of the dorsal pancreas mimicking complete DAP. Pancreato-magnetic resonance imaging failed to iden-tify the dorsal pancreas but the absence of diabetes mellitus and compression of the splenic vein with major tributaries rectified the diagnosis of secondary atrophy of the distal pancreas. Unusual proximal location of the cyst in the pancreas may have induced chronic obstruc-tion of both the dorsal pancreatic duct and the splenic vein, with secondary atrophy of the distal pancreas. | Johan Gagnière Aurélien Dupré David Da Ines Lucie Tixier Denis Pezet Emmanuel Buc | 2014 | World Journal of Gastrointestinal Surgery2014，6，3： | 0 |
| 13 | Multimodal imaging in Purtscher-like retinopathy associated with sarcoidosis:a case report显示文摘Dear Editor,We report a case of Purtscher-like retinopathy(PLR)in the presence of acute pancreatitis secondary to sarcoidosis.To our knowledge,this is the first case report of a PLR in a patient with sarcoidosis. | Héla Kaoual Inés Hachicha Ilhem Mili Boussen Imène Zhioua-Braham Mejdi Boukari Raja Zhioua | 2022 | International Journal of Ophthalmology(English edition)2022，15，5： | 0 |
| 14 | “流动的光”展览厅显示文摘1924年建造的巴塞罗那工人合作社现已荒废近30年:风、雨、鸽子从这里进进出出,随着时间的推移,这栋建筑也变得越来越破败不堪。阳光从屋顶的洞口穿透,将光束直射进老旧大堂的中央,让室内的光景更显颓败。然而对于设计师而言,这并不是一场破坏,反而预示了建筑新的可能性。 | Nina Andreatta Jorge Casajús Judith Casas Eline Cooman Inès Martinel Rebeca Lopez Adria Goula 彭佳 | 2018 | 现代装饰2018，0，7： | 0 |
| 15 | Comparative Analysis of COVID-19 Detection Methods Based on Neural Network显示文摘In 2019,the novel coronavirus disease 2019(COVID-19)ravaged the world.As of July 2021,there are about 192 million infected people worldwide and 4.1365 million deaths.At present,the new coronavirus is still spreading and circulating in many places around the world,especially since the emergence of Delta variant strains has increased the risk of the COVID-19 pandemic again.The symptoms of COVID-19 are diverse,and most patients have mild symptoms,with fever,dry cough,and fatigue as the main manifestations,and about 15.7%to 32.0%of patients will develop severe symptoms.Patients are screened in hospitals or primary care clinics as the initial step in the therapy for COVID-19.Although transcription-polymerase chain reaction(PCR)tests are still the primary method for making the final diagnosis,in hospitals today,the election protocol is based on medical imaging because it is quick and easy to use,which enables doctors to diagnose illnesses and their effects more quickly3.According to this approach,individuals who are thought to have COVID-19 first undergo an X-ray session and then,if further information is required,a CT-scan session.This methodology has led to a significant increase in the use of computed tomography scans(CT scans)and X-ray pictures in the clinic as substitute diagnostic methods for identifying COVID-19.To provide a significant collection of various datasets and methods used to diagnose COVID-19,this paper provides a comparative study of various state-of-the-art methods.The impact of medical imaging techniques on COVID-19 is also discussed. | Inès Hilali-Jaghdam Azhari A Elhag Anis Ben Ishak Bushra M.Elamin Elnaim Omer Eltag Mohammed Elhag Feda Muhammed Abuhaimed S.Abdel-Khalek | 2023 | Computers, Materials & Continua2023，，7： | 0 |
| 16 | 西班牙结核病人的治疗完成和病死率现状显示文摘目的:确定结核病人的完成治疗情况,并分析中断治疗和病死的相关因素。方法:在 SEPAR 结核病和呼吸道感染工作组成员工作的地区,对 1999 年 6 月 1 日至2000 年5 月 31 日期间开始接受治疗的结核病人进行前瞻性队列分析。利用 logistic 回归对与中断治疗和病死相关的诸因素进行了研究,并计算各因素的比数比(OR)及其 95%CI。结果:本项研究涉及 76 家医院 142 名医生提供的1515 例病例信息。82%的病人完成了全部治疗,14%中断治疗,5%死亡,0.5%治疗失败,8.7%由于迁出或其它原因中断了治疗。与中断治疗有关的变量是静脉吸毒(IVDU)(OR=6.00,95%CI:2.59-13.89和移民(OR=8.57,95%CI:3.78-19.45);性别、年龄、无家可归、监禁、DOT或住院治疗与中断治疗无关。病人病死率的预报因素有酗酒(OR=6.38,95%CI:2.09-19.48);HIV 感染(OR=7.08,95%CI:2.08-29.15)和年龄大于 64 岁(OR=10,95%CI:2.9-34.07),性别、吸毒、无家可归、DOT 和住院治疗与病人的病死率无关。结论:在发达国家应对吸毒和移民病人采用 DOT,另外,需要对酗酒、HIV 感染、年龄大于64 岁者实施严格监督以降低其病死率。 | J.A.Caylà J.A.Caminero R.Rey N.Lara X.Vallès H.Galdós-Tangüis Working Group on Completion of Tuberculosis Treatment in Spain 姜世闻 | 2004 | 结核与肺部疾病杂志2004，7，2： | 2 |
| 17 | Antioxidant and free radical-scavenging properties of three flavonoids isolated from the leaves of Rhamnus alaternus L. (Rhamnaceae) : A structure-activity relationship study显示文摘 | Rebai Ben Ammar Wissem Bhouri Mohamed Ben Sghaier Jihed Boubaker Ines Skandrani Aicha Neffati Ines Bouhlel Soumaya Kilani Anne-Marie Mariotte Leila Chekir-Ghedira Marie-Geneviève Dijoux-Franca Kamel Ghedira | 2009 | Food Chemistry2009，，1： | 2 |
| 18 | Mobilization of CD34^+CD38^- hematopoietic stem cells after priming in acute myeloid leukemia显示文摘AIM: To evaluate quantitatively and qualitatively the different CD34+cell subsets after priming by chemotherapy granulocyte colony-stimulating factor(± G-CSF)in patients with acute myeloid leukemia.METHODS: Peripheral blood and bone marrow sampleswere harvested in 8 acute myeloid leukemia patients during and after induction chemotherapy. The CD34/CD38 cell profile was analyzed by multi-parameter flow cytometry. Adhesion profile was made using CXC chemokine receptor 4(CXCR4)(CD184), VLA-4(CD49d/CD29) and CD47.RESULTS: Chemotherapy ± G-CSF mobilized immature cells(CD34+CD38 population), while the more mature cells(CD34+CD38lowand CD34+CD38+populations) decreased progressively after treatment. Circulating CD34+cells tended to be more sensitive to chemotherapy after priming with G-CSF. CD34+cell mobilization was correlated with a gradual increase in CXCR4 and CD47expression, suggesting a role in cell protection and the capacity of homing back to the marrow.CONCLUSION: Chemotherapy ± G-CSF mobilizes into the circulation CD34+bone marrow cells, of which, the immature CD34+CD38-cell population. Further manipulations of these interactions may be a means with which to control the trafficking of leukemia stem cells to improve patients' outcomes. | Adriana Plesa Eve Mattei Charles Dumontet Youcef Chelghoum Hélène Labussière Giovanna Cannas Mauricette Michallet Xavier Thomas Mohamed Elhamri Stéphane Morisset Inès Tagoug | 2013 | World Journal of Stem Cells2013，5，4： | 1 |
| 19 | In Vivo Hypoxic Preconditioning Protects From Warm Liver Ischemia-Reperfusion Injury Through the Adenosine A2B Receptor显示文摘 | Alexander Choukèr Akio Ohta André Martignoni Dmitriy Lukashev Lefteris C. Zacharia Edwin K. Jackson Jürgen Schnermann Jerrold M. Ward Ines Kaufmann Brenda Klaunberg Michail V. Sitkovsky Manfred Thiel | 2012 | Transplantation Journal2012，，9： | 1 |
| 20 | Relationship correlation of antioxidant and antiproliferative capacity of Cyperus rotundus products towards K562 erythroleukemia cells显示文摘 | Soumaya Kilani-Jaziri Aicha Neffati Ilef Limem Jihed Boubaker Ines Skandrani Mohamed Ben Sghair Ines Bouhlel Wissem Bhouri Anne Marie Mariotte Kamel Ghedira Marie-Genviève Dijoux Franca Leila Chekir-Ghedira | 2009 | Chemico-Biological Interactions2009，，1： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员