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

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

来源：评论

学校读者我要写书评

暂无评论

Metabolomics and network biology for sensitive monitoring of how growth environment changes affect the physiology of industrial-scale perfusion cultures

Metabolomics and network biology for sensitive monitoring of...

引用

12th IFAC Symposium on Computer Applications in Biotechnology, CAB 2013

作者： Vernardis, S.I. Goudar, C.T. Klapa, M.I. Metabolic Engineering and Systems Biology Laboratory Institute of Chemical Engineering Foundation for Research and Technology-Hellas Patras GR-265 04 Greece Cell Culture Development Global Biological Development Bayer HealthCare 800 Dwight Way Berkeley CA 94710 United States Interdepartmental Graduate Program in Informatics in Life Sciences Medical School University of Patras Greece Cell Science and Technology AMGEN Inc. Thousand Oaks CA 91320 United States Depts. of Chemical and Biomolecular Eng. and Bioengineering University of Maryland College Park MD 20742 United States

ISBN: (纸本)9783902823588

Metabolomic analysis can indeed enhance the prime variable dataset for the monitoring of perfusion cultures by providing a higher resolution view of the metabolic state. Metabolic profiles can capture physiological state shifts over the course of the perfusion cultures and indicate a metabolic "signature" of the phase transitions, which is not observable from prime variable data. Notably, metabolomics provides orthogonal (to prime variables) evidence that all cultures follow this same metabolic state shift with cell age, independently of bioreactor scale. Additionally, this analysis can increase the information content of process development experiments by helping better understand the impact of changes in bioreactor operating conditions on cell physiology. In this context, metabolic profiling could be integrated into the monitoring of cell physiology in perfusion cultures. © IFAC.

关键词： Bioreactors

来源：评论

学校读者我要写书评

暂无评论

Tracking and Counting Vehicles in Traffic Video Sequences Using Particle Filtering

Tracking and Counting Vehicles in Traffic Video Sequences Us...

引用

IEEE International Instrumentation and Measurement Technology Conference

作者： Christiano Bouvie Jacob Scharcanski Pablo Barcellos Fabiano Lopes Escouto Graduate Program on Electrical Engineering Federal University of Rio Grande do Sul - UFRGS Porto Alegre Brazil Institute of Informatics and Graduate Program on Electrical Engineering Federal University of Rio Grande do Sul - UFRGS Porto Alegre Brazil Institute of Informatics Federal University of Rio Grande do Sul - UFRGS Porto Alegre Brazil DIGICON S.A.

ISBN: (纸本)9781467346214

This paper presents a new method to track and count vehicles in video traffic sequences. The proposed method uses image processing, particle filtering, and motion coherence to group particles in videos, forming convex shapes that are analyzed for potential vehicles. This analysis takes into consideration the convex shape of the objects and background information to merge or split the groupings. After a vehicle is identified, it is tracked using the similarity of color histograms on windows centered at the particle locations.

关键词： computer vision image processing particles clustering vehicle count vehicle tracking video processing

来源：评论

学校读者我要写书评

暂无评论

Towards the applied hybrid model in decision making: Support the early diagnosis of type 2 diabetes

Towards the applied hybrid model in decision making: Support...

引用

3rd International Conference on Information Computing and Applications, ICICA 2012

作者： Menezes, Andrea Carvalho Pinheiro, Placido Rogerio Pinheiro, Mirian Caliope Dantas Cavalcante, Tarcísio Pequeno Graduate Program in Applied Informatics Av. Washington Soares 1321 - Bl J Sl 30 60.811-905 Fortaleza Brazil

ISBN: (纸本)9783642340611

A hybrid model, combining Bayesian network and a multicriteria method, is presented in order to assist with the decision making process about which questions would be more attractive to the definition of the diagnosis of Diabetes type 2. We have proposed the application of an expert system structured in probability rules and structured representations of knowledge in production rules and probabilities (Artificial Intelligence - AI). The importance of the early diagnosis associated with the appropriate treatment is to decrease the chance of developing the complications of diabetes, reducing the impact on our society. Diabetes is a group of metabolic diseases characterized by hyperglycemia resulting from defects in insulin secretion, insulin action, or both. © 2012 Springer-Verlag.

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

Erratum: Large meta-analysis of genome-wide association studies identifies five loci for lean body mass

引用

Nature communications 2017年第1期8卷 1414页

