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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,066 篇 会议
63 册 图书
9 篇 期刊文献

馆藏范围

1,138 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

705 篇 工学
- 567 篇 计算机科学与技术...
- 479 篇 软件工程
- 135 篇 信息与通信工程
- 131 篇 控制科学与工程
- 99 篇 电气工程
- 71 篇 生物工程
- 64 篇 机械工程
- 55 篇 动力工程及工程热...
- 52 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
192 篇 管理学
- 138 篇 管理科学与工程(可...
- 80 篇 工商管理
- 68 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
40 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
22 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
17 篇 computer science
17 篇 heuristic algori...
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 department of co...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,114 篇 英文
21 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1138 条记录，以下是1-10 订阅

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

详细简洁

排序：

programming 2023 Companion - Proceedings of the 7th international conference on the art, science, and engineering of programming

Programming 2023 Companion - Proceedings of the 7th Internat...

引用

7th international conference on the art, science, and engineering of programming, programming 2023

ISBN: (纸本)9798400707551

the proceedings contain 17 papers. the topics discussed include: a compact and extensible portable scheme VM;threaded execution as a dual to native code;implementation and evaluation of an interpreter for functional reactive programming on small embedded devices;cross-language interoperability of heterogeneous code;clerk: moldable live programming for Clojure;five futures with AI coding agents;multiple-representation visual compositional dataflow programming;my space, our space, their space: a first glance at developers’ experience of spaces;object-centric time-travel debugging: exploring traces of objects;probe log: visualizing the control flow of Babylonian programming;programmer stories, stories for programmers: exploring storytelling in software development;and ReactCOP supporting layer parameter management for front-end web applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Teaching Practice of C Language programming under the Constructivist Learning Paradigm 24

Teaching Practice of C Language Programming under the Constr...

引用

7th international conference on Educational Technology Management, ICETM 2024

作者： Zhao, Wei Nie, Zhenhua Li, Xiaoming School of Mechanics and Construction Engineering Jinan University Guangdong Guangzhou China

ISBN: (纸本)9798400717468

the construction of new engineering disciplines and the "Double Tops" initiative have put forward new requirements for the training of engineering professionals. Taking the course of C language programming as an example, this paper analyzes the pain points in current course teaching, combines the characteristics of students’ learning situation, takes students as the center, and based on the knowledge graph, an effective tool for organizing resources, carries out a modular teaching practice of C language programming design under the constructivist learning paradigm. Integrating the OBE (Outcomes-Based Education) concept into teaching, it enhances students’ practical ability, cultivates their computational thinking, and highlights the training of students’ ability to analyze and solve complex engineering problems and creative thinking. the exploration and practice of this course teaching can provide reference and reference for the teaching design of other programming courses. © 2024 Copyright held by the owner/author(s).

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Optimisation-Based Classification Tree: A Game theoretic Approach to Group Fairness 7th

Optimisation-Based Classification Tree: A Game Theoretic App...

引用

7th international conference on Optimization and Learning

作者： Liapis, Georgios I. Papageorgiou, Lazaros G. UCL Univ Coll London Dept Chem Engn Sargent Ctr Proc Syst Engn Torrington Pl London WC1E 7JE England

ISBN: (纸本)9783031779404;9783031779411

the growing use of machine learning algorithms in decisions that significantly affect people necessitate interpretable and fair approaches. Mathematical programming based machine learning models have attracted attention because of the flexibility they provide to integrate features like interpretability and fairness, combined with high accuracy. this work introduces a mathematical programming based classification tree that uses a game theoretic approach to address group fairness. the proposed mathematical formulation is a Mixed Integer Linear programming model using a piecewise linearisation strategy based on special-ordered sets. the overall misclassification rate is the fairness metric examined and the Nash bargaining scheme is followed to balance the trade off between the misclassification error of the groups. the efficiency of the methodology is evaluated via three binary and multi-class literature datasets, which provide evidence for the fairness and accuracy of the predictions made by the model.

关键词： Machine learning Fairness Mathematical programming Data classification Game theory

来源：评论

学校读者我要写书评

暂无评论

Development and Application of E-learning Software for engineering Design Courses 24

Development and Application of E-learning Software for Engin...

引用

7th international conference on Big Data and Education, ICBDE 2024

作者： Zhang, Yajuan Liang, Meiqin Wang, Shang Xu, Guojing Bai, Pengshihan College of Automation Engineering Beijing Polytechnic Beijing China School of Automotive Engineering Beijing Polytechnic Beijing China College of Material Science and Engineering Beijing University of Technology Beijing China School of Metallurgical and Ecological Engineering University of Science and Technology Beijing Beijing China

ISBN: (纸本)9798400716980

engineering design course is renowned for its abstraction and complexity, which can have an impact on the quality of classroom instruction. To address this issue, this study has undertaken the design and development of an E-learning software utilizing simulation technology and the C# programming language. With a focus on the challenging topic of torsion resistance coefficient, a 3D model of the gearbox shaft was established, and simulation calculations were used to obtain digital resources such as Mises stress plots. Leveraging these resources, an E-learning software was created, garnering widespread recognition with a high approval rate of 92.86% among students. this software effectively utilizes digital resources to aid students in comprehending abstract concepts and significantly enhances their enthusiasm for learning. the findings of this research contribute to the field of E-learning and provide valuable references for future design and development of engineering design case studies. © 2024 Copyright held by the owner/author(s).

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Extreme programming and Agile Processes in Software engineering - 7th international conference, XP 2006, Proceedings

引用

7th international conference on Extreme programming and Agile Processes in Software engineering, XP 2006

ISBN: (纸本)3540350942

the proceedings contain 30 papers. the topics discussed include: a distributed cognition account of mature XP teams;foundations of agile decision making from agile mentors and developers;software development as a collaborative writing project;comparative analysis of job satisfaction in agile and non-agile software development teams;the collaborative nature of pair programming;leveraging code smell detection with inter-smell relations;studying the evolution of quality metrics in an agile/distributed project;the effect of test-driven development on program code;configuring hybrid agile-tradition software processes;agility in the avionics software world;security planning and refactoring in extreme programming;augmenting the agile planning toolbox;and storytelling in interaction: agility in practice.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Enhancing Robustness of Smart Contracts through Declarations 7th

Enhancing Robustness of Smart Contracts Through Declaration...

引用

7th international conference on Blockchain, ICBC 2024, Held as Part of the Services conference Federation, SCF 2024

作者： Shyamasundar, R.K. Borse, Snehal Ummair, Mohammad Department of Computer Science and Engineering Indian Institute of Technology Bombay Mumbai400076 India

ISBN: (纸本)9783031770944

Run-time monitoring has been one of the widely used techniques to realize robust smart contracts. In this paper, we show how we can abstract aspects of run-time monitoring through declarations of programming languages so that a majority of run-time monitoring code required for preserving the intended semantics of Solidity and thereby overcome vulnerabilities can be instrumented automatically at compile time itself. For illustrative purposes, we use Solidity and call the augmented Solidity language SolidityD. SolidityDsyntactically is identical to Solidity except for declarations. the declarations preserve the intended semantics of various constructs and thus overcome a large number of vulnerabilities. We illustrate how a vast variety of vulnerabilities encountered in programming smart contracts in Solidity are overcome through declarations. Declarations envisaged in SolidityDare similar to that used in classic concurrent programming languages and are easily visualizable by the programmer. Declarations lead to automatic introduction of run-time code at compilation time needed to satisfy various executional constraints needed to satisfy the semantic requirements of declarations. Further, we demonstrate that SolidityD, can be automatically transformed to pure Solidity: thus, enabling an effective debugging at source level rather than at the byte or EVM level. Another important outcome of using SolidityD, is that it can be effectively used for asserting coarse-grained properties of declarations. Such a feature leads to gaining trust in the usage of smart contracts. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Research on visualization of minority music knowledge graph based on Neo4j 24

Research on visualization of minority music knowledge graph ...

引用

7th international conference on Information science and Systems, ICISS 2024

作者： Mao, ChunXia Wen, ShuangBing Liu, Hong Hu, Tao Li, Jun College of Intelligent Systems Science and Engineering Hubei Minzu University China Hubei Engineering Research Center of Selenium Food Nutrition and Health Intelligent Technology Hubei Minzu University China School of Music and Dance Hubei Minzu University China The Key Laboratory of Performing Art Equipment and System Technology Ministry of Culture and Tourism Hubei Minzu University China

ISBN: (纸本)9798400717567

the digital age has created various channels for the sustainable development of traditional culture. A Neo4j-based knowledge graph for Tujia Intangible cultural heritage music was constructed to address the potential loss of Tujia Intangible cultural heritage music. the project involved integrating and consolidating Tujia Intangible cultural heritage music resources, organizing and cleaning the collected data, storing it in a Neo4j graph database, designing a knowledge base ontology model, and completing the construction of the Tujia Intangible cultural heritage music knowledge graph. the knowledge graph makes the knowledge of music and cultural heritage explicit from vast information resources, effectively expanding its dissemination breadth and promoting the protection and inheritance of intangible cultural heritage music in ethnic areas. © 2024 Copyright held by the owner/author(s).

关键词： Knowledge graph

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Software Language engineering, SLE 2014

7th International Conference on Software Language Engineerin...

引用

7th international conference on Software Language engineering, SLE 2014

ISBN: (纸本)9783319112442

the proceedings contain 19 papers. the special focus in this conference is on Software Language engineering. the topics include: Framework for generating domain-specific property languages;a SAT-based debugging tool for state machines and sequence diagrams;towards user-friendly projectional editors;island parsing without shipwrecks;a language composition editor;a framework for developing domain-specific debuggers;evaluating the usability of a visual feature modeling notation;a metamodel family for role-based modeling and programming languages;a choreographic framework for safe adaptive distributed applications;fUML as an assembly language for model transformation;respect your parents: how attribution and rewriting can get along;a disintegrated development environment;model checking of CTL-extended OCL specifications;unifying and generalizing relations in role-based data modeling and navigation;origin tracking in attribute grammars;dynamic scope discovery for model transformations;streamlining control flow graph construction with DCFlow and test-data generation for xtext (tool paper).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 7th international conference Confluence 2017 on Cloud Computing, Data science and engineering

Proceedings of the 7th International Conference Confluence 2...

引用

7th international conference on Cloud Computing, Data science and engineering, Confluence 2017

ISBN: (纸本)9781509035182

the proceedings contain 148 papers. the topics discussed include: a practical approach of GPU bubble sort with CUDA hardware;web log analyzer tools: comparative study to analyze user behavior;a survey on driver behavior detection techniques for intelligent transportation systems;genetic programming and k-nearest neighbour classifier based intrusion detection model;an efficient hybrid approach using differential evolution and practical swarm optimization;designing optimal architecture of neural network with particle swarm optimization techniques specifically for educational dataset;cuckoo search based workflow scheduling on heterogeneous cloud resources;MSATS: multilingual sentiment analysis via text summarization;substantiation of K-means and affinity propagation algorithm;software effort estimation using machine learning techniques;root cause analysis of software bugs using machine learning techniques;efficient coordinator guided particle swarm optimization for real-parameter optimization;multi-modal travel in India: big data approach for policy analytics;analysis of various task scheduling algorithms in cloud environment: review;efficient management of distributive cloud computing system for scientific applications;workload scheduling in cloud: comprehensive survey and future research directions;deadline constrained scheduling of scientific workflows on cloud using hybrid genetic algorithm;understanding the business strategy factors that drive the business impacts of cloud computing;implementation of k-means clustering in ECB framework of cloud computing environment;and a graph semantic based approach for modeling of enterprise cloud bus system dynamics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

GRU-Based Winner Subcarrier Detection in Frequency Domain Contention 24

GRU-Based Winner Subcarrier Detection in Frequency Domain Co...

引用

7th international conference on Information science and Systems, ICISS 2024

作者： Yao, Shumin Zhao, Qinglin Xu, Zezhou Feng, Li Li, Guanghui Tian, Liwei Sun, Yi School of Computer Science and Engineering Macau University of Science and Technology China Department of Broadband Communication Pengcheng Laboratory China School of Artificial Intelligence and Computer Science Jiangnan University China Department of Computer Guangdong University of Science and Technology China Institute of Computing Technology Chinese Academy of Sciences China

ISBN: (纸本)9798400717567

Single-carrier frequency domain contention (S-FDC) is an efficient wireless contention mechanism based on orthogonal frequency-division multiplexing (OFDM). In each round of S-FDC, each node randomly selects and signals on one of the OFDM subcarriers while listening to all subcarriers simultaneously. Each node independently detects the activated subcarrier with the smallest index and regards it as the winner subcarrier. Accurately detecting the winner subcarrier is crucial to ensuring the functionality of the network. However, it is extremely difficult in practice due to power leakage problems that arise from frequency asynchronization among nodes. In this paper, we propose a gated-recurrent-unit (GRU)-based model that incorporates S-FDC’s unique features as domain knowledge to enable accurate winner subcarrier detection. Extensive simulation experiments verify that our DL model is effective and outperforms state of the art. this research highlights the potential of DL in improving wireless communication systems. © 2024 Copyright held by the owner/author(s).

关键词： Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：