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

Slow and Fast Light, Slow_Fast 2011

作者： Luo, Bin Guo, Hong CREAM Group State Key Lab. of Advanced Optical Communication Systems and Networks Inst. of Quantum Electronics School of Electronics Engineering and Computer Science Peking University Beijing 100871 China

A-type atom coupled by additional driving light and radio frequency (RF) field can generate controllable simultaneous slow and fast light at two frequencies. Distortions by radiative dampings are discussed and compens... 详细信息

ISBN: (纸本)9781557529138

关键词： Slow light

来源：评论

学校读者我要写书评

暂无评论

E-AirQuality: A dynamic web based application for evaluating the air quality index for the city of Kozani, Hellas

E-AirQuality: A dynamic web based application for evaluating...

引用

15th Panhellenic Conference on Informatics, PCI 2011

作者： Ioannis, Skordas Fragulis, George F. Triantafyllou, Athanassios G. Dept. of Geotechnology and Environmental Engineering Laboratory of Atmospheric Pollution and Environmental Physics Tecnological Educational Inst. of Western Macedonia Kozani Hellas Greece Laboratory of Web Technologies and Applied Control Systems Dept. of Computer Science and Mathematics Tecnological Educational Inst. of Western Macedonia Kozani Hellas Greece

ISBN: (纸本)9780769543895

The purpose of this work is to provide access to meteorological data as well as information of the status of air quality for the city of Kozani in real time with a userfriendly interface. The application has been developed using only open source software . MySQL has been used as a relational database management system, PHP as the scripting language for the development of the application and to connect the application to the database and Javascript/HTML for the user interface programming . The users are separated to two different groups (simple users-visitors and authorised users). Each group is provided by a number of functionalities. © 2011 IEEE.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Poster abstracts

引用

Sleep and Biological Rhythms 2016年第1期5卷 A1-A189页

