منابع مشابه
22nd International Conference on Rewriting Techniques and Applications (RTA'11)
Connections between Tree Automata and Term Rewriting are now well known. Whereas treeautomata can be viewed as a subclass of ground rewrite systems, tree automata are successfullyused as decision tools in rewriting theory. Furthermore, applications, including rewriting theory,have influenced the definition of new classes of tree automata. In this talk, we will first presenta sho...
متن کاملInternational Conference on Islamic Awakening
Recent developments in the middle-east have been differently explained by different figures and dignitaries from different countries of the world. Calling these developments as "Islamic awakening", "Human awakening", "Arab Spring" and "Purple Revolution" indicates there are different theories in this regard definitely leading to different measures in the political arena. Among supreme leader's ...
متن کامل2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
The procedure for screening large databases of small chemical compounds to select likely drug candidates by computational means is very time demanding. Here, we present and evaluate a new method for virtual screening (VS) that combines the efficiency of spherical harmonic approximations to accelerate the rotational part of a docking search with multicore and GPU parallelism. To validate these n...
متن کاملLogic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Thank you for downloading logic programming 22nd international conference iclp 2006 seattle wa usa august 17 2
متن کاملCONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the concur 2011 concurrency theory 22nd international conference concur 2011 aache...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Operations & Production Management
سال: 2017
ISSN: 0144-3577
DOI: 10.1108/ijopm-09-2017-0574