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

39th Annual international conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC)

作者： Sadashivaiah, Vijay Sacre, Pierre Guan, Yun Anderson, William S. Sarma, Sridevi V. Johns Hopkins Univ Inst Computat Med Baltimore MD 21218 USA Johns Hopkins Univ Dept Biomed Engn Baltimore MD 21218 USA Johns Hopkins Univ Sch Med Dept Anesthesiology Crit Care Med Baltimore MD USA Johns Hopkins Univ Sch Med Inst Computat Med Baltimore MD USA Johns Hopkins Univ Sch Med Dept Neurosurg Baltimore MD 21205 USA

ISBN: (纸本)9781509028092

Electrical neurostimulation is increasingly used over neuropharmacology to treat various diseases. Despite efforts to model the effects of electrical stimulation, its underlying mechanisms remain unclear. this is because current mechanistic models just quantify the effects that the electrical field produces near the fiber and do not capture interactions between stimulus-initiated action potentials (APs) and underlying physiological activity initiated APs. In this study, we aim to quantify and compare these interactions. We construct two computational models of a nerve fiber of varying degrees of complexity (probabilistic versus mechanistic) each receiving two inputs: the underlying physiological activity at one end of the fiber, and the external stimulus applied to the middle of the fiber. We then define reliability, R, as the percentage of physiological APs that make it to the other end of the nerve fiber. We apply the two inputs to the fiber at various frequencies and analyze reliability. We find that the probabilistic model captures relay properties for low input frequencies (< 10 Hz) but then differs from the mechanistic model if either input has a larger frequency. this is because the probabilistic model only accounts for only (i) inter signal loss of excitability and (ii) collisions between stimulus-initiated action potentials (APs) and underlying physiological activity initiated APs. this first step towards modeling the interactions in a nerve fiber opens up opportunities towards understanding mechanisms of electrical stimulation therapies.

关键词： Physiology Reliability Probabilistic logic Computational modeling Mathematical model Electrical stimulation Extracellular

来源：评论

学校读者我要写书评

暂无评论

DARVIZ: Deep Abstract Representation, Visualization, and Verification of Deep Learning Models

DARVIZ: Deep Abstract Representation, Visualization, and Ver...

引用

IEEE/ACM international conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER)

作者： Anush Sankaran Rahul Aralikatte Senthil Mani Shreya Khare Naveen Panwar Neelamadhav Gantayat IBM Research India

ISBN: (纸本)9781538626764

Traditional software engineering programming paradigms are mostly object or procedure oriented, driven by deterministic algorithms. With the advent of deep learning and cognitive sciences there is an emerging trend for data-driven programming, creating a shift in the programming paradigm among the software engineering communities. Visualizing and interpreting the execution of a current large scale data-driven software development is challenging. Further, for deep learning development there are many libraries in multiple programming languages such as TensorFlow (Python), CAFFE (C++), theano (Python), Torch (Lua), and Deeplearning4j (Java), driving a huge need for interoperability across libraries. We propose a model driven development based solution framework, that facilitates intuitive designing of deep learning models in a platform agnostic fashion. this framework could potentially generate library specific code, perform program translation across languages, and debug the training process of a deep learning model from a fault localization and repair perspective. Further we identify open research problems in this emerging domain, and discuss some new software tooling requirements to serve this new age data-driven programming paradigm.

关键词： Machine learning Data models Load modeling Training Software engineering programming Software

来源：评论

学校读者我要写书评

暂无评论

GuideAutomator: Continuous Delivery of End User Documentation

GuideAutomator: Continuous Delivery of End User Documentatio...

引用

IEEE/ACM international conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER)

作者： Rodrigo Souza Allan Oliveira Dept. of Computer Science Federal University of Bahia Salvador Brazil

User guides, also known as user manuals, are a type of documentation aimed at helping a user operate a specific system. For software systems, user guides usually include screenshots that show users how to interact with the user interface. Because creating such screenshots is a slow, manual process, keeping the user guide up-to-date with changes in the user interface is challenging. We propose an approach in which the documentation writer interleaves the user guide text with source code that automates screen capturing. As a result, screenshots always reflect the latest software version, which makes the approach suitable for a project that uses continuous delivery. the approach was implemented as a prototype, called GuideAutomator.

关键词： Documentation Tools Software Browsers Cascading style sheets programming

来源：评论

学校读者我要写书评

暂无评论

Parallelizing Audio Analysis Applications - A Case Study

Parallelizing Audio Analysis Applications - A Case Study

