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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,632 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,173 篇 工学
- 869 篇 计算机科学与技术...
- 555 篇 软件工程
- 136 篇 电气工程
- 122 篇 控制科学与工程
- 93 篇 信息与通信工程
- 91 篇 土木工程
- 88 篇 机械工程
- 76 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 材料科学与工程（可...
- 40 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 33 篇 化学工程与技术
- 28 篇 生物工程
- 27 篇 仪器科学与技术
- 25 篇 力学（可授工学、理...
- 22 篇 环境科学与工程（可...
330 篇 理学
- 227 篇 数学
- 75 篇 统计学（可授理学、...
- 68 篇 系统科学
- 43 篇 物理学
- 42 篇 生物学
- 27 篇 化学
216 篇 管理学
- 154 篇 管理科学与工程(可...
- 86 篇 图书情报与档案管...
- 79 篇 工商管理
31 篇 医学
- 24 篇 基础医学(可授医学...
- 23 篇 临床医学
30 篇 法学
- 27 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
17 篇 教育学
15 篇 文学
10 篇 农学
6 篇 艺术学
5 篇 军事学

主题

68 篇 model checking
43 篇 tools
35 篇 algorithm design...
28 篇 software enginee...
28 篇 static analysis
26 篇 data mining
23 篇 stochastic syste...
20 篇 real time system...
20 篇 computational mo...
20 篇 analytical model...
17 篇 hybrid systems
17 篇 real-time system...
17 篇 machine learning
17 篇 testing
16 篇 software tools
16 篇 optimization
16 篇 computers
16 篇 sentiment analys...
16 篇 software
16 篇 data models

机构

26 篇 rhein westfal th...
13 篇 ludwig maximilia...
8 篇 univ penn philad...
7 篇 univ twente ensc...
7 篇 univ twente form...
7 篇 tech univ munich...
6 篇 univ illinois ur...
5 篇 saarland univ sa...
5 篇 rhein westfal th...
5 篇 chinese acad sci...
5 篇 suny stony brook...
5 篇 univ calif berke...
5 篇 univ texas austi...
4 篇 radboud univ nij...
4 篇 verimag ctr equa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 tu wien austria
3 篇 carnegie mellon ...

作者

22 篇 katoen joost-pie...
14 篇 beyer dirk
10 篇 junges sebastian
9 篇 parker david
9 篇 hermanns holger
8 篇 quatmann tim
7 篇 kwiatkowska mart...
6 篇 van de pol jaco
6 篇 yi w
6 篇 hartmanns arnd
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 bozga marius
5 篇 alur rajeev
5 篇 pettersson p
5 篇 cimatti alessand...
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 latella diego
4 篇 ruys theo c.

语言

1,572 篇 英文
31 篇 其他
15 篇 德文
9 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

检索条件"任意字段=11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1634 条记录，以下是151-160 订阅

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

详细简洁

排序：

Review on deep learning in structural health monitoring 11th

Review on deep learning in structural health monitoring

引用

11th international conference on Bridge Maintenance, Safety and Management, IABMAS 2022

作者： Rosso, Marco M. Cucuzza, Raffaele Marano, Giuseppe C. Aloisio, Angelo Cirrincione, Giansalvo DISEG Dipartimento di Ingegneria Strutturale Edile e Geotecnica Politecnico di Torino Turin Italy Department of Civil Construction-Architectural and Environmental Engineering Università degli Studi dell 'Aquila L'Aquila Italy Amiens France

ISBN: (纸本)9781032345314

Road bridges are fundamental and most critical elements of land transportation routes which allow to overpass many physical obstacles. therefore, these elements have to be preserved in order to maintain structural performances over time degradation actions. At the beginning, the first monitoring techniques which were developed are related to dynamic identification which was proven to provide reliable indicators of the current health state of a structural system. Analysing the variations of modal properties (natural frequency, damping ratio and mode shapes) over a certain period of time it is possible to identify if some events or damages occurred in the structural system which determine some changes in structural properties, safety levels and structural performances. Most adopted methodologies are based on frequency domain as frequency domain decomposition and even time-domain approaches are usual such as autoregressive models, moving average models, their combination with or without exogenous term and stochastic subspace identifications. Nowadays, structural health monitoring (SHM) techniques are classified into different levels based on the level of depth of information which is provided from the only damage detection until the accurate structural diagnosis with damage identification and localization and structural prognosis. In recent years, machine learning tools have provided innovative and vibrant developments in this field especially through the deep learning (DL) approaches. these approaches provide a change of paradigm of the feature engineering approach because the feature extraction is automatically conducted in the learning phase of the network. In the present work, the most recent deep learning architectures such as convolutional neural networks, capsule neural networks, recurrent neural networks and neural transformers adopted in the SHM field are analysed and described in order to focus on the most advantages of the state-of-art approaches and to addr

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

11th Brazilian conference on Intelligent systems, BRACIS 2022

11th Brazilian Conference on Intelligent Systems, BRACIS 202...

引用

11th Brazilian conference on Intelligent systems, BRACIS 2022

ISBN: (纸本)9783031216886

the proceedings contain 89 papers. the special focus in this conference is on Intelligent systems. the topics include: Selecting Optimal Trace Clustering Pipelines with Meta-learning;sequential Short-Text Classification from Multiple Textual Representations with Weak Supervision;towards a Better Understanding of Heuristic Approaches Applied to the Biological Motif Discovery;mutation Rate analysis Using a Self-Adaptive Genetic Algorithm on the OneMax Problem;application of the Sugeno Integral in Fuzzy Rule-Based Classification;Improving the FQF Distributional Reinforcement Learning Algorithm in MinAtar Environment;glomerulosclerosis Identification Using a Modified Dense Convolutional Network;Diffusion-Based Approach to Style Modeling in Expressive TTS;automatic Rule Generation for Cellular Automata Using Fuzzy Times Series Methods;requirements Elicitation Techniques and tools in the Context of Artificial Intelligence;explanation-by-Example Based on Item Response theory;short-and-Long-Term Impact of Initialization Functions in NeuroEvolution;analysis of the Influence of the MVDR Filter Parameters on the Performance of SSVEP-Based BCI;a Novel Multi-objective Decomposition Formulation for Per-Instance Configuration;improving Group Search Optimization for Automatic Data Clustering Using Merge and Split Operators;leveraging Textual Descriptions for House Price Valuation;Measuring Ethics in AI with AI: A Methodology and Dataset construction;time Robust Trees: Using Temporal Invariance to Improve Generalization;generating Diverse Clustering Datasets with Targeted Characteristics;On AGM Belief Revision for Computational Tree Logic;an Efficient Drift Detection Module for Semi-supervised Data Classification in Non-stationary Environments;hyperintensional Models and Belief Change;a Multi-population Schema Designed for Biased Random-Key Genetic algorithms on Continuous Optimisation Problems;Answering Questions About COVID-19 Vaccines Using ChatBot Technologies;analysis of Neutra

关键词：

来源：评论

学校读者我要写书评

暂无评论

11th Brazilian conference on Intelligent systems, BRACIS 2022

11th Brazilian Conference on Intelligent Systems, BRACIS 202...

引用

11th Brazilian conference on Intelligent systems, BRACIS 2022

ISBN: (纸本)9783031216855

关键词：

来源：评论

学校读者我要写书评

暂无评论

9th international conference on Rigorous State-Based Methods, ABZ 2023

9th International Conference on Rigorous State-Based Methods...

引用

9th international conference on Rigorous State-Based Methods, ABZ 2023

ISBN: (纸本)9783031331626

the proceedings contain 29 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: TASTD: A Real-Time Extension for ASTD;validation by Abstraction and Refinement;verifying Event-B Hybrid Models Using Cyclone;Exploration of Reflective ASMs for Security;Standalone Event-B Models analysis Relying on the EB4EB Meta-theory;adding Records to Alloy;Designing Critical systems Using Hierarchical STPA and Event-B;behavioural theory of Reflective algorithms;building Specifications in the Event-B Institution: A Summary;using Deep Ontologies in Formal Software Engineering;verifying Temporal Relational Models with Pardinus;AMAN Case Study;modeling and analysis of a Safety-Critical Interactive System through Validation Obligations;task Model Design and analysis with Alloy;modeling and Verifying an Arrival Manager Using Event-B;formal MVC: A Pattern for the Integration of ASM Specifications in UI Development;exploring a Methodology for Formal Verification of Safety-Critical systems;extending Modelchecking with ProB to Floating-Point Numbers and Hybrid systems;a Framework for Formal Verification and Validation of Railway systems;Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi;pattern-Based Refinement Generation through Domain Specific Languages;introducing Inductive construction in B with the theory Plugin;validation of Formal Models by Interactive Simulation;thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent systems;Encoding (Formula presented) Proof Obligations Safely for SMT;Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines;crucible tools for Test Generation and Animation of Alloy Models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Digital Transformation of the Real Estate Development Market: Example of the USA 11th

Digital Transformation of the Real Estate Development Market...

引用

11th international Scientific conference on Digital Transformation of the Economy: Challenges, Trends and New Opportunities, ISCDTE 2024

作者： Noskov, V.A. Kazymov, I.A. Samara State University of Economics Samara Russia

ISBN: (纸本)9783031656613

the objectives of this study are to conduct a comprehensive analysis of trends in the real estate development market, namely the trends of digital transformation using the example of US markets. the contribution investigates the main aspects and development stages of companies during the crisis in the United States. the work offers the authors’ vision of the situation in the US real estate market, analyzes its development, the development of digital transformation, the impact of digitalization, ways to overcome crises. the authors also analyze relations between the development market and the state of the economy, the reactions of development companies to crises, and provide ways for development companies to overcome these crises. the impact of digitalization on the development market is assessed, and an assessment is given of how innovative products introduced through digitalization have an impact on development. the process of digital transformation of the development market is also analyzed, namely, the key impact of digital transformation on key indicators of the development activities. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： BIM Technologies Crises Developer Company Digitalization Housing construction Real Estate Market US Real Estate Market

来源：评论

学校读者我要写书评

暂无评论

Combining Genetic algorithms And Or-tools To Solve Flexible Job-Shop Scheduling Problems

Combining Genetic Algorithms And Or-Tools To Solve Flexible ...

引用

international conference on Computational Cybernetics (ICCC)

作者： Nguyen Anh-Dung Le Duy-thai School of Mechanical Engineering Hanoi University of Science and Technology Hanoi Viet Nam

ISBN: (数字)9798350350159

ISBN: (纸本)9798350350166

Flexible job shop scheduling problems (FJSPs) require optimally assigning operations to machines and sequencing them to minimize objectives like makespan. Metaheuristics like genetic algorithms (GAs) are well-suited for large FJSPs. this study presents a combination of GAs and Google OR-tools to solve FJSPs, with GAs generating machine assignments and OR-tools developing schedules. Specifically, GAs first assign operations to machines, and then OR-tools schedules the operations to minimize makespan and calculate the solution's characteristics. these characteristics inform the GA's selection, crossover, and mutation to produce improved solutions over iterations. Computational experiments on standard benchmark instances demonstrate solution quality comparable to state-of-the-art tabu search approaches. the feasibility of the algorithm to effectively solve FJSPs is thereby established. Additionally, the study introduces a viable hybrid GA for providing high-quality FJSP solutions.

关键词： Schedules Sequential analysis Job shop scheduling Processor scheduling Metaheuristics Computational cybernetics Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Verifying Fortran Programs with CIVL 28th

Verifying Fortran Programs with CIVL

引用

28th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 25th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Wu, Wenhao Huckelheim, Jan Hovland, Paul D. Siegel, Stephen F. Univ Delaware Newark DE 19716 USA Argonne Natl Lab Lemont IL 60439 USA

ISBN: (纸本)9783030995249;9783030995232

Fortran is widely used in computational science, engineering, and high performance computing. this paper presents an extension to the CIVL verification framework to check correctness properties of Fortran programs. Unlike previous work that translates Fortran to C, LLVM IR, or other intermediate formats before verification, our work allows CIVL to directly consume Fortran source files. We extended the parsing, translation, and analysis phases to support Fortran-specific features such as array slicing and reshaping, and to find program violations that are specific to Fortran, such as argument aliasing rule violations, invalid use of variable and function attributes, or defects due to Fortran's unspecified expression evaluation order. We demonstrate the usefulness of our tool on a verification benchmark suite and kernels extracted from a real world application.

关键词： Fortran verification static analysis model checking

来源：评论

学校读者我要写书评

暂无评论

Derogations analysis of European Legislation through Hybrid AI Approach 11th

Derogations Analysis of European Legislation Through Hybrid ...

引用

11th international conference on Electronic Government and the Information systems Perspective (EGOVIS)

作者： Palmirani, Monica Liga, Davide Univ Bologna CIRSFID ALMA AI Bologna Italy

ISBN: (纸本)9783031126734;9783031126727

this paper presents a use case of hybrid AI approach applied to the European legislation with the aim to detect the derogations in the norms and to extract the main components. the result is modelled in Akoma Ntoso XML standard for supporting further applications, open data sharing and interoperability between different tools. We have conducted this research inside of the project `Drafting legislation in the era of AI and digitisation' with the support of the EU Commission - Directorate General Informatics Unit B2 - Solutions for Legislation, Policy & HR.

关键词： Hybrid AI Akoma ntoso Visualization

来源：评论

学校读者我要写书评

暂无评论

Refining English Writing Proficiency Assessment and Placement in Developmental Education Using NLP tools and Machine Learning 17

Refining English Writing Proficiency Assessment and Placemen...

引用

17th international conference on Computer Supported Education, CSEDU 2025

作者： Da Corte, Miguel Baptista, Jorge University of Algarve Faro Portugal INESC-ID Lisboa Lisbon Portugal

ISBN: (纸本)9789897587467

this study investigates the enhancement of English writing proficiency assessment and placement for Developmental Education (DevEd) within U.S. colleges using Natural Language Processing (NLP) and Machine Learning (ML). Existing automated placement tools, such as ACCUPLACER, often lack transparency and struggle to identify nuanced linguistic features necessary for accurate skill-level classification. By integrating human-annotated linguistic features, this study aims to contribute to equitable and transparent placement systems that better address students' academic needs, reducing misplacements and their associated costs. For this study, a 300-essay corpus was compiled and manually annotated with a refined set of 11 DevEd-specific (DES) features, alongside 328 linguistic features automatically extracted from CTAP and 106 via COH-METRIX. Supervised ML algorithms were used to compare ACCUPLACER-generated classifications with human ratings, assessing classification accuracy and identifying predictive features. this analysis revealed gaps in ACCUPLACER's classification capabilities. Experimental results showed that models incorporating DES features improved classification accuracy, with Naïve Bayes (NB) and Support Vector Machine (SVM) achieving scores up to 80%. the refined features presented and methodology offer actionable insights for faculty and institutions, potentially contributing to more effective DevEd course placements and targeted instructional interventions. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Assessing Emoji Use in Modern Text Processing tools 59

Assessing Emoji Use in Modern Text Processing Tools

引用

Joint conference of 59th Annual Meeting of the Association-for-Computational-Linguistics (ACL) / 11th international Joint conference on Natural Language Processing (IJCNLP) / 6th Workshop on Representation Learning for NLP (RepL4NLP)

作者： Shoeb, Abu Awal Md de Melo, Gerard Rutgers State Univ Dept Comp Sci New Brunswick NJ 08901 USA Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9781954085527

Emojis have become ubiquitous in digital communication, due to their visual appeal as well as their ability to vividly convey human emotion, among other factors. this also leads to an increased need for systems and tools to operate on text containing emojis. In this study, we assess this support by considering test sets of tweets with emojis, based on which we perform a series of experiments investigating the ability of prominent NLP and text processing tools to adequately process them. In particular, we consider tokenization, part-of-speech tagging, dependency parsing, as well as sentiment analysis. Our findings show that many systems still have notable shortcomings when operating on text containing emojis.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共164页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：