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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

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

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

详细简洁

排序：

Proceedings of WACCPD 2022: 9th Workshop on Accelerator programming Using Directives, Held in conjunction with SC 2022: the international conference for High Performance Computing, Networking, Storage and Analysis

Proceedings of WACCPD 2022: 9th Workshop on Accelerator Prog...

引用

9th Workshop on Accelerator programming Using Directives, WACCPD 2022

ISBN: (纸本)9781665490191

the proceedings contain 6 papers. the topics discussed include: analysis of validating and verifying OpenACC compilers 3.0 and above;OmpSs-2 and OpenACC interoperation;extending MAGMA portability with OneAPI;KokkACC: enhancing Kokkos with OpenACC;SPEL: software tool for porting E3SM land model with OpenACC in a function unit test framework;and GPU-accelerated sparse matrix vector product based on element-by-element method for unstructured FEM using OpenACC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

9th international Workshop on Cyber-Security and functional Safety in Cyber-Physical Systems, IWCFS 2024, 4th international Workshop on AI System Engineering: Math, Modelling and Software, AISys 2024, and 2nd international Workshop on Certainty in Uncertainty: Exploring Probabilistic Approaches in AI, CIU 2024 held at the 35th international conference on Database and Expert Systems Applications, DEXA 2024

9th International Workshop on Cyber-Security and Functional ...

引用

9th international Workshop on Cyber-Security and functional Safety in Cyber-Physical Systems, IWCFS 2024, 4th international Workshop on AI System Engineering: Math, Modelling and Software, AISys 2024, and 2nd international Workshop on Certainty in Uncertainty: Exploring Probabilistic Approaches in AI, CIU 2024 held at the 35th international conference on Database and Expert Systems Applications, DEXA 2024

ISBN: (纸本)9783031683015

the proceedings contain 10 papers. the special focus in this conference is on Database and Expert Systems Applications. the topics include: An Automated Ontology-Based Requirements Traceability Technique in Agile Software Development Context;toward a Knowledge-Based Anomaly Identification System for Detecting Anomalies in the Smart Grid;On the Solvability of the XOR Problem by Spiking Neural Networks;Risk Assessment in AI System Engineering: Experiences and Lessons Learned from a Practitioner’s Perspective;from Paper to Pixels: A Multi-modal Approach to Understand and Digitize Assembly Drawings for Automated Systems;Uncertainty Estimation of Raters’ Performance and Ground Truth through a Bayesian Extension of STAPLE;uncertainty Estimation for Energy Consumption Nowcasting;knowledge Guided Clustering Medieval Polychromy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Study of Factors Influencing programming Anxiety Among Non-Computer Students 9

A Study of Factors Influencing Programming Anxiety Among Non...

引用

9th international conference on Information and Education Innovations (ICIEI)

作者： Jiang, Yongling Wu, Huanhuan Yu, Xiaodan Ji, Tingting Ocean Univ China Fundamental Comp Dept Qingdao Peoples R China Ocean Univ China Dept Educ Qingdao Peoples R China

ISBN: (纸本)9798400716409

programming anxiety encompasses negative emotions, including uneasiness, panic, fear, and nervousness experienced by students while learning a computer programming language. Evidence indicates that programming anxiety impedes students' programming ability and performance. Nine non-computer science students undertaking Python programming course were selected for semi-structured interviews based on the outcomes of programming Anxiety Scale. Based on interview findings, it was discovered that students' self-efficacy, features of programming courses, teaching beliefs of instructors, support platforms, and programming-related subjects may cause programming anxiety. To mitigate this, various instructional strategies were suggested to increase programming skills and alleviate the adverse impact of programming anxiety.

关键词： programming anxiety self-efficacy teaching beliefs course attributes

来源：评论

学校读者我要写书评

暂无评论

Designing Transient Stability Controllers for Power Systems via Sum-of-Squares programming 9

Designing Transient Stability Controllers for Power Systems ...

引用

9th international conference on Power and Renewable Energy

作者： Qin, Yingjie Liu, Yu Chen, Deyang Wang, Xinwei Miao, Lu Fan, Wei Chen, Zengjie Zhang, Yuhan Liao, Jiemin Guangdong Power Grid Corp Elect Dispatching & Control Ctr Guangzhou Peoples R China South China Univ Technol Sch Elect Power Engn Guangzhou Peoples R China

ISBN: (纸本)9798350377477;9798350377460

