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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,672 篇 会议
333 篇 期刊文献
252 册 图书

馆藏范围

8,257 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,052 篇 工学
- 2,997 篇 计算机科学与技术...
- 1,850 篇 软件工程
- 986 篇 电气工程
- 582 篇 控制科学与工程
- 352 篇 信息与通信工程
- 336 篇 电子科学与技术（可...
- 188 篇 机械工程
- 87 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 39 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 37 篇 航空宇航科学与技...
- 36 篇 土木工程
- 33 篇 建筑学
- 33 篇 环境科学与工程（可...
- 32 篇 安全科学与工程
924 篇 理学
- 728 篇 数学
- 142 篇 系统科学
- 97 篇 物理学
- 97 篇 统计学（可授理学、...
- 68 篇 生物学
488 篇 管理学
- 398 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
57 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
30 篇 教育学
- 30 篇 教育学
20 篇 文学
20 篇 农学
7 篇 艺术学
5 篇 军事学

主题

1,310 篇 programming
770 篇 linear programmi...
580 篇 programming prof...
487 篇 application soft...
486 篇 parallel program...
374 篇 computer archite...
372 篇 computer science
372 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
271 篇 software enginee...
270 篇 optimization
267 篇 concurrent compu...
259 篇 computational mo...
244 篇 object oriented ...
241 篇 parallel process...
231 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
13 篇 school of electr...
11 篇 ibm thomas j. wa...
10 篇 georgia inst tec...
10 篇 department of el...
9 篇 department of el...
9 篇 oak ridge nation...
9 篇 department of el...
8 篇 univ hong kong d...
8 篇 institute of dig...
7 篇 department of el...
7 篇 chair for progra...
7 篇 department of co...
7 篇 department of co...
7 篇 department of co...
6 篇 inria
6 篇 school of comput...
6 篇 department of el...

作者

24 篇 steffen bernhard
14 篇 w.-s. lu
13 篇 liu derong
12 篇 anon
11 篇 josef börcsök
10 篇 wei qinglai
9 篇 bernhard steffen
9 篇 wu-sheng lu
9 篇 tiziana margaria
9 篇 margaria tiziana
8 篇 p. hasler
8 篇 a. antoniou
8 篇 sitek pawel
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 leucker martin

语言

8,026 篇 英文
178 篇 其他
35 篇 中文
16 篇 葡萄牙文
5 篇 西班牙文

检索条件"任意字段=International Symposium on Programming and Systems"

共 8257 条记录，以下是421-430 订阅

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

详细简洁

排序：

Free Objects in Constraint-logic Object-oriented programming 2021

Free Objects in Constraint-logic Object-oriented Programming

引用

23rd international symposium on Principles and Practice of Declarative programming (PPDP)

作者： Dagefoerde, Jan C. Winkelmann, Hendrik Kuchen, Herbert Univ Munster ERCIS Munster Germany

ISBN: (纸本)9781450386890

Constraint-logic object-oriented programming facilitates the integrated development of business software that occasionally solves constraint-logic problems or makes other use of structured search. So far, work in constraint-logic object-oriented programming has been limited to considering constraints that only involve logic variables of primitive types;in particular, boolean, integer, and floating-point numbers. However, the availability of object-oriented features calls for the option to use logic variables in lieu of objects as well. Therefore, support for reference-type logic variables (or free objects) is required. With the work at hand, we add support for free objects to a Java-based constraint-logic object-oriented language, Muli. Allowing free objects in statements and expressions results in novel interactions with objects at run time, for instance, non-deterministic execution of polymorphic method invocations (taking arbitrary class hierarchies into account) and non-deterministic type operations. At run time, this is supported by a dynamic type constraint that restricts the possible types of a free object at non-deterministic choices.

关键词： Constraint-logic object-oriented programming reference-type logic variables programming language implementation runtime systems

来源：评论

学校读者我要写书评

暂无评论

Automated Decomposition of Concurrent Programs for Asynchronous Logic Synthesis

Automated Decomposition of Concurrent Programs for Asynchron...

引用

international symposium on Advanced Research in Asynchronous Circuits and systems

作者： Karthi Srinivasan Rajit Manohar Department of Electrical and Computer Engineering Yale University New Haven USA

ISBN: (数字)9798331503109

ISBN: (纸本)9798331503116

