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

HCVMultiscaleDyn: A simulator for the multiscale model of hepatitis C virus dynamics

AIP Conference Proceedings 2018年第1期1978卷

作者： Alexander Churkin Vladimir Reinharz Harel Dahari Danny Barash 1Department of Software Engineering Shamoon College of Engineering Beer-Sheva Israel 2Department of Computer Science Ben-Gurion Universty Beer-Sheva Israel 3The Program for Experimental and Theoretical Modeling Division of Hepatology Department of Medicine Loyola University Medical Center Maywood Illinois USA

Multiscale mathematical models that incorporate both intracellular and extracellular hepatitis C virus (HCV) dynamics have been developed in recent years to study HCV-host dynamics and antivirals mode of action and efficacy. They were built upon the standard HCV dynamic model that keeps track of uninfected hepatocytes, HCV-infected hepatocytes, and free virus in blood (for each there is a differential equation), along with a fourth equation that considers the intracellular viral RNA (vRNA) dynamics in an infected cell. A multiscale model with vRNA dynamics consideration is substantially more difficult to solve and the governing differential equations are stiff. In one of the derived differential equations there is also an integral involving the vRNA that is more accurately computed by considering previous iterations, impeding the use of canned solvers. To solve this problem we have chosen to implement a stable and efficient numerical method that belongs to the family of adaptive stepsize methods and is implicit, the Rosenbrock method. We provide a user friendly simulator called HCVMultiscaleDyn with a Graphical User Interface that applies this method and is useful to simulate viral dynamics during antiviral treatment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the Design of a Contextual Emergency State Builder with Multiple Data Sources

On the Design of a Contextual Emergency State Builder with M...

引用

IEEE First Summer School on Smart Cities (S3C)

作者： P. Jorge Filho Paulo Simões Pedro O. Raimundo Renato Novais Vaninha Vieira Manoel Mendonça Fraunhofer Project Center for Software and Systems Engineering at UFBA Parque Tecnologico de Salvador Avenida Luiz Viana Filho Salvador Bahia Brazil Department of Computer Science Rua Barao de Jeremoabo s/n - Ondina Federal University of Bahia Salvador Bahia Brazil Department of Computer Science R. Emídio dos Santos s/n - Barbalho Federal Institute of Bahia Salvador Bahia Brazil

Emergencies often happen in a random and unexpected way, and operational forces must take immediate actions to reduce damages to the affected properties and people. Contextual information provides emergency response teams with an overview of the ongoing emergency and allows better decision making, such as the coordination of operational forces and resources provisioning. In this paper, we present the Emergency State Builder (ESB), acentral component we designed to aggregate contextual information about emergencies from multiple data sources with emphasis on fires, explosions, gas leaks and environmental damage incidents. The ESB is our answer to the challenge and providing timely, reliable and relevant contextual information to other components of a emergency management platform, called RESCUER, and, ultimately, to the emergency response teams. To illustrate the applicability of this work, we present how the RESCUER Public Communication module (RESCUER News) benefited from the information provided by ESB.

关键词： Emergency services Reliability Smart cities Aggregates Data visualization Organizations computer science

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 3 Antwerp, Belgium. 15-20 July 2017 Abstracts

引用

BMC NEUROscience 2017年第SUPPL 1期18卷 95-176页

作者： [Anonymous] Department of Neuroscience Yale University New Haven CT 06520 USA Department Physiology & Pharmacology SUNY Downstate Brooklyn NY 11203 USA NYU School of Engineering 6 MetroTech Center Brooklyn NY 11201 USA Departament de Matemàtica Aplicada Universitat Politècnica de Catalunya Barcelona 08028 Spain Institut de Neurobiologie de la Méditerrannée (INMED) INSERM UMR901 Aix-Marseille Univ Marseille France Center of Neural Science New York University New York NY USA Aix-Marseille Univ INSERM INS Inst Neurosci Syst Marseille France Laboratoire de Physique Théorique et Modélisation CNRS UMR 8089 Université de Cergy-Pontoise 95300 Cergy-Pontoise Cedex France Department of Mathematics and Computer Science ENSAT Abdelmalek Essaadi’s University Tangier Morocco Laboratory of Natural Computation Department of Information and Electrical Engineering and Applied Mathematics University of Salerno 84084 Fisciano SA Italy Department of Medicine University of Salerno 84083 Lancusi SA Italy Dipartimento di Fisica Università degli Studi Aldo Moro Bari and INFN Sezione Di Bari Italy Data Analysis Department Ghent University Ghent Belgium Coma Science Group University of Liège Liège Belgium Cruces Hospital and Ikerbasque Research Center Bilbao Spain BIOtech Department of Industrial Engineering University of Trento and IRCS-PAT FBK 38010 Trento Italy Department of Data Analysis Ghent University Ghent 9000 Belgium The Wellcome Trust Centre for Neuroimaging University College London London WC1N 3BG UK Department of Electronic Engineering NED University of Engineering and Technology Karachi Pakistan Blue Brain Project École Polytechnique Fédérale de Lausanne Lausanne Switzerland Departement of Mathematics Swansea University Swansea Wales UK Laboratory for Topology and Neuroscience at the Brain Mind Institute École polytechnique fédérale de Lausanne Lausanne Switzerland Institute of Mathematics University of Aberdeen Aberdeen Scotland UK Department of Integrativ

来源：评论

学校读者我要写书评

暂无评论

Using EVOWAVE to analyze software evolution 17

Using EVOWAVE to analyze software evolution

引用

17th International Conference on Enterprise Information Systems, ICEIS 2015

作者： Magnavita, Rodrigo Novais, Renato Mendonça, Manoel Fraunhofer Project Center for Software and Systems Engineering Bahia Brazil Computer Science Department Federal University of Bahia Bahia Brazil Software Development Area SENAI/CIMATEC Bahia Brazil Computer Science Department Federal Institute of Bahia Bahia Brazil

ISBN: (纸本)9789897580963

software evolution produces large amounts of data which software engineers need to understand for their daily activities. The use of software visualization constitutes a promising approach to help them comprehend multiple aspects of the evolving software. However, portraying all the data is not an easy task as there are many dimensions to the data (e.g. time, files, properties) to be considered. This paper presents a new software visualization metaphor inspired by concentric waves, which gives information about the software evolution in different levels of detail. This new metaphor is able to portray large amount of data and may also be used to consider different dimensions of the data. It uses the concepts of the formation of concentric waves to map software evolution data generated during the waves formation life cycle. The metaphor is useful for exploring and identifying certain patterns in the software evolution. To evaluate its applicability, we conducted an exploratory study to show how the visualization can quickly answer different questions asked by software engineers when evolving their software. Copyright © 2015 SCITEPRESS - science and Technology Publications.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Adoption and Suitability of software Development Methods and Practices

Adoption and Suitability of Software Development Methods and...

引用

Asia-Pacific Conference on software engineering

作者： Sherlock A. Licorish Johannes Holvitie Sami Hyrynsalmi Ville Leppänen Rodrigo O. Spínola Thiago S. Mendes Stephen G. MacDonell Jim Buchan Department of Information Science University of Otago PO Box 56 Dunedin New Zealand Department of Information Technology University of Turku FI-20014 Turku Finland Fraunhofer Project Center for Software System Engineering at UFBA Salvador University Salvador Brazil School of Computer and Mathematical Sciences Auckland University of Technology Private Bag 92006 Auckland New Zealand

In seeking to complement consultants' and tool vendors' reports, there has been an increasing academic focus on understanding the adoption and use of software development methods and practices. We surveyed practitioners working in Brazil, Finland, and New Zealand in a transnational study to contribute to these efforts. Among our findings we observed that most of the 184 practitioners in our sample focused on a small portfolio of projects that were of short duration. In addition, Scrum and Kanban were used most; however, some practitioners also used conventional methods. Coding Standards, Simple Design and Refactoring were used most by practitioners, and these practices were held to be largely suitable for project and process management. Our evidence points to the need to properly understand and support a wide range of software methods.

关键词： software Organizations Correlation Standards organizations Instruments Project management Portfolios

来源：评论

学校读者我要写书评

暂无评论

Metamorphic Model-Based Testing Applied on NASA DAT -- An Experience Report 15

Metamorphic Model-Based Testing Applied on NASA DAT -- An Ex...

引用

International Conference on software engineering (ICSE)

作者： Mikael Lindvall Dharmalingam Ganesan Ragnar Árdal Robert E. Wiegand Fraunhofer USA Center for Experimental Software Engineering (CESE) MD USA School of Computer Science Reykjavik University Reykjavik Iceland NASA Goddard Space Flight Center Maryland USA

Testing is necessary for all types of systems, but becomes difficult when the tester cannot easily determine whether the system delivers the correct result or not. NASA's Data Access Toolkit allows NASA analysts to query a large database of telemetry data. Since the user is unfamiliar with the data and several data transformations can occur, it is impossible to determine whether the system behaves correctly or not in full scale production situations. Small scale testing was already conducted manually by other teams and unit testing was conducted on individual functions. However, there was still a need for full scale acceptance testing on a broad scale. We describe how we addressed this testing problem by applying the idea of metamorphic testing [1]. Specifically, we base it on equivalence of queries and by using the system itself for testing. The approach is implemented using a model-based testing approach in combination with a test data generation and test case outcome analysis strategy. We also discuss some of the issues that were detected using this approach.

关键词： Testing Databases Grammar Telemetry NASA software engineering Computational modeling

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROscience 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

software architecture documentation for developers: A survey

Software architecture documentation for developers: A survey

引用

software engineering 2014

作者： Rost, Dominik Naab, Matthias Lima, Crescendo Von Flach Chavez, Christina Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany Fraunhofer Project Center on Software and Systems Engineering Software Engineering Laboratory Department of Computer Science Bahia Brazil

来源：评论

学校读者我要写书评

暂无评论

Space QUEST mission proposal: experimentally testing decoherence due to gravity

arXiv

引用

arXiv 2017年

作者： Joshi, Siddarth Koduru Pienaar, Jacques Ralph, Timothy C. Cacciapuoti, Luigi McCutcheon, Will Rarity, John Giggenbach, Dirk Lim, Jin Gyu Makarov, Vadim Fuentes, Ivette Scheidl, Thomas Beckert, Erik Bourennane, Mohamed Bruschi, David Edward Cabello, Adan Capmany, Jose Carrasco-Casado, Alberto Diamanti, Eleni Dusek, Miloslav Elser, Dominique Gulinatti, Angelo Hadfield, Robert H. Jennewein, Thomas Kaltenbaek, Rainer Krainak, Michael A. Lo, Hoi-Kwong Marquardt, Christoph Milburn, Gerard Peev, Momtchil Poppe, Andreas Pruneri, Valerio Renner, Renato Salomon, Christophe Skaar, Johannes Solomos, Nikolaos Stipčević, Mario Torres, Juan P. Toyoshima, Morio Villoresi, Paolo Walmsley, Ian Weihs, Gregor Weinfurter, Harald Zeilinger, Anton Zukowski, Marek Ursin, Rupert Institute for Quantum Optics and Quantum Information Austrian Academy of Sciences Boltzmanngasse 3 ViennaA-1090 Austria Centre for Quantum Computation & Communication Technology Department of Physics University of Queensland St LuciaQLD4072 Australia European Space Agency Keplerlaan 1 - P.O. Box 299 AG Noordwijk ZH2200 Netherlands Department of Electrical and Electronic Engineering University of Bristol Merchant Venturers Building Woodland Road BristolBS8 1UB United Kingdom German Aerospace Center Institute of Communications and Navigation Muenchner Strasse 20 Wessling82234 Germany Institute for Quantum Computing Department of Electrical and Computer Engineering University of Waterloo WaterlooONN2L 3G1 Canada Institute for Quantum Computing Department of Physics and Astronomy University of Waterloo WaterlooONN2L 3G1 Canada Precision Engineering Department Fraunhofer IOF Albert-Einstein-Straße 7 Jena07745 Germany Physics department Stockholm University Albanova universitetscentrum Universitetsvägen 10 Stockholm114 18 Sweden York Centre for Quantum Technologies Department of Physics University of York HeslingtonYO10 5DD United Kingdom University of Seville SevillaE-41012 Spain iTEAM Research Institute Universitat Politcnica de Valencia Valencia46022 Spain 4-2-1 Nukui-Kitamachi Koganei Tokyo184-8795 Japan CNRS Universite Pierre et Marie Curie Paris75005 France Department of Optics Faculty of Science Palacky University 17. Iistopadu 12 Olomouc772 00 Czech Republic Max Planck Institute for the Science of Light Bldg. 24 Günther-Scharowsky Str. 1 ErlangenD-91058 Germany Piazza Leonardo da Vinci 32 Milano20133 Italy School of Engineering University of Glasgow GlasgowG12 8LT United Kingdom Vienna Center of Quantum Science and Technology Faculty of Physics University of Vienna Boltzmanngasse 5 ViennaA-1090 Austria NASA Goddard Space Flight Center GreenbeltMD20771 United States Center for Quantum Information and Quantum Con

Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that quantum properties, such as entanglement, may exhibit entirely different behavior to purely classical systems. By measuring this effect or lack thereof, we can test the hypotheses behind several such models. For instance, as predicted by Ralph and coworkers [T C Ralph, G J Milburn, and T Downes, Phys. Rev. A, 79(2):22121, 2009;T C Ralph and J Pienaar, New Journal of Physics, 16(8):85008, 2014], a bipartite entangled system could decohere if each particle traversed through a different gravitational field gradient. We propose to study this effect in a ground to space uplink scenario. We extend the above theoretical predictions of Ralph and coworkers and discuss the scientific consequences of detecting/failing to detect the predicted gravitational decoherence. We present a detailed mission design of the European Space Agency's (ESA) Space QUEST (Space - Quantum Entanglement Space Test) mission, and study the feasibility of the mission scheme. Copyright © 2017, The Authors. All rights reserved.

关键词： Quantum entanglement

来源：评论

学校读者我要写书评

暂无评论

An analysis method for medical device security

An analysis method for medical device security

引用

2014 Symposium and Bootcamp on the science of Security, HotSoS 2014

作者： Ray, Arnab Cleaveland, Rance Fraunhofer Center for Experimental Software Engineering 5825 University Research Court College Park MD 20740 United States University of Maryland Department of Computer Science College Park MD 20740 United States

ISBN: (纸本)9781450329071

This paper is a proposal for a poster. In it we describe a medical device security approach that researchers at fraunhofer used to analyze different kinds of medical devices for security vulnerabilities. These medical devices were provided to fraunhofer by a medical device manufacturer whose name we cannot disclose due to non-disclosure agreements.

关键词： Biomedical equipment

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：