Traditional stability controllers are constructed based on the equilibrium points of power systems and fail to meet the performance criteria under large disturbances. In this paper, an algorithm has been proposed to design transient stability controllers for power system using Sum-of-squares (SOS) programming which is a powerful technique able to answer many analysis questions for nonlinear systems. Since the SOS programming only deals with polynomial systems, first we recast the power system model into polynomial form. then we derive the algorithm from the Lyapunov theory to search for stability controllers of power systems, by introducing the so-called target region and expanding the estimated stability region. the effectiveness of our algorithm is demonstrated on the IEEE 3-machine-9-bus power system.

关键词： power systems transient stability nonlinear controllers sum-of-squares programming

来源：评论

学校读者我要写书评

暂无评论

Neural Network-based Lyapunov Stability Verification for Continuous-time Nonlinear Systems via Mixed Integer Linear programming 9

Neural Network-based Lyapunov Stability Verification for Con...

引用

9th international conference on Control and Robotics Engineering (ICCRE)

作者： Wang, Jingya Yu, Yongbin Wang, Xiangxiang Feng, Xiao Han, Xinyi Cai, Jingye Univ Elect Sci & Technol China Sch Informat & Software Engn Chengdu Peoples R China

ISBN: (纸本)9798350372694;9798350372700

this paper discusses Lyapunov stability verification methods for continuous-time nonlinear systems. Traditional mathematical methods require a lot of manual calculations, which consume a lot of time and energy. To address the problem of the low efficiency in traditional methods, this paper introduces neural networks into the design of the Lyapunov function to achieve independent verification. First, a neural network is used to represent the Lyapunov function. then, the Lyapunov stability condition is converted into a mixed integer linear programming (MILP) problem, and the solution to the optimization problem is solved through the MILP solver to verify whether the output of the neural network satisfies the Lyapunov stability condition. In addition, this paper gives the training loss function of the Lyapunov neural network, which mainly consists of optimization problems. Finally, a simulation example is given to illustrate the effectiveness of this method.

关键词： neural networks Lyapunov function continuous-time nonlinear systems mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

CodeSafari: A Customized Mobile Solution for Introducing programming Concepts to Children 9

CodeSafari: A Customized Mobile Solution for Introducing Pro...

引用

9th international conference on Information Technology Research

作者： Fahmi, M. F. A. Sanjeevan, M. C. M. A. Siriwardana, Samanthi E. R. Samaraweera, Mihiri Sri Lanka Inst Informat Technol Dept Comp Sci & Software Engn Malabe Sri Lanka Sri Lanka Inst Informat Technol Dept Informat Technol Malabe Sri Lanka

Following the COVID-19 pandemic, Sri Lanka9;s economy faced significant setbacks, particularly in key sectors such as tea exports, garment manufacturing, and tourism, which experienced severe downturns. However, th... 详细信息

ISBN: (纸本)9798331511425;9798331511432

Following the COVID-19 pandemic, Sri Lanka's economy faced significant setbacks, particularly in key sectors such as tea exports, garment manufacturing, and tourism, which experienced severe downturns. However, the IT sector showed resilience amid these challenges, highlighting its potential to drive economic growth. Despite this potential, Sri Lanka has struggled to capitalize fully on global demand for IT services due to a skills gap among Sri Lankan youth compared to their Indian counterparts. India's IT outsourcing industry has thrived partly because of the early involvement of young professionals in open-source projects such as the Android Open Source Project (AOSP), Linux Kernel and React. this trend underscores the importance of foundational programming education to develop competitive technical skills from a young age. To address this gap, authors developed a mobile learning solution CodeSafari, designed to introduce core programming concepts data types, conditional statements, and loops to young Sri Lankan learners. the platform uses Personalized Storytelling and a Customized Kids Assisting System in students' native language, making programming more accessible. programming training with the app improved test scores for 58 percent of participants. By addressing the skills gap early, this research aims to build a strong IT foundation for Sri Lankan students, positioning them to compete more effectively in the global outsourcing market. these findings underscore the essential role of programming education in fostering economic resilience and preparing a workforce capable of thriving in an evolving technology landscape.

关键词： AI Neuralnet Mobile Application PyTorch LLM

来源：评论

学校读者我要写书评

暂无评论

Comprehensive Investigation of Code Assessment Tools in programming Courses 9

Comprehensive Investigation of Code Assessment Tools in Prog...

引用

9th IEEE international conference for Convergence in Technology, I2CT 2024

作者： Rajesh, Sanjay Rao, Vineeth V. thushara, M.G. Amrita Vishwa Vidyapeetham Amrita School of Computing Department of Computer Science And Applications Amritapuri India

programming assignments are crucial in programming courses designed to improve students9; practical programming skills. Assessment of these assignments are vital for instructors to evaluate student progress and pro... 详细信息

