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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,042 篇 会议
45 篇 期刊文献
5 册 图书

馆藏范围

2,092 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,271 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 251 篇 电气工程
- 157 篇 控制科学与工程
- 68 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
294 篇 理学
- 226 篇 数学
- 39 篇 统计学（可授理学、...
- 38 篇 物理学
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
37 篇 java
35 篇 computer program...
34 篇 integer programm...
34 篇 control systems

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...
3 篇 mit comp sci & a...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 mcdirmid sean
3 篇 grandi umberto

语言

2,053 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2092 条记录，以下是51-60 订阅

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

详细简洁

排序：

On Syntactic Forgetting with relativized Strong Persistence 22

On Syntactic Forgetting with relativized Strong Persistence

引用

22nd international Workshop on Nonmonotonic Reasoning, NMR 2024

作者： Berthold, Matti ScaDS.AI Universität Leipzig Germany

Strong Persistence pSPq, since its perception ten years ago, has been at the center of attention in the realm of forgetting in logic programming. So-called forgetting instances, for which it is possible to obtain pSPq were characterized;semantic classes of procedures satisfying pSPq when possible, or various relaxations when it is not, were found;and concrete operators representing these classes were constructed. Recently, pSPq was relaxed in a novel dimension, taking into account the strong persistence of a forgetting result relativized to a subset of the remaining atoms. In this paper, we construct a syntactic forgetting operator that satisfies this newly defined desideratum relativized Strong Persistence prSPq, whenever possible. © 2024 for this paper by its authors.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Classification of programming logic Understanding Level Using Mouse Tracking Heatmaps and Machine Learning Techniques 22nd

Classification of Programming Logic Understanding Level Usin...

引用

22nd international conference on Computer Information Systems and Industrial Management (CISIM)

作者： Khaesawad, Attaporn Yem, Vibol Nishiuchi, Nobuyuki Tokyo Metropolitan Univ Fac Syst Design Tokyo Japan Univ Tsukuba Fac Engn Informat & Syst Ibaraki Japan

ISBN: (纸本)9783031428227;9783031428234

programming skill is one of the essential basic experience that each student in the field of computer science has to acquire. To potentially train all students such a skill, teachers should know every student understanding level during the practice of a programming for individually supporting. Conducting a test is a common method to classify the understanding level of the students. However, it would be a heavy burden for teachers and the student levels are known after the test. The purpose of our study is to classify the understanding level of programming during the practice. In this study, we focus on a block coding learning platform, and we propose a classification method by using mouse tracking heatmaps and machine learning techniques. As a first step of the study, we conduct a test with 18 participants. The results had shown that using mouse click heatmap image and decision tree algorithm was observed to classify students based on their programming logic understanding level through activity on a block coding learning platform. In our future work, we will increase the accuracy of classification and develop a model that can classify the understanding levels almost in real time of during programming practice.

关键词： Understand Level Classification Block Coding Learning Platform Mouse Tracking Heatmap Classification Machine Learning Teacher Support

来源：评论

学校读者我要写书评

暂无评论

Portable Native Code for JavaScript Runtimes with WebAssembly, Rust and wasm-pack 22

Portable Native Code for JavaScript Runtimes with WebAssembl...

引用

22nd international conference on Emerging eLearning Technologies and Applications, ICETA 2024

作者： Morys-Magiera, Artur Dlugosz, Marek Skruch, Pawel Szelest, Marcin AGH University of Krakow Krakow Poland

ISBN: (纸本)9798331527716

Web development has greatly revolved compared to the original architecture and technological stack. Nowadays, it is not only possible to develop with JavaScript or its superset - TypeScript - but also to write native code that compiles to a platform-agnostic, portable format: WebAssembly (Wasm). Modern runtimes such as *** or most web browsers support running Wasm, which bridges the gap between native and interpreted, but on the other hand allows a bi-directional reuse of code compiled to Wasm in virtually any runtime thanks to Wasm support either natively or via libraries in many runtimes and environments ranging from Python through C#, C++, Java, PHP to ***. This paper focuses on the new range of possibilities Wasm opens: re-use of code in multi-technology projects without the need to port common parts to the different languages used, in some cases - enhancing performance for computation-extensive parts thanks to compiler optimizations, and possibility to bring libraries from other technology stacks to any environment supporting Wasm (reducing technology lock-in). © 2024 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Programmable Floor Robot Robotito and its Tangible and Virtual Interface 23

Programmable Floor Robot Robotito and its Tangible and Virtu...

引用

22nd Annual ACM Interaction Design and Children conference (IDC)

作者： Bakala, Ewelina Tejera, Gonzalo Visca, Jorge Hitta, Santiago Hourcade, Juan Pablo Univ Republica Inst Computac Montevideo Uruguay Univ Iowa Dept Comp Sci Iowa City IA 52242 USA