作者： J. Ferrie M. Shipley F. Cappuccio E. Brunner M. Miller M. Kumari M. Marmot A. Coenen J. L. Castillo F. Araya G. Bustamante L. Montecino C. Torres S. Oporto J. Gronli E. Fiske R. Murison B. Bjorvatn E. Sorensen R. Ursin C. M. Portas S. Rajaraman A. Gribok N. Wesensten T. Balkin J. Reifman N. Dursunoglu S. Ozkurt S. Baser O. Delen S. Sarikaya P. Sadler P. Mitchell D. Françon M. Decobert B. Herve A. Richard G. Griebel P. Avenet B. Scatton G. L. Fur D. Eckert A. Jordan A. Wellman S. Smith A. Malhotra D. White D. Bruck I. Thomas A. Kritikos W. Oertel K. Stiasny-Kolster D. Garcia-Borreguero W. Poewe B. Hoegl R. Kohnen E. Schollmayer J. Keffel C. Trenkwalder A. Valle S. Roizenblatt F. Fregni P. Boggio S. Tufik K. Ward L. Robertson L. Palmer P. Eastwood D. Hillman J. Lee S. Mukherjee V. de Padova G. Barbato G. Ficca I. Zilli P. Salzarulo M. Veldi T. Hion V. Vasar M. Kull L. Nowak J. Davis Y. Latzer O. Tzischinsky S. Crowley M. Carskadon M. Anca-Herschkovitsch D. Frey J. Ortega C. Wiseman C. Farley K. Wright A. Campbell A. Neill K. Spiegel R. Leproult E. Tasali N. Scherberg E. van Cauter A. T. Noradina N. A. Karim I. Norlinah A. A. Raymond R. Sahathevan B. Hamidon E. Werth R. Poryazova R. Khatami C. Bassetti R. G. Beran L. Ainley G. Holand J. Duncan H. Kinney B. Davis B. Hood S. Frey C. Schmidt M. Hofstetter P. Peigneux C. Cajochen W.-P. Hu J.-D. Li C. Zhang L. Boehmer J. Siegel Q.-Y. Zhou Y. Sagawa H. Kondo T. Takemura H. Kanayama Y. Kaneko M. Sato T. Kanbayashi Y. Hishikawa T. Shimizu A. Viola L. James L. Schlangen D.-J. Dijk R. Andretic Y.-C. Kim K.-A. Han F. Jones R. Greenspan L. Sanford L. Yang X. Tang K. Dieter E. Uta H. Sven M. Richard N. Oyane S. Pallesen F. Holsten Y. Inoue M. Fujita N. Emura K. Kuroda N. Uchimura A. Johnston J. Astbury G. Kennedy K. Hoedlmoser M. Schabus T. Pecherstorfer S. Moser G. Gruber P. Anderer W. Klimesch N. Naidoo M. Ferber A. Pack D. Neu O. Mairesse G. Hoffmann A. Dris L. Lambrecht P. Linkowski P. Verbanck O. Le Bon N. Matsuura M. Yamao N. Adachi R. Aritomi Y. Komada H. Tanaka S. Shirak University College London London UK University College London London USA Warwick Medical School London UK Warwick Medical School Coventry USA Radboud University Nijmegen Nijmegen Netherlands Department of Neurology University of Chile Santiago Chile Neurology Service Hospital del Salvador Santiago Chile Family Health Center Juan Pablo II Santiago Chile Department of Biomedicine Section on Physiology Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care University of Bergen Bergen Norway Norwegian Competence Center for Sleep Disorders Haukeland University Hospital Bergen Norway Department of Child and Adolescent Psychiatry Haukeland University Hospital Univeristy of Bergen Bergen Norway Department of Biomedicine University of Bergen Bergen Norway US Army Medical Research and Materiel Command Fort Detrick Frederick USA Walter Reed Army Institute of Research Silver Spring USA Department of Behavioral Biology Walter Reed Army Institute of Research Silver Spring USA Faculty Department of Pulmonology Pamukkale University Medical Denizli Turkey University of Ballarat Ballarat Australia Sanofi-Aventis Recherche et Developpement Paris France Brigham and Women’s Hospital Harvard Medical School Boston USA The University of Queensland Adelaide Australia School of Psychology University of Queensland Brisbane Australia The University of Queensland Brisbane Australia Victoria University Melbourne Australia Department of Psychology Victoria University Melbourne Australia School of Psychology Victoria University Melbourne Australia Philips-Universität Marburg Germany Philips-Universitaet-Marburg Marburg Germany Instituto de Investigaciones del Sueno Madrid Spain Universitätsklinik für Neurologie Innsbruck Austria Universitaetsklinik fuer Neurologie Innsbruck Austria IMEREM GmbH Nuernberg Germany Schwarz Pharma AG Monheim Germany

来源：评论

学校读者我要写书评

暂无评论

Hardware support for efficient testing of embedded software

Hardware support for efficient testing of embedded software

引用

ASME 2011 International Design engineering Technical Conferences and computers and Information in engineering Conference, IDETC/CIE 2011

作者： Reinbacher, Thomas Müller, Tobias Horauer, Martin Brauer, Jörg Kowalewski, Stefan Andreas Steininger ECS Group Inst. of Computer Engineering Vienna University of Technology Treitlstr. 3 1040 Vienna Austria Dept. of Embedded Systems Univ. of Applied Sciences Technikum Wien Hochstadtpl. 5 1200 Vienna Austria Embedded Software Laboratory RWTH Aachen University Ahornstr. 55 52074 Aachen Germany

ISBN: (纸本)9780791854808

Verification of software for embedded systems is crucial for ensuring a product's integrity. Formal approaches like static analysis and model checking are gaining momentum in this context. To make an exhaustive examination of the system's state space tractable in practice, these methods perform an abstraction and over-approximation of the possible behavior. As a side-effect, however, this leads to "false negatives" - property violations that exist only in the model and not on the real system. Ruling out such spurious property violations by manual valuation is a tedious and error-prone process. This paper reports on the concepts and design of a hardware unit to support the identification of false negatives. Our approach has several advantages: (i) It works on microcontroller binary code, thus avoiding the need for availability of high-level source code, and covering compiler bugs as well. (ii) Moving the verification directly to the target platform rules out modeling errors. (iii) The cases suspected to lead to spurious property violations can serve as very efficient test cases for a specific implementation later on. We illustrate principle and benefits of the proposed approach by a worked example. © 2011 by ASME.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Bayesian mixed-effects inference on classification performance in hierarchical data sets

