检索结果-内蒙古大学图书馆

SpringerBriefs in Applied Sciences and Technology 2017年第9789811045264期 1-36页

作者： Jadczyk, Tomasz Tfaily, Ewa Bryndza Mishra, Sachin Jędrzejek, Marek Boloz, Marta Padmanabhan, Parasuraman Wojakowski, Wojciech Stárek, Zdeněk Martel, Sylvain Gulyás, Balázs Third Division of Cardiology Medical University of Silesia Katowice Poland Department of Orthopaedic Surgery University of Illinois at Chicago ChicagoIL United States Lee Kong Chian School of Medicine Nanyang Technological University Singapore Singapore 1st Department of Internal Medicine/Cardioangiology International Clinical Research Center St. Anne’s University Hospital Brno Czech Republic NanoRobotics Laboratory Department of Computer and Software Engineering Institute of Biomedical Engineering Polytechnique Montréal MontrealQC Canada

ISBN: (纸本)9783319636696

Novel strategies are developed to optimize MSC function. Among them genetic modification is a promising solution to improve cell survival/engraftment after transplantation as well as to enhance cardioprotective function. Following genetic modification are described: Bcl-2, CREG, Hsp20, Akt, PI3K-2α, ILK, periostin, CXCR4, TNFR, Ang1, VEGF, Wnt11. HO-1, GSK-3β, IGF-1, SDF-1, GATA-4. Pharmacological optimization or preconditioned media are also investigated to overcome current limitation in stem cell therapy. Pharmacological agent pretreatment strategy covered in this chapter includes application of diazoxide, estradiol, lysophosphatidic acid, lovastatin, oxytocin, phorbol myristate acetate, tadalafil, trimetazidine. Cytokine and growth factor pretreatment discussed below includes stromal-derived factor 1 alpha, angiopoietin-1, insulin-like growth factor-1, transforming growth factor-α, bone morphogenetic protein-2, fibroblast growth factor-2 and insulin-like growth factor-1 cocktail, interleukin-1β and transforming growth factor-β combination. Moreover, application of including injectable hydrogels are presented including cell containing injectable biomaterials, acellular scaffolds with incorporated bio-agents, and co-application of cells and bio-agents. © 2017, The Author(s).

关键词： Stem cells

来源：评论

学校读者我要写书评

暂无评论

Innovative diagnostics and treatment: nanorobotics and stem cells

SpringerBriefs in Applied Sciences and Technology

引用

SpringerBriefs in Applied Sciences and Technology 2017年第9789811045264期

来源：评论

学校读者我要写书评

暂无评论

Finding happiness and satisfaction during your Ph.D. program

引用

IEEE Potentials 2015年第3期34卷 36-38页

作者： Sinha, Sharad Nikdast, Mahdi Hong Kong University of Science and Technology Hong Kong Department of Computer and Software Engineering Polytechnique Montreal Canada

Many of you who have been through a Ph.D. program have observed your peers and colleagues feeling unhappy and unsatisfied with their work. This is especially the case during the first few years of a Ph.D., when one is trying to make sense of what he or she is doing. Some of you have experienced it yourself. Working on a research problem to find a good solution is a challenging task. The solution is elusive at times, and there is little knowledge available to proceed further, thus requiring one to think deep and hard. © 2015 IEEE.

关键词： Career development engineering profession engineering education Professional aspects

来源：评论

学校读者我要写书评

暂无评论

A real-time remote video streaming platform for ultrasound imaging

A real-time remote video streaming platform for ultrasound i...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Mehdi Ahmadi Warren J. Gross Samuel Kadoury Department of Electrical and Computer Engineering McGill University Montréal Québec Canada Department of Computer and Software Engineering Ecole Polytechnique de Montreal Montréal Québec Canada