ISBN: (纸本)9798400701313

Robotito is an omnidirectional robot designed and developed at Universidad de la Republica, Uruguay. It is part of a research line in educational robotics aimed at developing free software and open hardware robots for educational use. It was developed in 2018 and has been used in various research projects and educational activities since then. The demo aims to present the robot and its two programming interfaces (tangible and digital interface) to the IDC community to discuss its use in research and education, identify possible extensions and improvements, and encourage international collaborations.

关键词： Educational robotics young children tangible and digital programming interface

来源：评论

学校读者我要写书评

暂无评论

Fully 3D-Printed, Semiconductor-Free, Transistor-Like logic Devices 22

Fully 3D-Printed, Semiconductor-Free, Transistor-Like Logic ...

引用

22nd international conference on Solid-State Sensors, Actuators and Microsystems, Transducers 2023

作者： Cañada, Jorge Velásquez-García, Luis Fernando Massachusetts Institute Of Technology Electrical Engineering And Computer Science United States Massachusetts Institute Of Technology Microsystems Technology Laboratories United States

ISBN: (纸本)9784886864352

We report the first proof-of-concept demonstration of fully 3D-printed, transistor-like, no-moving-parts switches capable of performing logic operations. The devices are monolithically made via material extrusion using copper nanoparticle-reinforced PLA and pure PLA. The enabling mechanism is a newly discovered, temperature-induced, reversible spike in resistivity that narrow, 3D-printed conductive traces experience when carrying current over a specific threshold. The operation of the proposed device is demonstrated through the successful implementation of the first fully 3D-printed logic gates, and through its use as a switch to actuate a DC motor. This work represents a major leap towards the monolithic fabrication of intelligent, semiconductor-free, integrated electromechanical devices by enabling the 3D printing of active electronics. © 2023 IEEJ.

关键词： 3D-printed active electronics 3D-printed logic gates material extrusion monolithic multi-material 3D printing

来源：评论

学校读者我要写书评

暂无评论

A Secure Blockchain-based Authentication and Key Agreement Protocol for 5G Roaming 22

A Secure Blockchain-based Authentication and Key Agreement P...

引用

IEEE 22nd international conference on Trust, Security and Privacy in Computing and Communications (TrustCom) / BigDataSE conference / CSE conference / EUC conference / ISCI conference

作者： Yadav, Awaneesh Kumar Misra, Manoj Braeken, An Liyanage, Madhusanka Indian Inst Technol Roorkee Dept Comp Sci & Engn Roorkee Uttarakhand India Vrije Univ Brussel Dept Engn Technol INDI Brussels Belgium Univ Coll Dublin Sch Comp Sci Dublin Ireland

ISBN: (纸本)9798350381993;9798350382006

The fifth generation (5G) is now widely used to access network services due to the emergence of the Internet of Things (IoT) and mobile devices. To secure 5G communication, the Third Generation Partnership Project (3GPP) organization created the 5G-Authentication and Key Agreement (AKA) protocol. Security evaluations have found a number of problems in the 5G-AKA, including a violation of perfect forward secrecy, a traceability attack, and denial of service (DoS) attacks. To address the shortcomings of 5G-AKA, several enhanced versions have been developed. However, it has been shown that either these versions are expensive or do not address security issues. Additionally, less effort is put into providing security when a user utilizes roaming mobile services while a malicious Serving Network (SN) is present. This paper introduces an authentication mechanism to handle the above issues. In addition to this, a handover mechanism is also designed for re-connection. The authentication and handover phase security assessment uses the mathematical model Real-Or-Random (ROR), AVISPA, and Scyther tool. Furthermore, the performance comparison depicts that the authentication and handover phase is more efficient than existing protocols. An assessment of the smart contract function's cost and effectiveness is also provided.

关键词： Authentication AVISPA tool Blockchain Elliptic Curve-Cryptography (ECC) Internet of Things (IoT) Scyther tool ROR logic

来源：评论

学校读者我要写书评

暂无评论

Virtual Domain Specific Languages via Embedded Projectional Editing 2023

Virtual Domain Specific Languages via Embedded Projectional ...

引用

22nd ACM SIGPLAN international conference on Generative programming - Concepts and Experiences (GPCE)

作者： Korz, Niklas Andrzejak, Artur Alugha Mannheim Germany Heidelberg Univ Heidelberg Germany

ISBN: (纸本)9798400704062

