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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,043 篇 会议
51 册 图书
45 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,272 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 252 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
295 篇 理学
- 226 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 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
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

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 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

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 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

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

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

共 2139 条记录，以下是251-260 订阅

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

详细简洁

排序：

Nested (2,3)-Instances of the Cutting Stock Problem 22nd

Nested (2,3)-Instances of the Cutting Stock Problem

引用

22nd international conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023

作者： Ripatti, Artem V. Ufa University of Science and Technology Zaki Validy str. 32 Ufa450076 Russia

ISBN: (纸本)9783031353048

We consider the well-known cutting stock problem (CSP). A (2, 3)-instance of CSP is an instance for which each of its items can only be packed into the container either two or three times. The gap of a CSP instance is the difference between its optimal function value and the optimal value of its continuous relaxation. For most instances of CSP the gap is less than 1, and the maximal gap currently known is 77 / 64 = 1.203125. For the (2, 3)- case the best known construction gives the gap greater than 73 / 72 - Ε≈ 1.013888 for any Ε> 0. In this paper we give a construction of (2, 3)-instances having recursive (nested) structure and the gap greater than 7 / 6 - Ε≈ 1.166666 for any Ε> 0. We also give a construction of CSP instances with the gap greater than 59 / 48 - Ε≈ 1.229166 for any Ε> 0. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Sustaining Well-Being of Teachers in Higher Education 22nd

Sustaining Well-Being of Teachers in Higher Education

引用

22nd international Multidisciplinary conference on Reliability and Statistics in Transportation and Communication, RelStat 2022

作者： Gabelaia, Ioseb Bagociunaite, Ramune Graceland University LamoniIA50140 United States Kaunas University of Applied Sciences Kaunas Lithuania

ISBN: (纸本)9783031266546

Given the growing burnout of teachers during the pandemic, it is necessary to recommend that higher education institutions apply careful planning in developing teacher well-being programs. Therefore, the main objective of this paper is to investigate the well-being of teachers in higher education to reveal the well-being tendencies. Sustaining and developing teacher well-being programs represents a high priority for higher education institutions. This paper first conducted a systematic literature review to identify and critically appraise available secondary data. Second, a short survey was conducted to explain teachers’ responses to identified psychological factors from the systematic literature review. Moreover, the authors interviewed several teachers to collect more evidence. Lastly, the authors synthesized all information to present conclusions and recommendations. The findings of this paper illustrated significant factors in relation to the well-being of teachers and revealed the well-being tendencies. Moreover, it outlined a foundation for further research to investigate sustaining teachers’ well-being. This paper is the introductory paper of the research, which has been in progress for the last two years. The current paper offers much-needed evidence to the researchers and not only to enhance or propose or even create one universal model for teachers’ well-being. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

WasmAndroid: A Cross-Platform Runtime for Native programming Languages on Android (WIP Paper) 2021

WasmAndroid: A Cross-Platform Runtime for Native Programming...

引用

22nd ACM SIGPLAN/SIGBED international conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

作者： Wen, Elliott Weber, Gerald Nanayakkara, Suranga Univ Auckland Auckland New Zealand

ISBN: (纸本)9781450384728

Open-source hardware such as RISC-V has been gaining substantial momentum. Recently, they have begun to embrace Google's Android operating system to leverage its software ecosystem. Despite the encouraging progress, a challenging issue arises: a majority of Android applications are written in native languages and need to be recompiled to target new hardware platforms. Unfortunately, this recompilation process is not scalable because of the explosion of new hardware platforms. To address this issue, we present WasmAndroid, a high-performance cross-platform runtime for native programming languages on Android. WasmAndroid only requires developers to compile their source code to WebAssembly, an efficient and portable bytecode format that can be executed everywhere without additional reconfiguration. WasmAndroid can also trans-pile existing application binaries to WebAssembly when source code is not available. WebAssembly's language model is very different from C/C++ and this mismatch leads to many unique implementation challenges. In this paper, we provide workable solutions and conduct a preliminary system evaluation. We show that WasmAndroid provides acceptable performance to execute native applications in a cross-platform manner.

关键词： WebAssembly RISC-V Mobile Portability

来源：评论

学校读者我要写书评

暂无评论

Measuring Gendered Communication Patterns on Enterprise Communication Platforms 23

Measuring Gendered Communication Patterns on Enterprise Comm...

引用

22nd ACM international conference on Supporting Group Work, GROUP 2022/2023

作者： Ferguson, Sharon Olechowski, Alison Mechanical and Industrial Engineering University of Toronto TorontoON Canada

ISBN: (纸本)9781450399456

