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

8th Workshop on Parallel programming and Run-Time Management Techniques for Many-Core Architectures and 6th Workshop on Design Tools and Architectures For Multicore Embedded Computing Platforms, PARMA-DITAM 2017

作者： Fraser, Nicholas J. Umuroglu, Yaman Gambardella, Giulio Blott, Michaela Leong, Philip Jahre, Magnus Vissers, Kees Xilinx Research Labs United States Norwegian University of Science and Technology Norway University of Sydney Australia

ISBN: (纸本)9781450348775

Binarized neural networks (BNNs) are gaining interest in the deep learning community due to their significantly lower computational and memory cost. they are particularly well suited to reconfigurable logic devices, which contain an abundance of fine-grained compute resources and can result in smaller, lower power implementations, or conversely in higher classification rates. Towards this end, the Finn framework was recently proposed for building fast and flexible field programmable gate array (FPGA) accelerators for BNNs. Finn utilized a novel set of optimizations that enable efficient mapping of BNNs to hardware and implemented fully connected, non-padded convolutional and pooling layers, with per-layer compute resources being tailored to user-provided throughput requirements. However, FINN was not evaluated on larger topologies due to the size of the chosen FPGA, and exhibited decreased accuracy due to lack of padding. In this paper, we improve upon Finn to show how padding can be employed on BNNs while still maintaining a 1-bit datapath and high accuracy. Based on this technique, we demonstrate numerous experiments to illustrate flexibility and scalability of the approach. In particular, we show that a large BNN requiring 1.2 billion operations per frame running on an ADM-PCIE-8K5 platform can classify images at 12 kFPS with 671 μs latency while drawing less than 41 W board power and classifying CIFAR-10 images at 88.7% accuracy. Our implementation of this network achieves 14.8 trillion operations per second. We believe this is the fastest classification rate reported to date on this benchmark at this level of accuracy. © 2017 ACM.

关键词： logic devices

来源：评论

学校读者我要写书评

暂无评论

programming for the Humanities logic and Adaptable Languages 8

Programming for the Humanities <i>Logic and Adaptable Langua...

引用

8th International conference on Computer Supported Education (CSEDU)

作者： Karczmarczuk, Jerzy Univ Caen Dept Comp Sci Caen France

ISBN: (纸本)9789897581793

We argue in favour of teaching modern programming to students of "non-scientific" undergraduate disciplines (humanities), considering that computer-assisted learning should not be reduced to the usage of tools, but provides some answers to the question: how the knowledge is built. the computer science should be treated as an inherent part of their culture. We advocate the teaching of logic programming languages: Prolog, and of the Constraint programming languages, such as CHR. logic programming permits to formulate the computational problems and their solutions in a form more close to human reasoning than several other languages, and adaptable to the domains of interest of the learners.

关键词： logic Prolog Abstraction Constraint programming Non-determinism

来源：评论

学校读者我要写书评

暂无评论

Block-C: A block-based programming teaching tool to facilitate introductory C programming courses 8

Block-C: A block-based programming teaching tool to facilita...

引用

8th IEEE Global Engineering Education conference (EDUCON)

作者： Kyfonidis, Charalampos Moumoutzis, Nektarios Christodoulakis, Stavros Univ Strathclyde Comp & Informat Sci Glasgow Lanark Scotland Tech Univ Crete Sch Elect & Comp Engn Lab Distributed Multimedia Inf Syst & Applicat Khania Greece

ISBN: (纸本)9781509054671

Block-C is a block-based programming learning tool for C programming language that uses the recognition over recall approach on top of the rigid and complex constructs of C language. It empowers students to learn programming by guiding them to focus on the programming logic rather than the syntax of C language. Novice programmers in introductory programming courses are more productive with the use of Block-C than with regular textual C programming. they can internalize the programming concepts more easily by gradually assigning meaning to the visual models (pertaining to the programming logic) created using the tool. In lab or tutorial sessions, where the presence of facilitators is limited, Block-C can guide the students to complete their assignments easily and effectively. Finally, Block-C promotes the transition to the regular textual C programming by allowing the students to export their code and see how their block-based programs are translated to textual C, but also how textual C is translated to block-based C.

