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

ACM International Joint Conference on Pervasive and Ubiquitous computing and the 2015 ACM International Symposium on Wearable Computers, UbiComp and ISWC 2015

作者： Nasreen, Shamila Azam, Muhammad Awais Naeem, Usman Ghazanfar, Mustansar Ali Department of Software Engineering University of Engineering and Technology Taxila Pakistan Department of Computer Engineering University of Engineering and Technology Taxila Pakistan School of Architecture Computing and Engineering University of East London United Kingdom

ISBN: (纸本)9781450335751

Recognition of activities in an unobtrusive manner has attracted the attention of context aware systems, which provide end users with services based on everyday activities that are recognised without infringing the privacy of the end user. Current work has generally focused on applying a range of traditional classification and semantic reasoning based techniques in order to recognise these activities. However, the ability to recognise unexpected actions while the activity is being conducted remains a challenge. In this paper, we present an approach that is able to recognise activities regardless of the order of tasks/actions used to perform the activity. The proposed recognition framework extends an existing activity recognition approach by deploying a frequent pattern mining technique to find patterns among different streams of captured sensor events in order to increase the adaptive learning of the proposed recognition approach. © 2015 ACM.

关键词： Assisted living

来源：评论

学校读者我要写书评

暂无评论

The essence of bidirectional programming

引用

Science China(Information Sciences) 2015年第5期58卷 76-96页

作者： FISCHER Sebastian HU ZhenJiang PACHECO Hugo Department of Computing Science Christian-Albrechts-University of Kiel Information Systems Architecture Research Division National Institute of Informatics Department of Informatics The Graduate University for Advanced Studies (SOKENDAI) School of Electronics Engineering and Computer Science Peking University Department of Computer Science Cornell University