The Journal of Machine Learning Research

引用

The Journal of Machine Learning Research 2012年第1期13卷

作者： Kay H. Brodersen Christoph Mathys Justin R. Chumbley Jean Daunizeau Cheng Soon Ong Joachim M. Buhmann Klaas E. Stephan Machine Learning Lab. Dept. of Comp. Sci. ETH Zurich Switzerland and Lab. for Social and Neural Systems Res. Dept. of Economics Univ. of Zurich Zurich Switzerland and Translational Neuromodeling Unit Inst. for Biomed. Eng. ETH Zurich and Univ. of Zurich Zurich Switzerland Laboratory for Social and Neural Systems Research Department of Economics University of Zurich Zurich Switzerland and Translational Neuromodeling Unit Institute for Biomedical Engineering ETH Zurich & University of Zurich Zurich Switzerland Laboratory for Social and Neural Systems Research Department of Economics University of Zurich Zurich Switzerland Machine Learning Laboratory Department of Computer Science ETH Zurich Zurich Switzerland Lab. for Social and Neural Sys. Res. Dept. of Economics Univ. of Zurich Switzerland Wellcome Trust Centre for Neuroimaging Univ. College London London United Kingdom and Translational Neuromodeling Unit Inst. for Biomedical Eng. ETH Zurich and Univ. of Zurich Zurich Switzerland

Classification algorithms are frequently used on data with a natural hierarchical structure. For inst.nce, classifiers are often trained and tested on trial-wise measurements, separately for each subject within a group. One important question is how classification outcomes observed in individual subjects can be generalized to the population from which the group was sampled. To address this question, this paper introduces novel statistical models that are guided by three desiderata. First, all models explicitly respect the hierarchical nature of the data, that is, they are mixed-effects models that simultaneously account for within-subjects (fixed-effects) and across-subjects (random-effects) variance components. Second, maximum-likelihood estimation is replaced by full Bayesian inference in order to enable natural regularization of the estimation problem and to afford conclusions in terms of posterior probability statements. Third, inference on classification accuracy is complemented by inference on the balanced accuracy, which avoids inflated accuracy estimates for imbalanced data sets. We introduce hierarchical models that satisfy these criteria and demonstrate their advantages over conventional methods usingMCMC implementations for model inversion and model selection on both synthetic and empirical data. We envisage that our approach will improve the sensitivity and validity of statistical inference in future hierarchical classification studies.

关键词： Bayesian inference balanced accuracy beta-binomial group studies normal-binomial

来源：评论

学校读者我要写书评

暂无评论

Enhancing Intelligent Pedagogical Agents in virtual worlds

Enhancing Intelligent Pedagogical Agents in virtual worlds

引用

18th International Conference on computers in Education, ICCE 2010

作者： Garrido, Piedad Martinez, Francisco J. Guetl, Christian Plaza, Inmaculada Computer Science and System Engineering Electronics Engineering and Communications University of Zaragoza Spain Inst. for Information Systems and Comp. Media Graz University of Technology Austria

ISBN: (纸本)9789834251246

Intelligent Pedagogical Agents (IPAs) are software agents which have educational purposes. They are able to communicate, cooperate, discuss, and guide other students or agents. Some studies conclude that if agents look like and interact as humans, they will enhance the learning process and the motivation of the students. This paper presents a proposal to add Semantic Web Knowledge to Intelligent Pedagogical Agents. In our solution, the IPA has a modular knowledge organization composed by four differentiated areas: (i) the rational area, which adds semantic web knowledge, (ii) the association area, which simplifies building appropriate responses, (iii) the commonsense area, which provides commonsense responses, and (iv) the behavioral area, which allows IPA agents to show empathy. Our main objective is to create more intelligent and more human alike Mentor IPAs, enhancing the learning experience of students in 3D Immersive Virtual Learning Environments for various learning settings.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

SVR sagittal balance of a biped robot controlling the torso and ankle joint angles

SVR sagittal balance of a biped robot controlling the torso ...

引用

IEEE International Conference on Industrial engineering and engineering Management, IEEM2010

