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

International Conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Chien-Chuan Ko Chi-Yang Cheng Chun-Hung Lin Dep. of Computer Science and Information Engineering National ChiaYi University Chia Yi Taiwan Dept. of General Surgery DaLin TsuChi Hospital Taiwan

ISBN: (纸本)9781509024629

Grading of breast carcinoma plays an important role for identification of severity of the disease and prognostic treatment in histopathology. It also is one of important indicators of carcinoma patterns. In general, it dep.nds on three indices: tubule formation, nuclear plemorphism, and mitotic counts by scoring based on the degrees of cell differentiation or proliferation. However, scoring on these indices often subjects to intra-and inter-observer variability due to its complexities and manual classifications by pathologists. This study aims to accurately determine the scoring of tubule formation for histological grading using a series of image processing and a classifier consisting of support vector machine with Gaussian kernel function. To demonstrate the performance of the proposed method, a number of H&E stained images acquired from biopsy tissues of patients were tested with the proposed system for the scoring. Experimental result reveals that the proposed algorithms can obtain satisfactory scoring compared to other reported works. Therefore, it can provide reliable scores in the tubule formation and grade of breast carcinoma especially for ductal carcinoma.

关键词： Glands Feature extraction Breast Biopsy Indexes Image segmentation Area measurement

来源：评论

学校读者我要写书评

暂无评论

On the design of a word game to enhance Italian language learning

On the design of a word game to enhance Italian language lea...

引用

International Conference on Computing, Networking and Communications

作者： Marco Roccetti Paola Salomoni Mathieu Loiseau Monica Masperi Virginie Zampa Andrea Ceccherelli Cristiana Cervini Antonella Valva Dep. of Computer Science and Engineering Universita di Bologna Universite Stendhal Grenoble Dept. of Modern Languages Literatures and Cultures Universita di Bologna

ISBN: (纸本)9781467385800

The use of game-based apps in e-learning has become a relevant trend with the diffusion of smart mobile devices. This is particularly true in language learning, where new captivating word games become a mean to enlarge vocabulary and improve the lexical accuracy of the user. This work presents MagicWord, a game based on widely known game mechanisms, but specifically designed and developed in order to support beginners learning Italian through an A1 level e-learning course. The paper presents the design and implementation of a demo version of MagicWord, through the main challenges encountered during its creation.

关键词： Game apps Edutainment Language learning

来源：评论

学校读者我要写书评

暂无评论

Low Temperature District Heating for Future Energy systems

引用

Energy Procedia 2017年 116卷 26-38页

作者： Dietrich Schmidt Anna Kallert Markus Blesl Svend Svendsen Hongwei Li Natasa Nord Kari Sipilä Fraunhofer Institute for Wind Energy and Energy System Technology IWES Königstor 59 DE-34119 Kassel Germany Fraunhofer Institute for Building Physics IBP Gottschalkstrasse 28a DE-34127 Kassel Germany University of Stuttgart Inst. of Energy Economics and Rational Use of Energy Stuttgart Germany Technical University of Denmark Department of Civil Engineering Lyngby Denmark Norwegian University of Science and Technology Dep. of Energy and Process Eng. Trondheim Norway VTT – The Technical Research Centre of Finland Department Energy Systems Espoo Finland

The building sector is responsible for more than one third of the final energy consumption of societies and produces the largest amount of greenhouse gas emissions of all sectors. This is due to the utilisation of combustion processes of mainly fossil fuels to satisfy the heating demand of the building stock. Low temperature district heating (LTDH) can contribute significantly to a more efficient use of energy resources as well as better integration of renewable energy (e.g. geothermal or solar heat), and surplus heat (e.g. industrial waste heat) into the heating sector. LTDH offers prospects for both the demand side (community building structure) and the supply side (network properties or energy sources). Especially in connection with buildings that demand only low temperatures for space heating. The utilisation of lower temperatures reduces losses in pipelines and can increase the overall efficiency of the total energy chains used in district heating. To optimise the exergy efficiency of community supply systems the LowEx approach can be utilised, which entails matching the quality levels of energy supply and demand in order to optimise the utilisation of high-value resources, such as combustible fuels, and minimising energy losses and irreversible dissipation. The paper presents the international co-operative work in the framework of the International Energy Agency (IEA), the Technology Cooperation Programme on District Heating and Cooling including Combined Heat and Power (DHC|CHP) Annex TS1.

关键词： Low Exergy Communities Low Temperature Supply Structures District Heating

来源：评论

学校读者我要写书评

暂无评论

Model-based security analysis and applications to security economics 3

Model-based security analysis and applications to security e...

引用

3rd International Conference on Model-Driven engineering and Software Development, MODELSWARD 2015

