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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6,080 篇 会议
269 册 图书
216 篇 期刊文献

馆藏范围

6,559 篇 电子文献
8 种 纸本馆藏

日期分布

学科分类号

3,290 篇 工学
- 2,579 篇 计算机科学与技术...
- 1,689 篇 软件工程
- 747 篇 信息与通信工程
- 538 篇 控制科学与工程
- 526 篇 电气工程
- 259 篇 电子科学与技术（可...
- 252 篇 生物工程
- 210 篇 生物医学工程（可授...
- 185 篇 机械工程
- 136 篇 仪器科学与技术
- 124 篇 动力工程及工程热...
- 123 篇 化学工程与技术
- 111 篇 光学工程
- 103 篇 建筑学
- 97 篇 交通运输工程
- 94 篇 土木工程
- 92 篇 材料科学与工程（可...
1,350 篇 理学
- 765 篇 数学
- 325 篇 物理学
- 287 篇 生物学
- 225 篇 统计学（可授理学、...
- 202 篇 系统科学
- 132 篇 化学
772 篇 管理学
- 488 篇 管理科学与工程(可...
- 356 篇 图书情报与档案管...
- 287 篇 工商管理
174 篇 医学
- 142 篇 临床医学
- 115 篇 基础医学(可授医学...
97 篇 经济学
- 96 篇 应用经济学
96 篇 法学
- 86 篇 社会学
69 篇 教育学
35 篇 农学
17 篇 文学
7 篇 军事学
4 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

64 篇 artificial intel...
58 篇 genetic algorith...
39 篇 learning systems
37 篇 machine learning
33 篇 real-time system...
33 篇 distributed comp...
33 篇 heuristic algori...
32 篇 algorithms
32 篇 cloud computing
31 篇 computational in...
29 篇 software enginee...
28 篇 congresses.
27 篇 data mining
27 篇 systems science ...
25 篇 internet of thin...
25 篇 students
25 篇 6g mobile commun...
25 篇 multi agent syst...
24 篇 information syst...
24 篇 recommender syst...

机构

24 篇 department of co...
19 篇 carleton univ sc...
16 篇 school of comput...
14 篇 department of co...
13 篇 simon fraser uni...
13 篇 6 miklukho-makla...
12 篇 univ ottawa sch ...
10 篇 queens univ sch ...
9 篇 univ british col...
9 篇 department of in...
9 篇 univ ottawa site...
9 篇 6 miklukho-makla...
9 篇 carleton univ de...
9 篇 department of co...
8 篇 univ alberta dep...
8 篇 simon fraser uni...
8 篇 department of ph...
8 篇 beijing jiaotong...
8 篇 université libre...
8 篇 department of co...

作者

20 篇 anon
18 篇 reza ahmed wasif
17 篇 arefin mohammad ...
15 篇 azar ahmad taher
14 篇 coleman a.
12 篇 kulyabov dmitry ...
12 篇 sens pierre
12 篇 tzovaras dimitri...
11 篇 bowling michael
10 篇 pedrycz witold
10 篇 akl selim g.
9 篇 catalani f.
9 篇 bernadette bouch...
9 篇 ronald r. yager
9 篇 kuznetsov alexan...
8 篇 flaggs b.
8 篇 buscemi m.
8 篇 aloisio r.
8 篇 duvernois m.a.
8 篇 de vries k.d.

语言

6,294 篇 英文
184 篇 其他
87 篇 中文
10 篇 俄文
1 篇 德文
1 篇 土耳其文

检索条件"任意字段=Proceedings of the 6th International Conference on Algorithms, Computing and Systems"

共 6565 条记录，以下是4781-4790 订阅

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

详细简洁

排序：

19th international Colloquium on theoretical Aspects of computing, ICTAC 2022

19th International Colloquium on Theoretical Aspects of Comp...

引用

19th international Colloquium on theoretical Aspects of computing, ICTAC 2022

ISBN: (纸本)9783031177149

the proceedings contain 29 papers. the special focus in this conference is on theoretical Aspects of computing. the topics include: Structural Rules and Algebraic Properties of Intersection Types;quantitative Weak Linearisation;on the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical systems;spatial and Timing Properties in Highway Traffic;preface;veriMon: A Formally Verified Monitoring Tool;Denotational and Algebraic Semantics for the CaIT Calculus;reconciling Communication Delays and Negation;a Combinatorial Study of Async/Await Processes;unsatisfiability of Comparison-Based Non-malleability for Commitments;alternating Automatic Register Machines;functional Choreographic Programming;a Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving systems;ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting;Local XOR Unification: Definitions, algorithms and Application to Cryptography;a Matching Logic Foundation for Alk;generalized Test Tables: A Domain-Specific Specification Language for Automated Production systems;a Type System with Subtyping for WebAssembly’s Stack Polymorphism;A Verified Implementation of B + -Trees in Isabelle/HOL;active Learning for Deterministic Bottom-Up Nominal Tree Automata;towards a User Interface Description Language Based on Bigraphs;a Specification Logic for Programs in the Probabilistic Guarded Command Language;card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs;runners for Interleaving Algebraic Effects;formal Grammars for Turn-Bounded Deterministic Context-Free Languages;towards a Unifying Logical Framework for Neural Networks;type Inference for Rank-2 Intersection Types Using Set Unification.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the L’aquila earthquake of april 6th 2009: Seismic response of the hospital facilities 4th

引用

4th international conference on Structural Engineering, Mechanics and Computation, SEMC 2010

作者： Casarotti, C. Peloso, S. Pavese, A. European Centre for Training and Research in Earthquake Engineering Pavia Italy University of Pavia Structural Mechanics Department Pavia Italy

ISBN: (纸本)9780415584722

An earthquake hit the Abruzzo region in Italy on April 6th 2009 at 3:32am local time. the earthquake had a moment magnitude of 6.2MW and a shallow focal depth of about 8–9 km. the epicentre was located 10 kmWest of the city of L’Aquila, which with its population of more than 68,000 inhabitants was devastated by the earthquake. the earthquake intensity reached IX EMS-98 close to L’ Aquila. though not of very high magnitude compared to some worldwide events, this is a significant magnitude for a European densely populated country. A very discussed case was the performance of the S. Salvatore Hospital facilities during the event. the S. Salvatore complex is an hospital serving a region of 1800 km2, with more than 500 beds and 13 wings. the S. Salvatore Hospital is constituted by a number of R.C. buildings constructed between the 60th and the 90th, with heterogeneous structural typologies and systems of 3 to 5 storeys, with 1 or 2 basements, connected at the first underground level (−3.00 m) and at the second floor level (+3.00 m). Infill walls are made of unreinforced hollow clay blocks, and all the buildings are covered by an exterior veneer of unreinforced brick masonry. EUCENTRE inspection teams have been involved in the usability assessment of the hospital structures during the post-earthquake emergency. Moreover, a careful survey has been carried out at the hospital facilities right before the reconstruction, in order to make a deeper assessment of the quality of employed materials, of the structural layout and of the level of damage suffered by the different buildings. © 2010 Taylor & Francis Group, London.

关键词： Hospitals

来源：评论

学校读者我要写书评

暂无评论

the role of direct manipulation of visualizations in the development and use of multi-level knowledge models

The role of direct manipulation of visualizations in the dev...

引用

2013 17th international conference on Information Visualisation, IV 2013

作者： Goebel, Randy Shi, Wei Tanaka, Yuzuru Department of Computing Science University of Alberta Edmonton AB T6G 2E8 Canada MemeMedia Laboratory Hokkaido University N 13 W 8 Kita-ku Sapporo 060- 8628 Japan

ISBN: (纸本)9780769550497

the proliferation of touch sensitive display screens has created a new generation of human-computer interaction styles which are so natural and common that even the youngest of users now perceive ordinary static media like a glossy magazine as a broken iPad. the volume of users who expect to be able to pinch, grab, twist and manipulate images on screen is rapidly growing;they drive a renewed interest in developing, assessing, and delivering new direct manipulation systems. Our premise is that one can exploit new technologies to develop new repertoires of direct manipulation, but with increasing pressure to provide semantically-coupled direct manipulation methods to experiment with computational information models. We develop this premise by noting highlights in the evolution of direct manipulation interfaces, and suggest that their selection and deployment can be tailored as visual experiments to debug and extend more complex computational models of information systems and processes. these systems and processes include those of natural systems such as arise in systems biology (e.g., modelling multiple levels of protein structure), but also in 'unnatural' systems such as in the identification of hubs and authorities in artificial systems like the World Wide Web (WWW). the immediate consequence of our premise suggests that the design of direct manipulation tools should proceed with the semantics of the modelled systems in mind, so that each users' manipulations provide a new perspective on the concept of 'data mining' of large data sets. this will allow users to not just expose implicit relationships, but to incrementally combine explanatory and exploratory investigation by direct manipulation, to adjust and improve the computational knowledge models that emerge from the underlying data. © 2013 IEEE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Application of ground movement and automated route planning technologies for pipeline planning and management - the pipemon project

Application of ground movement and automated route planning ...

引用

2006 6th international Pipeline conference, IPC 2006

作者： Riedmann, Michael Rogg, Caroline Sims, Richard A. Schleider, Oliver NPA Group Crockham Park Edenbridge TN8 6SR United Kingdom Definiens AG Trappentreustr. 1 80339 Munich Germany EBA Engineering Consultants Oceanic Plaza 1066 West Hastings Street Vancouver BC V6E 3X2 Canada Intergraph Reichenbachstr. 3 85737 Ismaning Germany

ISBN: (纸本)0791842614

Innovative technologies provide the key to making pipeline operations more efficient. thanks to recent progress in satellite-based remote sensing and image processing, it is now possible to design pipeline monitoring systems with remote sensors and context-oriented image processing software, as has been demonstrated in particular by the three-year ESA funded market development activity "PlPEMON - Geo-information services for pipeline operators: ground motion monitoring and route planning". Business partners involved in the Project are currently undertaking pre-commercial trials with market players and potential customers, to better introduce and demonstrate Earth Observation (EO) data and services to the pipeline industry. Copyright © 2006 by ASME.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

17th international Colloquium on Automata, Languages and Programming, 1990

17th International Colloquium on Automata, Languages and Pro...

引用

17th international Colloquium on Automata, Languages and Programming, 1990

ISBN: (纸本)9783540528265

the proceedings contain 57 papers. the special focus in this conference is on Automata, Languages and Programming. the topics include: Foreword;lEDA: A library of efficient data types and algorithms;nondeterministic computations in sublogarithmic space and space constructibility;normalizing and accelerating RAM computations and the problem of reasonable space measures;a formal study of learning via queries;language learning by a "team";functions as processes;a domain-theoretic model for a higher-order process calculus;concurrency, automata and domains;a theory of communicating processes with value-passing;analytic variations on the common subexpression problem;can a maximum flow be computed in o(nm) time?;a new universal class of hash functions and dynamic hashing in real time;on the distributional complexity of disjointness;computing boolean functions on anonymous networks;on the composition of zero-knowledge proof systems;additional queries to random and pseudorandom oracles;communication among relations;stability and sequentiality in dataflow networks;automata for modeling real-time systems;markov decision processes and regular events;term rewriting systems: From Church-Rosser to Knuth-Bendix and beyond;nonoblivious normalization algorithms for nonlinear rewrite systems;a complete and decidable proof system for call-by-value equalities;algebraic properties of idempotent substitutions;determining the separation of preprocessed polyhedra - A unified approach;randomized incremental construction of delaunay and voronoi diagrams;merging free trees in parallel for efficient voronoi diagram construction;local optimization and the traveling salesman problem;polynomial-time approximation algorithms for the ising model;on parallelizing graph-partitioning heuristics;iterated substitutions and locally catenative systems: A decidability result in the binary case.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating the performance of stochastically triggered bandwidth adaptation algorithms

Evaluating the performance of stochastically triggered bandw...

引用

IEEE conference on Local Computer Networks - 30th Anniversary, LCN 2005

作者： Taha, Abd-Elhamid M. Hassanein, Hossam S. Mouftah, Hussein T. Department of Electrical and Computer Engineering Queen's University Kingston Ont. K7L 3N6 School of Computing Queen's University Kingston Ont. K7L 3N6 School of Information Technology and Engineering Ottawa University Ottawa Ont. K1N 6N5

ISBN: (纸本)0769524214

the introduction of wireless multimedia applications brought about an attractive characteristic from a resource management point of view, namely the adaptability of such applications. Allocations made to deliver the multimedia applications can be varied depending on the conditions of the user, the network, or both. In a framework for resource management, the role of a bandwidth adaptation algorithm (BAA) is to provision the adaptation of the different users in A cell. Previous proposals for BAA persistently engage the adaptation whenever required. Naturally, this comes at a high system cost. In this work, the novel notion of stochastically triggered bandwidth adaptation algorithms (STBAA) is introduced. the objective of the STBAA framework is to allow system providers to exploit the tradeoff between admission ratios and user satisfaction in order to control the operational cost of adaptation. © 2005 IEEE.

关键词： Wireless telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Design and computer research of a nonlinear stochastic models describing the dynamics of interacting populations 11

Design and computer research of a nonlinear stochastic model...

引用

Workshop on Information Technology and Scientific computing in the Framework of the 11th international conference Information and Telecommunication Technologies and Mathematical Modeling of High-Tech systems, ITTMM 2021

作者： Demidova, Anastasia V. Druzhinina, Olga V. Masina, Olga N. Shcherbakov, Alexander V. Peoples' Friendship University of Russia Rudn University 6 Miklukho-Maklaya St. Moscow117198 Russia Federal Research Center Computer Science and Control of Russian Academy of Sciences 44 building 2 Vavilov St. Moscow119333 Russia Bunin Yelets State University 28 Kommunarov St. Yelets399770 Russia

the construction of nonlinear three-dimensional models of interconnected communities number dynamics is considered, taking into account competition in populations of victims. A qualitative research of the systems is carried out, equilibrium states are found, the species number dynamics graphs are constructed. For these models, an estimate of the model parameters is given and local phase portraits are constructed. the transition to the corresponding stochastic models is made. In stochastic cases, the method of constructing self-consistent stochastic models is used. A comparative analysis of deterministic and stochastic models is carried out. Effects typical for three-dimensional models with regard to competition in prey populations are revealed. A software package for the numerical solution of differential equations systems by modified Runge-Kutta methods is used as a software tool for researching the model. the software package allows performing numerical experiments based on the implementation of algorithms for generating trajectories of multidimensional Wiener processes and multipoint distributions and algorithms for solving stochastic differential equations. the formulation of the optimal control problem is proposed. Computer research of the models makes it possible to obtain the results of numerical experiments on the search for trajectories and the estimation of parameters. the results obtained can find application in problems of ecological systems computer modeling, as well as in problems of synthesis, optimal control and analysis of the multidimensional stochastic models stability describing the dynamics of interacting populations. © 2021 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Biometrics for massive access control - Traditional problems and innovative approaches

Biometrics for massive access control - Traditional problems...

引用

6th Annual IEEE systems, Man and Cypernetics Information Assurance Workshop

作者： Riccardi, L Peticone, B Savastano, M Reparto Segretariato Gen Della Difesa 6 I-00135 Rome Italy

ISBN: (纸本)0780392906

the increase in security measures due to the complex international situation is forcing the realization of several access control systems equipped with biometric identifiers. Apart from technical problems, a number of nontechnical issues, strongly related to the user's acceptance, may have a strong influence on the design of the application and suggest particular choices in the selection of the biometric technique to be adopted. Starting from the assumption that facial recognition represents one of the most widely "accepted" biometric techniques, and that, due to contradictory performances shown in operating conditions, this methodology is seldom considered for high-security applications, the Authors have investigated the possibility of improving the error figures by means of an original approach. the innovation consists in "enriching" the template obtained by means of canonical facial recognition algorithms with additional information extracted from behavioral characteristics of the user. the study, still in the early stage, is carried out in the framework of a collaboration between the National Research Council of Italy (CNR) and the Italian Ministry of the Defense (MoD) in the area of the strong authentication for physical access to military compounds. the aim of the present paper is only the highlighting of the potentiality of such an approach since first experimental data are not mature to generate consolidated error figures such as FAR and FRR. In any event, a very good capability in distinguishing between identical twins, a very well known problem in facial recognition, is a promising preamble for the continuation of the research.

关键词： biometrics access control facial recognition

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Interdependence (S) Measures used for Exploring Chaotic Behavior in Large-Scale Neuro-Models 6

Nonlinear Interdependence (S) Measures used for Exploring Ch...

引用

6th international conference on Chaotic Modeling and Simulation, CHAOS 2013

作者： Calitoiu, Dragos Oommen, John School of Computer Science Carleton University 1125 Colonel By Drive OttawaONK1S 5B6 Canada University of Agder Postboks 509 Grimstad4898 Norway

As the theory of nonlinear dynamics clearly shows, a state space is the natural framework in which the properties of nonlinear dynamical systems can be described and quantified. these properties may be undetectable in the time domain of the system output, e.g., in the EEG tracing. Nonlinear Interdependence, (S), proposed by Quiroga, is said to occur when the trajectories reconstructed in the phase-space of one time series, experimentally predict the evolution of the phase space trajectories of the second time series. A phase space representation may reveal the salient features of the nonlinear structure which are hidden or occluded to standard linear approaches. this measure of predictability has the advantage over linear measures, of being sensitive to interdependence between dissimilar types of activity. In this paper we present a comparison between a nonlinear measure (the Nonlinear Interdependence, S) and a linear measure (the Cross Correlation coefficient, CC). In many cases where one analyzes nonlinear signals, CC is a measures that well describes the synchronization or the desynchronization between two signals. In other cases, S is introduced in addition to CC in order to describe the nonlinear signals. this paper investigates a biologically-realistic neural network (NN) model of the piriform cortex. Our previous work studied the EEGs obtained from two components of this network. In this current work, we increase the granularity of our approach and replicate the exploration using the membrane potentials of our neurons. We thus investigate here the synchronization of these types of signals using the membrane potentials using both linear measures (i.e., CC) and nonlinear measures (i.e., S). Our results clearly prove that utilizing both these measures is effective in analyzing and understanding real-life chaotic systems. © 2019 Institute of Mathematical Statistic. All rights reserved.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

12th international Symposium on Applied Reconfigurable computing, ARC 2016

12th International Symposium on Applied Reconfigurable Compu...

引用

12th international Symposium on Applied Reconfigurable computing, ARC 2016

ISBN: (纸本)9783319304809

the proceedings contain 31 papers. the special focus in this conference is on Image Processing, Fault-Tolerant systems, Tools and Architectures. the topics include: A design methodology for the next generation real-time vision processors;EEG feature extraction accelerator enabling long term epilepsy monitoring based on ultra low power WSNS;computing to the limit with heterogeneous CPU-FPGA devices in a video fusion application;an efficient hardware architecture for block based image processing algorithms;an FPGA stereo matching processor based on the sum of hamming distances;a comparison of machine learning classifiers for FPGA implementation of hog-based human detection;a scalable dataflow accelerator for real time onboard hyperspectral image classification;a redundant design approach with diversity of FPGA resource mapping;method to analyze the susceptibility of HLS designs in SRAM-based FPGAS under soft errors;low cost dynamic scrubbing for real-time systems;new partitioning approach for hardware Trojan detection using side-channel measurements;a comprehensive set of schemes for PUF response generation;design and optimization of digital circuits by artificial evolution using hybrid multi chromosome Cartesian genetic programming;a multi-codec framework to enhance data channels in FPGA streaming systems;reconfigurable FPGA-based FFT processor for cognitive radio applications;real-time audio group delay correction with FFT convolution on FPGA;evaluating schedulers in a reconfigurable multicore heterogeneous system and fast and resource aware image processing operators utilizing highly configurable IP blocks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 475 476 477 478 479 480 481 482 483 484 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：