Domain Specific Languages (DSLs) can be implemented as either internal DSL, i.e. essentially a library in a host generalpurpose programming language (GPL), or as external DSL which is a stand-alone language unconstrained in its syntax. This choice implies an inherent trade-off between a limited syntactic and representational flexibility (internal DSLs), or an involved integration with GPLs and the need for a full stack of tools from a parser to a code generator (external DSLs). We propose a solution which addresses this problem by representing a subset of a GPL - from simple code patterns to complex API calls - as GUI widgets in a hybrid editor. Our approach relies on matching parametrized patterns against the GPL program, and displaying the matched parts as dynamically rendered widgets. Such widgets can be interpreted as components of an external DSL. Since the source code is serialized as GPL text without annotations, there is no DSL outside the editor - hence the term 'virtual' DSL. This solution has several advantages. The underlying GPL and the virtual DSL can be mixed in a compositional way, with zero cost of their integration. The project infrastructure does not need to be adapted. Furthermore, our approach works with mainstream GPLs like Python or JavaScript. To lower the development effort of such virtual DSLs, we also propose an approach to generate patterns and the corresponding text-only GUI widgets from pairs of examples. We evaluate our approach and its implementation on use cases from several domains. A live demo of the system can be accessed at https://***/ and the source code with examples at https://***/niklaskorz/puredit/

关键词： DSLs Projectional editing programming language integration Programing by example Assisted editing and IntelliSense

来源：评论

学校读者我要写书评

暂无评论

User-Friendly Tools for New Digital Education in Computer Sience 22

User-Friendly Tools for New Digital Education in Computer Si...

引用

22nd international conference on Emerging eLearning Technologies and Applications, ICETA 2024

作者： Kanalikova, Alžbeta Rakovská, Eva University of Žilina Department of Control and Information Systems Žilina Slovakia University of Economics in Bratislava Department of Applied Informatics Bratislava Slovakia

ISBN: (纸本)9798331527716

In today's world of pandemic era, it is important to develop new ways of e-learning. E-learning is also associated with finding creative innovation as a part of digital learning, which includes a variety of IT tools as multimedia and smart tools. The article is focused on preparing and implementing innovative tools in computer science teaching. Computer science teaching is traditionally based on explicit exact knowledge. It leads to memorizing the steps or searching the ready solutions on websites from the students' side. In the article, we analyse the problems of computer science teaching online and the experience of using a few innovative elements in e-learning courses last year. Based on gained experience we choose appropriate tools for collaboration, interactivity, tools that record the sequence of steps, and tools for creating scenarios, focusing on gamification in teaching. The aim of the article comes from such experience and shows examples of how to implement multimedia and tools in a creative way for algorithmization and programming. We also try to use the interaction with the chatbot, which responds directly to the students' suggestions and helps them with basic terms. The specific results of our analyses and practical use are discussed and supported with figures. © 2024 IEEE.

关键词： Algorithmization Chatbot Computer science teaching Digital learning programming

来源：评论

学校读者我要写书评

暂无评论

24th international Workshop on Multi-Agent-Based Simulation, MABS 2023 in conjunction with the 22nd international conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2023

24th International Workshop on Multi-Agent-Based Simulation,...

引用

24th international Workshop on Multi-Agent-Based Simulation, MABS 2023 in conjunction with the 22nd international conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2023

ISBN: (纸本)9783031610332

The proceedings contain 11 papers. The special focus in this conference is on Multi-Agent Systems and Agent-Based Simulation. The topics include: Towards a Better Understanding of Agent-Based Airport Terminal Operations Using Surrogate Modeling;Active Sensing for Epidemic State Estimation Using ABM-Guided Machine Learning;Combining Constraint-Based and Imperative programming in MABS for More Reliable Modelling;Multi-agent Financial Systems with RL: A Pension Ecosystem Case;Aspects of Modeling Human Behavior in Agent-Based Social Simulation – What Can We Learn from the COVID-19 Pandemic?;learning Agent Goal Structures by Evolution;dynamic Context-Sensitive Deliberation;A Multi-agent Simulation Model Considering the Bounded Rationality of Market Participants: An Example of GENCOs Participation in the Electricity Spot Market;modeling Cognitive Workload in Open-Source Communities via Simulation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

22nd international Symposium on Automated Technology for Verification and Analysis, ATVA 2024

22nd International Symposium on Automated Technology for Ver...

引用

22nd international Symposium on Automated Technology for Verification and Analysis, ATVA 2024

ISBN: (纸本)9783031787089

The proceedings contain 14 papers. The special focus in this conference is on Automated Technology for Verification and Analysis. The topics include: The VeriAbs Tool Suite for Code Verification;easy Complementation of History-Deterministic Büchi Automata;a Decremental Algorithm for Fair Büchi Games;games with Weighted Multiple Objectives;proving Cutoff Bounds for Safety Properties in First-Order logic;distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology;dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms;deep-Reinforcement-Learning-Based Design Space Exploration for Time-Sensitive Networking;Learning Broadcast Protocols with LeoParDS;greybox Learning of Languages Recognizable by Event-Recording Automata;query Learning Bounds for Advice and Nominal Automata;guiding Word Equation Solving Using Graph Neural Networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共210页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：