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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

91 篇 会议
1 册 图书
1 篇 期刊文献

馆藏范围

93 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

64 篇 工学
- 45 篇 计算机科学与技术...
- 38 篇 软件工程
- 12 篇 信息与通信工程
- 9 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
- 1 篇 网络空间安全
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
6 篇 理学
- 4 篇 数学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
4 篇 法学
- 4 篇 社会学
2 篇 医学
- 2 篇 临床医学
- 1 篇 基础医学(可授医学...
- 1 篇 公共卫生与预防医...
1 篇 教育学
- 1 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

4 篇 design patterns
3 篇 pattern matching
3 篇 design
3 篇 machine learning
3 篇 pattern language
2 篇 tools
2 篇 career
2 篇 educational patt...
2 篇 program synthesi...
2 篇 program repair
2 篇 brain-computer i...
2 篇 electronic mail
2 篇 pattern language...
2 篇 natural language...
2 篇 education
2 篇 binding time
2 篇 pattern recognit...
2 篇 powerpoint
2 篇 cybersecurity
2 篇 pattern selectio...

机构

2 篇 infineon technol...
2 篇 university of co...
2 篇 department of co...
2 篇 brightone munich
2 篇 syracom ag
2 篇 graz university ...
2 篇 univ calif los a...
2 篇 han university o...
2 篇 university duisb...
2 篇 university of ca...
2 篇 cert program sof...
2 篇 technische unive...
1 篇 univ waterloo wa...
1 篇 ist italiano tec...
1 篇 eãtvãs lorãind u...
1 篇 kyushu univ dept...
1 篇 univ wisconsin m...
1 篇 pricewaterhousec...
1 篇 greenhouse techn...
1 篇 university of be...

作者

2 篇 bhatia sahil
2 篇 preschern christ...
2 篇 lu bao-liang
2 篇 kreiner christia...
2 篇 seshia sanjit a.
2 篇 christian kreine...
2 篇 christopher pres...
2 篇 shi li-chen
2 篇 moore andrew p.
2 篇 iba takashi
2 篇 kim miryung
2 篇 cheung alvin
1 篇 azal wasif
1 篇 geman oana
1 篇 khiu eric
1 篇 viciana-abad raq...
1 篇 li shutao
1 篇 steger christian
1 篇 schoppmann phill...
1 篇 holtel stefan

语言

92 篇 英文
1 篇 其他

检索条件"任意字段=Proceedings of the 18th European Conference on Pattern Languages of Program"

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

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

详细简洁

排序：

A Linearly Polarized Wideband Antenna with A Stable Omnidirectional Radiation pattern 18

A Linearly Polarized Wideband Antenna with A Stable Omnidire...

引用

18th european conference on Antennas and Propagation (EuCAP)

作者： Vu, Hong Tien Niamien, Constant Normandie Univ UNIROUEN ESIGELEC Res Inst Embedded Elect Syst IRSEEM F-76000 Rouen France

ISBN: (纸本)9788831299091;9798350394436

this paper presents a wideband linearly polarized antenna with a stable omnidirectional radiation pattern. the proposed technique combines linear parasitic radiators with a main dipole to create and control additional resonant modes. this enlarges the impedance bandwidth while maintaining linear polarization and stable radiation characteristics over a broad-covered band. Simulations and experiments confirm these results on a fabricated prototype showing a wide impedance bandwidth of 41% (0.65 - 0.99 GHz), a stable omnidirectional radiation pattern, and a high efficiency of 80%.

关键词： Wideband antenna multimode resonance dipole antenna stable radiation pattern energy harvesting

来源：评论

学校读者我要写书评

暂无评论

Future Play Workshop with using A pattern Language for Nurturing an Exciting Life 24

Future Play Workshop with using A Pattern Language for Nurtu...

引用

29th european conference on pattern languages of programs, People, and Practices

作者： Nitta, Rio Iba, Takashi Keio Univ Grad Sch Media & Governance Tokyo Japan Keio Univ Tokyo Japan

ISBN: (纸本)9798400716836

this focus group implemented a novel application of pattern language through the FUTURE PLAY WORKSHOP, where participants embodied their future selves. the workshop utilized 'A pattern Language for Nurturing an Exciting Life' as a conceptual framework to explore practices that could transform participants' current situations into more fulfilling life experiences. the workshop began with participants divided into groups of three. One person portrayed their future self, while the other two assumed the roles of a magazine reporter and photographer. they conducted like a "hero interview" under the premise that the interviewee had already realized their ideal future. through this role-play, all participants experienced each role.

关键词： pattern Language Workshop Life Design Future immersion Exciting Life

来源：评论

学校读者我要写书评

暂无评论

Design of an Ultra-Wideband RCS Reduction Metasurface with Pure Metal-pattern Layer 18

Design of an Ultra-Wideband RCS Reduction Metasurface with P...

引用

18th european conference on Antennas and Propagation (EuCAP)

作者： Li, Shuaipeng Zong, Yali Ma, Xinyu Yu, Weijie Liu, Zicheng Northwestern Polytech Univ Sch Elect Informat Xian Peoples R China

ISBN: (纸本)9788831299091;9798350394436

To achieve the perfect stealth of targets, the ultra-wide band RCS (Radar Cross Section) reduction technique is in urgent demand nowadays. the introduction of metasurface brings the advantages of design flexibility and low profile. However, metal-pattern-layer metasurface usually has narrow frequency characteristics. To widen the bandwidth and avoid shortcomings of higher manufacturing cost and lower reliability, the present research designs an ultra-wideband RCS reduction metasurface with pure metal-pattern layer. Based on the impedance matching and polarization conversion, absorbing bandwidth is gradually widened by improving the design of the metal-pattern layer. Finally, 85% (7.64-19GHz) and 104% (7.2-22.8GHz) relative bandwidths for the periodic unit and array are realized for RCS reduction, respectively. the maximum absorptivity reaches 0.9996 for the metasurface unit. the maximum RCS reduction of 22.28dBsm and the average one of 10.2dBsm are realized for the metasurface array. the design has some application potential for targets with RCS reduction requirement.

关键词： metasurface RCS reduction ultra-wideband pure metal-pattern layer impedance matching polarization conversion

来源：评论

学校读者我要写书评

暂无评论

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress) 18th