关键词： C programming language teaching programming block-based programming visual programming syntactic error prevention in novice C programming language learning

来源：评论

学校读者我要写书评

暂无评论

ACM International conference Proceeding Series

ACM International Conference Proceeding Series

引用

8th International conference on Computational Systems-Biology and Bioinformatics, CSBio 2017

ISBN: (纸本)9781450353502

the proceedings contain 12 papers. the topics discussed include: modelling and formal verification of neuronal archetypes coupling;estimating respiration rate using an accelerometer sensor;formal validation of neural networks as timed automata;the effect of reference species on reference-guided genome assembly;a machine learning approach for drug discovery from herbal medicine: metabolite profiles to therapeutic effects;identifying microRNA targets in epithelial-mesenchymal transition using joint-intervention causal inference;position-residue specific dynamic gap penalty scoring strategy for multiple sequence alignment;extraction of disease-related genes from PubMed paper using word2vec;proposal of application method of inductive logic programming to microarray data;meta-analysis of whole-transcriptome data for prediction of novel genes associated with autism spectrum disorder;in silico structure based designing of dihydrofolate reductase enzyme antagonists and potential small molecules that target DHFR protein to inhibit the folic acid biosynthetic pathways;drug repurposing: targeting mTOR inhibitors for anticancer activity;AI and big data analytics for health and bioinformatics;and revealing deep proteome diversity with community-scale proteomics big data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming in logic without logic programming

引用

thEORY AND PRACTICE OF logic programming 2016年第3期16卷 269-295页

作者： Kowalski, Robert Sadri, Fariba Imperial Coll London Dept Comp London England

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role. In the canonical model, states, actions, and other events are represented with timestamps. But in the operational semantics (OS), for the sake of efficiency, timestamps are omitted and only the current state is maintained. State transitions are performed reactively by executing actions to make the consequents of rules true whenever the antecedents become true. this OS is sound, but incomplete. It cannot make reactive rules true by preventing their antecedents from becoming true, or by proactively making their consequents true before their antecedents become true. In this paper, we characterize the notion of reactive model, and prove that the OS can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.

关键词： KELPS LPS Model generation Reactive models State transition systems

来源：评论

学校读者我要写书评

暂无评论

Using linear constraints for logic program termination analysis

引用

thEORY AND PRACTICE OF logic programming 2016年第3期16卷 353-377页

作者： Calautti, Marco Greco, Sergio Molinaro, Cristian Trubitsyna, Irina Univ Calabria DIMES I-87036 Arcavacata Di Rende CS Italy

It is widely acknowledged that function symbols are an important feature in answer set programming, as they make modelling easier, increase the expressive power, and allow us to deal with infinite domains. the main issue with their introduction is that the evaluation of a program might not terminate and checking whether it terminates or not is undecidable. To cope with this problem, several classes of logic programs have been proposed where the use of function symbols is restricted but the program evaluation termination is guaranteed. Despite the significant body of work in this area, current approaches do not include many simple practical programs whose evaluation terminates. In this paper, we present the novel classes of rule-bounded and cycle-bounded programs, which overcome different limitations of current approaches by performing a more global analysis of how terms are propagated from the body to the head of rules. Results on the correctness, the complexity, and the expressivity of the proposed approach are provided.

关键词： Answer set programming Function symbols Bottom-up evaluation Program evaluation termination Stable models

来源：评论

学校读者我要写书评

暂无评论

A Pilot Study: Introducing HDL Lab Course for Effective Learning of Digital Design 8

A Pilot Study: Introducing HDL Lab Course for Effective Lear...

引用

IEEE 8th International conference on Technology for Education (T4E)

作者： Phadke, Arati S. Kulkarni, Sangeeta S. KJ Somaiya Coll Engn Dept Elect Engn Bombay Maharashtra India KJ Somaiya Coll Engn Dept Elect & Telecommun Engn Bombay Maharashtra India

ISBN: (纸本)9781509061150

