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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

28 篇 会议
1 册 图书

馆藏范围

29 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

22 篇 工学
- 20 篇 计算机科学与技术...
- 20 篇 软件工程
- 2 篇 电子科学与技术（可...
- 2 篇 信息与通信工程
- 2 篇 控制科学与工程
5 篇 理学
- 5 篇 数学
- 1 篇 系统科学
4 篇 管理学
- 3 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 法学
- 1 篇 社会学

主题

10 篇 functional progr...
1 篇 performance opti...
1 篇 knowledge based ...
1 篇 input-output exa...
1 篇 computer circuit...
1 篇 dependent types ...
1 篇 ghc plugin
1 篇 learning systems
1 篇 program synthesi...
1 篇 selection monad
1 篇 logic in ai
1 篇 minikanren
1 篇 graphics process...
1 篇 mathematical log...
1 篇 program transfor...
1 篇 normal logic pro...
1 篇 logic programmin...
1 篇 professional com...
1 篇 additive pairs
1 篇 linear programmi...

机构

1 篇 radboud univ nij...
1 篇 katholieke univ ...
1 篇 portland state u...
1 篇 univ kiel kiel
1 篇 usi univ svizzer...
1 篇 bragança
1 篇 univ politecn va...
1 篇 department of co...
1 篇 open univ nether...
1 篇 arizona state un...
1 篇 university of ki...
1 篇 school of comput...
1 篇 univ st andrews ...
1 篇 univ utrecht utr...
1 篇 google aarhus
1 篇 flensburg univ a...
1 篇 amazon web servi...
1 篇 acis lab. depart...
1 篇 univ oxford dept...
1 篇 university of ko...

作者

1 篇 thompson simon
1 篇 scholz sven-bodo
1 篇 dongarra jack
1 篇 mulleners niek
1 篇 michael hanus
1 篇 palacios adrian
1 篇 van gijzel bas
1 篇 chan wei-chung
1 篇 thiemann peter
1 篇 teegen finn
1 篇 figueiredo renat...
1 篇 tomov stanimire
1 篇 augonnet cédric
1 篇 huijben reg
1 篇 chang mun see
1 篇 loureiro ana cla...
1 篇 breitbart jens
1 篇 prott kai-oliver
1 篇 ganguly arijit
1 篇 wolinsky david i...

语言

29 篇 英文

检索条件"任意字段=25th International Symposium on Trends in Functional Programming"

共 29 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Verifying functional Correctness Properties at the Level of Java Bytecode 25th

Verifying Functional Correctness Properties at the Level of ...

引用

25th international symposium on Formal Methods (FM)

作者： Paganoni, Marco Furia, Carlo A. USI Univ Svizzera Italiana Software Inst Lugano Switzerland

ISBN: (纸本)9783031274800;9783031274817

the breakneck evolution of modern programming languages aggravates the development of deductive verification tools, which struggle to timely and fully support all new language features. To address this challenge, we present BYTEBACK: a verification technique that works on Java bytecode. Compared to high-level languages, intermediate representations such as bytecode offer a much more limited and stable set of features;hence, they may help decouple the verification process from changes in the source-level language. BYTEBACK offers a library to specify functional correctness properties at the level of the source code, so that the bytecode is only used as an intermediate representation that the end user does not need to work with. then, BYTEBACK reconstructs some of the information about types and expressions that is erased during compilation into bytecode but is necessary to correctly perform verification. Our experiments with an implementation of BYTEBACK demonstrate that it can successfully verify bytecode compiled from different versions of Java, and including several modern language features that even state-of-the-art Java verifiers (such as KeY and OpenJML) do not directly support-thus revealing how BYTEBACK's approach can help keep up verification technology with language evolution.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Stochastic-Gradient-Descent-Based Max-Margin Early Event Detector 25th

Stochastic-Gradient-Descent-Based Max-Margin Early Event Det...

引用

25th international Computer symposium on New trends in Computer Technologies and Applications, ICS 2022

作者： Wang, Hong-Wen Chiu, Dai-Yi Chan, Wei-Chung Yang, Zhi-Fang Department of Computer Science and Information Engineering National Taipei University New Taipei City23741 Taiwan

ISBN: (纸本)9789811995811

Max-margin-based early event detection is first solved by max-margin early event detector (MMED) proposed by Hoai and Torre [10]. In this study, the stochastic gradient descent mechanism is used to replace the quadratic programming solver in [10] to achieve early event detection. three datasets are tested, including synthetic data, the extended Cohn-Kanade dataset (CK+), and Australian sign language data (ASL). the experimental results show that the proposed approach is feasible, and that the performance is comparable to that obtained in MMED. © 2022, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

