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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
41 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
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,116 篇 英文
21 篇 其他
5 篇 中文

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

共 1140 条记录，以下是311-320 订阅

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

详细简洁

排序：

Software engineering and Formal Methods. SEFM 2022 Collocated Workshops 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Paolo Masci Cinzia Bernardeschi Maurizio Palmieri Pierluigi Graziani Mario Koddenbrock

ISBN: (数字)9783031262364

ISBN: (纸本)9783031262357

this volume constitutes the revised selected papers from the four workshops collocated with the 20th international conference on Software engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022.;the 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. the contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on artificial Intelligence for engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th international Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

关键词： Software engineering/programming and Operating Systems Computer System Implementation theory of Computation programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Design and Development of Light Communication Systems Using Modulation Techniques 7

Design and Development of Light Communication Systems Using ...

引用

7th international conference on Electronics, Communication and Aerospace Technology, ICECA 2023

作者： Ragumadhavan, R. Sateesh Kumar, D. Charyulu Rompicharla, L.N. Dhondiya, Shiv Ashish Kaliappan, Seeniappan. Natrayan, L. PSNA College of Engineering and Technology Department of Electronics and Communication Engineering Tamil Nadu Dindigul624622 India Koneru Lakshmaiah Education Foundation Department of Engineering Mathematics Andhra Pradesh Guntur522302 India VR Siddhartha Engineering College Department of Mathematics Andhra Pradesh Vijayawada520007 India Graphic Era Deemed to Be University Department of Computer Science and Engineering Uttarakhand Dehradun248002 India Velammal Institute of Technology Department of Mechanical Engineering Tamil Nadu Chennai601204 India Saveetha School of Engineering Department of Mechanical Engineering Tamil Nadu Chennai602107 India

ISBN: (纸本)9798350340600

this research study demonstrates the viability of adopting the planned IEEE 802.15.7 standard as a foundation for the creation of low-to-medium data rate VLC applications in the commercial sector. the proof-of-concept shown here combines software and hardware pieces to provide a versatile platform where new features may be introduced without much programming. It can be concluded that a VLC system's dual functionality requirement is readily met by adhering to the IEEE 802.15.7 standard standards. Using a commercial or specialty lighting microcontroller, the software define part of the approach provided here may be adapted to meet the low cost criterion imposed on commercial VLC LED luminaries. Many examples of greater data rate transmission by utilizing other modulation methods may be found in the VLC literature, but our system's goal was to showcase the potential of a VLC system that adheres to industry standards. the provided solution demonstrates that the IEEE 802.15.7 standard has reached a level of maturity where cost-effective, simple, and performant solutions may be deployed utilizing commercial off-the-shelf (COTS) devices for the aforementioned use cases. In order to improve the user experience and aid in the growth of the smart cities idea, VLC systems should not be considered as a replacement for Wi-Fi or any other wireless radio system. © 2023 IEEE.

关键词： Pulse width modulation

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive and Secure Trustless Blockchain Framework for Autonomous Vehicles 7

A Comprehensive and Secure Trustless Blockchain Framework fo...

引用

7th international conference on Trends in Electronics and Informatics, ICOEI 2023

作者： Rajendar, Sivaramakrishnan thangavel, Udhayakumar Devendran, Sarvesh Selvi, Vaishnavi Muthumanickam, Shanmuga Sundaram Kpr Institute of Engineering and Technology Department of Computer Science and Engineering Tamilnadu Coimbatore India

ISBN: (纸本)9798350397284

As Autonomous Vehicles (AVs) become increasingly prevalent, there is a growing need for secure and efficient data transfer between vehicles and other stakeholders in the transportation ecosystem. Blockchain technology has emerged as a promising solution to this challenge, offering a decentralized and tamper-resistant platform for storing and sharing data. this research study proposes a blockchain-based solution for addressing the challenges related to data security, ownership, trust, transparency, and auditability in AVs. It covers the use of blockchain for vehicle identity verification, secure data sharing, and real-time communication between AVs and other entities such as infrastructure and insurance providers. the proposed solution incorporates smart contracts, Merkle trees, and cloud storage to provide a trustless environment for data transfer and ensure that data is tamper-proof and auditable. the paper also provides a detailed implementation of the proposed solution. the findings of this research study provides a comprehensive overview of the state-of-the-art AVs and blockchain technology, highlighting the potential of this emerging field to transform the transportation industry. © 2023 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Software Reuse, ICSR, 2002

引用

7th international conference on Software Reuse, ICSR 2002

ISBN: (纸本)9783540434832

the proceedings contain 38 papers. the special focus in this conference is on Software Reuse. the topics include: Integrating and reusing GUI-driven applications;source tree composition;layered development with(unix) dynamic libraries;concurrent execution with sequential reasoning;concepts and guidelines of feature modeling for product line software engineering;domain modeling for world wide web based software product lines with UML;enhancing component reusability through product line technology;modeling variability with the variation point model;the impact of open-source on commercial vendors;integrating reference architecture definition and reuse investment planning;control localization in domain specific translation;model reuse with metamo del-based transformations;generation of text search applications for databases;domain networks in the software development process;supporting reusable use cases;project management knowledge reuse through scenario models;adaptation of coloured petri nets models of software artifacts for reuse;improving hazard classification through the reuse of descriptive arguments;service oriented programming: a new paradigm of software reuse;an empirical user study of an active reuse repository system;towards the formalization of a reusability framework for refactoring;extending abstract factories to decouple advanced dependencies;software fortresses;the case against a grand unification theory;international workshop on reuse economics;workshop on generative programming 2002 (GP2002);industrial experience with product line approaches;workshop on software reuse and agile approaches;software architecture quality analysis methods;tutorial on practical product line scoping and modeling;generative reuse for software generation, maintenance and reengineering;building reusable test assets for a product line;architecture-centric software engineering;practical strategies and techniques for adopting software product lines;methods, techniques, and applic

