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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是291-300 订阅

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

详细简洁

排序：

Signal Agnostic Scalable Scan Wrapper Design

Signal Agnostic Scalable Scan Wrapper Design

引用

international conference on VLSI Design

作者： Hanumantharaya H Ratheesh T Veetil Anvesh Gadi Intel Technologies India Pvt Ltd Bengaluru India

With rapid growth in VLSI technology, SoC became more complex as more and more IP's or partitions are packed inside the SoC. Defect screening at every node inside the core/IP in SoC and its interface becomes a challenge. Various test methods are proposed for better test coverage in industry. One of the widely used and popular approaches is IEEE P1500[1] [2], which has a scalable architecture that comes with TAM (Test Access Mechanism) and enables the switching between internal and external core testing. IEEE P1500 test methodology suggests, the core/partition to be fully wrapped for internal and external testing. This process introduces silicon bugs if any test sensitive ports are wrapped. In this paper we propose a signal agnostic scalable wrapper architecture which helps core/partition to be fully wrapped without any restriction on ports which results in best coverage and ensures a bug free silicon. This paper also discusses the integration of the proposed architecture and design in SoC and its pattern generation flow. Finally, we compare the results with existing wrapper architecture[3] and demonstrate how the proposed architecture ensures bug free silicon with enhanced test coverage.

关键词： Measurement Microprocessors Computer bugs Computer architecture Switches Very large scale integration logic gates

来源：评论

学校读者我要写书评

暂无评论

Weighted BIRCH Algorithm for Probabilistic Shaping 64QAM Coherent Optical Communication System

Weighted BIRCH Algorithm for Probabilistic Shaping 64QAM Coh...

引用

international conference on Optical Communications and Networks (ICOCN)

作者： Lingzhi Zou Qi Zhang Qihan Zhao Yun Wang Gang Xin Zhiqi Huang Xinyu Yuan Feng Tian Qinghua Tian Fu Wang Yongjun Wang School of Electronic Engineering Beijing University of Posts and Telecommunications (BUPT) Beijing China Beijing Key Laboratory of Space-ground Interconnection and Convergence BUPT Beijing China State Key Laboratory of Information Photonics and Optical Communications BUPT Beijing China Changzhou Jingxin New-Generation Information Technology Research Institute Co. Ltd Changzhou China

The Weighted BIRCH algorithm is proposed to mitigate the fiber nonlinearity for PS-64QAM signals. Experimental results demonstrate that compared with the traditional BIRCH, the proposed algorithm improves the dynamic ... 详细信息

ISBN: (数字)9798350367652

ISBN: (纸本)9798350367669

关键词： Heuristic algorithms Optical fiber networks Dynamic range Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study on Site Selection Methods for Modeling Hospital Locating in Urban Area, A Case Study in Iran 22nd

A Comparative Study on Site Selection Methods for Modeling H...

引用

22nd international conference on Computational Science and its Applications (ICCSA)

作者： Fu Fang-Yu Qelichi, Mohamad Molaei Namjooyan, Farrokh Asadi, Ahmad Huazhong Univ Sci & Technol Sch Architecture & Urban Planning Wuhan Hubei Peoples R China Inst Humanities & Cultural Studies Fac Encyclopedia Res Tehran Iran Univ Toledo Dept Geog & Planning 2801 W Bancroft St Toledo OH 43606 USA Bozorgmehr Univ Qaenat Fac Humanities Qaen Iran

ISBN: (纸本)9783031105456;9783031105449

Urban managers are faced with complex decisions, including the decision to select a suitable location for service centers, based on several conflicting criteria noted. The purpose of this research is a comparative study on site selection methods for modeling hospital locating. According to the present article, new locations were found to manage better and completeAmol city coverage with eight specified criteria. The research area in terms of proximity to major roads, green spaces, fire stations and distance from the river, industrial land uses, education land uses, hospitals and sport land uses has been studied. As well as for weighing the criteria, the model of AHP was implemented. Then, using the TOPSIS model in ArcGIS software, the valuation of standards was analyzed, and suitable maps were created that show the best place for the hospital building. In the next step, using the Fuzzy logic model in ArcGIS, another appropriate map is prepared, and the results of the two models have been compared together. The results revealed that the Multi-Criteria Decision Making (MCDM) system with GIS could be an effective hospital site selection tool. Anyway, there are some differences between the results of the models. Fuzzy logic is better suited to the hospital locating. The location of hospitals away from existing spaces in the Fuzzy logic model shows this model's ability in comparison with the TOPSIS model.