Much of the communication in organizations is now taking place on enterprise communication platforms like Slack and Microsoft Teams. These platforms enable modern teamwork, but may also exacerbate discriminatory practices. As discrimination can harm team outcomes, it is essential to study the impact that these communication methods can have. As a case study, we investigate gender discrimination in Mechanical Engineering - one of the least diverse subfields. We investigate whether traditional gendered communication patterns can be found on these platforms, as these patterns can communicate gendered differences that can lead to discrimination. Studying the Slack messages sent in mechanical design teams, we find that being a minority gender (identifying as not a man) is associated with an increase in some measures of emotional and agreeable communication, although not all, and there is no significant association with assertive communication. Future work will relate these patterns to discriminatory practices. © 2023 Owner/Author.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

The Futures of Hybrid Work - Participatory Futuring in Practice 23

The Futures of Hybrid Work - Participatory Futuring in Pract...

引用

22nd ACM international conference on Supporting Group Work, GROUP 2022/2023

作者： Busboom, Juliane Brigitta Roskilde University Roskilde Denmark

ISBN: (纸本)9781450399456

Throughout the last years, but especially with the outbreak of the Covid-19 pandemic, our workplaces and way of 'going to work' has changed a lot. One might even claim that the nature of work is 'in limbo', a transitional phase between the traditional on-site workplace and hybrid and remote work conditions. This overview of my doctoral research starts with a number of future oriented questions regarding collaboration and human interactions, embodied presence and socio-materiality in hybrid and remote work environments. The hypothesis is that a participatory futuring approach can engage stakeholders from different industries in a collective development of alternative futures and thereby inform the re-thinking process around remote and hybrid work conditions within and across industries. Hence, several empirical studies are proposed in order to (1) understand hybrid work settings and its challenges (2) create knowledge around possible futures of hybrid work and (3) investigate the strategic value of participatory futuring methods in industrial settings. © 2023 Owner/Author.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Digital Twin of All Optical And logic Gate Based on Deep Learning

Digital Twin of All Optical AND Logic Gate Based on Deep Lea...

引用

international conference on Optical Communications and Networks (ICOCN)

作者： Ruoting Liu L. Xin Feiyang Ruan Jingjie Xin Q. Shubo Shanguo Huang School of Electronic Engineering Beijing University of Posts and Telecommunications Beijing China

ISBN: (数字)9798350367652

ISBN: (纸本)9798350367669

As a fundamental component of optical signal processing, the normal operation of an all optical logic gate is the foundation for ensuring the operation of all optical networks. Using deep learning methods to model the all optical logic gate can effectively avoid complex physical analysis processes, and trained networks can predict outputs based on inputs. In this paper, we use deep learning bidirectional LSTM algorithm with attention mechanism to model an all optical logic And gate implemented using SOA-MZI. To ensure that SOA operates within the normal injection current operating range, a training set with injection current as a feature is used to train the bidirectional LSTM algorithm with attention mechanism. The results demonstrate that this algorithm can effectively model all optical logic And gates by comparing the difference between simulation output and digital twin output. Meanwhile, prior estimation of the normal operating range of the injected current can be performed.

关键词： Integrated optics All-optical networks Deep learning Attention mechanisms Signal processing algorithms Estimation Optical computing

来源：评论

学校读者我要写书评

暂无评论

Neural Multi-hop logical Query Answering with Concept-Level Answers 22nd

Neural Multi-hop Logical Query Answering with Concept-Level ...

引用

22nd international Semantic Web conference (ISWC)

作者： Tang, Zhenwei Pei, Shichao Peng, Xi Zhuang, Fuzhen Zhang, Xiangliang Hoehndorf, Robert Univ Toronto Toronto ON Canada Univ Notre Dame Notre Dame IN USA King Abdullah Univ Sci & Technol Computat Biosci Res Ctr Thuwal Saudi Arabia Beihang Univ Inst Artificial Intelligence Beijing Peoples R China Zhongguancun Lab Beijing Peoples R China

ISBN: (纸本)9783031472398;9783031472404

Neural multi-hop logical query answering (LQA) is a fundamental task to explore relational data such as knowledge graphs, which aims at answering multi-hop queries with logical operations based on distributed representations of queries and answers. Although previous LQA methods can give specific instance-level answers, they are not able to provide descriptive concept-level answers, where each concept is a description of a set of instances. Concept-level answers are more comprehensible to users and are of great usefulness in the field of applied ontology. In this work, we formulate the problem of LQA with concept-level answers (LQAC), solving which needs to address challenges in incorporating, representing, and operating on concepts. We propose an original solution for LQAC. Firstly, we incorporate description logic-based ontological axioms to provide the source of concepts. Then, we represent concepts and queries as fuzzy sets, i.e., sets whose elements have degrees of membership, to bridge concepts and queries with instances. Moreover, we design operators involving concepts on top of fuzzy set representation of concepts and queries for optimization and inference. Extensive experimental results on three real-world datasets demonstrate the effectiveness of our method for LQAC. In particular, we show that our method is promising in discovering complex logical biomedical facts.

