Методическое и информационно-аналитическое обеспечение
Скачать 3.69 Mb.
|
Andrew S. Cassidy, Paul Merolla, John V. Arthur, Steve K. Esser, Bryan Jackson, Rodrigo Alvarez-Icaza, Pallab Datta, Jun Sawaday, Theodore M. Wong, Vitaly Feldman, Arnon Amir, Daniel Ben-Dayan Rubin, Filipp Akopyan, Emmett McQuinn, William P. Risk, and Dharmendra S. Modha // Cognitive Computing Building Block: A Versatile and Efficient Digital Neuron Model for Neurosynaptic Cores // The International Joint Conference on Neural Networks, Dallas, TX, August 4-9 2013 // 10 pages. Benjamin Shaw 1, Aaron Cox 2 , Paula Besterman 2 , Jason Minyard 2 , Camillo Sassano 2 , Rodrigo Alvarez-Icaza 1, Alexander Andreopoulos 1, Rathinakumar Appuswamy 1, Andrew Cassidy 1, Shyamal Chandra *, Pallab Datta 1, Emmett McQuinn 1, William Risk 1 and Dharmendra S. Modha // COGNITIVE COMPUTING COMMERCIALIZATION: BOUNDARY OBJECTS FOR COMMUNICATION // 3rd INT. CONF. ON INTEGRATION OF DESIGN, ENGINEERING & MANAGEMENT FOR INNOVATION Porto, Portugal, 4-6th September 2013 // 10 pages. Risto Miikkulainen // Evolving Neural Networks (presentation) // The International Joint Conference on Neural Networks, Dallas, TX, August 4-9 2013 // 76 slides. The International Neural Network Society (INNS) // [электронный ресурс] режим обращения: http://inns.org/ // [дата обращения 16.11.2013]. The European Neural Network Society (ENNS) // [электронный ресурс] режим обращения: http://www.e-nns.org/ [дата обращения 16.11.2013]. Philip Graff, Farhan Feroz, Michael P. Hobson, Anthony N. Lasenby // SKYNET: an efficient and robust neural network training tool for machine learning in astronomy // [электронный ресурс] режим доступа: http://arxiv.org/abs/1309.0790 [дата обращения 16.11.2013]. A.Martin, Na.Ba.Anutthamaa, M.Sathyavathy, Marie Manjari Saint Francois, Dr.V.Prasanna Venkatesan // A Framework for Predicting Phishing Websites using Neural Networks // [электронный ресурс] режим доступа: http://arxiv.org/abs/1109.1074 [дата обращения 16.11.2013]. Motion capture system with VZ4000v Tracker [Электронный ресурс]: SouVR / - http://en.souvr.com/product/Print.asp?ArticleID=9854 – свободный – Загл. с экрана. Англ. яз. Werner Goebl, Caroline Palmer. Temporal Control and Hand Movement Efficiency in Skilled Music Performance [Электронный ресурс]: PLOS One / - http://www.plosone.org/article/fetchObject.action?uri=info%3Adoi%2F10.1371%2Fjournal.pone.0050901&representation=PDF – свободный – Загл. с экрана. Англ. яз. Андрей Васильков. Для нового метода 3D-анимации достаточно только проектора и камеры [Электронный ресурс]: Компьютерра /- http://www.computerra.ru/37132/dlya-novogo-metoda-3d-animatsii-dostatochn/ - свободный – Загл. с экрана – Рус. яз. Iason Oikonomidis, Nikolaos Kyriazis, Antonis A. Argyros. Efficient Model-based 3D Tracking of Hand Articulations using Kinect [Электронный ресурс]: Research Gate / - https://www.google.ru/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CCgQFjAA&url=http%3A%2F%2Fwww.researchgate.net%2Fpublication%2F233950932_Efficient_model-based_3D_tracking_of_hand_articulations_using_Kinect%2Ffile%2F9fcfd50d72d96c01ca.pdf&ei=RIGrUoeaCOfZ4QSpt4HgCA&usg=AFQjCNFEuHf2g-vRompvMns8SvRGg4ELkQ&sig2=sSE_S_LtUW5_u2nFAcLDiQ&bvm=bv.57967247,d.bGE&cad=rjt – свободный – Загл. с экрана – Англ. яз. Brett R. Jones, Hrvoje Benko, Eyal Ofek, Andrew D. Wilson. IllumiRoom: Peripheral Projected Illusions for Interactive Experiences. [Электронный ресурс]: Microsoft / - http://research.microsoft.com/en-us/projects/illumiroom/illumiroom_chi2013_bjones.pdf - свободный - Загл. с экрана – Англ. яз. Сергей Попсулин. Разработан пользовательский интерфейс будущего. [Электронный ресурс]:C-News / - http://www.cnews.ru/top/2013/04/04/razrabotan_polzovatelskiy_interfeys_budushhego_video_524776 - свободный - Загл. с экрана – Рус. яз. Sean Follmer, Daniel Leithinger, Alex Olwal, Akimitsu Hogge, Hiroshi Ishii. inFORM: Dynamic Physical Affordances and Constraints through Shape and Object Actuation [Электронный ресурс]: Tangible Media Grou / - http://tmg-trackr.media.mit.edu:8020/SuperContainer/RawData/Papers/527-inFORM%20Dynamic%20Physical%20Affordances/Published/PDF - свободный - Загл. с экрана – Англ. яз. М.Ф. Бондаренко, А.В. Работягов, С.В. Щепковский. Распознавание речи: этапы развития, современные технологии и перспективы их применения / Бионика интеллекта. науч. техн. ж. № 2 (73), 2010 – С. 164 – 168. Нейроинтерфейс дал обезьянам виртуальную пару рук [Электронный ресурс]: Lenta.Ru / - http://lenta.ru/news/2013/11/07/virtualarms/ - свободный – Загл. с экрана – Рус. яз. Мозг двух крыс соединили через континенты [Электронный ресурс]: Lenta.Ru / http://lenta.ru/news/2013/03/01/ratbrainnet/ - свободный – Загл. с экрана – Рус. яз. Создан первый межмозговой интерфейс для человека [Электронный ресурс]: Lenta.Ru http://lenta.ru/news/2013/08/29/brainbranlink/ - свободный – Загл. с экрана – Рус. яз. Статья Ковальчука с нейроинтерфейсом Emotiv Insight — нейроинтерфейс за 229$ [Электронный ресурс]: Хабрахабр / http://habrahabr.ru/post/189700/ - свободный – Загл. с экрана – Рус. яз. Михаил Карпов. Проект Atlas и очки Oculus Rift помогут превратить любую комнату в виртуальный полигон [Электронный ресурс]: Компьютерра / http://www.computerra.ru/77306/proekt-atlas-i-ochki-oculus-rift-pomogut-prevratit-lyubuyu-komnatu-v-virtualnyiy-poligon/ - - свободный – Загл. с экрана – Рус. яз. Очки виртуальной реальности vAse будут втрое дешевле Oculus Rift, обходясь без своего экрана [Электронный ресурс]: Компьютерра / http://www.computerra.ru/81149/ochki-virtualnoy-realnosti-vase-budut-v-tri-razra-deshevle-oculus-rift-potomu-chto-u-nih-ne-budet-svoego-ekrana/ - свободный – Загл. с экрана – Рус. яз. Canon представил систему дополненной реальности [Электронный ресурс]: Look at Me – Опыт, Будущее, Индустрия, Вдохновение / http://www.lookatme.ru/mag/industry/industry-news/189493-canon-predstavili-sistemu-dopolnennoy-realnosti - свободный – Загл. с экрана – Рус. яз. Google Glass для близоруких [Электронный ресурс]: Популярная механика /http://www.popmech.ru/article/14468-google-glass-dlya-blizorukih/ - свободный – Загл. с экрана – Рус. яз. Пять конкурентов Google Glass [Электронный ресурс]: Форум GLASS / http://the-googleglass.ru/pyat-konkurentov-google-glass/ - свободный – Загл. с экрана – Рус. яз. Распознавание речи: технологии распознавания речи [Электронный ресурс]: Центр речевых технологий / http://www.speechpro.ru/technologies/recognition#tab2 - свободный – Загл. с экрана – Рус. яз. Microsoft Research. Будущее рядом: интерактивный рабочий стол, Illumishare и Holoflector [Электронный ресурс]: Хабрахабр / http://habrahabr.ru/post/138998/ - свободный – Загл. с экрана – Рус. яз. Что нас ждет в Microsoft Kinect 2.0? [Электронный ресурс] : Хабрахабр / http://habrahabr.ru/company/veeam/blog/196636/ - свободный – Загл. с экрана – Рус. яз. Михаил Карпов. Эта система виртуальной реальности позволяет побродить по бесконечному лабиринту в небольшой комнате. [Электронный ресурс]: Компьютерра / http://www.computerra.ru/63363/eta-sistema-virtualnoy-realnosti-pozvolyaet-pobrodit-po-beskonechnomu-labirintu-v-nebolshoy-komnate/ - свободный – Загл. с экрана – Рус. яз. Николай Маслухин. Очки, похожие на Google Glass, позволяют управлять планшетом так, как если бы он висел в воздухе. [Электронный ресурс]: Компьютерра / http://www.computerra.ru/78939/ochki-pohozhie-na-google-glass-pozvolyayut-upravlyat-planshetom-tak-kak-esli-byi-on-visel-v-vozduhe/ - свободный – Загл. с экрана – Рус. яз. Николай Маслухин. Disney поможет почувствовать кожей прикосновение виртуальных объектов. [Электронный ресурс]: Компьютерра / http://www.computerra.ru/79991/disney-aireal/ - свободный – Загл. с экрана – Рус. яз. Николай Маслухин. На Kickstarter собирают деньги на костюм, позволяющий кожей почувствовать себя в игре [Электронный ресурс]: Компьютерра / http://www.computerra.ru/70096/kickstarter-araig/ - свободный – Загл. с экрана – Рус. яз. С.И. Абрахин, Д.С. Бутюгин, В.В. Гетманский, А.В. Горшков, Д.Е. Демидов, Ю.Б. Линд, Е.О. Тютляева, Д.А. Усталов, Д.А. Фадеев, К.С. Хорьков, А.В. Духанов, А.В. Бухановский. Облачные технологии в задачах интерактивной 3D-визуализации: опыт организации межвузовской мобильности молодых ученых / Информационно-измерительные и управляющие системы, № 11, 2012 – М.: Радиотехника – С. 25 – 33. Антон Чивчалов. Нейроинтерфейсы: что принесет будущее. [Электронный ресуср]: ARNext / http://arnext.ru/articles/neyrointerfeysy-chto-prinesyot-budushhee-1776 - свободный – Загл. с экрана – Рус. яз. The Future of Smart: Intelligence in 2034 [Электронный ресурс]: Andart Blog / http://www.aleph.se/andart/archives/2009/02/the_future_of_smart_intelligence_in_2034.html - свободный – Загл. с экрана – Англ. яз. Дисплей в контактных линзах [Электронный ресурс]: Русская планета / http://rusplt.ru/articles/science/science_1883.html - свободный – Загл. с экрана – Рус. яз. A Day Made of Glass... Made possible by Corning. [Электронный ресурс]: Corning / http://www.youtube.com/watch?v=6Cf7IL_eZ38 - свободный – Загл. с экрана – Англ. яз. Andrea Minuto, Anton Nijholt. Smart material interfaces as a methodology for interaction: a survey of SMIs' state of the art and development [Электронный ресурс]: SMI '13 - Proceedings of the second international workshop on Smart material interfaces: another step to a material future / http://dl.acm.org/citation.cfm?id=2534689&CFID=271006889&CFTOKEN=11150171 - свободный – Загл. с экрана – Англ. яз. Панделя Штефан. Научный прогноз будущего. [Электронный ресурс]: Университет "Perspectiva-INT" / http://www.youtube.com/watch?v=MVFCZw0dJJ4 - - свободный – Загл. с экрана – Рус. яз. «Overview and Applications of Cryptology» компания CRYPTOOL http://www.cryptool.org/images/ct1/presentations/CrypToolPresentation-en.pdf Электронный ресурс. Англ. яз. «Group Health Reinvents Patient Care With RTLS» Swedberg Clarie, RFID Journal http://www.rfidjournal.com/articles/view?9828 Электронный ресурс. Англ. яз. «A New Parallel Window-Based Implementation of the Elliptic Curve Point Multiplication in Multi-Core Architectures» Saikat Basu, International Journal of Network Security, Vol.13, No.3, PP.234-241, Nov. 2011 «Keccak and the SHA-3 Standardization»http://csrc.nist.gov/groups/ST/hash/sha-3/documents/Keccak-slides-at-NIST.pdf Электронный ресурс. Англ. яз. Cloud security alliance https://cloudsecurityalliance.org/ Электронный ресурс. Англ. яз. «Implementation of Elliptic-Curve Cryptography on Mobile Healthcare Devices» Malhorta K., http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4238997 Электронный ресурс. Англ. яз. «Unbalancing Pairing-Based Key Exchange Protocols» Scott Michael, Cryptology e-print http://eprint.iacr.org/2013/688.pdf Электронный ресурс. Англ. яз. «DeadDrop/Strongbox Security Assessment» Bruce Schneier, https://www.schneier.com/paper-deaddrop.html Электронный ресурс. Англ. яз. «The Internet: Anonymous Forever» Bruce Schneier, https://www.schneier.com/essay-308.html Электронный ресурс. Англ. яз. «Design of Cryptographic Devices Resilient to Fault Injection Attacks Using Nonlinear Robust Codes» Mark Karpovsky, http://mark.bu.edu/papers/221.pdf «HAIL: A High-Availability and Integrity Layer for Cloud Storage» http://www.emc.com/emc-plus/rsa-labs/hail/Hail.pdf Электронный ресурс. Англ. яз. «NIST and the Help America Vote Act (HAVA)» http://www.nist.gov/itl/vote/ Электронный ресурс. Англ. яз. «A SURVEY OF BIOMETRIC RECOGNITION METHODS» Kresimir Delac, Mislav Grgic, 46th International Symposium Electronics in Marine, ELMAR-2004, 16-18 June 2004, Zadar, Croatia – стр. 184-193, Англ. яз. «Биометрия на службе охраны правопорядка и безопасности» http://citforum.ru/computer/2010-02/ - Электронный ресурс. Русс. яз. ePassport: The World's New Electronic Passport A Report About the ePassport’s Benefits, Risks and its Security. http://www.epassport-book.com/download.php - Электронный ресурс. Русс. яз. Studies of Plain-to-Rolled Fingerprint Matching Using the NIST Algorithmic Test Bed (ATB), http://www.nist.gov/customcf/get_pdf.cfm?pub_id=151586 Электронный ресурс. Англ. яз. «Cube attack» Adi Shamir, CRYPTO-2008 http://eprint.iacr.org/2008/385 Электронный ресурс. Англ. яз. «Side-channel attacks: new directions and horizons» Сергей Скоробогатов, конференция ECRYPTO 2011, http://www.cl.cam.ac.uk/~sps32/ECRYPT2011_2.pdf Электронный ресурс. Англ. яз. «Design of Cryptographic Devices Resilient to Fault Injection Attacks Using Nonlinear Robust Codes» Марк Карповсикй, http://mark.bu.edu/papers/221.pdf Электронный ресурс. Англ. яз. «Post-quantum cryptography» Bernstein Daniel, http://pqcrypto.org/ Электронный ресурс. Англ. яз. «Implementation of Elliptic-Curve Cryptography on Mobile Healthcare Devices» http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4238997 Электронный ресурс. Англ. яз. «A New Parallel Window-Based Implementation of the Elliptic Curve Point Multiplication in Multi-Core Architectures» Saikat Basu, International Journal of Network Security, Vol.13, No.3, PP.234-241, Nov. 201. «Квантовая криптография»Учебное пособие МГУ имени Ломоносова, факультет ВМК, 112 стр. «Unbalancing Pairing-Based Key Exchange Protocols» Scott Michael, http://eprint.iacr.org/2013/688.pdf Электронный ресурс. Англ. яз. Keccak and the SHA-3 Standardization http://csrc.nist.gov/groups/ST/hash/sha-3/documents/Keccak-slides-at-NIST.pdf Электронный ресурс. Англ. яз. Standoff Technology Integration and Demonstration Program: Biometric Optical Surveillance System Tests, http://www.dhs.gov/ Электронный ресурс. Англ. яз. Основные тенденции развития отрасли разработки ПО в России: отчет НП РУССОФТ. [Электронный ресурс]: http://www.russoft.ru/tops/1785 - свободный - Загл. с экрана - Рус. яз. TIOBE Programming Community Index for October 2013. [Электронный ресурс]: http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html - свободный - Загл. с экрана - Англ. яз. Eclipse – The Eclipse foundation open source community web site. [Электронный ресурс]: http://eclipse.org/- свободный - Загл. с экрана - Англ. яз. http://www.jetbrains.com/idea/ http://www.microsoft.com/visualstudio/rus/visual-studio-2013 Clark J., Dolado J. J., Harman M., Hierons R., Jones B., Lumkin M., Mitchell B., Mancoridis S., Rees K., Roper M., Shepperd M. Reformulating Software Engineering as a Search Problem. IEEE Proceedings-Software. 2003. Vol. 150. № 3, pp. 161 – 175. Harman M., Mansouri A., Zhang Y. Search-Based Soft¬ware Engineering: A Comprehensive Analysis and Review of Trends, Techniques, and Applications. Tech. report TR-09-03. Dept. of Computer Science. King’s College London, 2009. Harman M. Why the Virtual Nature of Software Makes It Ideal for Search-Based Optimization / Proceeding of 13th International Conference Fundamental Approaches to Software Engineering (FASE 10). IEEE CS Press. 2010, pp. 1 – 12. Harman M. Software Engineering Meets Evolutionary Computation // Computer. 2011. Vol. 44. № 11, pp. 31 – 39. Bagnall A.J., Rayward-Smith V.J., Whittley I.M. The Next Release Problem // Information and Software Technol¬ogy. Dec. 2001, pp. 883 – 890.= Zhang Y., Finkelstein A., Harman M. Search-Based Requirements Optimisation: Existing Work and Chal¬lenges / Proceedings of Internationall Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 08). LNCS 5025. Springer. 2008, pp. 88 – 94. Afzal W., Torkar R., Feldt R. A Systematic Review of Search-Based Testing for Non-Functional System Proper¬ties // Information and Software Technology. 2009. Vol. 51. № 6, pp. 957 – 976. Räihä O. A Survey on Search-Based Software Design //Computer Science Rev. 2010. Vol. 4. № 4, pp. 203 – 249. Ali S., Briand L., Hemmati H., Panesar-Walawege R. K. A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Genera¬tion // IEEE Transactions of Software Engineering. 2010. Vol. 36, № 6, pp. 742 – 762. Harman M. Automated Test Data Generation Using Search-Based Software Engineering / Proceedings of 2nd International Work¬shop Automation of Software Test (AST 07). IEEE CS Press, 2007, p. 2. 16. McMinn P. Search-Based Software Test Data Generation: A Survey // Software Testing, Verification and Reliability. 2004. Vol. 14. № 2, pp. 105 – 156. Harman M., Tratt L. Pareto Optimal Search-Based Refactoring at the Design Level / Proceedings of 9th Annual Conference on Ge¬netic and Evolutionary Computation (GECCO 07). ACM Press. 2007, pp. 1106 – 1113. O’Keeffe M., O’Cinneide M. Search-Based Software Maintenance / Proceedings of Conference on Software Maintenance and Re-engineering (CSMR 06). IEEE CS Press. 2006, pp. 249 – 260. Harman M., Mansouri A., Zhang Y. Search-Based Soft¬ware Engineering: A Comprehensive Analysis and Review of Trends, Techniques, and Applications. Tech. report TR-09-03. Dept. of Computer Science. King’s College London, 2009. Емельянов В. В., Курейчик В. М., Курейчик В. В. Теория и практика эволюционного моделирования. М.: Физматлит, 2003. Гладков Л. А., Курейчик В. В., Курейчик В. М. Генетические алгоритмы. М.: Физматлит, 2006. Курейчик В.М. Генетические алгоритмы. Состояние, проблемы, перспективы // Известия РАН. Теория и системы управления. 1999. № 1, с. 144 – 160. Курейчик В.В., Курейчик В.М., Сороколетов П.В. Анализ и обзор моделей эволюции // Известия РАН. Теория и системы управления. 2007. № 5, с. 114 – 126. Chambers L. Practical Handbook of Genetic Algorithms. Complex Coding Systems. Volumes I. II, III. CRC Press, 1999. Koza J. Genetic programming. On the Programming of Computers by Means of Natural Selection. MA: The MIT Press, 1998. Beyer H. G. The Theory of Evolution Strategies. Natural Computing Series. Berlin. NY: Springer-Verlag, 2001. De Jong K. Evolutionary computation: a unified approach. MIT Press, Cambridge. MA, 2006. Kennedy J., Eberhart R. C. Swarm Intelligence. Morgan Kaufmann. 2001. Metropolis N., Rosenbluth A., Rosenbluth M., Teller A., Teller E. Equation of state calculations by fast computing machines. Journal of Chemical Physics. 1953. Vol. 21, pp. 1087 – 1092. Harman M., Hierons R., Proctor M. A new representation and crossover operator for search-based optimization of software modularization / In GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference (NY, 2002). Morgan Kauffman Publishers, pp. 1351 – 1358. Larranaga P., Lozano J. A. Estimation of distribution algorithms: A new tool for evolutionary computation. Kluwer Academic Publishers. Boston, 2002. Glover F. Tabu search: A tutorial //Interfaces. 1990. Vol. 20, pp. 74 – 94. Ferrante N. Cotta C., Moscato P. Handbook of Memetic Algorithms. Berlin, NY: Springer-Verlag, 2012. Glover F., Laguna M., Martí R. Fundamentals of Scatter Search and Path Relinking // Control and Cybernetics, 2000. № 29 (3), pp. 653 – 684 De Castro L., Timmis J. Artificial Immune Systems: A New Computational Intelligence Approach. Springer, 2002. Langdon W., Harman M. Optimising Existing Software with Genetic Programming [Электронный ресурс] http://www0.cs.ucl.ac.uk/staff/ucacbbl/ftp/papers/Langdon_2013_ieeeTEC.pdf - свободный - Загл. с экрана - Англ. яз. Meta Programming System [Электронный ресурс]: http://www.jetbrains.com/mps/ - свободный - Загл. с экрана - Англ. яз A. S. Shevnin, A. D. Semenov, Yu. B. Porozov. PDB-by-RMSD: the New Service and Tool for Searching Protein Structures. // Am. J. of Bioinformatics Research. 2013. Vol. 3. № 2. P. 30-33. D.A. Tikhvinskiy, Yu.B. Porozov. Bioinformatics and tools for computer analysis and visualization of macromolecules. // Russian Open Medical Journal. 2013. Т. 2. № 1. С. 01011-01013. David J Foran, Lin Yang, Wenjin Chen, Jun Hu, Lauri A Goodell, Michael Reiss, Fusheng Wang, Tahsin Kurc, Tony Pan, Ashish Sharma, Joel H Saltz, ImageMiner: a software system for comparative analysis of tissue microarrays using content-based image retrieval, high-performance computing, and grid technology. // J Am Med Inform Assoc 2011;18:4 403-415 Published Online First: 23 May 2011. [Электронный ресурс]: http://jamia.bmj.com/content/18/4/403.full [свободный] http://jamia.bmj.com/content/18/4/403.full.pdf+html Ian Karliny, Abhinav Bhateley, Jeff Keaslery, Bradford L. Chamberlainzz, Jonathan Coheny, Zachary DeVito, Riyaz Haquez, Dan Laneyy, Edward Luke, Felix Wangx, David Richardsy, Martin Schulzy, Charles H. Stilly. Exploring Traditional and Emerging Parallel Programming Models using a Proxy Application. // 27th IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2013), May 2013. http://charm.cs.uiuc.edu/~bhatele/pubs/pdf/2013/ipdps2013.pdf Javier Camara, Pedro Correia, Rogerio de Lemos, David Garlanz, Pedro Gomes, Bradley Schmerl, Rafael Ventura, Evolving an adaptive industrial software system to use architecture-based self-adaptation. // 35th International Conference on Software Engineering (ICSE 2013), IEEE Press Piscataway, NJ, USA ©2013. [Электронный ресурс]: http://www.yorku.ca/mlitoiu/seams2013/program/index.html [закрытый] Kimpe, D., Carns, P., Harms, K., Wozniak, J. M., Lang, S., & Ross, R. (2012, June). Aesop: Expressing concurrency in high-performance system software. In Networking, Architecture and Storage (NAS), 2012 IEEE 7th International Conference on (pp. 303-312). IEEE. M.F. Zini, Yu.Porozov, T. Loni, R. Andrei, M. Zoppè. Use of BioBlender for all atom morphing of protein structures. // EMBNet.Journal. V.18 suppl. A. BITS 2012. P. 124. Mark Sh. Levin, Aliaksei Andrushevich, Rolf Kistler, Alexander Klapproth . Combinatorial evolution and forecasting of communication protocol ZigBee // Electronic preprint. 6 pp., April 15, 2012 [Электронный ресурс]: http://arxiv.org/abs/1204.3259 [cs.NI] http://arxiv.org/abs/1204.3259 свободный http://arxiv.org/pdf/1204.3259v1.pdf – Англ. яз. Porozov Yu., Muntjan A., Chizhevskaya E., Simarov B., Andronov E. Linked symbiotic populations: analysis of polymorphism in nfr5 receptor gene by using molecular docking.// Russian journal of genetics: applied research. 2013, Vol. 3, No. 2, pp. 146–151. Song L., Wang J., Wen L., & Kong H. Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding. // Journal of Applied Mathematics, 2013. Torsten Grust, Alexander Ulrich, First-Class Functions for First-Order Database Engines. // Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy. [Электронный ресурс]: http://arxiv.org/abs/1308.0158 [свободный] Zhongshan Zhang and Keping Long, Univ. of Sci. & Technol., Beijing, China; Jianping Wang, Self-organization paradigms and optimization approaches for cognitive radio technologies: a survey CITY UNIVERSITY OF HONG KONG. // IEEE Wireless Communications, April 2013 [Электронный ресурс]: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6507392&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6507392 [закрытый] А. А. Кошевой, Е.О. Степанов, Ю.Б. Порозов. Метод предсказания и оптимизации конформационной подвижности белков путем решения транспортной задачи переноса массы.// Принята в ж-л «Биофизика». А.А. Иголкина, Е.Е. Андронов, Ю.Б. Порозов. Метод поиска субстратспецифичных областей ферментов класса целлюлаз на основании их первичной и третичной структур.// Математическая биология и биоинформатика. 2013. Т. 8. № 2. С. 407–418. http://www.matbio.org/article.php?journ_id=16&id=160. Бильский А. В., Ложкин В. А.,Маркович Д. М., Токарев М. П. Метод максимизации энтропии для реконструкции объемных изображений частиц в томографическом методе измерения скорости в объеме потока. // Вычислительные методы и программирование. – 2013. – Т. 14. – С. 17-25. Д.М. Спельников, С.Н. Князев, М.А. Балахонцева, М.В. Буздалов, Ю.Б. Порозов, В.Г. Маслов, А.В. Бухановский. Высокопроизводительный программный комплекс моделирования конформационно-зависимых свойств белков в задачах рационального дизайна лекарственных препаратов.// Принята в ж-л «Динамика сложных систем», 2013. № 3. Д.М. Спельников, Ю.Б. Порозов, В.Г. Маслов, А.В. Бухановский. Моделирование конформационно-зависимых свойств белков для рационального дизайна лекарственных препаратов в среде облачных вычислений CLAVIRE. // Научно-технический вестник информационных технологий, механики и оптики. 2013. Т. 87, №5. С. 175-176. Дмитриев В. Н., Тушнов А. С., Сергеева Е. В. ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ СИСТЕМЫ МОНИТОРИНГА МНОГОЗВЕННОЙ СЕТИ ПЕРЕДАЧИ ДАННЫХ. // ISSN 2072-9502. Вестник АГТУ. Сер.: Управление, вычислительная техника и информатика. – 2013. – №. 2. – С. 86-91. http://vestnik.astu.org/Content/UserImages/file/inform_2013_2/10.pdf Дольник А.С., Тамазян Г.С., Першина Е.В., Вяткина К.В., Порозов Ю.Б., Пинаев А.Г., Андронов Е.Е. КОНЦЕПЦИЯ УНИВЕРСАЛЬНОЙ ТАКСОНОМИЧЕСКОЙ СИСТЕМЫ БАКТЕРИЙ: ЭВОЛЮЦИОННОЕ ПРОСТРАНСТВО ГЕНА 16S-рРНК v. 1.0 // Сельскохозяйственная биология. 2012. № 5. С. 111-120. Коньшин И. Н., Сушко Г. Б., Харченко С. А. Трёхуровневая MPI+ TBB+ CUDA параллельная реализация блочного итерационного алгоритма решения СЛАУ для мелкоблочных неструктурированных разреженных матриц // Научный сервис в сети Интернет: поиск новых решений: Труды Международной суперкомпьютерной конференции, Москва, Издательство МГУ. – 2012. – С. 522-528. Лукашевич Н.В., Четвёркин И.И. Построение модели для извлечения оценочной лексики в различных предметных областях. // Моделирование и анализ информационных систем. Т. 20, № 2 (2013) 70–79. http://mais.uniyar.ac.ru/sites/default/files/journal/private/20_2__70-79.pdf Олег Майданович, Михаил Охтилев, Борис Соколов. ПЕРСПЕКТИВНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ МОНИТОРИНГА И УПРАВЛЕНИЯ СОСТОЯНИЯМИ СЛОЖНЫХ ТЕХНИЧЕСКИХ ОБЪЕКТОВ В РЕАЛЬНОМ МАСШТАБЕ ВРЕМЕНИ.// International Journal "Information Models and Analyses" Vol.1, 2012,С. 318−335. Пожилов И. А., Семенов А. С., Макагон Д. В. Прогнозирование масштабируемости задачи умножения разреженной матрицы на вектор при помощи модели коммуникационной сети. // МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВЫЧИСЛИТЕЛЬНЫХ МАШИН. Т. 16, № 6 (51). С. 158–163. Вестник УГАТУ, 2013. http://dislab.org/docs/spmv-article.pdf Порозов Ю.Б., Мунтян А.Н., Чижевская Е.П., Симаров Б.В., Андронов Е.Е. Сопряженные симбиотические популяции. Чаcть ii: анализ полиморфизма рецепторного гена nfr5 с использованием молекулярного докинга. // Экологическая генетика. 2012. Т. 10, № 1. С. 12-18. Javier Camara, Pedro Correia, Rogerio de Lemos, David Garlanz, Pedro Gomes, Bradley Schmerl, Rafael Ventura, Evolving an adaptive industrial software system to use architecture-based self-adaptation. // 35th International Conference on Software Engineering (ICSE 2013), IEEE Press Piscataway, NJ, USA ©2013. [Электронный ресурс]: http://www.yorku.ca/mlitoiu/seams2013/program/index.html [закрытый] MORPH-PRO: a novel algorithm and web server for protein morphing / Natalie E Castellana, Andrey Lushnikov, Piotr Rotkiewicz, Natasha Sefcovic, Pavel A Pevzner, Adam Godzik and Kira Vyatkina // Algorithms for Molecular Biology, Volume 8:19, 2013 [Электронный ресурс]: http://www.almob.org/content/8/1/19 Robert Jakob and Peter Thiemann Towards, Tree Automata-based Success Types. // Abstract presented at HOPA 2013. [Электронный ресурс]: http://arxiv.org/abs/1306.5061 [свободный] Белевцев А. М., Дружинин М. А. ОБЩАЯ СТРУКТУРА КОМБИНИРОВАННОГО ЭВОЛЮЦИОННО-ГЕНЕТИЧЕСКОГО АЛГОРИТМА ПОИСКА РЕШЕНИЙ В ЗАДАЧАХ ОПТИМИЗАЦИИ ИНФОРМАЦИОННО-ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ. // Известия ЮФУ. Технические науки, – Таганрог: Южный федеральный университет, 05/2013, Раздел III. Алгоритмическое и программное обеспечение, С. 134-138. Белоус Ю.А., Грунский И.С. ЖАДНЫЙ АЛГОРИТМ РАЗЛОЖЕНИЯ ПРЯМОУГОЛЬНОГО ЛАБИРИНТА БЕЗ ДЫР В СИСТЕМУ МАКСИМАЛЬНЫХ ПРЯМОУГОЛЬНИКОВ // Материалы конференции "Информационные управляющие системы и компьютерный мониторинг (ИУС КМ 2013), Секция 8. 19.05.2013, С. 470-473. ДоННТУ. http://ea.donntu.edu.ua:8080/jspui/handle/123456789/20529 Волков К. Н., Дерюгин Ю. Н. Емельянов В. Н. Карпенко А. Г. Козелков А. С. Смирнов П. Г., Тетерина И. В. РЕАЛИЗАЦИЯ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ НА ГРАФИЧЕСКИХ ПРОЦЕССОРАХ В ПАКЕТЕ ВЫЧИСЛИТЕЛЬНОЙ ГАЗОВОЙ ДИНАМИКИ ЛОГОС. // Вычислительные методы и программирование. – 2013. – Т. 14. – С. 334-342. Ерохин А. П., Денискин Ю. И. Методика и алгоритмы мультипликации по теоретическому контуру параметрических моделей авиационных конструкций. // Интернет-журнал «Науковедение». – 2013. – №. 4. – С. 17. Жирков В. Ф. ПРОБЛЕМА ЭФФЕКТИВНЫХ ПРИЗНАКОВ В ЗАДАЧАХ РАСПОЗНАВАНИЯ. // ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2012 Ляхович Л. С., Перельмутер А. В., Сливкер В. И. РОЛЬ ПАРАДОКСОВ В ОЦЕНКЕ КОРРЕКТНОСТИ РАСЧЕТНЫХ МОДЕЛЕЙ. // International Journal for Computational Civil and Structural Engineering, 9(2), 2013. С.34-42. Осинов В. А., Шапошников Д. Г., Колтунова Т. И., & Подладчикова Л. Н. Динамика пространственно-временных характеристик осмотра изображений: модель и эксперимент. // Электронный рецензируемый журнал «Нейроинформатика». – 2012. – Т. 6. – №. 1. Парамонов П. П., Жаринов И. О. ИНТЕГРИРОВАННЫЕ БОРТОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ: ОБЗОР СОВРЕМЕННОГО СОСТОЯНИЯ И АНАЛИЗ ПЕРСПЕКТИВ РАЗВИТИЯ В АВИАЦИОННОМ ПРИБОРОСТРОЕНИИ. // Научно-технический вестник информационных технологий, механики и оптики, 2013, № 2 (82). Рыбакин Б. П., Егорова Е. В., Стамов Л. И. Применение графических процессоров для решения задач газовой динамики с учетом уравнений химической кинетики // Вычислительные методы и программирование. – 2013. – Т. 14. – С. 31. Свенч А. А., Файзуллин Р. Т., Хныкин И. Г. ГИБРИДНАЯ СУПЕРКОМПЬЮТЕРНАЯ СИСТЕМА. // Вестник УГАТУ. – 2012. – Т. 16. – №. 3 (48). – С. 138–142. Селиверстов А. В. Замечания о расположениях точек на квадриках. // Моделирование и анализ информационных систем. Т. 19, № 4 (2012) 72–77. Смирнов В. А., Гусев М. Н., Фархадов М. П. Функция модуля акустического моделирования в системе автоматического анализа неструктурированной речевой информации. // Управление большими системами. Выпуск 45. М.: ИПУ РАН, 2013. С.181-205. Хоперсков А.В. ВНЕДРЕНИЕ СУПЕРКОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ В ОБРАЗОВАТЕЛЬНЫЙ ПРОЦЕСС ПО НАПРАВЛЕНИЮ «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА». // Вестник ВолГУ. Серия 6. Университетское образование Вып. 13 (2011-2012) С. 63-70. Черепанов Ф. М. ИССЛЕДОВАТЕЛЬСКИЙ СИМУЛЯТОР НЕЙРОННЫХ СЕТЕЙ, ОБЗОР ЕГО ПРИЛОЖЕНИЙ И ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ ДЛЯ СОЗДАНИЯ СИСТЕМЫ ДИАГНОСТИКИ ЗАБОЛЕВАНИЙ СЕРДЕЧНО-СОСУДИСТОЙ СИСТЕМЫ // СОВРЕМЕННЫЕ ПРОБЛЕМЫ НАУКИ И ОБРАЗОВАНИЯ. – 2013. – №. 1. – С. 170. Шорников Ю. В., Достовалов Д. Н., Бессонов А. В. Математическое и программное обеспечение компьютерного моделирования гибридных систем // Программные системы: теория и приложения. – 2012. – Т. 3. – №. 5. – С. 45-58. Параллелизм как основа архитектуры вычислительных систем [Электронный ресурс]: ННГУ. Режим доступа: http://www.hpcc.unn.ru/multicore/materials/arch/Ar08.pdf. Глинский Б.М., Куликов И.М., Черных И.Г. Программный комплекс для моделирования динамики астрофизических объектов на гибридных суперЭВМ, оснащенных ускорителями Intel Xeon Phi [Электронный ресурс]: Межд. суперкомпьютерная конф. «Научный сервис сети интернет: все грани параллелизма». Режим доступа: http://agora.guru.ru/abrau2013/presentations/glinskij.pdf. Черепенников В., Местер Н. Exascale: стратегия и тактика движения от Intel. [Электронный ресурс]: Межд. суперкомпьютерная конф. «Научный сервис сети интернет: все грани параллелизма». Режим доступа: http://agora.guru.ru/abrau2013p/resentations/cherepennikov.pdf. Станавов П. HAS от AMD – новый подход или революция? [Электронный ресурс]: Межд. суперкомпьютерная конф. «Научный сервис сети интернет: все грани параллелизма». Режим доступа: http://agora.guru.ru/abrau2013p/resentations/cherepennikov.pdf. Графеновые транзисторы - революция в электронике [Электронные ресурс]:Новости науки. Режим доступа: http://novostinauki.ru/news/2448/. Roman Trobec, Mari´an Vajterˇsic, Peter Zinterhof. Parallel Computing. Numerics, Applications, and Trends. — Springer, Dordrecht, Heidelberg, London, New York. — 2009. — 519 p. Нечай О. Мемристор: "недостающий элемент" [Электронный ресурс]: Компьютерра Online. Режим доступа: http://old.computerra.ru/vision/591537/. Sharad M., Augustine C., Panagopoulos G., Roy K. Proposal For Neuromorphic Hardware Using Spin Devices [Электронный ресурс]: Cornell University Library. Режим доступа: http://arxiv.org/abs/1206.3227. Поляков Г.А.. Проблемы и технологии автоматического синтеза параллельного аппаратно-программного обеспечения суперЭВМ и адаптивных самоорганизующихся вычислительных систем [Электронный ресурс]: Национальный суперкомпьютерный форум. Режим доступа: http://www.nscf.ru/TesisAll/Section%203/06_1790_PolyakovGA_S3.pdf Мобильные чипы станут стандартом для суперкомпьютеров – прогноз [Электронный ресурс]: Cyber Security (RU). Режим доступа: http://www.cybersecurity.ru/news/175541.html. Галушкин А.И. На пути к нейрокомпьютерам с использованием мемристоров (рабочий вариант) [Электронный ресурс]: Национальный суперкомпьютерный форум. Режим доступа: http://www.nscf.ru/TesisAll/Plenar/13_1520_GalyshkinAI_P13.pdf. Стасевич К. ДНК-компьютеры все ближе [Электронный ресурс]: Компьютерра. Режим доступа: http://compulenta.computerra.ru/chelovek/biologiya/10004064/. Adamatzky А. Programming Reaction-Diffusion Processors [Электронный ресурс]: University of the West of England . Режим доступа: http://uncomp.uwe.ac.uk/adamatzky/programmingrd.pdf. Adl А., Badr А., Farag I. A Note on the Membrane Computer [Электронный ресурс]: Research Gate. Режим доступа: http://arxiv.org/ftp/arxiv/papers/1009/1009.0923.pdf. Is the Age of Silicon Computing Coming to an End? Physicist Michio Kaku Says "Yes" [Электронный ресурс]:The Daily Galaxy. Режим доступа: http://www.dailygalaxy.com/my_weblog/2012/05/is-the-age-of-silicon-coming-to-an-end-physicist-michio-kaku-says-yes.html. Invisible Computers: CENSE, Big Data, Stan Williams, and Ubiquitous Computing [Электронный ресурс]: memristor.org. Режим досутпа: http://www.memristor.org/sensors/508/cense-stan-williams-ubiquitous-computing-markoff-big-data. Karimi K., Dickson N.G., Hamze F. High-Performance Physics Simulations Using Multi-Core CPUs and GPGPUs in a Volunteer Computing Context [Электронный ресурс]: D-Wave Systems Inc. URL: http://arxiv.org/ftp/arxiv/papers/1004/1004.0023.pdf. Carter N.P., Agrawal A., Borkar S., Cledat R., David H., Dunning D., Fryman J., Ganev I., Golliver R.A., Knauerhase R., Lethin R., Meister B., Mishra A.K., Pinfold W.R., Teller J., Torrellas J., Vasilache N., Venkatesh G., XuRunnemede J. An Architecture for Ubiquitous High-Performance Computing [Электронный ресурс]: University of Illinois. URL: http://iacoma.cs.uiuc.edu/iacoma-papers/hpca13_1.pdf. Ubiquitous high performance computing (UHPC) [Электронный ресурс]: Darpa. URL:http://www.darpa.mil/Our_Work/MTO/Programs/Ubiquitous_High_Performance_Computing_(UHPC).aspx. Чуров Т.Н., Насонов Д.А., Болгова Е.В. Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака // Динамика сложных систем. — 2013. — №3. — С. 73 – 77. Gartner Identifies the Top 10 Strategic Technology Trends for 2014 [Электронный ресурс]: Garner. URL: http://www.gartner.com/newsroom/id/2603623. Bringing Scientific Workflow to the Masses via Pegasus and HUBzero [Электронный ресурс]: CEUR Workshop Proceedings. URL: http://ceur-ws.org/Vol-993/paper4.pdf. Knyazkov K.V., Kovalchuk S.V., Tchurov T.N., Maryin S.V., Boukhanovsky A.V. CLAVIRE: e-Science infrastructure for data-driven computing // Journal of Computational Science. — 2012. — Vol. 3(6). — P. 504–510. Прокошев В.В., Скляренко В.А., Шамин П.Ю. Моделирование распространения сигнала в среде движущихся объектов с применением функций Уолша // «Технические науки - от теории к практике»: материалы XIVмеждународной заочной научно-практической конференции. (10 октября 2012 г.) / Ред. Я.А. Полонского. Новосибирск: Изд.Сибирская ассоциация консультантов, 2012. — С. 20 - 25. Олег Нечай. Мемристор: "недостающий элемент" [Электронный ресурс]: Компьютерра Online. URL: http://old.computerra.ru/vision/591537/. Пятковский Ю. Месяц без подзарядки: будущее аккумуляторных батарей [Электронный ресурс]: ITC.ua. URL: http://itc.ua/articles/mesyats-bez-podzaryadki-budushhee-akkumulyatornyih-batarey/. Альшевский Я. ZTE поставила рекорд дальности передачи данных по оптоволокну [Электронный ресурс]: Onliner. URL: http://tech.onliner.by/2013/10/28/zte-4/. Carter N.P., Agrawal A., Borkar S., Cledat R., David H., Dunning D., Fryman J., Ganev I., Golliver R.A., Knauerhase R., Lethin R., Meister B., Mishra A.K., Pinfold W.R., Teller J., Torrellas J., Vasilache N., Venkatesh G., XuRunnemede J. An Architecture for Ubiquitous High-Performance Computing [Электронный ресурс]: University of Illinois. URL: http://iacoma.cs.uiuc.edu/iacoma-papers/hpca13_1.pdf. Стельмах C. Европа готовится к внедрению сетей пятого поколения [Электронный ресурс]: PCWeek. URL: http://www.pcweek.ru/mobile/article/detail.php?ID=158389 – свободный. Dynamic network infrastructures for high performance data centre interconnects [Электронный ресурс]: Cordis. URL: http://cordis.europa.eu/fp7/ict/future-networks/documents/call8-projects/lightness-factsheet.pdf. Ковальчук С.В., Бухановский А.В. Облачные вычисления второго поколения: композитные приложения, интерактивные системы и семантические технологии [Электронный ресурс]: Презентация доклада на Всероссийской конференции «Инфокоммуникационные технологии в научных исследованиях». [Электронный ресурс]. URL: http://www.myshared.ru/slide/379432/. A Day Made of Glass... Made possible by Corning. [Электронный ресурс]. URL: Corning / http://www.youtube.com/watch?v=6Cf7IL_eZ38. Baishakhi Ray, B.Sc., B.Tech., M.S. Analysis of Cross-System Porting and Porting Errors in Software Projects. // DISSERTATION Presented to the Faculty of the Graduate School of The University of Texas at Austin in Partial Fulfillment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY THE UNIVERSITY OF TEXAS AT AUSTIN. August 2013. http://rayb.info/uploads/bray_thesis.pdf Pablo Chacin Martinez, A Middleware Framework for Self-Adaptive Large Scale Distributed Services. // Dissertation submitted for the degree of Doctor of Philosophy. Universitat Politecnica de Catalunya. Departament d'Arquitectura dels Computadors. June, 2011. Trujillo, Salvador, Alfons Crespo, and Alejandro Alonso. MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems. // Digital System Design (DSD), 2013 Euromicro Conference on Date 4-6 Sept. 2013. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6628285&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D6628285 Víctor López-Jaquero, Francisco Montero, Elena Navarro, Antonio Esparcia, José Antonio Catalán, Supporting ARINC 653-based Dynamic Reconfiguration. // Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on. – IEEE, 2012. – С. 11-20. А. С. Богомолов. Комплексный контроль ресурсов сложных человекомашинных систем. // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 3 С. 83-87 А.П. Веревкин. ЭКОНОМИЧЕСКИ ЭФФЕКТИВНЫЕ АСУТП ДОБЫЧИ И ТРАНСПОРТА НЕФТИ И ГАЗА. // Труды V Всероссийской научно-технической конференции с международным участием ТюмГНГУ. СЕКЦИЯ 3. ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В РЕШЕНИИ ЗАДАЧ ЭНЕРГОСБЕРЕЖЕНИЯ 2012. С. 153-158. Бахтин В. А. и др. ИСПОЛЬЗОВАНИЕ ЯЗЫКА FORTRAN DVMH ДЛЯ РЕШЕНИЯ ЗАДАЧ ГИДРОДИНАМИКИ НА ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ГИБРИДНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ. // South Ural State University. – С. 106. Бурцев М. А., Антонов В. Н., Ефремов В. Ю., Кашницкий А. В., Крамарева Л. С., Лупян Е. А., Мазуров А. А., Матвеев А. М., Милехин О. Е., Прошин А. А., Соловьев, В. И. Система работы с распределенными архивами результатов обработки спутниковых данных центров приема НИЦ Планета. // Современные проблемы дистанционного зондирования Земли из космоса. 2012.Т.9.№5.С. 55-76. Засуха С. А., Поночовный Ю. Л., Харченко В. С. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев. // Вісник Харківського національного університету №1015 – 2012. – С. 137-141. Иванников В. П., Петренко А. К., Кулямин В. В., Максимов А. В. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. // Труды Института системного программирования РАН, том 24, 2013 г. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). Стр. 207-218. http://www.ispras.ru/ru/proceedings/archives/isp_24_2013/isp_24_2013_207.php Казак В. М., Тачинина Е. Н., Тачинин Е. В. КОНЦЕПЦИЯ ПОВЫШЕНИЯ БЕЗОПАСНОСТИ ПОЛЕТА ПУТЕМ ПРИМЕНЕНИЯ БОРТОВОЙ ИНТЕЛЛЕКТУАЛЬНОЙ ИНТЕГРИРОВАННОЙ СИСТЕМЫ УПРАВЛЕНИЯ В ОСОБЫХ СИТУАЦИЯХ В ПОЛЕТЕ. // ПРОБЛЕМИ ІНФОРМАТИЗАЦІЇ ТА УПРАВЛІННЯ: Збірник наукових праць: Випуск 1 (41). – К.: НАУ, 2013.С. 37-43. Китчер Эммануэль. Прогнозирование масштабируемости задачи умножения разреженной матрицы на вектор при помощи модели коммуникационной сети. // Труды Международной научной конференции «Физика и радиоэлектроника в медицине и экологии» ФРЭМЭ'2012. Малинецкий Г. Г., Теория самоорганизации. На пороге IV парадигмы. – 2013. // КОМПЬЮТЕРНЫЕ ИССЛЕДОВАНИЯ И МОДЕЛИРОВАНИЕ 2013 Т. 5 № 3 С. 315−366. http://crm.ics.org.ru/uploads/crmissues/crm_2013_3/13301.pdf Парцевский Н. С., Шмагин В. Е. Бодров В. К., Дмитриев Д. В. и др. Бортовой КомплеКс управления для лунного малого КосмичесКого аппарата // ВЕСТНИК ФГУП НПО ИМ. С.А. ЛАВОЧКИНА. – 2013. – №. 2. – С. 10-12. Ю.А. Гатчин, Б.В. Видин, И.О. Жаринов, О.О. Жаринов, А.А. Рожденкин. АНАЛИТИЧЕСКИЙ МЕТОД ОПРЕДЕЛЕНИЯ ОБЛАСТИ ЛОКАЛИЗАЦИИ ВНУТРЕННИХ НЕИСПРАВНОСТЕЙ В ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМАХ БОРТОВОГО АВИАЦИОННОГО ОБОРУДОВАНИЯ // Сборник трудов молодых ученых, аспирантов и студентов научно-педагогической школы кафедры ПБКС «Информационная безопасность, проектирование и технология элементов и узлов компьютерных систем». – СПб: НИУ ИТМО, 2013. Выпуск 1. С. 109-117. Основные тенденции развития отрасли разработки ПО в России: отчет НП РУССОФТ. [Электронный ресурс]: http://www.russoft.ru/tops/1785 - свободный - Загл. с экрана - Рус. яз. 2. Кларк Э., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. М.: МЦНМО, 2002. 416 с. 3. Holzmann G. Design and Validation of Computer Protocols. NJ: Bell Lab, 1991. 558 p. 4. Holzmann G. The Model Checker SPIN // Software Engineering Journal. 1997. Vol. 23. No. 5, рр. 279–295. 5. Robby A., Dwyer M., Hatcliff J. Bogor: an extensible and highly-modular software model checking framework / In Proceedings European Software Engineering Conference (ESEC'03), 2003. 6. Cimatti A., Clarke E., Giunchiglia E et al. NuSMV 2: An open source tool for symbolic model checking / In Proceedings of the 14th International Conference on Computer Aided Verification (CAV'02). Lecture Notes in Computer Science 2404, pp.359–364. 2002. 7. Brayton R. et al. VIS: A system for verification and synthesis / In Proceedings of the Eighth International Conference on Computer Aided Verification (CAV'96), pp. 428–432. Springer Verlag. Rutgers University. 1996. 8. Лямбда-выражения (Руководство по программированию в C#) [Электронный ресурс]: http://msdn.microsoft.com/ru-ru/library/57e3ba27-9a82-4067-aca7-5ca446b7bf93 - свободный - Загл. с экрана - Рус. яз. 9. Lambda-expressions [Электронный ресурс]: http://docs.oracle.com/javase/tutorial/java/javaOO/lambdaexpressions.html - свободный - Загл. с экрана - Англ. яз. 10. Coq [Электронный ресурс]: http://coq.inria.fr/ - свободный - Загл. с экрана - Англ. яз. 11. Agda [http://wiki.portal.chalmers.se/agda/pmwiki.php] - свободный - Загл. с экрана - Англ. яз. 12. Erlang at Facebook. [Электронный ресурс]: http://www.erlang-factory.com/upload/presentations/31/EugeneLetuchy-ErlangatFacebook.pdf - свободный - Загл. с экрана – Англ. яз. Машинное обучение [Электронный ресурс]: http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%BD%D0%BE%D0%B5_%D0%BE%D0%B1%D1%83%D1%87%D0%B5%D0%BD%D0%B8%D0%B5 - свободный - Загл. с экрана - Рус. яз. Linear regression [Электронные ресурс]: http://en.wikipedia.org/wiki/Linear_regression - свободный - Загл. с экрана - Англ. яз. K-nearest neighbors algorithm [Электронный ресурс]: http://en.wikipedia.org/wiki/K-nearest_neighbors_algorithm - свободный - Загл. с экрана - Англ. яз. Google Translate [Электронный ресурс]: http://translate.google.com - свободный - Загл. с экрана - Англ. яз. Mayer-Schonberger V., Cukier K. Big Data: A Revolution That Will Transform How We Live, Work, and Think. ZestFinance [Электронный ресурс]: http://www.zestfinance.com/ - свободный - Загл. с экрана - Англ. яз. Gartner Survey Finds 42 Percent of IT Leaders Have Invested in Big Data or Plan to Do So Within a Year [Электронный ресурс]: http://www.gartner.com/newsroom/id/2366515 - свободный - Загл. с экрана - Англ. яз. OpenWorld 2013: компания Oracle делает ставку на «большие данные» [Электронный ресурс]: http://www.computerra.ru/83798/oracle-openworld2013/ - свободный - Загл. с экрана - Рус. яз. Через пять лет обработка, хранение и анализ данных «интернета вещей» станут многомиллиардным бизнесом [Электронный ресурс]: http://www.computerra.ru/86721/m2m-bigdata-abi-research/ - свободный - Загл. с экрана - Рус. яз. Pacheco P. S. Parallel Programming with MPI. Morgan Kaufmann, San Francisco, 1997. Chandra R., Menon R., Dagum L., Kohr D., Maydan D., McDonald J. Parallel Programming in OpenMP. Morgan Kaufmann, San Francisco, 2000. CUDA. Parallel Programming and Computing Platform. [Электронный ресурс]: http://www.nvidia.com/object/cuda_home_new.html - свободный - Загл. с экрана - Англ. яз. Kaiser H., Brodowicz M., Sterling T. ParalleX: An Advanced Parallel Execution Model for Scaling-Impaired Applications [Электронный ресурс]: http://stellar.cct.lsu.edu/pubs/icpp09.pdf - свободный - Загл. с экрана - Англ. яз. Dean J., Ghemawat S. MapReduce: Simplified Data Processing on Large Clusters. [Электронный ресурс]: http://labs.google.com/papers/mapreduce.html - свободный - Загл. с экрана - Англ. яз. Geist A. MPI Must Evolve or Die. Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, p. 5. http://dl.acm.org/citation.cfm?id=1431674 Kogge P. The Challenges of Exascale Computing for Astroinformatics Apps. http://wenku.baidu.com/view/5a69e1303968011ca300915e.html Keyes D. Exaflop/s, Seriously! http://www.cespr.fsu.edu/lighthill/keyes_publiclecture.pd Anshari Muhammad и Almunawar Mohammad Nabil Health Information Systems (HIS): Concept and Technology [В Интернете] // arXiv.org: e-Print article archive. - 2012 г.. - 6 Ноябрь 2013 г.. - http://arxiv.org/abs/1203.3923. Chun-lang Chang, Bor-wen Cheng и I-Sheng Liu Enhancing Care Services Quality of Nursing Homes Using Data Mining [Статья] // Total Quality Management & Business Excellence. - [б.м.] : Taylor&Francis, 2005 г.. - 5 : Т. 16. Corsar David [и др.] Citizen Sensing within a Real-Time Passenger Information System [Конференция] // Proceedings of the 6th International Workshop on Semantic Sensor Networks co-located with the 12th International Semantic Web Conference. - [б.м.] : CEUR Workshop Proceedings, 2013. - Т. 1063. Fichman Robert, Rajiv Kohli и Ranjani Krishnan The Role of Information Systems in Healthcare: Current Research and Future Trends [Статья] // Information Systems Research. - [б.м.] : INFORMS, 2011 г.. - 3 : Т. 22. Heywood James [и др.] Accelerated clinical discovery using self-reported patient data collected online and a patient-matching algorithm [Статья] // Nature Biotechnology. - [б.м.] : Nature Publishing Group, 2011 г.. - 5 : Т. 29. Hull Richard, Su Jianwen и Vaculin Roman Data management perspectives on business process management: tutorial overview [Конференция] // Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data. - [б.м.] : ACM, 2013. Jongo Peggy, Meyer Marek и Steinmetz Ralf Overview of Mobile Passenger Information Systems in Public Transport [В Интернете] // Technische Universität Darmstadt. - 2010 г.. - 6 Ноябрь 2013 г.. - ftp://ftp.kom.tu-darmstadt.de/papers/LMS10.pdf. LaValle Steve [и др.] Big Data, Analytics and the Path From Insights to Value [Статья] // MIT Sloan Management Review. - 2011 г.. - 2 : Т. 52. Papangelis Konstantinos [и др.] Developing a Real Time Passenger Information System for Rural Areas [Статья] // Lecture Notes in Computer Science. - [б.м.] : Springer, 2013 г.. - Т. 8017. Serova Elena Enterprise Information Systems of new Generation [Статья] // Electronic Journal of Information Systems Evaluattion. - [б.м.] : Academic Publishing International Ltd , 2012 г.. - 1 : Т. 15. Tang Lie и Thakuriah Piyushimita Ridership effects of real-time bus information system: A case study in the City of Chicago [Статья] // Transportation Research Part C. - [б.м.] : Elsevier, 2012 г.. - Т. 22. United Nations United Nations E-Government Survey 2012 [В Интернете] // UNPAN Document Management System. - 2012 г.. - 6 Ноябрь 2013 г.. - http://unpan1.un.org/intradoc/groups/public/documents/un/unpan048065.pdf. Xu Li Da Enterprise Systems: State-of-the-Art and Future Trends [Статья] // IEEE Transactions On Industrial Informatics. - [б.м.] : IEEE, 2011 г.. - 4 : Т. 7. Афанасьев А. П. [и др.] Информационно аналитическая система для принятия решений на основе сети распределенных ситуационных центров [Статья] // Информационные технологии и вычислительные системы. - Москва : Институт системного анализа Российской академии наук, 2010 г.. - Т. 2. Дабагов А. Р. Информатизация здравоохранения и некоторые проблемы построения интегрированных медицинских информационных систем [В Интернете] // Журнал радиоэлектроники: электронный журнал. - 2011 г.. - 6 11 2013 г.. - http://jre.cplire.ru/mac/sep11/2/text.html. Дорофеюк Ю. А., Дорофеюк А. А. и Чернявский А. Л. Анализ и оценка эффективности социальнооэкономических систем управления [Статья] // Информационные технологии и вычислительные системы. - Москва : Институт системного анализа Российской академии наук, 2011 г.. - Т. 1. Минкомсвязи России Минкомсвязь России приступит к разработке государственной информационной системы в ЖКХ [В Интернете] // Сайт Минкомсвязи России. - 30 Октябрь 2013 г.. - 1 Ноябрь 2013 г.. - http://minsvyaz.ru/ru/news/index.php?id_4=44121. Назаренко Г. И. [и др.] Интеллектуальные системы в клинической медицине. Синтез плана лечения на основе прецедентов [Статья] // Информационные технологии и вычислительные системы. - Москва : Институт системного анализа Российской академии наук, 2010 г.. - Т. 1. Портал государственных услуг Российской Федерации [В Интернете]. - 2013 г.. - 6 Ноябрь 2013 г.. - http://www.gosuslugi.ru/pgu/. Aman Saima, Prasanna Viktor и Simmhan Yogesh Energy Management Systems: State of the Art and Emerging Trends [Статья] // IEEE Communications Magazine. – [б.м.] : IEEE Communications Society, 2013 г. – 1 : Т. 21. Bakule Lubomir Decentralized control: An overview [Статья] // Annual Reviews in Control. – [б.м.] : Elsevier, 2008 г. – 1 : Т. 32. Bauer Nicholas Networked control systems : from theory to experiments [В Интернете] // Technische Universiteit Eindhoven. – 2013 г. – 6 ноября 2013 г. – http://www.tue.nl/en/publication/ep/p/d/ep-uid/278108/. Dietrich Dietmar и Palensky Peter Demand Side Management: Demand Response, Intelligent Energy Systems, and Smart Loads [Статья] // IEEE Transactions On Indusrial Informatics. – [б.м.] : IEEE, 2011 г. – 3 : Т. 7. Fan Zhong [и др.] Smart Grid Communications: Overview of Research Challenges, Solutions, and Standardization Activities [Статья] // IEEE Communications Surveys & Tutorials. – [б.м.] : IEEE, 2013 г. – 1 : Т. 15. Galloway Brendan и Hancke Gerhard Introduction to Industrial Control Networks [Статья] // IEEE Communications Surveys & Tutorials. – [б.м.] : IEEE, 2013 г. – 2 : Т. 15. Gorodetskii V. I. Self-organization and multiagent systems: I. Models of multiagent self-organization [Статья] // Journal of Computer and Systems Sciences International. – СПб.: SP MAIK Nauka/Interperiodica, 2012 г. – 3 : Т. 51. Gorodetskii V. I. Self-organization and multiagent systems: II. Applications and the development technology [Статья] // Journal of Computer and Systems Sciences International. – СПб.: SP MAIK Nauka/Interperiodica, 2012 г. – 3 : Т. 51. Gupta Rachana Ashok и Chow Mo-Yuen Networked Control System: Overview and Research Trends [Статья] // IEEE Transactions On Industrial Elecronic. – 2010 г. – 7 : Т. 57. Järventausta Pertti [и др.] Smart grid power system control in distributed generation environment [Статья] // Annual Reviews in Control. – [б.м.] : Elsevier, 2010 г. – 2 : Т. 34. Khan Said G. [и др.] Reinforcement learning and optimal adaptive control: An overview and implementation examples [Статья] // Annual Reviews in Control. – [б.м.] : Elsevier, 2012 г. – 1 : Т. 36. Leitao Paulo Agent-based distributed manufacturing control: A state-of-the-art survey [Статья] // Engineering Applications of Artificial Intelligence. – [б.м.] : Esevier, 2009 г. – 7 : Т. 22. Natarajan Sreedhar [и др.] Toward Data-driven Demand-Response Optimization in a Campus Microgrid [Конференция] // Proceedings of the Third ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings. – [б.м.] : ACM, 2011. Zampieri Sandro Trends in Networked Control Systems [Конференция] // Proceedings of the 17th IFAC World Congress. – [б.м.] : nternational Federation of Automatic Control, 2008. – Т. 1. Zhang Youmin и Jiang Jin Bibliographical review on reconfigurable fault-tolerant control systems [Статья] // Annual Reviews in Control. – [б.м.] : Elsevier, 2008 г. – 2 : Т. 32. Zuehlke Detlef SmartFactory — Towards a factory-of-things [Статья] // Annual Reviews in Control. – [б.м.] : Elsevier, 2010 г. – 1 : Т. 34. Коваленко В. Функциональные возможности и методы реализации программного обеспечения Грид (часть 1) [Статья] // Информационные технологии и вычислительные системы. – М.: Институт системного анализа Российской академии наук, 2010 г. – Т. 2. Коваленко В. Функциональные возможности и методы реализации программного обеспечения Грид (часть 2) [Статья] // Информационные технологии и вычислительные системы. – М.: Институт системного анализа Российской академии наук, 2010 г. – Т. 3. ОАО "НТЦ Электроэнергетики" Основные положения концепции интеллектуальной энергосистемы с активно-адаптивной сетью [В Интернете] // Сайт ОАО "ФСК ЕЭС". – 2012 г. – 30 октября 2013 г. – http://www.fsk-ees.ru/upload/docs/ies_aas.pdf. Петров А. В., Хитьков В. В. и Яковлев К. С. Программный комплекс навигации и управления беспилотными транспортными средствами [Статья] // Информационные технологии и вычислительные системы. – М.: Институт системного анализа Российской академии наук, 2013 г. – Т. 3. ПРИЛОЖЕНИЕ АПрезентация по технологиям локального позиционирования и идентификации в режиме реального времени     Приложение БСписок опубликованных статей , в ходе выполнения НИР |
Похожие:
 | Это связано с тем, что процедуры, организационное, аналитическое и методическое обеспечение которых осуществляет отдел, являются... |  | Информационно-аналитическое обеспечение управления персоналом в компаниях розничной торговли |
| Информационно-аналитическое обеспечение управления персоналом в компаниях розничной торговли | | Информационно-методическое обеспечение по вопросам создания малых инновационных предприятий в Казанском федеральном университете |
| Сведения о реализации образовательных программ, заявленных для государственной аккредитации | | Аналитическая информационная система обеспечения открытости деятельности федеральных органов исполнительной власти, размещенная в... |
| Федотова М. Ф., Шойко И. С., Информационно-аналитическое управление Аппарата Московской городской Думы | | Структуру и содержание дисциплины основы делопроизводства, образовательные технологии, а так же учебно-методическое обеспечение самостоятельной... |
| Работа с традиционными и электронными каталогами Информационно-библиотечного центра Института управления, бизнеса и права: методическое... | | На ежеквартальный анализ развития vas на 6 зарубежных рынках (великобритания, германия, чехия, Ю. Корея, польша и индия), и информационно-аналитическое... |