the Effectiveness of Block-Based programming Learning on the Problem-Solving Skills of the Freshmen 25th

The Effectiveness of Block-Based Programming Learning on the...

引用

25th international Computer symposium on New trends in Computer Technologies and Applications, ICS 2022

作者： Lai, Ah-Fur Yang, Cheng-Ying Department of Computer Science University of Taipei Taipei Taiwan

ISBN: (纸本)9789811995811

Learning computer programming is difficult and complex for most of novices. the block-based visualized programming environments can reduce the learning dilemma in programming syntax and invoke the learners’ motivation. this study integrated App Inventor 2 into one course for the freshmen of a public university in Taipei city. the purpose of this study was to facilitate the freshmen to construct concrete advanced organization of programming for learning text-based computer languages in the future, to investigate their perception toward visualized programming environment and the impact on their problem-solving skills when programming. the research results revealed that the freshmen showed positive perception toward App Inventor 2 including helping to be familiar with basic programming concepts, learning transfer from block-based programming to text-based programming, usefulness of project development and programming flows. After guiding the freshmen to learn some algorithms and providing digital simulation-based learning materials in the problem-solving stage, improving ration of their programming skills were very high. © 2022, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

25th international Computer symposium on New trends in Computer Technologies and Applications, ICS 2022

25th International Computer Symposium on New Trends in Compu...

引用

25th international Computer symposium on New trends in Computer Technologies and Applications, ICS 2022

ISBN: (纸本)9789811995811

the proceedings contain 59 papers. the special focus in this conference is on New trends in Computer Technologies and Applications. the topics include: Prediction of Middle-Aged Unhealthy Facial Skin Using VGG19 and Support Vector Machine Models;real-Time Intentional Eye Blink Detection Using Rhombus Identification;difficulty-Aware Mixup for Replay-based Continual Learning;vision-Based Lightweight Facial Respiration and Heart Rate Measurement Technology;GAN-Based Criminal Suspect Face Generator;priority Algorithms with Advice for Disjoint Path Allocation Problems (Extended Abstract);automatic Summarization of Critical threat Intelligence Using Transfer Learning;anti-screenshot Watermarking Algorithm About Archives Image Based on Deep Learning Model;detecting Android Malware by Combining System Call Sequence Relationships with Local Feature Calculation;a Detector Using Variant Stacked Denoising Autoencoders with Logistic Regression for Malicious JavaScript with Obfuscations;a Lightweight and Robust Authentication and Key Agreements with Physically Unclonable Function in Manufacturing Environments;image Compression and Meaningful Ciphertext Encryption Based on Histogram Shift Embedding;a Robust Two Factor Authentication Scheme with Fine Grained Biometrics Verification;applying an IoT Analytics Framework in East Asia Area;Android Malware Classifier Combining Permissions and API Features to Face Model Drifting;design and Implementation of the Optimized Computing Architecture for Matrix Decomposition Algorithms;on Two Variants of Induced Matchings;Design and Implementation of the CNN Accelator Based on Multi-streaming SIMD Mechanisms;Design and Implementation of the Link-List DMA Controller for High Bandwidth Data Streaming;STEM Education Meets HPC;Research on KNN-Based GNSS Coordinate Classification for Epidemic Management;An Improved Light Weight Countermeasure Scheme to Efficiently Mitigate TCP Attacks in SDN;the Effectiveness of Block-Based programming Learning on th

关键词：

来源：评论

学校读者我要写书评

暂无评论

25th international symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015

25th International Symposium on Logic-Based Program Synthesi...

引用

25th international symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015

ISBN: (纸本)9783319274355

the proceedings contain 22 papers. the special focus in this conference is on Semantics of Logic Languages and Efficient Compilation of functional Logic Programs. the topics include: Proof checking and logic programming;on dual programs in co-logic programming;equational formulas and pattern operations in initial order-sorted algebras;compiling collapsing rules in certain constructor systems;from boolean equalities to constraints;a type-theoretic approach to resolution;a typed language for events;applying sorting networks to synthesize optimized sorting libraries;impact of accuracy optimization on the convergence of numerical iterative methods;abstract analysis of universal properties for TCCP;a global occurrence counting analysis for brane calculi;using dynamic pushdown networks to automate a modular information-flow analysis;checking java assertions using automated test-case generation;a generic intermediate representation for verification condition generation;combining top-down and bottom-up techniques in program derivation;a generalized model for algorithmic debugging;concolic execution in functional programming by program instrumentation;memory policy analysis for semantics specifications in maude;correctness of context-moving transformations for term rewriting systems and CHR in action.