关键词：

来源：评论

学校读者我要写书评

暂无评论

High-Performance Computing and Networking 1

引用

丛书名： Lecture Notes in Computer science

1000年

ISBN: (数字)9783540489337

ISBN: (纸本)9783540658214

this book constitutes the refereed proceedings of the 7th international conference on High-Performance Computing and Networking, HPCN Europe 1999, held in Amsterdam, the Netherlands in April 1999.;the 115 revised full papers presented were carefully selected from a total of close to 200 conference submissions as well as from submissions for various topical workshops. Also included are 40 selected poster presentations. the conference papers are organized in three tracks: end-user applications of HPCN, computational science, and computer science; additionally there are six sections corresponding to topical workshops.

关键词： Software engineering/programming and Operating Systems Computer Communication Networks theory of Computation Mathematics of Computing Algorithm Analysis and Problem Complexity Computational Mathematics and Numerical Analysis

来源：评论

学校读者我要写书评

暂无评论

QOMA2: Optimizing the alignment of many sequences

QOMA2: Optimizing the alignment of many sequences

引用

7th IEEE international conference on Bioinformatics and Bioengineering, BIBE

作者： Zhang, Xu Kahveci, Tamer Computer and Information Science and Engineering University of Florida Gainesville FL 32611 United States

ISBN: (纸本)1424415098

We consider the problem of aligning multiple protein sequences with the goal of maximizing the SP (Sum-of-Pairs) score, when the number of sequences is large. the QOMA (Quasi-Optimal Multiple Alignment) algorithm addressed this problem when the number of sequences is small. However, as the number of sequences increases, QOMA becomes impractical. this paper develops a new algorithm, QOMA2, which optimizes the SP score of the alignment of arbitrarily large number of sequences. Given an initial (potentially sub-optimal) alignment, QOMA2 selects short subsequences from this alignment by placing a window on it. It quickly estimates the amount of improvement that can be obtained by optimizing the alignment of the subsequences in short windows on this alignment. this estimate is called the SW (Sum of Weights) score. It employs a dynamic programming algorithm that selects the set of window positions with the largest total expected improvement. It partitions the subsequences within each window into clusters such that the number of subsequences in each cluster is small enough to be optimally aligned within a given time. Also, it aims to select these clusters so that the optimal alignment of the subsequences in these clusters produces the highest expected SP score. the experimental results show that QOMA2 produces high SP scores quickly even for large number of sequences. they also show that the SW score and the resulting SP score are highly correlated. this implies that it is promising to aim for optimizing the SW score since it is much cheaper than aligning multiple sequences optimally. the software and the benchmark data set are available from the authors on request. ©2007 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Smartphone based Human Activity Recognition using CNNs and Autoencoder Features 7

Smartphone based Human Activity Recognition using CNNs and A...

引用

7th international conference on Trends in Electronics and Informatics, ICOEI 2023

作者： Mitra, Sowmen Kanungoe, Proma School of Artificial Intelligence Hebei University of Technology Department of Computer Science and Technology Beijing China School of Information Technology and Engineering Vellore Institute of Technology Department of Information Technology Vellore India

ISBN: (纸本)9798350397284

Recognition of human activities is essential for many applications, and the widespread availability of low-cost sensors on smartphones and wearables has enabled the development of mobile apps capable of tracking user activities 'in the wild.' However, dealing with heterogeneous data from different devices and real-time scenarios presents significant challenges. In this study, a novel learning framework is proposed for Human Activity Recognition (HAR) that combines a Convolutional Neural Network (CNN) with an autoencoder for feature extraction. the study also investigates the importance of preprocessing techniques, including orientation-independent transformation, to mitigate heterogeneity when dealing with multiple types of smartphones. the results show that the proposed approach outperforms state-of-the-art methods in HAR, with an accuracy of 95.74% on the heterogeneous dataset used in this study. Furthermore, the study demonstrates that proposed framework can be effectively deployed on smartphones with limited computational resources, making it suitable for real-world applications. © 2023 IEEE.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 1

引用

丛书名： Lecture Notes of the Institute for Computer sciences, Social Informatics and Telecommunications engineering

1000年

作者： Dragan Perakovic Lucia Knapcikova

ISBN: (数字)9783031500510

ISBN: (纸本)9783031500503

this book constitutes the refereed post-conference proceedings of the 7th international conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2023, held in Bratislava, Slovakia, in October 2023.;the 14 revised full papers were carefully reviewed and selected from 35 submissions.;the papers are organized in thematic sessions on: future access networks; sustainable communications and computing infrastructures; smart environment applications / scenarios.

关键词： Computer Communication Networks Data Structures and Information theory Software engineering/programming and Operating Systems Computer Applications artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Integrated Formal Methods 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Michael Leuschel Heike Wehrheim

ISBN: (数字)9783642002557

ISBN: (纸本)9783642002540

this book constitutes the refereed proceedings of the 7th international conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. the 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. the papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.

关键词： Logics and Meanings of Programs Software engineering programming Languages, Compilers, Interpreters programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Tests and Proofs 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Margus Veanes Luca Viganò

ISBN: (数字)9783642389160

ISBN: (纸本)9783642389153

this book constitutes the refereed proceedings of the 7th international conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated conferences. the 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. the papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. the papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.

关键词： Software engineering programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages programming Languages, Compilers, Interpreters Simulation and Modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：