نتایج جستجو برای: self mention

تعداد نتایج: 541908  

Journal: :Indian Journal of Dermatology, Venereology and Leprology 2017

2014
Antonio Ramos-Montoya Alastair D. Lamb Roslin Russell Thomas Carroll Sarah Jurmeister Nuria Galeano-Dalmau Charles E. Massie Joan Boren Helene Bon Vasiliki Theodorou Maria Vias Gregory L. Shaw Naomi L. Sharma Helen Ross-Adams Helen E. Scott Sarah L. Vowler William J. Howat Anne Y. Warren Richard F. Wooster Ian G. Mills David E. Neal

Thank you for the submission of your manuscript to EMBO Molecular Medicine. We have now heard back from the three Reviewers whom we asked to evaluate your manuscript. You will see that while the Reviewers are globally supportive of your work, they express a number of concerns that prevent us from considering publication at this time. I will not dwell into much detail, as the evaluations are det...

2003
Moshe Y. Vardi

Automated verification is one of the most success­ ful applications of automated reasoning in com­ puter science. In automated verification one uses algorithmic techniques to establish the correctness of the design with respect to a given property. Au­ tomated verification is based on a small number of key algorithmic ideas, tying together graph theory, automata theory, and logic. In this self-...

2017
Xavier Buff Guizhen Cui Lei Tan

One fundamental theorem in the theory of holomorphic dynamics is Thurston’s topological characterization of postcritically finite rational maps. Its proof is a beautiful application of Teichmüller theory. In this chapter we provide a self-contained proof of a slightly generalized version of Thurston’s theorem (the marked Thurston’s theorem). We also mention some applications and related results...

2014
Natalia Konstantinova

Relation extraction is a part of Information Extraction and an established task in Natural Language Processing. This paper presents an overview of the main directions of research and recent advances in the field. It reviews various techniques used for relation extraction including knowledge-based, supervised and self-supervised methods. We also mention applications of relation extraction and id...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید