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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

561 篇 会议
50 册 图书
46 篇 期刊文献

馆藏范围

655 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

361 篇 工学
- 304 篇 计算机科学与技术...
- 163 篇 软件工程
- 50 篇 电气工程
- 44 篇 控制科学与工程
- 36 篇 信息与通信工程
- 15 篇 电子科学与技术（可...
- 11 篇 生物医学工程（可授...
- 10 篇 机械工程
- 8 篇 材料科学与工程（可...
- 8 篇 核科学与技术
- 7 篇 仪器科学与技术
- 6 篇 光学工程
- 6 篇 动力工程及工程热...
- 6 篇 生物工程
- 5 篇 化学工程与技术
- 4 篇 力学（可授工学、理...
169 篇 理学
- 124 篇 数学
- 41 篇 物理学
- 20 篇 统计学（可授理学、...
- 18 篇 生物学
- 17 篇 系统科学
- 8 篇 化学
37 篇 管理学
- 20 篇 管理科学与工程(可...
- 19 篇 图书情报与档案管...
- 11 篇 工商管理
12 篇 医学
- 9 篇 基础医学(可授医学...
- 9 篇 临床医学
6 篇 农学
- 4 篇 作物学
4 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 经济学
1 篇 文学

主题

66 篇 evolutionary com...
31 篇 computation theo...
28 篇 genetic algorith...
21 篇 theory of comput...
19 篇 optimization
19 篇 artificial intel...
15 篇 computation by a...
15 篇 algorithm analys...
13 篇 software enginee...
12 篇 computational mo...
11 篇 convergence
11 篇 signal processin...
10 篇 discrete mathema...
10 篇 evolutionary alg...
10 篇 algorithm design...
10 篇 biological cells
8 篇 resource managem...
8 篇 computers
8 篇 clustering algor...
8 篇 congresses.

机构

4 篇 international in...
3 篇 college of compu...
3 篇 xidian univ key ...
2 篇 college of compu...
2 篇 aiken computatio...
2 篇 cloud computing ...
2 篇 school of inform...
2 篇 kombolcha instit...
2 篇 school of marxis...
2 篇 intel china rese...
2 篇 duke univ dept e...
2 篇 shanghai jiao to...
2 篇 zhejiang univ pe...
2 篇 university of ki...
2 篇 dalhousie univ d...
2 篇 univ cagliari di...
2 篇 univ bergen dept...
2 篇 democritus unive...
2 篇 ucl dept clin ne...
2 篇 university of ge...

作者

5 篇 jiao lc
2 篇 ma shaojuan
2 篇 jinde cao
2 篇 liu qh
2 篇 ouyang dantong
2 篇 wilde michael
2 篇 meisinger michae...
2 篇 maheshwari ketan
2 篇 takagi t
2 篇 li zheng
2 篇 j.m. colom
2 篇 toshio takahashi
2 篇 song ky
2 篇 silva m.
2 篇 andersen reid
2 篇 khalid zine-dine
2 篇 chen zz
2 篇 roos robert s.
2 篇 sun jigui
2 篇 fritschy j

语言

635 篇 英文
13 篇 其他
9 篇 中文

检索条件"任意字段=5th International Workshop on Algorithms and Computation"

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

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

详细简洁

排序：

WALCOM: algorithms and computation - 5th international workshop, WALCOM 2011, Proceedings

WALCOM: Algorithms and Computation - 5th International Works...

引用

5th Annual workshop on algorithms and computation, WALCOM 2011

ISBN: (纸本)9783642190933

the proceedings contain 22 papers. the topics discussed include: geometry and topology from point cloud data;the disjoint paths problem: algorithm and structure;maximum betweenness centrality: approximability and tractable cases;approximation algorithms for minimum chain vertex deletion;oblivious buy-at-bulk in planar graphs;the complexity of acyclic subhypergraph problems;inapproximability of b-matching in k-uniform hypergraphs;efficient computation of time-dependent centralities in air transportation networks;analysis of gauss-sieve for solving the shortest vector problem in lattices;minimum enclosing circle of a set of fixed points and a mobile point;efficient top-k queries for orthogonal ranges;range-aggregate queries involving geometric aggregation operations;multi cover of a polygon minimizing the sum of areas;and hashed patricia trie: efficient longest prefix matching in peer-to-peer systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PAAR+SC-Square 2020 - Joint Proceedings of the 7th workshop on Practical Aspects of Automated Reasoning and the 5th Satisfiability Checking and Symbolic computation workshop 2020, co-located with the 10th international Joint Conference on Automated Reasoning, IJCAR 2020

PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop ...

引用

Joint of the 7th workshop on Practical Aspects of Automated Reasoning and the 5th Satisfiability Checking and Symbolic computation workshop, PAAR+SC-Square 2020

the proceedings contain 15 papers. the topics discussed include: animated logic: correct functional conversion to conjunctive normal form;learning precedences from simple symbol features;layered clause selection for saturation-based theorem proving;simplifying casts and coercions;evaluation of axiom selection techniques;equality preprocessing in connection calculi;give reasoning a Trie;directed graph networks for logical reasoning;efficient implementation of large-scale watchlists;cutting down the TPTP language (and others);and Boolean reasoning in a higher-order superposition prover.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Software Technologies: Applications and Foundations, STAF 2016 Collocated workshops: 5th international Symposium on Data to Models and Back, DataMod 2016, 7th international workshop on Graph computation Models, GCM 2016, 3rd international workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd international workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd international workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st international workshop on Formal to Practical Software Verification and Composition, VeryComp 2016

Software Technologies: Applications and Foundations, STAF 20...

引用

Software Technologies: Applications and Foundations, STAF 2016 Collocated workshops: 5th international Symposium on Data to Models and Back, DataMod 2016, 7th international workshop on Graph computation Models, GCM 2016, 3rd international workshop on Human-Oriented Formal Methods, HOFM 2016, 2nd international workshop on Model-Driven Engineering, Logic and Optimization, MELO 2016, 3rd international workshop on Software Engineering Methods in Spreadsheets, SEMS 2016 and 1st international workshop on Formal to Practical Software Verification and Composition, VeryComp 2016

ISBN: (纸本)9783319502298

the proceedings contain 36 papers. the special focus in this conference is on DataMod, GCM, HOFM, MELO, SEMS and VeryComp. the topics include: Separating topological noise from features using persistent entropy;an accelerated MapReduce-based K-prototypes for big data;refinement mining;using data to sift plausible models;towards platform independent database modelling in enterprise systems;a personal data model for musical preferences;a high-level model checking language with compile-time pruning of local variables;probabilistic modelling of station locations in bicycle-sharing systems;on the definition of parallel independence in the algebraic approaches to graph transformation;SPO-rewriting of constrained partial algebras;attributed graph transformation via rule schemata;church-Rosser theorem;visual notation and patterns for abstract state machines;Spatio-temporal models for formal analysis and property-based testing;model-based generation of natural language specifications;formal model-based development in industrial automation with reactive blocks;towards model-based optimisation;using domain knowledge explicitly;context-aware design of reflective middleware in the internet of everything and pure edge computing platform for the future internet.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Abdominal Imaging: computation and Clinical Applications - 5th international workshop, Held in Conjunction with MICCAI 2013, Proceedings

Abdominal Imaging: Computation and Clinical Applications - 5...

引用

5th international workshop on Abdominal Imaging: computation and Clinical Applications, Held in Conjunction with 16th international Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013

ISBN: (纸本)9783642410826

the proceedings contain 32 papers. the topics discussed include: a model development pipeline for Crohn's disease severity assessment from magnetic resonance images;spatially constrained incoherent motion (SCIM) model improves quantitative diffusion-weighted MRI analysis of Crohn's disease patients;registration of prone and supine CT colonography datasets with differing endoluminal distension;spatial correspondence between prone and supine CT colonography images: creating a reference standard;a classification-enhanced vote accumulation scheme for detecting colonic polyps;a novel computer aided detection (CADe) scheme for colonic polyps based on the structure decomposition;computer-aided detection of non-polypoid flat lesions in CT colonography: observer performance study;global colon geometric structure analysis based on geodesics and conformal flattening;and personalised estimation of the arterial input function for improved pharmacokinetic modelling of colorectal cancer using dceMRI.

关键词：

来源：评论

学校读者我要写书评

暂无评论

5th international workshop on Hybrid Systems: computation and Control, HSCC 2002

5th International Workshop on Hybrid Systems: Computation an...

引用

5th international workshop on Hybrid Systems: computation and Control, HSCC 2002

ISBN: (纸本)354043321X

the proceedings contain 36 papers. the special focus in this conference is on Hybrid Systems computation and Control. the topics include: Hybrid and embedded software technologies for production large-scale systems;numerical methods for differential systems with algebraic equality and inequality constraints;the missing link in embedded software;hybrid system models of navigation strategies for games and animations;hybrid control of a truck and trailer vehicle;reachability analysis of hybrid systems via predicate abstraction;towards computing phase portraits of polygonal differential inclusions;dynamical qualitative analysis of evolutionary systems;design of observers for hybrid systems;solving the hamilton-jacobi equation using viability techniques;on the optimal control law for linear discrete time hybrid systems;a computational framework for the verification and synthesis of force-guided robotic assembly strategies;a comparison of control problems for timed and hybrid systems;hybrid control loops, A/D maps, and dynamic specifications;switching and feedback laws for control of constrained switched nonlinear systems;a lower bound on the minimal quantization density;analysis of discrete-time PWA systems with logic states;modeling and control of co-generation power plants;exploiting implicit representations in timed automaton verification for controller synthesis;computation of root-mean-square gains of switched linear systems;mode estimation of probabilistic hybrid systems;symmetry reduction of a class of hybrid systems;bisimulation based hierarchical system architecture for single-agent multi-modal systems;qualitative modeling and heterogeneous control of global system behavior and an approach to model-based diagnosis of hybrid systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Novel Roof Detection Algorithm Based SLSC Supervoxel for Airborne LiDAR Point Cloud Data 5

A Novel Roof Detection Algorithm Based SLSC Supervoxel for A...

引用

5th IEEE international Conference on Power, Electronics and Computer Applications, ICPECA 2025

作者： Yue, Lili Yun, Mengqing Han, Di School of Marxism Jilin Communications Polytechnic Changchun China Cloud Computing Center China Telecom Chengdu China International Education Jilin Communications Polytechnic Changchun China

ISBN: (纸本)9798331533694

A new roof detection framework is proposed in this article for detecting roofs from raw point cloud obtained from ALS (Airborne Laser Scanner). there are two main problems solved by the framework, the first problem is that the traditional supervoxel-based algorithm cannot provide accurate feature extraction regions, leading to degradation of classification performance. the second problem is that traditional individual roof segmentation algorithms suffer from the difficulty of ensuring a balance between efficiency and accuracy. To address the first problem, a SLSC (Supervoxel-based Linear Spectral Clustering Segmentation) algorithm is proposed for the feature extraction, which takes into account the correlation of local neighbor changes in terms of supervoxels and provides suitable neighbors for feature computation. Experiments are conducted on two ALS point cloud datasets to evaluate the performance of the algorithms in this article. this algorithm achieved advanced results on two datasets, with overall accuracies of 73.29% and 81.21%, respectively. © 2025 IEEE.

关键词： Laser applications

来源：评论

学校读者我要写书评

暂无评论

Optimized FPGA Architectures for High-Speed NTT computation 5

Optimized FPGA Architectures for High-Speed NTT Computation

引用

5th IEEE international Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies, ICAECT 2025

作者： Lekkala, Chetan Harsha Bharatula, Sitadevi Reddy, B. Naresh Kumar Sarangam, K. Amrita School of Engineering Department of Ece Chennai India

ISBN: (纸本)9798350356236

this research paper aims to enhance the performance of Number theoretic Transform (NTT) operations in cryptographic applications by leveraging the flexibility and parallel processing capabilities of Field Programmable Gate Arrays (FPGAs). NTT, integral to many cryptographic algorithms, often faces real-time performance challenges due to computational demands. By implementing NTT on FPGAs, this approach introduces features such as parallelism, pipelining, and dynamic memory management, significantly improving computational efficiency. the proposed architecture, utilizing 8T SRAM on the AMD Kintex 7 FPGA KC705 Kit, optimizes memory bandwidth and polynomial multiplication, resulting in a robust, high-speed implementation suitable for real-time cryptographic tasks. Simu-lation results demonstrate substantial performance gains, offering a valuable framework for future cryptographic hardware designs. © 2025 IEEE.

关键词： Probabilistic logics

来源：评论

学校读者我要写书评

暂无评论

A Novel Roof Detection Algorithm Based SLSC Supervoxel for Airborne LiDAR Point Cloud Data

A Novel Roof Detection Algorithm Based SLSC Supervoxel for A...

引用

Power Electronics, Computer Applications (ICPECA), IEEE international Conference on

作者： Lili Yue Mengqing Yun Di Han School of Marxism Jilin Communications Polytechnic Changchun China Cloud Computing Center China Telecom Chengdu China International Education Jilin Communications Polytechnic Changchun China

ISBN: (数字)9798331533694

ISBN: (纸本)9798331533700

关键词： Point cloud compression Accuracy Buildings Lasers Clustering algorithms Feature extraction Power electronics Classification algorithms Detection algorithms Random forests

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 5th international workshop on discrete algorithms and methods for mobile computing and communications

Proceedings of the 5th international workshop on discrete al...

引用

Proceedings of the 4th international workshop on Discrete algorithms and Methods for Mobile Computing and Communications

ISBN: (纸本)1581134215

the proceedings contains 11 papers from the 5th international workshop on Discrete algorithms and Methods for Mobile Computing and communications. the topics discussed include: channel access scheduling in ad hoc networks with unidirectional links;selecting forwarding neighbors in wireless ad hoc networks;oblivious gossiping in ad-hoc radio networks and a mixed-integer programming model for cellular telecommunication network design.

关键词： Mobile telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

algorithms and Models for the Web-Graph: 5th international workshop, WAW 2007 Proceedings

Algorithms and Models for the Web-Graph: 5th International W...

引用

5th workshop on algorithms and Models for the Web-Graph, WAW 2007

ISBN: (纸本)9783540770039

the proceedings contain 18 papers. the topics discussed include: finding a dense-core in jellyfish graphs;a geometric preferential attachment model of networks II;clustering social networks;manipulation-resistant reputations using hitting time;using polynomial chaos to compute the influence of multiple random surfers in the pagerank model;determining factors behind the pagerank log-log plot;approximating betweenness centrality;random dot product graph models for social networks;local computation of pagerank contributions;local partitioning for directed graphs using pagerank;deterministic decentralized search in random graphs;using bloom filters to speed up HITS-like ranking algorithms;parallelizing the computation of pagerank;and giant component and connectivity in geographical threshold graphs.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：