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

IEEE Latin American Symposium on Circuits and Systems

作者： Wanderson Roger Azevedo Dias Edward David Moreno Federal University of Amazonas - UFAM Institute of Computing - IComp Post-Graduate Program in Informatics - PPGI Manaus Amazonas Brazil Federal University of Sergipe - UFS Center for Exact Sciences and Technology - CCET Department of Computing - DComp Aracaju Sergipe Brazil

ISBN: (纸本)9781467348973

This paper presents a new code compression method in which we merge the Huffman algorithm with the formation of patterns of blocks and three dictionaries. We seek two consecutive blocks in two levels, one of them into compressed code and the other related to uncompressed code. We have used simulation with SimpleScalar and programs from MiBench. Our proposal has achieved a compression rate of 32.6% and 31.9%, respectively, for ARM and MIPS processor.

关键词： ARM MIPS Multi-Level Dictionary

来源：评论

学校读者我要写书评

暂无评论

Bayesian-based model selection and physical parameter estimation of the acoustical properties of rigid-frame porous media

引用

The Journal of the Acoustical Society of America 2014年第4_SUPPLEMENT期135卷 2408-2408页

作者： Cameron J. Fackler Ning Xiang Kirill V. Horoshenkov Amir Khan Graduate Program in Architectural Acoust. Rensselaer Polytechnic Inst. 110 8th St Greene Bldg. Troy NY 12180 facklc@rpi.edu Dept. of Mech. Eng. Univ. of Sheffield Sheffield United Kingdom School of Eng. and Informatics Univ. of Bradford Bradford United Kingdom

This paper studies an application of Bayesian inference to determine the most appropriate model for the acoustical properties of rigid-frame porous media. The Bayesian framework encompasses two levels of inference: model selection and parameter estimation. Both are based on the posterior probability distribution, which is unique to each combination of acoustic model and material sample. The posterior distribution provides statistically informed guidance on selecting an appropriate acoustic model for a material sample as well as determining the physical parameters of the porous microstructure. Using the nested sampling algorithm, the posterior distribution for each material sample and acoustic model is explored and integrated numerically. This process computes the Bayesian evidence for each model, which is used to select a suitable model for the acoustical properties of the material. The process also provides estimates of the physical parameters, which are used with the selected model for accurate prediction of the acoustical properties of the material.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings from the 9th annual conference on the science of dissemination and implementation: Washington, DC, USA. 14-15 December 2016

引用

Implement Sci 2017年第SUPPL 1期12卷 48-48页