作者： Jürjens, Jan Ahmadian, Amir Shayan Software Engineering Dep. of Computer Science TU Dortmund Dortmund Germany Fraunhofer Institute for Software and Systems Engineering ISST Dortmund Germany

ISBN: (纸本)9789897580833

In this invited presentation, we give an overview on a soundly based approach to Secure Software engineering based on the UML extension UMLsec. More specifically, one main current focus is the automated, formally based analysis of software artefacts against security requirements. This is motivated by the observation that the current state of security engineering in practice is far from satisfactory. The goal is thus to start with the actual industrial engineering methods of security-critical software-based systems, to identify problems which are practically amenable to tool-supported, formally sound analysis methods, and to try to solve these problems using these methods. An important objective is to ensure that these analysis methods can actually be used in practice by keeping the additional overhead in using them bounded: First, they take as input artefacts which are already available in current industrial software development (such as UML models and program source code) and do not have to be constructed just to perform the analysis. Second, the tools should be reasonably easy to use and have a strong emphasis on automation. We also present results from some recent work on applying model-based security analysis to the analysis of economic aspects of securing critical infrastructures. Copyright © 2015 SCITEPRESS - science and Technology Publications.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

Shape reconstruction method for imaging conductive materials in Electrical Capacitance Tomography

Shape reconstruction method for imaging conductive materials...

引用

Annual Conference of Industrial Electronics Society

作者： Wael A. Deabes Mohamed Abdelrahman Computer Science Dep. University Collage Umm-Al-Qura University Makkah KSA Computer and System Dept. Mansoura University EGYPT Engineering Arkansas Tech University AR USA

One of the innovative application of the tomography process is detecting the size and the location of the grounded metal in the Lost Foam Casting (LFC). Traditional methods based on fixed sensitivity matrix for solving the inverse problem are failed while the other dynamic methods for updating the sensitivity matrix are consuming time. A design of a narrow band level set method to reconstruct the interfaces between the grounded objects and the foam patterns is discussed. The level set method is a well suited method compared with the traditional pixel based image reconstruction methods for the case of the grounded metal. This method can provide more accurate solution for recovering the shape and the place of the grounded metal. Two difficult problems are associated with the ECT system for the grounded material, sensitivity matrix calculation and the shielding problem. The effect of the grounded metal on the sensitivity matrix is studied and the shielding problem is demonstrated. The final results, based on simulations, demonstrate the advantage of using the shape reconstruction method to track the shape and the location of the grounded metal in the imaging area.

关键词： Level set Shape Metals Sensitivity Image reconstruction Imaging Inverse problems

来源：评论

学校读者我要写书评

暂无评论

Energy consumption reduction by integrating Wireless Sensors and Actuators Networks Supervisory Controller with the Cloud Computing

Energy consumption reduction by integrating Wireless Sensors...

引用

Annual Conference of Industrial Electronics Society

作者： Kheir Eddine Bouazza Wael A. Deabes Hesham H. Amin Gamal A. Elsayed Computer Science Dep. Umm-Al-Qura University Makkah KSA Computer and System Dept. Mansoura University Egypt Computer Systems Dept. Aswan University Aswan Egypt Umm Al-Qura University Makkah SA

In this paper we present a new framework for energy consumption conservation in green smart building. We propose an energy efficient smart wireless control system that integrates Wireless Sensors Actuators Networks (WSAN), Machine Learning and Cloud Computing. Moving WSANs Supervisory controlled by Petri nets system to the cloud have many advantages such as scalability, and availability. The first component of our proposed framework is Petri Nets supervisory controller which is implemented to monitor and control the entire system. Moreover, fault-tolerant algorithms could be developed and dep.oyed with the supervisory system. The second component of our framework is the machine learning scheme that is responsible of processing and manipulating users preferences based on Spiking Neural Networks. This is very crucial as it considers behavioral preferences of tenants of building called user preferences. Finally integrating all components of the framework and dep.oy it on the cloud environment gives WSAN the benefits of using cloud resources and make the system highly available, scalable and fault-tolerant.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

Trace-based affine reconstruction of codes

Trace-based affine reconstruction of codes

引用

International Symposium on Code Generation and Optimization (CGO)

作者： Gabriel Rodríguez José M. Andión Mahmut T. Kandemir Juan Touriño Dep. Electrónica e Sistemas Universidade da Coruña A Coruña Spain Department of Computer Science and Engineering The Pennsylvania State University University Park PA USA