作者： M Carola Zillikens Serkalem Demissie Yi-Hsiang Hsu Laura M Yerges-Armstrong Wen-Chi Chou Lisette Stolk Gregory Livshits Linda Broer Toby Johnson Daniel L Koller Zoltán Kutalik Jian'an Luan Ida Malkin Janina S Ried Albert V Smith Gudmar Thorleifsson Liesbeth Vandenput Jing Hua Zhao Weihua Zhang Ali Aghdassi Kristina Åkesson Najaf Amin Leslie J Baier Inês Barroso David A Bennett Lars Bertram Rainer Biffar Murielle Bochud Michael Boehnke Ingrid B Borecki Aron S Buchman Liisa Byberg Harry Campbell Natalia Campos Obanda Jane A Cauley Peggy M Cawthon Henna Cederberg Zhao Chen Nam H Cho Hyung Jin Choi Melina Claussnitzer Francis Collins Steven R Cummings Philip L De Jager Ilja Demuth Rosalie A M Dhonukshe-Rutten Luda Diatchenko Gudny Eiriksdottir Anke W Enneman Mike Erdos Johan G Eriksson Joel Eriksson Karol Estrada Daniel S Evans Mary F Feitosa Mao Fu Melissa Garcia Christian Gieger Thomas Girke Nicole L Glazer Harald Grallert Jagvir Grewal Bok-Ghee Han Robert L Hanson Caroline Hayward Albert Hofman Eric P Hoffman Georg Homuth Wen-Chi Hsueh Monica J Hubal Alan Hubbard Kim M Huffman Lise B Husted Thomas Illig Erik Ingelsson Till Ittermann John-Olov Jansson Joanne M Jordan Antti Jula Magnus Karlsson Kay-Tee Khaw Tuomas O Kilpeläinen Norman Klopp Jacqueline S L Kloth Heikki A Koistinen William E Kraus Stephen Kritchevsky Teemu Kuulasmaa Johanna Kuusisto Markku Laakso Jari Lahti Thomas Lang Bente L Langdahl Lenore J Launer Jong-Young Lee Markus M Lerch Joshua R Lewis Lars Lind Cecilia Lindgren Yongmei Liu Tian Liu Youfang Liu Östen Ljunggren Mattias Lorentzon Robert N Luben William Maixner Fiona E McGuigan Carolina Medina-Gomez Thomas Meitinger Håkan Melhus Dan Mellström Simon Melov Karl Michaëlsson Braxton D Mitchell Andrew P Morris Leif Mosekilde Anne Newman Carrie M Nielson Jeffrey R O'Connell Ben A Oostra Eric S Orwoll Aarno Palotie Stephen C J Parker Munro Peacock Markus Perola Annette Peters Ozren Polasek Richard L Prince Katri Räikkönen Stuart H Ralston Samuli Ripatti John A Robbins Jerome I Rotter Igor Rudan Veikko Department of Internal Medicine Erasmus MC Rotterdam 3000 The Netherlands. Netherlands Genomics Initiative (NGI)-sponsored Netherlands Consortium for Healthy Aging (NCHA) Leiden 2593 The Netherlands. Department of Biostatistics Boston University School of Public Health Boston MA 02118 USA. Hebrew SeniorLife Institute for Aging Research Roslindale MA 02131 USA. Harvard Medical School Boston MA 02115 USA. Molecular and Integrative Physiological Sciences Program Harvard School of Public Health Boston MA 02115 USA. Program in Personalized and Genomic Medicine and Department of Medicine Division of Endocrinology Diabetes and Nutrition University of Maryland School of Medicine Baltimore MD 21201 USA. Broad Institute Cambridge MA 02142 USA. Sackler Faculty of Medicine Department of Anatomy and Anthropology Tel Aviv University Tel Aviv 6997801 Israel. Department of Twin Research and Genetic Epidemiology King's College London St Thomas' Campus London WC2R 2LS UK. Department of Epidemiology Erasmus MC Rotterdam 3000 The Netherlands. Department of Medical Genetics University of Lausanne Lausanne 1011 Switzerland. Swiss Institute of Bioinformatics Lausanne 1015 Switzerland. Centre Hospitalier Universitaire (CHUV) University Institute for Social and Preventive Medicine Lausanne 1010 Switzerland. Department of Medical and Molecular Genetics Indiana University School of Medicine Indianapolis IN 46202 USA. MRC Epidemiology Unit University of Cambridge School of Clinical Medicine Cambridge Biomedical Campus Cambridge CB2 OQQ UK. Institute of Epidemiology II Helmholtz Zentrum München - German Research Center for Environmental Health Neuherberg 85764 Germany. Icelandic Heart Association Kopavogur 201 Iceland. Faculty of Medicine University of Iceland Reykjavik 101 Iceland. deCODE Genetics Reykjavik 101 Iceland. Department of Internal Medicine Institute of Medicine Sahlgrenska Academy University of Gothenburg Gothenburg SE-405 30 Sweden. Dep

A correction to this article has been published and is linked from the HTML version of this article.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：