作者： David Chambers Lisa Simpson Gila Neta Ulrica von Thiele Schwarz Antoinette Percy-Laurry Gregory A. Aarons Ross Brownson Amanda Vogel Shannon Wiltsey Stirman Kenneth Sherr Rachel Sturke Wynne E. Norton Allyson Varley Cynthia Vinson Lisa Klesges Suzanne Heurtin-Roberts M. Rashad Massoud Leighann Kimble Arne Beck Claire Neely Jennifer Boggs Carmel Nichols Wen Wan Erin Staab Neda Laiteerapong Nathalie Moise Ravi Shah Susan Essock Margaret Handley Amy Jones Jay Carruthers Karina Davidson Lauren Peccoralo Lloyd Sederer Todd Molfenter Ashley Scudder Sarah Taber-Thomas Kristen Schaffner Amy Herschell Eva Woodward Jeffery Pitcock Mona Ritchie JoAnn Kirchner Julia E. Moore Sobia Khan Shusmita Rashid Jamie Park Melissa Courvoisier Sharon Straus Daniel Blonigen Allison Rodriguez Luisa Manfredi Andrea Nevedal Joel Rosenthal David Smelson Christine Timko Nicole Stadnick Jennifer Regan Miya Barnett Anna Lau Lauren Brookman-Frazee Erick Guerrero Karissa Fenwick Yinfei Kong Gregory Aarons Rebecca Lengnick-Hall Benjamin Henwood Nina Sayer Craig Rosen Robert Orazem Brandy Smith Lindsey Zimmerman David Lounsbury Rachel Kimerling Jodie A. Trafton Steven Lindley Rahul Bhargava Hal Roberts Laura Gibson Gabriel J. Escobar Vincent Liu Benjamin Turk Arona Ragins Patricia Kipnis Ashley Ketterer Gruszkowski Michael W. Kennedy Emily Rentschler Drobek Lior Turgeman Aleksandra Sasha Milicevic Terrence L. Hubert Larissa Myaskovsky Youxu C. Tjader Robert J. Monte Kathryn G. Sapnas Edmond Ramly Diane R Lauver Christie M Bartels Shereef Elnahal Andrea Ippolito Hillary Peabody Carolyn Clancy Randall Cebul Thomas Love Douglas Einstadter Shari Bolen Brook Watts Vera Yakovchenko Angela Park William Lukesh Donald R. Miller David Thornton Mari-Lynn Drainoni Allen L. Gifford Shawna Smith Julia Kyle Mark S Bauer Daniel Eisenberg Celeste Liebrecht Michelle Barbaresso Amy Kilbourne Elyse Park Giselle Perez Jamie Ostroff Sarah Greene Michael Parchman Brian Austin Eric Larson Stefanie Ferreri Chris Shea Megan Smith Kea Turner Jennifer Bacci Kyle Bigham Geoffr Division of Cancer Control and Population Sciences National Cancer Institute Rockville MD 20850 USA AcademyHealth Washington DC 20009 USA Department of Learning Informatics Management and Ethics Karolinska Institutet Stockholm 17177 Sweden Department of Psychiatry University of California San Diego San Diego CA 92093 USA George Warren Brown School of Social Work Washington University in St. Louis St. Louis MO 63130 USA Center for Global Health National Cancer Institute Rockville MD 20850 USA Dissemination and Training Division VA National Center for PTSD Palo Alto CA 94305 USA Department of Global Health University of Washington Seattle WA 98105 USA Center for Global Health Studies Fogarty International Center National Institutes of Health Bethesda MD 20912 USA School of Public Health University of Alabama at Birmingham Birmingham AL 35243 USA School of Public Health University of Memphis Memphis TN 38152 USA USAID Applying Science to Strengthen and Improve Systems (ASSIST) Project Bethesda Maryland 20814 USA Institute for Health Research Kaiser Permanente Denver CO 80231 USA ICSI Institute for Clinical Systems Improvement Bloomington MN 55425 USA Medicine University of Chicago Chicago IL 60637 USA Medicine Columbia University Medical Center New York NY 10032 USA Psychiatry Columbia University New York NY 10032 USA General Internal Medicine Epidemiology and Biostatistics University of California San Francisco San Francisco CA 94110 USA New York State Office of Mental Health New York NY 10001 USA Medicine Icahn School of Medicine at Mount Sinai New York NY 10029 USA Center for Health Enhancement System Studies University of Wisconsin Madison WI 53706 USA Department of Psychiatry University of Pittsburgh Pittsburgh PA 15213 USA Psychology University at Buffalo Buffalo NY 14260 USA Department of Psychology West Virginia University Morgantown WV 26506 USA MIRECC VA North Little Rock AR 72114 USA QUERI for Team-Based Behavioral Health Centr

来源：评论

学校读者我要写书评

暂无评论

Frictional characteristics measurement of a ceramic aerostatic linear bearing 5

Frictional characteristics measurement of a ceramic aerostat...

引用

5th International Conference on Advanced Micro-Device Engineering, AMDE 2013

作者： Kitabata, Kouki Iwashita, Hiroshi Takita, Akihiro Djamal, Mitra Pornsuwancharoen, Nithiroth Fujii, Yusaku Education Program of Electronics and Informatics Mathematics and Physics Graduate School of Science and Technology Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Depatment of Electronics Graduate School of Engineering Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Division of Mechanical Sience and Technology Graduate School of Tecnology Gunma University 1-5-1 Tenjin-cho Kiryu Gunma376-8515 Japan Theoretical High Energy Physics and Instrumentation Research Group Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung Jl. Ganesa 10 Bandung40132 Indonesia Department of Electrical Engineering Faculty of Industry and Technology Rajamangala University of Technology Isan Sakonnakon47160 Thailand

ISBN: (纸本)9783038354659

The resultant force acting on the moving part of the ceramic aerostatic linear bearing is measured highly accurately as the inertial force of the moving part of the bearing by means of the levitation mass method (LMM). The measurement results of the ceramic aerostatic linear bearing and metal aerostatic linear bearing of different mass are compared. The regression equation of the ceramic aerostatic linear bearing and metal aerostatic linear bearing are calculated. The ceramic linear bearing and metal linear bearing have extremely small frictional force.. © (2015) Trans Tech Publications, Switzerland.

关键词： Aerodynamics

来源：评论

学校读者我要写书评

暂无评论

Open Information Extraction Based on Lexical-Syntactic Patterns

Open Information Extraction Based on Lexical-Syntactic Patte...

引用

Brazilian Conference on Intelligent Systems (BRACIS)

作者： Clarissa Castellã Xavier Vera Lúcia Strube de Lima Marlo Souza Graduate Program in Computer Science Pontifícia Universidade Católica do Rio Grande do Sul – PUCRS Porto Alegre Brazil Institute of Informatics Universidade Federal do Rio Grande do Sul – UFRGS Porto Alegre Brazil