关键词：

来源：评论

学校读者我要写书评

暂无评论

From Boolean Equalities to Constraints 25th

From Boolean Equalities to Constraints

引用

25th international symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Antoy, Sergio Hanus, Michael Portland State Univ Dept Comp Sci Portland OR 97207 USA CAU Kiel Inst Informat D-24098 Kiel Germany

ISBN: (纸本)9783319274362;9783319274355

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction in source programs, the language design can be simplified and the execution of programs can be optimized. As a consequence, we show that one kind of equational expressions is sufficient and unification is nothing else than an optimization of Boolean equality.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Concolic Execution in functional programming by Program Instrumentation 25th

Concolic Execution in Functional Programming by Program Inst...

引用

25th international symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Palacios, Adrian Vidal, German Univ Politecn Valencia DSIC MiST Camino Vera S-N E-46022 Valencia Spain

ISBN: (纸本)9783319274362;9783319274355

Concolic execution, a combination of concrete and symbolic execution, has become increasingly popular in recent approaches to model checking and test case generation. In general, an interpreter of the language is augmented in order to also deal with symbolic values. In this paper, in contrast, we present an alternative approach that is based on a program instrumentation. Basically, the execution of the instrumented program in a standard environment produces a sequence of events that can be used to reconstruct the associated symbolic execution.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Proof Checking and Logic programming 25th

Proof Checking and Logic Programming

引用

25th international symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Miller, Dale Ecole Polytech Inria Palaiseau France Ecole Polytech LIX Palaiseau France

ISBN: (纸本)9783319274362;9783319274355

In a world where trusting software systems is increasingly important, formal methods and formal proof can help provide trustable foundations. Proof checking can help to reduce the size of the trusted base since we do not need to trust an entire theorem prover if we can check the proofs they produce by a trusted (and smaller) checker. Many approaches to building proof checkers require embedding within them a full programming language. In most many modern proof checkers and theorem provers, that programming language is a functional programming language, often a variant of ML. In fact, parts of ML (e.g., strong typing, abstract datatypes, and higher-order programming) were designed to make ML into a trustworthy "meta-language" for checking proofs. While there is considerable overlap in the foundations of logic programming and proof checking (both benefit from unification, backtracking search, efficient term structures, etc.), the discipline of logic programming has, in fact, played a minor role in the history of proof checking. I will argue that logic programming can have a major role in the future of this important topic.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

the 101haskell chrestomathy: A whole bunch of learnable lambdas 25

The 101haskell chrestomathy: A whole bunch of learnable lamb...

引用

25th international symposium on Implementation and Application of functional Languages, IFL 2013

作者： Lämmel, Ralf Schmorleiz, thomas Varanovich, Andrei University of Koblenz-Landau Software Languages Team Germany

ISBN: (纸本)9781450329880

the paper describes the 101haskell chrestomathy-a collection of Haskell programs implementing features of a hypothetical information system in a manner to represent knowledge about functional programming useful for learning (and teaching). the programs are enriched with documentation, metadata, and links to other knowledge resources such as Wikipedia and Haskell textbooks. the underlying ontology is informed by a process of knowledge integration which derives a consolidated vocabulary mainly by text mining and summarization from textbooks. the usefulness of 101haskell for teaching is demonstrated with a functional programming course that is directly based on 101haskell. Copyright © 2013 ACM.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Compilation à la Carte 13

Compilation à la Carte

引用

25th international symposium on Implementation and Application of functional Languages, IFL 2013

作者： Day, Laurence E. Hutton, Graham Functional Programming Laboratory University of Nottingham United Kingdom

ISBN: (纸本)9781450329880

In previous work, we proposed a new approach to the problem of implementing compilers in a modular manner, by combining earlier work on the development of modular interpreters using monad transformers with the à la carte approach to modular syntax. In this article, we refine and extend our existing framework in a number of directions. In particular, we show how generalised algebraic datatypes can be used to support a more modular approach to typing individual language features, we increase the expressive power of the framework by considering mutable state, variable binding, and the issue of noncommutative effects, and we show how the Zinc Abstract Machine can be adapted to provide a modular universal target machine for our modular compilers. Copyright © 2013 ACM.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共3页 << < 1 2 3 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：