关键词： Hospital planning Site selection TOPSIS Fuzzy logic Amol city

来源：评论

学校读者我要写书评

暂无评论

Computer Systems and Technologies - 22nd international conference, CompSysTech 2021 - Proceedings

Computer Systems and Technologies - 22nd International Confe...

引用

22nd international conference on Computer Systems and Technologies, CompSysTech 2021

ISBN: (纸本)9781450389822

The proceedings contain 40 papers. The topics discussed include: acoustic event detection and sound separation for security systems and IoT devices;for session artificial intelligence and machine learning: rule based system against reinforcement learning;preliminary study on motion planning with obstacle avoidance for hard constrained redundant robotic manipulators;for session computer software, image processing & visualization : the effect of time drift in source code authorship attribution;increasing quality in fingerprint images by implementing wavelet transform based fusion technique;for session application aspects of computer systems and technologies: automatic analysis of ECG signals based on their fractal and multifractal properties;and for session educational aspects of computer systems and technologies: programming-based laboratory assignments for undergraduate students of power engineering fields.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Control- & Task-Aware Optimal Design of Actuation System for Legged Robots Using Binary Integer Linear programming

Control- & Task-Aware Optimal Design of Actuation System for...

引用

IEEE-RAS international conference on Humanoid Robots

作者： Youngwoo Sim Guillermo Colin Joao Ramos Department of Mechanical Science and Engineering University of Illinois at Urbana Champaign USA

Athletic robots demand a whole-body actuation system design that utilizes motors up to the boundaries of their performance. However, creating such robots poses challenges of integrating design principles and reasoning of practical design choices. This paper presents a design framework that guides designers to find optimal design choices to create an actuation system that can rapidly generate torques and velocities required to achieve a given set of tasks, by minimizing inertia and leveraging cooperation between actuators. The framework serves as an interactive tool for designers who are in charge of providing design rules and candidate components such as motors, reduction mechanism, and coupling mechanisms between actuators and joints. A binary integer linear optimization explores design combinations to find optimal components that can achieve a set of tasks. The framework is demonstrated with 200 optimal design studies of a biped with 5-degree-of-freedom (DoF) legs, focusing on the effect of achieving multiple tasks (walking, lifting), constraining the mass budget of all motors in the system and the use of coupling mechanisms. The result provides a comprehensive view of how design choices and rules affect reflected inertia, copper loss of motors, and force capability of optimal actuation systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparing Participants' Brainwaves During Solo, Pair, and Mob programming 22nd

Comparing Participants' Brainwaves During Solo, Pair, and Mo...

引用

22nd international conference on Agile Software Development (XP)

作者： Shiraishi, Makoto Washizaki, Hironori Saito, Daisuke Fukazawa, Yoshiaki Waseda Univ Shinjuku City Tokyo Japan

ISBN: (纸本)9783030780982;9783030780975

Participants' feelings and impressions utilizing electroencephalography (EEG) and the effectiveness of code are compared for different types of programming sessions. EEG information is obtained as an alternate viewpoint during three programming sessions (solo, pair, and mob programming) MindWave Mobile 2 (brainwave detector) is equipped to collect the attention levels, meditation levels, and EEG brainwaves. These data are utilized to distinguish efficiencies, weaknesses, and points of interest by programming session. The results provide preliminary information to distinguish between the three sessions, but further studies are necessary to make firm conclusions. Additionally, alternative methods or systems are required to analyze the collected data.

关键词： Mob programming Pair programming programming Brainwaves EEG Meditation Attention

来源：评论

学校读者我要写书评

暂无评论

引用

IEEE international conference on Software Quality, Reliability and Security Companion (QRS-C)

作者： Jiandong Li Shaoying Liu Hiroshima University Hiroshima Japan

Fault prevention is important for software quality assurance. In this paper, we propose an approach for software fault prevention. The fault prevention effect is achieved by means of inferring correct order of implementing components in the formal specification, and automatic code generation for various components or fragments of components in a SOFL specification. The expected effect of the proposed approach is to provide guidance to programmers in formal specification-based programming, enhance their productivity and help them reduce the risk of introducing faults into software.

关键词： Productivity Codes Software quality programming Software reliability Security Formal specifications

来源：评论

学校读者我要写书评

暂无评论

A framework to support the development of empathic games 22

A framework to support the development of empathic games