作者： Ferreira, J.P. Crisóstomo, M.M. Coimbra, A.P. Inst. of Systems and Robotics Dept. of Electrical and Computer Eng. Univ. of Coimbra Portugal Dept. of Electrical Engmeenng Supenor Institute of Engineering of Coimbra Coimbra Portugal

ISBN: (纸本)9781424485031

关键词： Intelligent robots

来源：评论

学校读者我要写书评

暂无评论

SVR control of the sagittal balance of a biped robot combining torso and ankle joints

SVR control of the sagittal balance of a biped robot combini...

引用

作者： Ferreira, João P. Crisóstomo, Manuel Coimbra, A. Paulo Inst. of Systems and Robotics Dept. of Electrical and Computer Eng. Univ. of Coimbra Portugal Dept. of Electrical Engineering Superior Institute of Engineering of Coimbra Coimbra Portugal

ISBN: (纸本)9781424496730

This paper describes the control of an autonomous biped robot that combines the use of the torso and the ankle joints movements for its sagittal balance. The innovative characteristic of this controller is the combined use of the ankle and torso joints movements to correct the Zero Moment Point (ZMP). It is used an artificial intelligence technique, the Support Vector Regression (SVR), to control the balance of the robot. The relation between torso and ankle compensations was obtained using the traditional inverted pendulum method. The use of the ankle joint for balance control implies the real time change of the designed initial gait but presents a lower angle control variation compared to the use of the torso joint which is simpler and more precise but slower and with a lower ZMP compensation range. Combining the two control methods it is possible to achieve better results. To obtain a good stable step it is very important to have a good initial legs trajectory design. With that purpose in mind human-based trajectories were used, leading to smaller control corrections of ankle and torso joints. It were tested different combinations of torso and ankle joints corrections for the balance control on flat horizontal and inclined surfaces and the results presented. In order to evaluate and compare the performance of the balance control methods of a biped robot two performance indexes are proposed.

关键词： Inverted pendulum

来源：评论

学校读者我要写书评

暂无评论

Extended empty-slots method for fixed priority feasibility analysis

Extended empty-slots method for fixed priority feasibility a...

引用

2010 2nd International Conference on computer engineering and Technology, ICCET 2010

作者： Jin, Li Min-Allah, Nasro Xing, Jian-Sheng Wang, Xiu-Li Missile Inst. Air Force Engineering Univ. Sanyuan 713800 China COMSATS Institute of Information Technology Department of Computer Science Islamabad 44000 Pakistan Embedded Systems Institute 5600 MB Eindhoven Netherlands School of Information Central University of Finance and Economics Beijing 100081 China

ISBN: (纸本)9781424463503

For preemptive scheduling, the discrete scheduling has the same capability as the continuous scheduling. However, most work previously done has been focused on the continuous scheduling. In this paper, a discrete analysis approach Empty-Slots method is discussed and applied to fixed priority scheduling for constraint-deadline task model. Then a new schedulability test using the Empty-Slots method is presented. Compared with classical schedulability tests for continuous scheduling, this test is more convenient to be used and more efficient to tackle practical problems. © 2010 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Disturbance Decoupling of Switched Linear systems

Disturbance Decoupling of Switched Linear Systems

引用

2010 49th IEEE Conference on Decision and Control

作者： E. Yurtseven W.P.M.H. Heemels M.K. Camlibel Eindhoven University of Technology Dept. of Mechanical Engineering Hybrid and Networked Systems group The Netherlands University of Groningen Inst. of Mathematics and Computer Science Groningen The Netherlands

ISBN: (纸本)9781424477456

In this paper we consider disturbance decoupling problems for switched linear systems. We will provide necessary and sufficient conditions for three different versions of disturbance decoupling, which differ based on which signals are considered to be the disturbance. In the first version the continuous exogenous input is considered as the disturbance, in the second the switching signal and in the third both of them are considered as disturbances. The solutions of the three disturbance decoupling problems will be based on geometric control theory for switched linear systems and will entail both mode-dependent and mode-independent static state feedback.

关键词： Disturbance decoupling switched linear systems invariant subspaces geometric control theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：