Ultrasound is a viable imaging technology in remote and resources-limited areas. Ultrasonography is a user-dependent skill which depends on a high degree of training and hands-on experience. However, there is a limited number of skillful sonographers located in remote areas. In this work, we aim to develop a real-time video streaming platform which allows specialist physicians to remotely monitor ultrasound exams. To this end, an ultrasound stream is captured and transmitted through a wireless network into remote computers, smart-phones and tablets. In addition, the system is equipped with a camera to track the position of the ultrasound probe. The main advantage of our work is using an open source platform for video streaming which gives us more control over streaming parameters than the available commercial products. The transmission delays of the system are evaluated for several ultrasound video resolutions and the results show that ultrasound videos close to the high-definition (HD) resolution can be received and displayed on an Android tablet with the delay of 0.5 seconds which is acceptable for accurate real-time diagnosis.

关键词： Streaming media Ultrasonic imaging Real-time systems computers Probes Monitoring Delays

来源：评论

学校读者我要写书评

暂无评论

Simulation-based verification of avionic systems deployed on IMA architectures

Simulation-based verification of avionic systems deployed on...

引用

MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015

作者： Robati, Tiyam El Kouhen, Amine Gherbi, Abdelouahed Mullins, John Dept. of Software and IT Engineering École de Technologie Suprieure Canada Dept. of Engineering and Computer Science Concordia University Canada Dept. of Computer and Software Engineering École Polytechnique de Montreal Canada

To build reliable avionic applications, we interconnect Integrated Modular Avionics (IMA) architectures with Time-Triggered Ethernet (TT-Ethernet). These systems have direct impacts on human lives where the failure is unacceptable. Therefore, verification is an important issue to ensure the safety and the performance of the system. The integration of IMA architectures is a very complex and challenging engineering task. To cope with complexity and to perform verification, a model-based approach, which endows engineering teams with a methodology and an adequate tooling is of a paramount importance. To design IMA architectures interconnected with TT-Ethernet, we have proposed an extension of the AADL language in previous works. In this paper, we present a simulation-based verification of our extension and show how it can be simulated using a discrete event simulation environment called DEVS Suite. The main advantage of this technique is to perform cycle-accurate simulation of the complex avionics systems, which cannot be undertaken by model checking techniques. The tool demonstration video is available at: http://***/hwgN-a-7rzw. © Copyright 2015 for the individual papers by the papers' authors.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

A Time-Triggered Constraint-Based Calculus for Avionic Systems

A Time-Triggered Constraint-Based Calculus for Avionic Syste...

引用

IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)

作者： Sardaouna Hamadou John Mullins Abdelouahed Gherbi Sofiene Beji Department of Computer and Software Engineering École Polytechnique de Montréal Montreal (Quebec) Canada Department of Software and IT Engineering Ecole de Technologie Supérieure Montreal (Quebec) Canada

The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. We propose a real-time constraint-based calculus targeted at the analysis of such concepts of avionic embedded systems. We show our framework at work on the modelisation of both the (IMA) architecture and the TTEthernet network, illustrating their behavior by the well-known Flight Management System (FMS).

关键词： Aerospace electronics Calculus Receivers Real-time systems computer architecture Standards Keyboards

来源：评论

学校读者我要写书评

暂无评论

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus

Specifying Avionic Embedded Systems by Denotations of the Ti...

引用

IEEE International Conference on Information Reuse and Integration (IRI)

作者： Sardaouna Hamadou John Mullins Christophe Chareton Abdelouahed Gherbi Department of Computer and Software Engineering École Polytechnique de Montréal Montreal (Quebec) Canada Department of Software and IT Engineering Ecole de Technologie Supérieure Montreal (Quebec) Canada

The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. It has recently been proposed to model both the (IMA) architecture and the TTEthernet network in the constraint-based TTCC calculus. In this paper, we show how the declarative aspects of this calculus can provide a simple and elegant way to specify requirements of time-triggered systems. We illustrate our approach on a complete model of a sub-system of the flight management system.

关键词： Aerospace electronics Semantics computer architecture Standards Calculus Safety Receivers

来源：评论

学校读者我要写书评

暂无评论

Novel Seamless Mobility Protocol for Next Generation Wireless Networks

Novel Seamless Mobility Protocol for Next Generation Wireles...

引用

2015 International Conference on Artificial Intelligence and Industrial engineering(AIIE 2015)

作者： Li Jun Zhang Wei Kian Chen Samuel Pierre Division of Information Technology & Sciences Department of Software Technology Champlain College Department of Computer Engineering Ecole Polytechnique of Montreal