A Framework for Verifying the Collision Freeness of Collabor...

引用

18th International conference on Integrated Formal Methods (IFM)

作者： Graczyk, Artur Hadjikosti, Marialena Popescu, Andrei Univ Sheffield Sheffield S Yorkshire England

ISBN: (纸本)9783031477041;9783031477058

Collision avoidance is a major problem when robotic devices are being deployed to perform complex collaborative tasks. We present a vision for a framework that makes it convenient to program collaborative robots and to verify that their behaviour is collision-free. It consists of a domain-specific language that is shallowly embedded in the ROS (Robot Operating System) framework and a translation into a programming language that is deeply embedded in the Isabelle/HOL theorem prover.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Predicting Machine Translation Performance on Low-Resource languages: the Role of Domain Similarity 18

Predicting Machine Translation Performance on Low-Resource L...

引用

18th conference of the european Chapter of the Association for Computational Linguistics, EACL 2024 - Findings of EACL 2024

作者： Khiu, Eric Toossi, Hasti Anugraha, David Liu, Jinyu Li, Jiaxu Flores, Juan Armando Parra Roman, Leandro Arcos Doğruöz, A. Seza Lee, En-Shiun Annie University of Michigan United States University of Toronto Canada Centro de Investigación en Matemáticas Mexico Amherst College United States LT3 ID-Lab Universiteit Gent Belgium Ontario Tech University Canada

ISBN: (纸本)9798891760936

Fine-tuning and testing a multilingual large language model is expensive and challenging for low-resource languages (LRLs). While previous studies have predicted the performance of natural language processing (NLP) tasks using machine learning methods, they primarily focus on high-resource languages, overlooking LRLs and shifts across domains. Focusing on LRLs, we investigate three factors: the size of the fine-tuning corpus, the domain similarity between fine-tuning and testing corpora, and the language similarity between source and target languages. We employ classical regression models to assess how these factors impact the model’s performance. Our results indicate that domain similarity has the most critical impact on predicting the performance of Machine Translation models. © 2024 Association for Computational Linguistics.