Incorporating VHDL programming and implementation using programmable logic devices (PLD) in fundamental digital design course for Electronics Engineering at undergraduate level has become increasingly essential. However it is experienced that integration of VHDL with fundamentals of digital design in one course students give lesser time and importance for VHDL programming. Hence learning objective related to VHDL programming is not achieved up to the expected level. Experience of giving additional training to interested students had shown improvement in students' performance. this paper discusses effect of designing of a separate compulsory laboratory course in VHDL and its effect on the understanding of students and achieving the learning objectives. It also discusses the effect on performance of students in Digital Design course after separating VHDL programming from it. the feedback of students shows that students learn better in laboratory course and they are motivated to learn further in the same area.

关键词： VHDL engineering education curriculum design and digital logic

来源：评论

学校读者我要写书评

暂无评论

Solving stable matching problems using answer set programming

引用

thEORY AND PRACTICE OF logic programming 2016年第3期16卷 247-268页

作者： De Clercq, Sofie Schockaert, Steven De Cock, Martine Nowe, Ann Univ Ghent Dept Appl Math Comp Sci & Stat Ghent Belgium Cardiff Univ Sch Comp Sci & Informat Cardiff S Glam Wales UW Tacoma Ctr Data Sci Tacoma WA USA Vrije Univ Brussel Computat Modeling Lab Brussels Belgium

Since the introduction of the stable marriage problem (SMP) by Gale and Shapley (1962), several variants and extensions have been investigated. While this variety is useful to widen the application potential, each variant requires a new algorithm for finding the stable matchings. To address this issue, we propose an encoding of the SMP using answer set programming (ASP), which can straightforwardly be adapted and extended to suit the needs of specific applications. the use of ASP also means that we can take advantage of highly efficient off-the-shelf solvers. To illustrate the flexibility of our approach, we show how our ASP encoding naturally allows us to select optimal stable matchings, i.e. matchings that are optimal according to some user-specified criterion. To the best of our knowledge, our encoding offers the first exact implementation to find sex-equal, minimum regret, egalitarian or maximum cardinality stable matchings for SMP instances in which individuals may designate unacceptable partners and ties between preferences are allowed.

关键词： Answer set programming logic rules Stable marriage problem Optimal stable matchings

来源：评论

学校读者我要写书评

暂无评论

the rationale behind the concept of goal

引用

thEORY AND PRACTICE OF logic programming 2016年第3期16卷 296-324页

作者： Governatori, Guido Olivieri, Francesco Scannapieco, Simone Rotolo, Antonino Cristani, Matteo CSIRO NICTA Data61 Canberra ACT Australia Univ Verona Dept Comp Sci Verona Italy Univ Bologna CIRSFID Bologna Italy

the paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of "alternative acceptable outcomes". We then study how the agent's beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible logic and we prove that the resulting formalisation is computationally feasible.

关键词： Agents Defeasible logic Desires intentions Goals Obligations

来源：评论

学校读者我要写书评

暂无评论

Web Application for Automatic Code Generator Using a Structured Flowchart

Web Application for Automatic Code Generator Using a Structu...

引用

2017 IEEE 8th International conference on Software Engineering and Service Science

作者： Chanchai Supaartagorn Department of Mathematics Statistics and Computer Faculty of Science Ubon Ratchathani University

A flowchart can be a graphic diagram representation of a programming logic. there are shapes and connectors that represent the different types of actions or steps in a process. A flowchart is a very important tool in the planning phase in a program de velopment cycle. Programmers can use it to design and develop an algorithm of a program. Moreover, a flowchart is also very effective for visual learners to write and comprehend algorithms in computer programming courses. this paper aims to provide a tool which serves as an automatic code generator using a structured flowchart. the tool is composed of basic flowchart shapes to be combined into a structured flowchart that can be converted into source codes. In addition, the system’s performance has been evaluated by two grou ps: 5 experts and 93 general users. the results showed the average values of the satisfaction levels were 4.48 and 4.27 with standard deviations at 0.59 and 0.64 for the experts and the general users respectively. It was found that the system performance of the tool reached an agree level. It was revealed that the developed system can be used precisely as intended in an effective manner.

关键词： Automa tic code generato r Structured flowchart Prog ramming logic Algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：