Decomposition is the process of modifying a high-level description of an asynchronous circuit into an equivalent but more concurrent version with the goal of producing more performant circuits. We introduce a novel, general method for decomposing a system of abstract programs into an equivalent system with higher concurrency. The method uses control and data dependencies in the input program to determine independent portions and extract them into separate sub-processes. We formulate the problem of extracting these sub-processes in terms of finding cuts that satisfy certain constraints in a graph, and propose a heuristic to find these cuts that performs well. The decomposition algorithm can be repeatedly applied in an iterative manner to produce progressively more concurrent systems. The proposed procedure results in higher throughput at the cost of a more expensive circuit in terms of area and power consumption. A software tool that implements the decomposition algorithm is also demonstrated and benchmarked.

关键词： Concurrent computing Integrated circuits Power demand Software algorithms programming Throughput Iterative algorithms Logic Software tools Asynchronous circuits

来源：评论

学校读者我要写书评

暂无评论

Intelligent Plant Monitoring and Care System

Intelligent Plant Monitoring and Care System

引用

international symposium on Electronics and Telecommunications (ISETC)

作者： Andreea-Alexandra Brezuică Ferencz Cârnu George Bănucu Alexandru Bularca Ṣtefan-Gabriel Chivoiu Alexandru Dinu Dept. of Electrical Engineering Transilvania University Brasov Romania Dept. of Electronics and Computers Transilvania University Brasov Romania

ISBN: (数字)9798350390865

ISBN: (纸本)9798350390872

Domotics, as a complex field with many possible applications, stimulates the creativity of large teams of professionals worldwide. Every day new applications and systems are being created in home automation area, giving people more control over their smart homes and providing them with a detailed status about appliances' activity. Aligning to this trend, this article describes the realisation of a modern complex electronic system that, using an internet connection, allows houseplant owners to care for and monitor their flowers when they are out of their home for several days. It is demonstrated that, using an regular Arduino board connected to a few low-cost peripherals and creating a framework employing some of the most common programming languages, a stable and easy-to-use system in domotics domain has been created. The details on the programming flow, the components used and the code provided in this paper can help any electronics enthusiast to build its own electronic system for plant care or similar activities.

关键词： Plant diseases Smart homes Three-dimensional printing User experience Telecommunications Pins Servers Artificial intelligence Monitoring programming profession

来源：评论

学校读者我要写书评

暂无评论

Multi-Tag UWB-based Indoor Positioning System for Objects Tracking

Multi-Tag UWB-based Indoor Positioning System for Objects Tr...

引用

international symposium on Intelligent systems and Informatics (SISY)

作者： Mohammed Faeik Ruzaij Al-Okby Thomas Roddelkopf Simon-Johannes Burgdorf Kerstin Thurow Center for Life Science Automation (celisca) University of Rostock Rostock Germany Technical Institute of Babylon Al-Furat Al-Awsat Technical University (ATU) Kufa Iraq Institute of Automation University of Rostock Rostock Germany

ISBN: (数字)9798350385601

ISBN: (纸本)9798350385618

The work environment in automated laboratories requires indoor positioning systems to track the motion of samples, mobile robots, and workers while implementing their daily tasks. The need for position detection systems lies in achieving maximum levels of early response in case of any emergencies, such as collision accidents or leakage of chemical or biological samples while being transported by robots. The process of tracking objects and determining their precise location is a complex task of great importance in the field of automation. The recent developments in communications and electronics technologies have made this task possible. In this paper, the testing and evaluation of a low-cost indoor positioning system for tracking the movement of mobile objects is presented. The system consists of several commercial ultra-wideband modules that can be used as tags or anchors based on the hosted processor programming. It can be used to track any moving object, such as labware, robots, humans, and other objects by connecting a tracking unit (tag) to the moving object. Practical results strongly suggest that the system is capable of tracking the required targets and displaying their live data with high accuracy and an error rate of less than 50 cm in line-of-sight conditions.

关键词： Target tracking Tracking Error analysis System performance programming Approximation algorithms IP networks Indoor positioning systems Wideband Ultra wideband technology

来源：评论

学校读者我要写书评

暂无评论

Conflict-Free Navigation Optimization at Unsignalized Intersections Using Mixed-Integer Linear programming for Connected and Autonomous Vehicles

Conflict-Free Navigation Optimization at Unsignalized Inters...

引用

international symposium on Parallel and Distributed Processing with Applications, ISPA