关键词： Machine translation

来源：评论

学校读者我要写书评

暂无评论

A Linear Wide-Angle Scanning Phased Array Antenna Using Heterogeneous Beam Element Technology 18

A Linear Wide-Angle Scanning Phased Array Antenna Using Hete...

引用

18th european conference on Antennas and Propagation (EuCAP)

作者： Wan, Yinglu Liao, Shaowei Wang, Yuqi Che, Wenquan Xue, Quan South China Univ Technol Sch Elect & Informat Engn Guangzhou Peoples R China

ISBN: (纸本)9788831299091;9798350394436

Heterogeneous beam element (HBE) technology leverages the pattern shape of each element as a novel design degree of freedom (DoF) to enhance the scanning performance of phased array antennas (PAAs). through strategic arrangements of HBEs, this technology effectively synthesizes a wide average active element pattern (AAEP), enabling wide-angle scanning. this study presents a novel HBE configuration that facilitates customized tilted element beams by controlling the current distribution on the radiating section. Based on the HBEs, the performance of a 4-element linear PAA is evaluated. Simulation results indicate that the 4-element linear HBE-based PAA (HBE PAA) can enhance the scan range from 60 to 70 degrees within the 5G mmWave band (24.25-29.5 GHz, 19.5%) at the cost of a broadside gain loss of less than 1 dB compared to its standard counterpart using standard dipole elements. the HBE technology provides a valuable complement to existing wide-angle scanning methodologies and holds the potential to serve as an efficient solution for wide-angle scanning.

关键词： phased array antenna (PAA) wide-angle scanning heterogeneous beam element (HBE) HBE PAA average active element pattern (AAEP)

来源：评论

学校读者我要写书评

暂无评论

Scalable and Precise Refinement Types for Imperative languages 18th

Scalable and Precise Refinement Types for Imperative Languag...

引用

18th International conference on Integrated Formal Methods (IFM)

作者： Lanzinger, Florian Bachmeier, Joshua Ulbrich, Mattias Dietl, Werner Karlsruhe Inst Technol Karlsruhe Germany FZI Res Ctr Informat Technol Karlsruhe Germany Univ Waterloo Waterloo ON Canada

ISBN: (纸本)9783031477041;9783031477058

In formal verification, there is a dichotomy between tools which are scalable and easy to use but imprecise, like most pluggable type systems, and tools which are expressive and precise but badly scalable and difficult to use, like deductive verification. Our previous research to create a formal link between refinement types and deductive verification allows programmers to use a scalable type system for most of the program, while automatically generating specifications for a deductive verifier for the difficult-to-prove parts. However, this is currently limited to immutable objects. In this work, we thus present an approach which combines uniqueness and refinement type systems in an imperative language. Unlike existing similar approaches, which limit refinements such that they cannot contain any reference-typed program variables, our approach allows more general refinements, because even if a type constraint is not provable in the type system itself, it can be translated and proven by a deductive verifier.

关键词： Pluggable type systems Deductive verification Refinement types Ownership types

来源：评论

学校读者我要写书评

暂无评论

WACO: LearningWorkload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor program 2023

WACO: LearningWorkload-Aware Co-optimization of the Format a...

引用

28th ACM International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)

作者： Won, Jaeyeon Mendis, Charith Emer, Joel S. Amarasinghe, Saman MIT CSAIL 77 Massachusetts Ave Cambridge MA 02139 USA UIUC Urbana IL USA UIUC Champaign IL USA NVIDIA Santa Clara CA USA

ISBN: (纸本)9781450399166