ISBN: (纸本)9781510806450

In next-generation wireless networks, mobile nodes(MNs) need to freely change their network attachment point while communicating with others. Accordingly, it is crucial for mobile operators to provide efficient seamless mobility support. Several mobility protocols have been standardized by the working groups of the Internet engineering Task Force(IETF). However, none of them can provide seamless mobility support for users in the next-generation wireless network. This paper proposes a new seamless mobility support protocol, and presents performance comparison with existing mobility protocols, such as MIPv6 and its enhancements.

关键词： next-generation wireless networks mobility management seamless handover

来源：评论

学校读者我要写书评

暂无评论

Changes in Trunk Appearance after Scoliosis Spinal Surgery and Their Relation to Changes in Spinal Measurements

引用

Spine Deformity 2015年第6期3卷 595-603页

作者： Seoud, Lama Cheriet, Farida Labelle, Hubert Parent, Stefan Polytechnique Montreal Department of Computer and Software Engineering P.O. Box 6079 Montreal H3C 3A7 QC Canada Sainte Justine Hospital Research Center 3175 Chemin de la Côte-Sainte-Catherine Montréal H3T 1C5 QC Canada

Study Design Retrospective study of surgical outcome. Objectives To evaluate quantitatively the changes in trunk surface deformities after scoliosis spinal surgery in Lenke 1A adolescent idiopathic scoliosis (AIS) patients and to compare it with changes in spinal measurements. Summary of Background Data Most studies documenting scoliosis surgical outcome used either radiographs to evaluate changes in the spinal curve or questionnaires to assess patients health-related quality of life. Because improving trunk appearance is a major reason for patients and their parents to seek treatment, this study focuses on postoperative changes in trunk surface deformities. Recently, a novel approach to quantify trunk deformities in a reliable, automatic, and noninvasive way has been proposed. Methods Forty-nine adolescents with Lenke 1A idiopathic scoliosis treated surgically were included. The back surface rotation and trunk lateral shift were computed on trunk surface acquisitions before and at least 6 months after surgery. We analyzed the effect of age, height, weight, curve severity, and flexibility before surgery, length of follow-up, and the surgical technique. For 25 patients with available three-dimensional (3D) spinal reconstructions, we compared changes in trunk deformities with changes in two-dimensional (2D) and 3D spinal measurements. Results The mean correction rates for the back surface rotation and the trunk lateral shift are 18% and 50%, respectively. Only the surgical technique had a significant effect on the correction rate of the back surface rotation. Direct vertebral derotation and reduction by spine translation provide a better correction of the rib hump (22% and 31% respectively) than the classic rod rotation technique (8%). The reductions of the lumbar Cobb angle and the apical vertebrae transverse rotation explain, respectively, up to 17% and 16% the reduction of the back surface rotation. Conclusions Current surgical techniques perform well in realigning

关键词： Scoliosis Surgical outcome Trunk surface measurement

来源：评论

学校读者我要写书评

暂无评论

Problem Detection in Real-Time Systems by Trace Analysis

引用

Advances in computer engineering 2016年第1期2016卷

作者： Mathieu Côté Michel R. Dagenais Department of Computer and Software Engineering École Polytechnique de Montréal P.O. Box 6079 Station Downtown Montreal QC Canada H3C 3A7polymtl.ca

This paper focuses on the analysis of execution traces for real-time systems. Kernel tracing can provide useful information, without having to instrument the applications studied. However, the generated traces are often very large. The challenge is to retrieve only relevant data in order to find quickly complex or erratic real-time problems. We propose a new approach to help finding those problems. First, we provide a way to define the execution model of real-time tasks with the optional suggestions of a pattern discovery algorithm. Then, we show the resulting real-time jobs in a Comparison View, to highlight those that are problematic. Once some jobs that present irregularities are selected, different analyses are executed on the corresponding trace segments instead of the whole trace. This allows saving huge amount of time and execute more complex analyses. Our main contribution is to combine the critical path analysis with the scheduling information to detect scheduling problems. The efficiency of the proposed method is demonstrated with two test cases, where problems that were difficult to identify were found in a few minutes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：