Open Information Extraction (Open IE) is an unsupervised strategy to draw out relations from text without predefining these relations, regardless the domain. This paper describes a novel Open IE approach that performs unsupervised extraction of triples by applying a few lexical-syntactic patterns to POS-tagged texts. In order to validate this strategy we developed a prototype and compared its performance with two Open IE systems. The proposed approach achieved promising results, overcoming those from the state-of-the-art systems. The paper concludes with an analysis of errors and directions for future work.

关键词： Gold Encyclopedias Electronic publishing Internet Data mining Semantics

来源：评论

学校读者我要写书评

暂无评论

Using equivalence classes for testing programs for safety instrumented systems

Using equivalence classes for testing programs for safety in...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Kézia de Vasconcelos Oliveira Angelo Perkusich Kyller Costa Gorgônio Leandro Dias da Silva Aldenor Falcão Martins Center of Electrical Engineering and Informatics Federal University of Campina Grande Campina Grande Paraiba Brazil Computing Institute Federal University of Alagoas Maceio Alagoas Brazil Graduate Program in Electrical Engineering Federal University of Campina Grande Campina Grande Paraiba Brazil

The reliability on Safety Instrumented Systems (SIS) is critical for the safe operation of many industrial applications. In particular, SIS play an important role in oil and gas processing plants. SIS are responsible not only for the continuous operation of the plant, it also keeps the plant in a safe state, avoiding damages to the environment and minimizing risks to employees. Therefore, the correct behavior of such systems is an important goal to achieve when building industrial plants. Verification and testing of SIS programs is a very hard task to accomplish. This happens mainly for two reasons. First, testing the real system is very expensive and sometimes it may take a huge amount of time, weeks or even months. Second, those systems deal with a huge number of variables. It is not always possible for a human tester to check if all of them are correct when performing tests. Providing an automatic and formal testing approach for such systems is an important contribution for the development of such systems. In this work we introduce a new method for generating test cases for SIS programs running on programable Logic Controller (PLC). As we did on previous work, ISA 5.2 diagrams are used as specification of the systems, but now we are using a hardware-in-the-loop technique, and the target artifact is a software running on a PLC. To avoid the execution of redundant tests, we introduced a new test case generation algorithm that is based on equivalence classes. Finally, we discussed a study case in which our method is used to detect error, that were introduced on purpose, on a simple system.

关键词： Automata Testing Safety Valves Input variables Computational modeling Instruments

来源：评论

学校读者我要写书评

暂无评论

Collaborative information gathering and recommendation using mobile computing

Collaborative information gathering and recommendation using...

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Jonice Oliveira Andressa Silva Raphael Franckini Graduate Program in Informatics (PPGI) Department of Computing Science (DCC) Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil Department of Computing Science (DCC) Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9781467360845

The increasing adoption of mobile devices can improve the collaborative participation, especially in data acquiring, of people in their space: where they live or where they work. Based in this kind of crowdsourcing, we create a proposal for The Federal University of Rio de Janeiro (UFRJ), specially its campus of “Ilha do Fundão” (Fundão Island), which has a fragmented culture since its origin. Nowadays, it is still possible to find not only a geographical distance, but also informational disaggregation and waste of resources and opportunities. In order to minimize these problems, as well motivating the collaborative work, we create an approach using mobile computing, called UFRJ Social. The main idea is that the crowd (students, professor, employers, visitors and anyone who stay in the campus) can provide information or opinions of any place (infrastructure, events, classes, bus stations and others). This application is context-sensitive, and users can receive recommendations by their geographical location and interests. This approach was evaluated in a study case and the results were positive. In this paper we also analyze how this approach can be extended in other scenarios.

关键词： Educational institutions Collaboration Mobile handsets Internet Context Proposals Communities

来源：评论

学校读者我要写书评

暂无评论

Casablanca: Towards a Dataset-Independent Tool for Semantic Web Annotation

Casablanca: Towards a Dataset-Independent Tool for Semantic ...

引用

International Conference on Semantic Computing

作者： Arthur Bit-Monnot Adriana S. Vivacqua João Carlos P. Da Silva Université de Toulouse INSA Toulouse France Graduate Program in Informatics (PPGI) Universidade Federal do Rio de Janeiro (UFRJ) Rio de Janeiro Brazil Universidade Federal do Rio de Janeiro Rio de Janeiro RJ BR