引用

IEEE/ACM international conference on Software Engineering: Software Engineering and Education Track (ICSE-SEET)

作者： Ali Jannesari Zia Ul Huda Rohit Atre Zhen Li Felix Wolf University of California Berkeley USA Technical University of Darmstadt Germany

ISBN: (纸本)9781538626726

As multicore computers become widespread, the need for software programmers to decide on the most effective parallelization techniques becomes very prominent. In this case study, we examined a competition in which four teams of graduate students parallelized two sequential audio analysis applications. the students were introduced with Pthreads, OpenMP and TBB parallel programming models. Use of different profiling and debugging tools was also taught during this course. Two of the teams parallelized libVorbis audio encoder and the other two parallelized the LAME encoding engine. the strategies used by the four teams to parallelize these applications included the use of taught programming models, focusing on both fine-grained and coarse-grained parallelism. these strategies are discussed in detail along with the tools utilized for the development and profiling. An analysis of the results obtained is also performed to discuss speedups and audio quality of the encoded output. A list of the lessons to be remembered while parallelizing an application has been provided as well. these lessons include best pedagogical methods, importance of understanding the program before choosing a programming model, concentrating on coarse-grained parallelism first, looking for dependency relaxation, parallelism beyond the predefined language constructs, the need of practice or prior experience in parallel programming and the need for assisting tools in parallelization.

关键词： Tools Encoding Parallel programming Optimization Software engineering Multicore processing

来源：评论

学校读者我要写书评

暂无评论

Selecting the coherence notion in multi-adjoint normal logic programming

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017年 10305 LNCS卷 447-457页

作者： Cornejo, M. Eugenia Lobo, David Medina, Jesús Department of Mathematics University of Cádiz Cádiz Spain

ISBN: (纸本)9783319591520

this paper is focused on looking for an appropriate coherence notion which allows us to deal with inconsistent information included in multi-adjoint normal logic programs. Different definitions closely related to the inconsistency concept have been studied and an adaptation of them to our logic programming framework has been included. A detailed reasoning is presented in order to motivate and justify the suitability of the chosen coherence notion. © Springer international Publishing AG 2017.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Teaching Software Engineering Principles to K-12 Students: A MOOC on Scratch

Teaching Software Engineering Principles to K-12 Students: A...

引用

IEEE/ACM international conference on Software Engineering: Software Engineering and Education Track (ICSE-SEET)

作者： Felienne Hermans Efthimia Aivaloglou Software Engineering Research Group Delft University of Technology Mekelweg 4 Netherlands

ISBN: (纸本)9781538626726

In the last few years, many books, online puzzles, apps and games have been created to teach young children programming. However, most of these do not introduce children to broader concepts from software engineering, such as debugging and code quality issues like smells, duplication, refactoring and naming. To address this, we designed and ran an online introductory Scratch programming course in which we teach elementary programming concepts and software engineering concepts simultaneously. In total 2,220 children actively participated in our course in June and July of 2016, most of which (73%) between the ages of 7 and 11. In this paper we describe our course design and analyze the resulting data. More specifically, we investigate whether 1) students find programming concepts more difficult than software engineering concepts, 2) there are age-related differences in their performance, and 3) we can predict successful course completion. Our results show that there is no difference in students' scores between the programming concepts and the software engineering concepts, suggesting that it is indeed possible to teach these concepts to this age group. We also find that students over 12 years of age perform significantly better in questions related to operators and procedures. Finally, we identify the factors from the students' profile and their behaviour in the first week of the course that can be used to predict its successful completion.

关键词： Software engineering programming profession Sprites (computer) Education Games Debugging

来源：评论

学校读者我要写书评

暂无评论

Lean Learning - Applying Lean Techniques to Improve Software Engineering Education

Lean Learning - Applying Lean Techniques to Improve Software...

引用

IEEE/ACM international conference on Software Engineering: Software Engineering and Education Track (ICSE-SEET)

作者： Robert Chatley Tony Field Imperial College London London UK

ISBN: (纸本)9781538626726

Building a programme of education that reflects and keeps pace with industrial practice is difficult. We often hear of a skills shortage in the software industry, and the gap between what people are taught in university and the "real world". this paper is a case study showing how we have developed a programme at Imperial College London that bridges this gap, providing students with relevant skills for industrial software engineering careers. We give details of the structure and evolution of the programme, which is centred on the tools, techniques and issues that feature in the everyday life of a professional developer working in a modern team. We also show how aligning our teaching methods with the principles of lean software delivery has enabled us to provide sustained high quality learning experiences. the contributions of this paper take the form of lessons learnt, which may be seen as recommendations for others looking to evolve their own teaching structures and methods.