ISBN: (纸本)9798350394474

programming assignments are crucial in programming courses designed to improve students' practical programming skills. Assessment of these assignments are vital for instructors to evaluate student progress and provide valuable feedback. While manual assessment is effective, it is tedious and time-consuming, leading to an increased demand for Automated Assessment Tools. Integrating automated code assessment tools in programming courses stands out as a transformative approach, significantly enhancing the efficiency and effectiveness of the assessment process. through a meticulous evaluation, this study explores the leading open-source automated code assessment tools, their assessment methods, and feedback mechanisms. Moreover, this paper briefly discusses the important strengths and limitations of these tools. © 2024 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Transient Stability Analysis of Multi-Machine Power Systems Based on Sum of Squares programming and Coherency Dynamic Equivalents 9

Transient Stability Analysis of Multi-Machine Power Systems ...

引用

9th international conference on Power and Renewable Energy

作者： Qin, Yingjie Fan, Wei Chen, Deyang Liu, Yu Miao, Lu Chen, Lei Guangdong Power Grid Corp Elect Dispatching & Control Ctr Guangzhou Peoples R China South China Univ Technol Sch Elect Power Engn Guangzhou Peoples R China

ISBN: (纸本)9798350377477;9798350377460

Transient stability analysis (TSA) of large-scale power systems is one of the most computationally significant tasks. To reduce the difficulty of this task, this paper uses a coherency-based dynamic equivalent method to obtain the aggregation model of multi-machine systems, which is a valid approach to reducing the size of power system model. Based on this aggregation model, the expanding annular domain (EAD) algorithm based on sum of squares (SOS) programming is employed to estimate the domain of attraction (DA) of the aggregation model, which provides an approximate description of transient stability of the original system model. the validity of our proposed methodology is illustrated on a 15-machine 73-bus system. Simulation results show that the proposed method can provide better estimates in terms of DA and critical clearing time (CCT) for large-scale power systems.

关键词： Transient stability analysis domain of attraction Lyapunov function sum of squares programming coherency dynamic equivalents multi-machine power systems

来源：评论

学校读者我要写书评

暂无评论

Energy Optimization in Software: A Comparative Analysis of programming Languages and Code-Execution Strategies 9

Energy Optimization in Software: A Comparative Analysis of P...

引用

9th international Engineering, Sciences and Technology conference, IESTEC 2024

作者： Camargo-Henriquez, Ismael Martinez-Rojas, Anthony Castillo-Sanchez, Gema Universidad Tecnológica de Panamá Panamá Panama

ISBN: (纸本)9798350377156

this study investigates the differences in energy consumption between various programming languages, comparing those executed natively with those run on a Virtual Machine. the results challenge existing assumptions about the energy efficiency of software development practices. the findings reveal a positive correlation between the code execution strategy and resource consumption. Additionally, the study identifies key factors influencing the energy efficiency of applications beyond the choice of programming language. this research offers valuable insights for developers aiming to optimize energy consumption in their projects and prompts further questions regarding the future of development platforms and sustainable programming practices. © 2024 IEEE.

关键词： energy consumption energy efficiency green software programming languages software sustainability

来源：评论

学校读者我要写书评

暂无评论

Analyzing Transient Voltage Stability Using DA of A State-Reduction Model of Power Systems 9

Analyzing Transient Voltage Stability Using DA of A State-Re...

引用

9th international conference on Power and Renewable Energy

作者： Qin, Yingjie Chen, Deyang Liu, Yu Fan, Wei Miao, Lu Hao, Qianghui Zhang, Yuhan Liao, Jiemin Guangdong Power Grid Corp Elect Dispatching & Control Ctr Guangzhou Peoples R China South China Univ Technol Sch Elect Power Engn Guangzhou Peoples R China

ISBN: (纸本)9798350377477;9798350377460

High complexity is one of harsh problems in transient voltage stability analysis (TVSA) of power systems. To overcome this difficulty, a state-reduction model incorporating induction motors (IMs) has been considered. And an expanding interior algorithm based on Sum of Squares (SOS) programming is adopted to estimate the domain of attraction (DA) of the state-reduction model for TVSA. First the state space is transformed to polynomial space using coordinate transformation. then based on Lyapunov stability theorems, relaxed constraints for the DA are derived. then the expanding interior algorithm based on SOS programming is utilized to simultaneously optimize the Lyapunov function and the DA. the proposed methodology is validated through modified IEEE test cases, demonstrating its effectiveness and robustness in enhancing transient voltage stability assessment in complex power systems.

关键词： transient voltage stability domain of attraction SOS programming expanding interior algorithm state-reduction model

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：