引用

22nd Brazilian Symposium on Human Factorsin Computing Systems, IHC 2023

作者： Galvão, Vinícius Ferreira Maciel, Cristiano Dos Santos Nunes, Eunice Pereira Da Hora Rodrigues, Kamila Rios Instituto da Computação Universidade Federal de Mato Grosso MT Cuiabá Brazil Instituto de Computação Universidade Federal de Mato Grosso MT Cuiabá Brazil Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo São Carlos Brazil

ISBN: (纸本)9798400717154

A subcategory of games is gaining the attention of the academic community: Empathic Games. Games that forgo some of a game's pure entertainment value, in favor of allowing the player to experience how it is to be in "someone else's shoes"and deal with the challenges they face in their daily lives. For example, the daily routine of a doctor, the perspective of a person in a state of grief, how does a person afflicted with a physical disability overcome their limitations etc. There are works in many different areas that highlight the importance of empathy. However, there are very few works detailing how digital games generate empathy in the user. With this knowledge gap in mind, the present study details the creation of the conceptual framework CERCO (Components, Elements, Requirements, and COncepts) and the following artifacts: glossaries, synthesis of empathic games, historical analysis of the game industry use of empathic elements, design guidelines, and videos. This study sought to create a framework and artifacts to support professionals, of all levels of expertise, during the game-creating process;they constitute the main results of this study and are detailed further on how they can support the creation of empathic games that, via interaction, can be a tool to tackle difficult life subjects via interaction. © 2023 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Towards alterity in interaction codesign 22

Towards alterity in interaction codesign

引用

22nd Brazilian Symposium on Human Factorsin Computing Systems, IHC 2023

作者： Matos, Ecivaldo De Souza Zabot, Diego Garrido, Filipe Adeodato Dos Santos, Juliana Maria Oliveira Ribeirão Preto Brazil Salvador Brazil

ISBN: (纸本)9798400717154

Codesign is an approach that seeks the active participation of all stakeholders, including end users, valuing their contributions and considering their needs and experiences. However, a common challenge in codesign is the issue of alterity, which involves awareness and consideration of differences among people. Alterity is crucial to ensure the inclusion and relevance of design solutions for all involved parties. One of the problems related to alterity in codesign is the marginalization or lack of adequate representation of certain voices. This can lead to solutions that do not meet the needs of all users. It is essential to address this issue by including different perspectives, active listening, and consideration of the needs of diverse groups, aiming for alterity and accessibility throughout the design process. This paper presents examples of how alterity can or cannot manifest in interaction codesign processes, even when equitable participation is prompted and encouraged. As a methodology, we will use the Semio-Participatory Interaction Design Process (SPIDe) as a codesign process in two different implementations. © 2023 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Smart Wearable Device for Monitoring Pediatric Chronic Kidney Disease Patients

Smart Wearable Device for Monitoring Pediatric Chronic Kidne...

引用

IEEE SSD international Multi-conference on Systems, Signals and Devices

作者： Amna M. Anis Dana W. Al-Jalal Dana H. Al-Khowaiter Alanoud A. Al-Saeed Ibrahim A. Aljamaan Biomedical engineering department Collage of Engineering Imam Abdulrahman Bin Faisal University Dammam Saudi Arabia

ISBN: (数字)9798331542726

ISBN: (纸本)9798331542733

As children with chronic kidney disease (CKD) suffer a loss of kidney function over time, their susceptibility to cardiac and glycemic conditions such as hypertension, cardiomyopathy, low heart rate variability, and hyperglycemia increases, requiring an accurate, minimally invasive technique for management of the disease. This paper, therefore, proposes a prototype design for minimally invasive monitoring of the electrocardiogram (ECG), pulse saturation of oxygen (SpO2), blood pressure (BP), heart rate (HR), and glucose levels in children with CKD using comfortable sensors embedded as a chest belt. The focus of the study was on children aged 6 to 12 due to the prevalence of the disease at these ages, reflecting risk factors that are critical for the future. A system for signal processing and filtering was built in LABVIEW after collecting data of vital parameters from an online database. An alarm system, based on the parameters' ranges, was designed using fuzzy logic on Lab Viewalong with a MATLAB script to send messages to parents and doctors for deciding the required action.

关键词： Fuzzy logic Minimally invasive surgery Prototypes Electrocardiography Chronic kidney disease Glucose Biomedical monitoring Wearable devices Monitoring Diseases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：