作者： Shuanglong Chu Jinfeng Guo Chen Mu School of Information Engineering Chang'an University Xi'an China

ISBN: (数字)9798331509712

ISBN: (纸本)9798331509729

The advent of Connected and Autonomous Vehicles (CAVs) offers significant potential to mitigate traffic accidents and reduce congestion through advanced unsignalized intersection technologies. However, this potential also introduces substantial modeling and computational challenges. This paper establishes a Mixed Integer Linear programming (MILP) model and a Simulated Annealing Algorithm (SAA) to solve the unsignalized intersection problem. It begins with an indepth analysis of the conflict relationships among vehicles at intersections, laying the foundation for the model. Building on this, a novel vehicle trajectory planning model is introduced, leveraging the MILP model to ensure faster and more practical trajectory calculations, meeting real-time computation requirements. Finally, this paper designs a SAA to determine the optimal vehicle passing order, enhancing both safety and efficiency at intersections. Through numerical simulations, the research verifies the efficiency of the proposed MILP model and the effectiveness of the SAA in optimizing vehicle trajectories.

关键词： Connected vehicles Trajectory planning Computational modeling Numerical simulation Real-time systems Numerical models Trajectory Safety Mixed integer linear programming Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

Coding Buddy: An Adaptive AI-Powered Platform for Personalized Learning

Coding Buddy: An Adaptive AI-Powered Platform for Personaliz...

引用

international symposium on Networks, Computers and Communications (ISNCC)

作者： Harsha Nutalapati Sachin Velmurugan Nestor Michael Tiglao Department of Electrical and Computer Engineering University of Maryland College Park Maryland USA

ISBN: (数字)9798350364910

ISBN: (纸本)9798350364927

In today's fast-paced tech world, students often struggle to keep up with complex programming concepts. Traditional online learning platforms fail to adapt to individual learning speeds, leaving many students frustrated and falling behind. Our research introduces “Coding Buddy,” an innovative online learning system designed to solve this problem. Coding Buddy uses advanced technology to track how each student learns and adapts the course content accordingly. By analyzing factors like the time spent on each lesson, the types of mistakes made, and how often students ask for help, our system creates a personalized learning experience. Our study of 1,000 computer science students showed that 70% found traditional online courses too rigid. With Coding Buddy, 85% of students reported better understanding of complex topics. The system's ability to adjust difficulty levels in real-time led to a 40% increase in course completion rates. The key innovation is our use of AI-powered chat assistants and granular difficulty levels. This allows Coding Buddy to offer explanations in simpler language when needed, or provide more challenging content for advanced learners. Our results suggest that this personalized approach significantly improves learning outcomes in tech education. By addressing the individual needs of each student, Coding Buddy represents a major step forward in online programming education, potentially revolutionizing how we teach and learn complex technical skills.

关键词： Learning systems Technological innovation Analytical models Adaptive systems Computational modeling Education Predictive models Encoding Real-time systems programming profession

来源：评论

学校读者我要写书评

暂无评论

Linear Coding for AWGN Channels with Noisy Output Feedback via Dynamic programming

Linear Coding for AWGN Channels with Noisy Output Feedback v...

引用

IEEE international symposium on Information Theory (ISIT)

作者： Mishra, Rajesh Vasal, Deepanshu Kim, Hyeji Univ Texas Austin Dept ECE Austin TX 78712 USA Northwestern Univ Dept ECE Evanston IL 60208 USA

ISBN: (纸本)9781538682098

In this paper, we consider a communication system where a sender sends messages over a memoryless Gaussian point-to-point channel to a receiver and receives the output feedback over another Gaussian channel with known variance and unit delay. The sender sequentially transmits the message over multiple times till a certain error performance is achieved. The aim of our work is to design a transmission strategy to process every transmission with the information that was received in the previous feedback and send a signal so that the estimation error drops as quickly as possible. The optimal code is unknown for channels with noisy output feedback when the block length is finite. Even within the family of linear codes, optimal codes are unknown in general. Bridging this gap, we propose a family of linear sequential codes and provide a dynamic programming (DP) algorithm to solve for a closed form expression for the optimal code within a class of sequential linear codes. The optimal code discovered via DP is a generalized version of which the Schalkwijk-Kailath (SK) scheme is one special case with noiseless feedback;our proposed code coincides with the celebrated SK scheme for noiseless feedback settings.