Bidirectional transformations(BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers’ inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular *** this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free.

关键词： bidirectional transformation software adaption and coevolution bidirectional programming

来源：评论

学校读者我要写书评

暂无评论

Constructing Edge-Colored Graph for Heterogeneous Networks

引用

Journal of Computer Science & Technology 2015年第5期30卷 1154-1160页

作者：侯睿武继刚陈亚文张海波隋秀峰 School of Computer Science and Software Engineering Tianjin Polytechnic University Tianjin 300387 China State Key Laboratory of Computer Architecture~ Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Department of Computer Science University of Otago Dunedin 9054 New Zealand

In order to build a fault-tolerant network, heterogeneous facilities are arranged in the network to prevent homogeneous faults from causing serious damage. This paper uses edge-colored graph to investigate the features of a network topology which is survivable after a set of homogeneous devices malfunction. We propose an approach to designing such networks under arbitrary parameters. We also show that the proposed approach can be used to optimize inter-router connections in network-on-chip to reduce the additional consum!otion of energy and time delay.

关键词： network reliability homogeneous fault fault tolerance reconfigurable system network-on-chip

来源：评论

学校读者我要写书评

暂无评论

NEW ERA SOFTWARE DEFINED NETWORK

引用

China Communications 2016年第3期13卷 I0002-I0003页

作者： Bi Jun Seungwon Shin Kai Chen network architecture research division institute for network sciences and cyberspace at tsinghua university asiafi (asia future internet forum) steering group china sdn commission infocom icnp mobihoc icccn organization committee or technical program committees at sigcomm icnp infocom co next sosr/hot sdn the school of computing kaist open networking foundation (onf) department of computer science and engineering hong kong university of science and technology

Software-Defined Networking(SDN)is now considered as one of the promising future networking technologies,and this trend can be clearly verified by observing activities of both industry and *** industry,we can easily n... 详细信息

关键词：网络公司软件定义 SDN 工业界学术界思科

来源：评论

学校读者我要写书评

暂无评论

Numerical investigation of the behaviour of RC wide beams under impact loads 5

Numerical investigation of the behaviour of RC wide beams un...

引用

5th ECCOMAS Thematic Conference on Computational Methods in Structural Dynamics and Earthquake engineering, COMPDYN 2015

作者： Abbas, Ali A. Cotsovos, Demetris M. School of Architecture Computing and Engineering University of East London London United Kingdom Institute of Infrastructure and Environment School of the Built Environment Heriot-Watt University Edinburgh United Kingdom

The present work sets out to investigate numerically the dynamic responses of simply-supported reinforced concrete (RC) beams under impact loading. The beams comprise wide sections and thus can be also considered as one-way slab panels often used in pre-cast concrete floor construction. The study was carried out using dynamic Non-linear Finite-Element Analysis (NLFEA) and was validated using published experiential data on RC wide beams tested using a drop-weight at high rate. The numerical predictions obtained show that that the response of the RC wide beams under impact loading differs significantly from that established under equivalent static loading. This change predominantly takes the form of an increase in the maximum sustained load which is primarily attributed to (i) the response of a part of, rather than the whole, structural element and (ii) the development of inertia forces rather than material strain-rate sensitivity. The numerical study is based on the assumption that the effect of high loading rates on the behaviour of structural concrete is mainly linked to the development of inertia forces and not the strain-rate sensitivity of its material properties. Thus, the emphasis is on investigating the effect of loading rate on important aspects of structural response (e.g load-deflection curves, deformation profiles, load-carrying capacity, reaction forces, crack patterns and modes of failure) in an attempt to provide insight into the effect of loading-rate on the mechanics underlying RC structural dynamic response. It is also important to consider that during drop-weight testing it is not easy to correlate the measured response to the actual physical state of the specimens as the maximum value of the contact force generated during impact frequently corresponds to a specimen physical state characterized by high concrete disintegration and low residual strength and stiffness. Therefore, the true load-carrying capacity is likely to be significantly lower than

关键词： Reinforced concrete

来源：评论

学校读者我要写书评

暂无评论

Double cascade reconstruction in KM3NeT/ARCA

arXiv

引用

arXiv 2022年

作者： van Eeden, T. Heijboer, A. Ageron, M. Aiello, S. Albert, A. Alshamsi, M. Alves Garre, S. Aly, Z. Ambrosone, A. Ameli, F. Andre, M. Androulakis, G. Anghinolfi, M. Anguita, M. Anton, G. Ardid, M. Ardid, S. Assal, W. Aublin, J. Bagatelas, C. Baret, B. Basegmez du Pree, S. Bendahman, M. Benfenati, F. Berbee, E. van den Berg, A.M. Bertin, V. Beurthey, S. van Beveren, V. Biagi, S. Billault, M. Bissinger, M. Boettcher, M. Bou Cabo, M. Boumaaza, J. Bouta, M. Boutonnet, C. Bouvet, G. Bouwhuis, M. Bozza, C. Brânzaş, H. Bruijn, R. Brunner, J. Bruno, R. Buis, E. Buompane, R. Busto, J. Caiffi, B. Caillat, L. Calvo, D. Campion, S. Capone, A. Carduner, H. Carretero, V. Castaldi, P. Celli, S. Cereseto, R. Chabab, M. Champion, C. Chau, N. Chen, A. Cherubini, S. Chiarella, V. Chiarusi, T. Circella, M. Cocimano, R. Coelho, J.A.B. Coleiro, A. Colomer Molla, M. Colonges, S. Coniglione, R. Cosquer, A. Coyle, P. Cresta, M. Creusot, A. Cruz, A. Cuttone, G. D'Amico, A. Dallier, R. De Martino, B. De Palma, M. Di Palma, I. Díaz, A.F. Diego-Tortosa, D. Distefano, C. Domi, A. Donzaud, C. Dornic, D. Dörr, M. Drouhin, D. Eberl, T. Eddyamoui, A. van Eeden, T. van Eijk, D. El Bojaddaini, I. Eljarrari, H. Elsaesser, D. Enzenhöfer, A. Espinosa, V. Fermani, P. Ferrara, G. Filipović, M.D. Filippini, F. Fransen, J. Fusco, L.A. Gajanana, D. Gal, T. García Méndez, J. Garcia Soto, A. Garçon, E. Garufi, F. Gatius, C. Geißelbrecht, N. Gialanella, L. Giorgio, E. Gozzini, S.R. Gracia, R. Graf, K. Grella, G. Guderian, D. Guidi, C. Guillon, B. Gutiérrez, M. Haefner, J. Hallmann, S. Hamdaoui, H. van Haren, H. Heijboer, A. Hekalo, A. Hennig, L. Henry, S. Hernández-Rey, J.J. Hofestädt, J. Huang, F. Idrissi Ibnsalih, W. Ilioni, A. Illuminati, G. James, C.W. Janezashvili, D. Jansweijer, P. de Jong, M. de Jong, P. Jung, B.J. Kadler, M. Kalaczyński, P. Kalekin, O. Katz, U.F. Kayzel, F. Keller, P. Khan Chowdhury, N.R. Kistauri, G. van der Knaap, F. Kooijman, P. Nikhef Science Park 105 Amsterdam1098 XG Netherlands Aix Marseille Univ CNRS IN2P3 CPPM Marseille France INFN Sezione di Catania Via Santa Sofia 64 Catania95123 Italy Université de Strasbourg CNRS IPHC UMR 7178 StrasbourgF-67000 France Université de Paris CNRS Astroparticule et Cosmologie ParisF-75013 France c/Catedrático José Beltrán 2 Valencia Paterna46980 Spain INFN Sezione di Napoli Complesso Universitario di Monte S. Angelo Via Cintia ed. G Napoli80126 Italy Università di Napoli "Federico II" Dip. Scienze Fisiche "E. Pancini" Complesso Universitario di Monte S. Angelo Via Cintia ed. G Napoli80126 Italy INFN Sezione di Roma Piazzale Aldo Moro 2 Roma00185 Italy Universitat Politècnica de Catalunya Laboratori d'Aplicacions Bioacústiques Centre Tecnològic de Vilanova i la Geltrú Avda. Rambla Exposició s/n Vilanova i la Geltrú 08800 Spain NCSR Demokritos Institute of Nuclear and Particle Physics Ag. Paraskevi Attikis Athens15310 Greece INFN Sezione di Genova Via Dodecaneso 33 Genova16146 Italy University of Granada Dept. of Computer Architecture and Technology CITIC Granada18071 Spain Friedrich-Alexander-Universität Erlangen-Nürnberg Erlangen Centre for Astroparticle Physics Erwin-Rommel-Straße 1 Erlangen91058 Germany Universitat Politècnica de València Instituto de Investigación para la Gestión Integrada de las Zonas Costeras C/Paranimf 1 Gandia46730 Spain Nikhef National Institute for Subatomic Physics PO Box 41882 Amsterdam1009 DB Netherlands University Mohammed V in Rabat Faculty of Sciences 4 av. Ibn Battouta B.P. 1014 RabatR.P. 10000 Morocco INFN Sezione di Bologna v.le C. Berti-Pichat 6/2 Bologna40127 Italy Dipartimento di Fisica INFN Sezione di Padova Università di Padova PadovaI-35131 Italy Università di Bologna Dipartimento di Fisica e Astronomia v.le C. Berti-Pichat 6/2 Bologna40127 Italy KVI-CART University of Groningen Groningen Netherlands INFN Laboratori Nazionali del Sud Via S. Sofia 6

The detection of astrophysical vτ is an important verification of the observed flux of high-energy neutrinos. A flavour ratio of approximately ve : vμ : vτ ≈ 1: 1: 1 is predicted for astrophysical neutrinos measured at Earth due to neutrino oscillations. On top of this, the vτ offers a unique channel for neutrino astronomy due to absence of an atmospheric vτ background contribution. When a vτ interacts it produces a particle cascade and often a τ lepton which in turn decays mainly into another cascade. This results in a double cascade signature. An excellent angular resolution can be achieved when both cascade vertices are reconstructed. The KM3NeT/ARCA detector, which is under construction in the Mediterranean sea, will be able to detect this signature due to its timing and spatial resolution for cascades. We will discuss the dedicated reconstruction algorithm and performance for reconstructing double cascades using KM3NeT. The angular deviation reaches sub-degree level for tau lengths larger than 25 meters. © 2022, CC BY.

关键词： Astrophysics

来源：评论

学校读者我要写书评

暂无评论

High-energy reconstruction for single and double cascades using the KM3NeT detector

arXiv

引用

arXiv 2022年

作者： Heijboer, Aart Ageron, M. Aiello, S. Albert, A. Alshamsi, M. Alves Garre, S. Aly, Z. Ambrosone, A. Ameli, F. Andre, M. Androulakis, G. Anghinolfi, M. Anguita, M. Anton, G. Ardid, M. Ardid, S. Assal, W. Aublin, J. Bagatelas, C. Baret, B. Basegmez du Pree, S. Bendahman, M. Benfenati, F. Berbee, E. van den Berg, A.M. Bertin, V. Beurthey, S. van Beveren, V. Biagi, S. Billault, M. Bissinger, M. Boettcher, M. Bou Cabo, M. Boumaaza, J. Bouta, M. Boutonnet, C. Bouvet, G. Bouwhuis, M. Bozza, C. Brânzaş, H. Bruijn, R. Brunner, J. Bruno, R. Buis, E. Buompane, R. Busto, J. Caiffi, B. Caillat, L. Calvo, D. Campion, S. Capone, A. Carduner, H. Carretero, V. Castaldi, P. Celli, S. Cereseto, R. Chabab, M. Champion, C. Chau, N. Chen, A. Cherubini, S. Chiarella, V. Chiarusi, T. Circella, M. Cocimano, R. Coelho, J.A.B. Coleiro, A. Colomer Molla, M. Colonges, S. Coniglione, R. Cosquer, A. Coyle, P. Cresta, M. Creusot, A. Cruz, A. Cuttone, G. D'Amico, A. Dallier, R. De Martino, B. De Palma, M. Di Palma, I. Díaz, A.F. Diego-Tortosa, D. Distefano, C. Domi, A. Donzaud, C. Dornic, D. Dörr, M. Drouhin, D. Eberl, T. Eddyamoui, A. van Eeden, Thijs van Eijk, D. El Bojaddaini, I. Eljarrari, H. Elsaesser, D. Enzenhöfer, A. Espinosa, V. Fermani, P. Ferrara, G. Filipović, M.D. Filippini, F. Fransen, J. Fusco, L.A. Gajanana, D. Gal, T. García Méndez, J. Garcia Soto, A. Garçon, E. Garufi, F. Gatius, C. Geißelbrecht, N. Gialanella, L. Giorgio, E. Gozzini, S.R. Gracia, R. Graf, K. Grella, G. Guderian, D. Guidi, C. Guillon, B. Gutiérrez, M. Haefner, J. Hallmann, S. Hamdaoui, H. van Haren, H. Heijboer, A. Hekalo, A. Hennig, L. Henry, S. Hernández-Rey, J.J. Hofestädt, J. Huang, F. Idrissi Ibnsalih, W. Ilioni, A. Illuminati, G. James, C.W. Janezashvili, D. Jansweijer, P. de Jong, M. de Jong, P. Jung, B.J. Kadler, M. Kalaczyński, P. Kalekin, O. Katz, U.F. Kayzel, F. Keller, P. Khan Chowdhury, N.R. Kistauri, G. van der Knaap, F. Kooijman, P. Kouchner, A. Nikhef Science Park 105 Amsterdam1098 XG Netherlands Aix Marseille Univ CNRS IN2P3 CPPM Marseille France INFN Sezione di Catania Via Santa Sofia 64 Catania95123 Italy Université de Strasbourg CNRS IPHC UMR 7178 StrasbourgF-67000 France Université de Paris CNRS Astroparticule et Cosmologie ParisF-75013 France c/Catedrático José Beltrán 2 Paterna Valencia46980 Spain INFN Sezione di Napoli Complesso Universitario di Monte S. Angelo Via Cintia ed. G Napoli80126 Italy Università di Napoli "Federico II" Dip. Scienze Fisiche "E. Pancini" Complesso Universitario di Monte S. Angelo Via Cintia ed. G Napoli80126 Italy INFN Sezione di Roma Piazzale Aldo Moro 2 Roma00185 Italy Universitat Politècnica de Catalunya Laboratori d'Aplicacions Bioacústiques Centre Tecnològic de Vilanova i la Geltrú Avda. Rambla Exposició s/n Vilanova i la Geltrú08800 Spain NCSR Demokritos Institute of Nuclear and Particle Physics Ag. Paraskevi Attikis Athens15310 Greece INFN Sezione di Genova Via Dodecaneso 33 Genova16146 Italy University of Granada Dept. of Computer Architecture and Technology CITIC Granada18071 Spain Friedrich-Alexander-Universität Erlangen-Nürnberg Erlangen Centre for Astroparticle Physics Erwin-Rommel-Straße 1 Erlangen91058 Germany Universitat Politècnica de València Instituto de Investigación para la Gestión Integrada de las Zonas Costeras C/Paranimf 1 Gandia46730 Spain Nikhef National Institute for Subatomic Physics PO Box 41882 Amsterdam1009 DB Netherlands University Mohammed V in Rabat Faculty of Sciences 4 av. Ibn Battouta B.P. 1014 RabatR.P. 10000 Morocco INFN Sezione di Bologna v.le C. Berti-Pichat 6/2 Bologna40127 Italy Dipartimento di Fisica INFN Sezione di Padova Università di Padova PadovaI-35131 Italy Università di Bologna Dipartimento di Fisica e Astronomia v.le C. Berti-Pichat 6/2 Bologna40127 Italy KVI-CART University of Groningen Groningen Netherlands INFN Laboratori Nazionali del Sud Via S. Sofia 62

The discovery of a high-energy cosmic neutrino flux has paved the way for the field of neutrino astronomy. For a large part of the flux, the sources remain unidentified. The KM3NeT detector, which is under construction in the Mediterranean sea, is designed to determine their origin. KM3NeT will instrument a cubic kilometre of seawater with photomultiplier tubes that detect Cherenkov radiation from neutrino interaction products with nanosecond precision. For single cascade event signatures, KM3NeT already showed that it can reach degree-level resolutions, greatly increasing the use of these neutrinos for astronomy. In this contribution, we further refine the cascade reconstruction by making a more detailed model of the neutrinos events and including additional information on the hit times. The arrival time of light can be used to improve the identification of double cascade signatures from tau neutrinos, and the angular resolution of both single and double cascade signatures. Sub-degree resolution is achieved in both cases. © 2022, CC BY-NC-ND.

关键词： Photomultipliers

来源：评论

学校读者我要写书评

暂无评论

A High-Level Scheme for an Ontology-based compliance Framework in Software Development

A High-Level Scheme for an Ontology-based compliance Framewo...

引用

IEEE International Symposium on Cyberspace Safety and Security

作者： Ftemeh Zarrabi Jorshari Rahman H. Tawil School of Architecture Computing And Engineering University Of East London

ISBN: (纸本)9781479989386

Software development market is currently witnessing an increasing demand for software applications conformance with the international regime of GRC for Governance, Risk and Compliance. In this paper, we propose a compliance requirement analysis method for early stages of software development based on a semantically-rich model, where a mapping can be established from legal and regulatory requirements relevant to system context to software system business goals and contexts. The proposed semantic model consists of a number of ontologies each corresponding to a knowledge component within the developed framework of our approach. Each ontology is a thesaurus of concepts in the compliance and risk assessment domain related to system development along with relationships and rules between concepts that compromise the domain knowledge. The main contribution of the work presented in this paper is a case study that demonstrates how description-logic reasoning techniques can be used to simulate legal reasoning requirements employed by legal professions against the description of each ontology.

关键词： Ontology Requirement engineering Compliance Risk Data protection Security Privacy Standard

来源：评论

学校读者我要写书评

暂无评论

Buildings and terrain unified-multidimensional dual data structure for GIS

引用

Geo-Spatial Information Science 2015年第4期18卷 151-158页

作者： Pawel BOGUSLAWSKI Christopher GOLD Department of Architecture and the Built Environment University of the West of EnglandFrenchay Campus Coldharbour LaneBristolBS161QYUK School of Computing and Mathematics University of South WalesPontypriddUK Faculty of Geosciences and Environmental Engineering Southwest Jiaotong UniversityChengduChina

3D city models are widely used in many disciplines and applications,such as urban planning,disaster management,and environmental ***,the terrain and embedded objects like buildings are taken into consideration.A consistent model integrating these elements is vital for GIS analysis,especially if the geometry is accompanied by the topological relations between neighboring *** a model allows for more efficient and errorless *** memory consumption is another crucial aspect when the wide area of a city is considered-light models are highly *** methods of the terrain representation using the geometrical-topological data structure-the dual half-edge-are proposed in this *** integration of buildings and other structures like bridges with the terrain is also presented.

关键词： multidimensional modeling GIS data structures

来源：评论

学校读者我要写书评

暂无评论

Simulation of breaking wave impact on a vertical wall with a compressible two-phase flow model 25

Simulation of breaking wave impact on a vertical wall with a...

引用

25th International Ocean and Polar engineering Conference, ISOPE 2015

作者： Gao, F. Ma, Z.H. Zang, J. Causon, D.M. Mingham, C.G. Qian, L. WEIR Research Unit Department of Architecture and Civil Engineering University of Bath Bath United Kingdom School of Computing Mathematics and Digital Technology Manchester Metropolitan University Manchester United Kingdom

ISBN: (纸本)9781880653890

A compressible multiphase flow solver twoPhaseEulerFoam was used to simulate breaking wave impact on a vertical wall. It is one of the component solvers included in the open-source CFD library OpenFOAM. Both air and water-air mixture are treated as compressible fluids, whilst the free surface is handled by a volume of fluid (VOF) method with bounded compression techniques. The unsteady Reynolds Averaged Navier-Stokes (RANS) equations are solved by a pressure-based method PIMPLE to couple the pressure and velocity fields. With suitable predefined initial conditions, different types of wave impact on a vertical wall have been produced. The results for pressure distribution and velocity field near the impact area have been analyzed. Copyright © 2015 by the International Society of Offshore and Polar Engineers (ISOPE).

关键词： Velocity

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：