Complete comprehension of loop codes is desirable for a variety of program optimizations. Compilers perform static code analyses and transformations, such as loop tiling or memory partitioning, by constructing and manipulating formal representations of the source code. Runtime systems observe and characterize application behavior to drive resource management and allocation, including dep.ndence detection and parallelization, or scheduling. However, the source codes of target applications are not always available to the compiler or runtime system in an analyzable form. It becomes necessary to find alternate ways to model application behavior. This paper presents a novel mathematical framework to rebuild loops from their memory access traces. An exploration engine traverses a tree-like solution space, driven by the access strides in the trace. It is guaranteed that the engine will find the minimal affine nest capable of reproducing the observed sequence of accesses by exploring this space in a brute force fashion, but most real traces will not be tractable in this way. Methods for an efficient solution space traversal based on mathematical properties of the equation systems which model the solution space are proposed. The experimental evaluation shows that these strategies achieve efficient loop reconstruction, processing hundreds of gigabytes of trace data in minutes. The proposed approach is capable of correctly and minimally reconstructing 100% of the static control parts in PolyBench/C applications. As a side effect, the trace reconstruction process can be used to efficiently compress trace files. The proposed tool can also be used for dynamic access characterization, predicting over 99% of future memory accesses.

关键词： Indexes Optimization Engines Mathematical model Runtime Frequency modulation Space exploration

来源：评论

学校读者我要写书评

暂无评论

LDPC codes and iterative decoding over symbol-tuple error channels

LDPC codes and iterative decoding over symbol-tuple error ch...

引用

International Symposium on Turbo Codes and Related Topics

作者： Kenta Kasai Masanori Hirotomo Masakatu Morii Dep. of Communications and Computer Engineering Tokyo Institute of Technology Tokyo Japan Dept. of Information Science Saga University Saga Japan Dept. of Electrical and Electronic Engineering Kobe University Kobe Japan

This paper deals with symbol-pair error channels. First, we generalize the channels to symbol-tuple error channels whose read length is D. Then, we derive a message passing algorithm for decoding LDPC codes over the generalized channels. Furthermore, we investigate the Hamming distance distributions of LDPC codes in terms of D symbol-tuple metric.

关键词： Parity check codes Decoding Hamming weight Block codes Couplings Error analysis

来源：评论

学校读者我要写书评

暂无评论

Implementation of density functional theory method on object-oriented programming (C++) to calculate energy band structure using the projector augmented wave (PAW)

引用

Journal of Physics: Conference Series 2017年第1期853卷

作者： E Alfianto F Rusydi N D Aisyah R N Fadilla H K Dipojono M A Martoprawiro Dep. of Computer Systems Institut Teknologi Adhi Tama Surabaya Jl Arif Rachman Hakim 100 Surabaya Indonesia. Theoretical Physics Research Group Dep. of Physics Fac. of Science and Technology Universitas Airlangga Jl. Mulyorejo Surabaya Indonesia 60115 Laboratory of Computational Material Design Research Group of Engineering Physics Institut Teknologi Bandung Jl Ganesha 10 Bandung Indonesia 40132 Inorganic and Physical Chemistry Division Dep. of Chemistry Institut Teknologi Bandung Jl Ganesha 10 Bandung Indonesia 40132

This study implemented DFT method into the C++ programming language with object-oriented programming rules (expressive software). The use of expressive software results in getting a simple programming structure, which is similar to mathematical formula. This will facilitate the scientific community to develop the software. We validate our software by calculating the energy band structure of Silica, Carbon, and Germanium with FCC structure using the Projector Augmented Wave (PAW) method then compare the results to Quantum Espresso calculation's results. This study shows that the accuracy of the software is 85% compared to Quantum Espresso.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Key management protocol with implicit certificates for IoT systems 1

Key management protocol with implicit certificates for IoT s...

引用

1st Workshop on IoT Challenges in Mobile and Industrial systems, IoT-Sys 2015

作者： Sciancalepore, Savio Capossele, Angelo Piro, Giuseppe Boggia, Gennaro Bianchi, Giuseppe Politecnico di Bari Italy Dep. of Computer Science Sapienza University of Rome Italy Dep. of Electronic Engineering University of Rome 2 Tor Vergata Italy

ISBN: (纸本)9781450335027

This paper proposes a Key Management Protocol for mobile and industrial Internet of Things systems, targeting, at the same time, robust key negotiation, lightweight node authentication, fast re-keying, and efficient protection against replay attacks. The proposed approach pragmatically leverages widely accepted Elliptic Curve Cryptography constructions, specifically the (Elliptic Curve)"Fixed"Diffie Hellman key exchange and the (Elliptic Curve) Qu-Vanstone implicit certificates. Our value added is their suitable integration into a security protocol exchange, designed at layer 2, in the 802.15.4 protocol stack, which permits to i) avoid Elliptic Point multiplications upon rekeying of previously paired devices, and ii) support mutual authentication while securing the protocol exchange. To prove its viability, the proposed Key Management Protocol has been implemented and assessed on severely constrained devices. As expected, but made explicit and quantified by our experimental performance evaluation, the usage of implicit certificates in conjunction with an optimized message exchange yields impressive gains in terms of airtime consumption with respect to state of the art schemes. © 2015 ACM.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：