关键词： Estimation error Communication systems Heuristic algorithms Receivers Linear codes Encoding Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis between programming languages in Android mobile embedded systems 23

Comparative analysis between programming languages in Androi...

引用

27th Brazilian symposium on programming Languages, SBLP 2023

作者： Neder, Fernando Miranda Filho, Ricardo Azevedo, Jônatas Pessoa, Larissa De Freitas, Rosiane Barreto, Raimundo Instituto de Computação Universidade Federal Do Amazonas Brazil

ISBN: (纸本)9798400716287

Com o surgimento de dispositivos móveis de poder computacional cada vez maior, novas linguagens de programação também surgem de modo a dar suporte ao desenvolvimento de sistemas cada vez mais complexos que atendam aos desafios crescentes do mercado e às necessidades dos usuários. Cada linguagem de programação possui características específicas e a escolha da mais adequada depende de um conjunto de fatores associados aos requisitos do projeto a ser implementado, bem como à plataforma em que será executado. Neste trabalho foi investigado o desempenho de smartphones, que são considerados sistemas embarcados móveis devido possuírem configuração específica de hardware e software, em relação ao tempo de execução e aos consumos de energia e de memória, na execução de aplicativos móveis Android desenvolvidos em linguagens de programação clássicas, sendo C, C++, Java, Python, e também Kotlin, uma das linguagens oficiais do Android e Google, recentemente proposta e ainda pouco investigada, através de códigos abertos de algoritmos de benchmark multilinguagem.

关键词： algorithms mobile embedded systems multilingual benchmark programming languages

来源：评论

学校读者我要写书评

暂无评论

A Charge-Trap-Transistor-Based Fully Analog Machine Learning Inference Engine for Audio Keyword Spotting

A Charge-Trap-Transistor-Based Fully Analog Machine Learning...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： Navid Rezazadeh John Gosson Roger Levinson Paramjeet Sahni Mark Bury Juan Diaz Shufan Chan Eve Boyer Niraj Mathur Hamid Taheri Blumind Inc. Ottawa Canada

ISBN: (数字)9798350330991

ISBN: (纸本)9798350331004

We present an analog machine learning chip for audio keyword spotting based on charge-trap transistors in 22 nm FD-SOI process. This implementation does not require any analog-to-digital conversion and uses 4-bit weights with a full scale of 200 nA, resulting in an ultra-low-power solution suitable for edge devices. A recurrent neural network has been implemented on chip demonstrating a 96% correlation between silicon measurement and simulation, while consuming an average of 10 nJ per inference.

关键词： Semiconductor device measurement Recurrent neural networks Neuromorphics Machine learning programming Silicon Robustness

来源：评论

学校读者我要写书评

暂无评论

Characterizing Massively Parallel Polymorphism

Characterizing Massively Parallel Polymorphism

引用

IEEE international symposium on Performance Analysis of systems and Software (ISPASS)

作者： Zhang, Mengchi Alawneh, Ahmad Rogers, Timothy G. Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9781728186436

GPU computing has matured to include advanced C++ programming features. As a result, complex applications can potentially benefit from the continued performance improvements made to contemporary GPUs with each new generation. Tighter integration between the CPU and GPU, including a shared virtual memory space, increases the usability of productive programming paradigms traditionally reserved for CPUs, like object-oriented programming. Programmers are no longer forced to restructure both their code and data for GPU acceleration. However, the implementation and performance implications of advanced C++ on massively multithreaded accelerators have not been well studied. In this paper, we study the effects of runtime polymorphism on GPUs. We first detail the implementation of virtual function calls in contemporary GPUs using microbenchmarking. We then propose Parapoly, the first open-source polymorphic GPU benchmark suite. Using Parapoly, we further characterize the overhead caused by executing dynamic dispatch on GPUs using massively scaled CPU workloads. Our characterization demonstrates that the optimization space for runtime polymorphism on GPUs is fundamentally different than for CPUs. Where indirect branch prediction and ILP extraction strategies have dominated the work on CPU polymorphism, GPUs are fundamentally limited by excessive memory system contention caused by virtual function lookup and register spilling. Using the results of our study, we enumerate several pitfalls when writing polymorphic code for GPUs and suggest several new areas of system and architecture research that can help alleviate overhead.

关键词： GPU Object Oriented programming Polymorphism

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 39 40 41 42 43 44 45 46 47 48 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：