In this paper, we present WACO, a novel method of co-optimizing the format and the schedule of a given sparsity pattern in a sparse tensor program. A core challenge in this paper is the design of a lightweight cost model that accurately predicts the runtime of a sparse tensor program by considering the sparsity pattern, the format, and the schedule. the key idea in addressing this is exploiting a sparse convolutional network to learn meaningful features of the sparsity pattern and embedding a coupled behavior between the format and the schedule using a specially designed schedule template. In addition, within the enormous search space of co-optimization, our novel search strategy, an approximate nearest neighbor search, efficiently and accurately retrieves the best format and schedule for a given sparsity pattern. We evaluated WACO for four different algorithms (SpMV, SpMM, SDDMM, and MTTKRP) on a CPU using 726 different sparsity patterns. Our experimental results showed thatWACO outperformed four state-of-the-art baselines, IntelMKL, BestFormat, TACO with a default schedule, and ASpT. Compared to the best of four baselines, WACO achieved 1.43x, 1.18x, 1.14x, and 1.27x average speedups on SpMV, SpMM, SDDMM, and MTTKRP, respectively.

关键词： Sparse Tensor Auto-Scheduling Tensor Compiler

来源：评论

学校读者我要写书评

暂无评论

Pinwheel-Shaped Polarizer for Generating Dual-Circularly Polarized Conical Radiation patterns in the Ka-band 18

Pinwheel-Shaped Polarizer for Generating Dual-Circularly Pol...

引用

18th european conference on Antennas and Propagation (EuCAP)

作者： Melendro-Jimenez, J. Sanchez-Olivares, P. Tamayo-Dominguez, A. Garcia-Martinez, S. Masa-Campos, J. L. Univ Politecn Madrid Informat Proc & Telecommun Ctr IPTC ETSI Telecomunicac Madrid Spain

ISBN: (纸本)9788831299091;9798350394436

In this contribution, the design of a 3D-printed dual-mode anisotropic dielectric polarizer is presented for millimeter-wave applications within the Ka-band (28-30 GHz). the dielectric polarizer, fed by a conical horn antenna, can convert the linearly polarized conical radiation patterns obtained when exciting TE01 and TM01 modes into right-handed circularly polarized (RHCP) and left-handed circularly polarized ( LHCP) conical radiation patterns, respectively. the horn antenna is fed by a mode-converter with two input ports and one output port. When TE10 mode is excited at input port 1, TE01 mode is radiated by the horn, and the polarizer converts the phi-polarized wave into a RHCP wave. Conversely, when TE10 is excited at input port 2, TM01 mode is radiated by the horn, and the polarizer converts the linearly theta- polarized wave into a LHCP wave. Simulated results show an axial ratio (AR) below 2 dB across the entire frequency range for dual-mode operation.

关键词： lens antenna dual-mode polarizer anisotropy conical-beam pattern circular polarization 3D-printing

来源：评论

学校读者我要写书评

暂无评论

Attention-Based Method for Design pattern Detection 18th

Attention-Based Method for Design Pattern Detection

引用

18th european conference on Software Architecture (ECSA)

作者： Mzid, Rania Rezgui, Ilyes Ziadi, Tewfik Univ Tunis El Manar ISI 2 Rue Abourraihan Al Bayrouni Ariana Tunisia Univ Sfax CES Lab ENIS Sfax Tunisia Sorbonne Univ CNRS LIP6 F-75005 Paris France

ISBN: (纸本)9783031707964;9783031707971

Design patterns are standard solutions to recurrent software engineering problems. the use of design patterns helps developers improve software quality. However, when integrating design patterns into their systems, software developers usually do not document their use. To this end, the use of an automatic approach for their detection may accelerate program comprehension, assist developers in software refactoring, and reduce efforts during the maintenance task. In this paper, we propose an attention-based approach for design pattern detection. Specifically, we utilize an automatic feature extraction step with a transformer-based model incorporating the attention mechanism. Based on an unsupervised approach, this step learns from source code to identify code attributes and then produces embedding vectors. these vectors capture syntactic and semantic information related to design pattern implementations and serve as input to train a classifier for the design pattern detection task. the attention mechanism is used to produce important representative features of design pattern implementations and improve the accuracy of the classification model. the evaluation shows that our classifier detects GoF design patterns with an accuracy score of 86%, precision of 87%, recall of 86%, and F1-score of 86%. the comparison of our findings with state-of-the-art methods shows an improvement in (i) precision of 25%, (ii) recall of 6%, and (iii) F1-score of 8%.

关键词： Design pattern detection Feature extraction classification Transformer architecture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：