关键词： Knowledge Representation Learning Multi-hop logical Query Answering Fuzzy logic Neuro-symbolic Reasoning

来源：评论

学校读者我要写书评

暂无评论

FEM modeling of gate resistance for 5 nm SGC/DGC Stacked Nanosheet Transistor

FEM modeling of gate resistance for 5 nm SGC/DGC Stacked Nan...

引用

international conference on VLSI Design

作者： Vivek Kumar Jyoti Patel Arnab Datta Sudeb Dasgupta Indian Institute of Technology Roorkee (IITR) Roorkee India National Institute of Technology Uttarakhand Srinagar Garhwal

Stacked Nanosheet Transistor (SNST) is the potential candidate for the Digital, Analog, and RF application due to its better SCE, ON current and area footprint. This work performs 3D FEM calculation of SNST to RF properties analysis for Single Gate Contact (SGC) and Double Gate Contact (DGC). Effect of SGC & DGC analyzed on gate resistance (Rg) and capacitance (C gg ) of the device, which limits the unity gain frequency (f T ) and maximum frequency of oscillation (f MAX ). Variation of Rg with the device parameters such as gate length, sheet width, thickness, sheet pitch, stack spacing, and number of sheets are analyzed. Effect of SGC and DGC on R g , C g , f T and f MAX explained. The Optimum number of sheets required for better RF FOM is calculated.

关键词： Resistance Radio frequency Analytical models Three-dimensional displays logic gates Very large scale integration Capacitance

来源：评论

学校读者我要写书评

暂无评论

Estimating the Difficulty of programming Problems Using Fine-tuned LLM

Estimating the Difficulty of Programming Problems Using Fine...

引用

international conference on Software Engineering Research, Management and Applications (SERA)

作者： Chihiro Yoshida Makoto Matsushita Yoshiki Higo Osaka University Japan

ISBN: (数字)9798350391343

ISBN: (纸本)9798350391350

Currently, many competitive programming contests have been held. These contests are composed of several problems of a wide range of difficulty levels. Novice programmers must approach problems based on their experience and levels to avoid losing confidence and motivation to learn programming skills. In some programming contests, the difficulty level of a problem is given as a numerical value. However, each contest site assigns difficulty levels based on its criteria, making comparing levels among two or more contest sites impossible. This study proposes a method to estimate the difficulty level from the problem description and example solution information. Specifically, we attempted to estimate the difficulty of the problems using GPT-3.5 Turbo, which was fine-tuned with the problem descriptions and example solutions. The experiment was conducted on the fine-tuned GPT-3.5 Turbo under five conditions to evaluate the performance of difficulty estimation. As a result, a model that was fine-tuned with problem descriptions and estimated difficulty from the problem description had the best performance. In addition, the performance of the model fine-tuned with problem descriptions only was better than that of the model fine-tuned with problem descriptions and example solutions.

关键词： Accuracy Estimation programming Data models Software engineering

来源：评论

学校读者我要写书评

暂无评论

Design of a Fuzzy logic Controller for DC Converter of a Stand-Alone PV System Based on Maximum Power Point Tracking 22

Design of a Fuzzy Logic Controller for DC Converter of a Sta...

引用

22nd international Middle East Power Systems conference, MEPCON 2021

作者： Mohammed, Fatema A. Bahgat, Mohiy E. Elmasry, Saied S. Sharaf, Soliman M. Helwan University Fac. of Engineering - Helwan Dept. of Electrical Power and Machines Cairo Egypt

ISBN: (纸本)9781665419987

PV installations and systems running under variable irradiation and temperature in addition to variable load conditions, produce a variance in its output voltage, resulting in control challenges. The use of a DC converter ensures that the output voltage of such systems remains constant regardless of changes in the production voltage and load. The design of a maximum power point tracking-based (MPPT) DC converter controller for such a system is presented in this study. MPPT-based Fuzzy logic Controller (MFLC) has been implemented to the system converter as a proposed control approach. Incremental Conductance (IC) algorithm has been employed as an MPPT algorithm in association with fuzzy logic controller. Using the MATLAB/Simulink environment, the PV system with the loaded converter is modelled and simulated. Under various disturbances and operating conditions, the system performance is represented by a family of curves. © 2021 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：