关键词： Software engineering Software Education programming profession Industries Tools

来源：评论

学校读者我要写书评

暂无评论

DataLab: Introducing Software Engineering thinking into Data Science Education at Scale

DataLab: Introducing Software Engineering Thinking into Data...

引用

IEEE/ACM international conference on Software Engineering: Software Engineering and Education Track (ICSE-SEET)

作者： Yang Zhang Tingjian Zhang Yongzheng Jia Jiao Sun Fangzhou Xu Wei Xu Institute of Interdisciplinary Information Sciences Tsinghua University Department of Computer Science and Technology Shandong University

ISBN: (纸本)9781538626726

Data science education is a new area in computer science that has attracted increasing attention in recent years. However, currently, data science educators lack good tools and methodologies. In particular, they lack integrated tools through which their students can acquire hands-on software engineering experience. To address these problems, we designed and implemented DataLab, a web-based tool for data science education that integrates code, data and execution management into one system. the goal of DataLab is to provide a hands-on online lab environment to train students to have basic software engineering thinking and habits while maintaining a focus on the core data science contents. In this paper, we present the user-experience design and system-level implementation of DataLab. Further, we evaluate DataLab's performance through an in-classroom use case. Finally, using objective log-based learning behavior analysis and a subjective survey, we demonstrate DataLab's effectiveness.

关键词： Data science Tools Software engineering Training programming

来源：评论

学校读者我要写书评

暂无评论

7th JSAI international Symposium on Artificial Intelligence, JSAI-isAI 2015

7th JSAI International Symposium on Artificial Intelligence,...

引用

7th JSAI international Symposium on Artificial Intelligence, JSAI-isAI 2015

ISBN: (纸本)9783319509525

the proceedings contain 39 papers. the special focus in this conference is on Artificial Intelligence. the topics include: Towards a probabilistic analysis for conditionals and unconditionals;an inference problem set for evaluating semantic theories and semantic processing systems for Japanese;applicative abstract categorial grammars in full swing;scope parallelism in coordination in dependent type semantics;discourse particles as CCP-modifiers: German doch and ja as context filters;tracking down disjunction;the meaning and use of the Japanese counter-expectational adverbs;evaluative predicates and evaluative uses of ordinary predicates;strong permission in prescriptive causal models;truth as a logical connective;abductive logic programming for normative reasoning and ontologies;a belief revision technique to model civil code updates;using ontologies to model data protection requirements in workflows;utilization of multi-word expressions to improve statistical machine translation of statutory sentences;argumentation support tool with reliability-based argumentation framework;applying a convolutional neural network to legal question answering;lexical-morphological modeling for legal text analysis;on the issue of argumentation and informedness;on the interpretation of assurance case arguments;learning argument acceptability from abstract argumentation frameworks;designing intelligent sleep analysis systems for automated contextual exploration on personal sleep-tracking data;a comparative study of similarity measures for time series classification;extracting propagation patterns from bacterial culture data in medical facility;aggregating and analyzing articles and comments on a news website;feasibility of collaborative learning and work between robots and children with autism spectrum disorders.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simulation of the programming efficiency and the energy consumption of Flash memories during endurance degradation 39

Simulation of the programming efficiency and the energy cons...

引用

39th international Semiconductor conference (CAS)

作者： Postel-Pellerin, J. Chiquet, P. Della Marca, V. Aix Marseille Univ CNRS IM2NP UMR 7334 60 Rue F Joliot CurieBatiment NEEL F-13453 Marseille 13 France CNRS ISEN IM2NP Maison TechnolUMR 7334 F-83000 Toulon France

ISBN: (纸本)9781509012077

In this paper the impact of the endurance degradation on the programming window and the energy consumption of Flash floating gate memories is investigated. We use TCAD simulations to confirm, predict and explain the behavior we have observed in previous experimental studies. these simulations have been developed for 90nm technology node Flash floating gate memories, but they are fully compatible with highly scaled devices. the use of interface traps in the simulation enables to reproduce the increase in the drain current consumption and the decrease in the programming efficiency after endurance degradation. Moreover, we highlight the fact that after degradation the hot electrons energy and velocity are lower, decreasing the electrons injection in the floating gate.

关键词： Flash memory endurance degradation TCAD simulation current consumption traps

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：