Semantic Web Annotation is the process of mapping named entities that appear in free-text to universal identifiers, typically made available by a Linked Data provider such as DBpedia or Freebase. This is a time consuming process, as it is usually performed by human experts with little or no computational assistance. This paper describes Casablanca, a tool built in order to make Semantic Web Annotation an accessible process for any dataset. Casablanca's approach is to request a minimal configuration describing a dataset. It then provides unified programming and user interfaces to perform annotation based on this configuration. To perform the necessary disambiguation between named entities, Casablanca relies on existing data available in the targeted dataset.

关键词： Semantic Web XML Semantics Manuals Encyclopedias Electronic publishing

来源：评论

学校读者我要写书评

暂无评论

Proposal for a unified selection to medical residency programs

引用

Revista da Associação Médica Brasileira (English Edition) 2013年第6期59卷 583-588页

作者： Sônia Ferreira Lopes Toffoli Olavo Franco Ferreira Filho Dalton Francisco de Andrade Graduate Program in Production Engineering Universidade Federal de Santa Catarina Florianópolis SC Brazil Universidade Estadual de Londrina Londrina PR Brazil Department of Internal Medicine Universidade Estadual de Londrina Londrina PR Brazil Department of Informatics and Statistics Universidade Federal de Santa Catarina Florianópolis SC Brazil

Objective This paper proposes the unification of entrance exams to medical residency programs (MRP) in Brazil. Problems related to MRP and its interface with public health problems in Brazil are highlighted and how this proposal is able to help solving these problems. Methods The proposal is to create a database to be applied in MRP unified exams. Some advantages of using the Item Response Theory (IRT) in this database are highlighted. Results The MRP entrance exams are developed and applied decentralized where each school is responsible for its examination. These exams quality are questionable. Reviews about items quality, validity and reliability of appliances are not common disclosed. Conclusion Evaluation is important in every education system bringing on required changes and control of teaching and learning. The proposal of MRP entrance exams unification, besides offering high quality exams to institutions participants, could be as an extra source to rate medical school and cause improvements, provide studies with a database and allow a regional mobility. Objetivo Este artigo propõe a unificação dos exames de acesso aos programas de Residência Médica (RM) no Brasil. São destacados problemas relacionados à RM e a sua interface com problemas da saúde pública no Brasil e como esta proposta pode auxiliar no enfrentamento desses problemas. Métodos A proposta consiste na criação de um banco de itens para ser aplicado na seleção unificada para a RM. São destacadas algumas vantagens em utilizar a Teoria de Resposta ao Item (TRI) nesse banco de itens. Resultados Os exames de seleção para os programas de RM são elaborados e aplicados de forma descentralizadas, cada instituição é responsável por sua avaliação. A qualidade dessas provas é questionável, os estudos referentes à qualidade dos itens, a validade e a confiabilidade dos instrumentos não são comumente divulgados. Conclusão A avaliação é importante em todo sistema de ensino, provocando transformações necessárias e

关键词： Medical residency Selection process Classical Test Theory Item Response Theory Residência médica Processo seletivo Teoria Clássica do Teste Teoria de Resposta ao Item

来源：评论

学校读者我要写书评

暂无评论

OPERAM: A Collaborative Semantic Workspace for Software Verification

OPERAM: A Collaborative Semantic Workspace for Software Veri...

引用

IEEE International Conference on Systems, Man, and Cybernetics

作者： Edenilson José Da Silva Emerson Torquato Milton Pires Ramos Emerson Cabrera Paraiso Department of Informatics Universidade Tecnológica Federal do Paraná - UTFPR Pato Branco Brazil Information Technology Department Pontifícia Universidade Católica do Paraná - PUCPR Curitiba Brazil Center for Intelligent Systems Engineering Instituto de Tecnologia do Paraná - TECPAR Curitiba Brazil Post-Graduate Program on Informatics - PPGIa Pontifícia Universidade Católica do Paraná - PUCPR Curitiba Brazil

ISBN: (纸本)9781479906505

Collaboration is an important issue when developing software, because it involves working together towards a common goal. This work presents OPERAM, a collaborative semantic workspace that allows comparing the modeling performed at earlier stages of software development with JAVA code. OPERAM provides useful information for professionals involved in the task of developing code and even managing the project. OPERAM aims to allow monitoring of the project, helping users to be aware of the context they are working, allowing carry out verification of software development, confronting the modeling performed with source-code produced during the programming phase. We present its main features and architecture. In this paper the main features and architecture of OPERAM are presented, as well as a validation was conducted to prove the effectiveness of OPERAM. The results show the value of the workspace as a tool to support collaboration and software verification.

关键词： software verification colaboration in software development collaborative semantic workspace program verification computer software Software design Workplace ARCHITECTURE Building construction cooperating Semantics Information professionals

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：