Search results
From CERES
Page title matches
- '''PhD winter conference - First Edition''' PhD winter conference will provide an opportunity for PhD students to present ongoing research in3 KB (411 words) - 11:16, 23 June 2014
Page text matches
- ...daptive Cruise Control on traffic flow stability," 13th International IEEE Conference on Intelligent Transportation Systems (ITSC), vol., no., pp.759-764, 19-22 ...d-traffic environments using model predictive control, "IEEE International Conference on Control Applications (CCA), pp.1636-1641, 8-10 Sept. 2010.3 KB (443 words) - 11:23, 23 June 2014
- '''PhD winter conference - Review Process''' # Every student attending the conference submits paper1 KB (212 words) - 11:23, 23 June 2014
- * Write structured and constructive review reports for scientific journal and conference papers, write book reviews, and provide evaluations for project proposals. Reviewing submissions for the Ph.D. conference3 KB (501 words) - 07:45, 1 March 2017
- ...Google map] to indicate some points of interest in Halmstad, including the conference and the reception venues.15 KB (2,242 words) - 09:37, 29 October 2014
- <!-- {{PublicationsList}} = Inserts the "Journal and conference papers" associated with the person -->676 B (80 words) - 11:22, 23 June 2014
- = Conference Proceedings = * H. Hajiaghayi and M.R. Mousavi. Proceedings of the 1st International Conference on Topics in Theoretical Computer Science (TTCS 2015), Tehran, Iran. volume4 KB (463 words) - 15:51, 2 February 2017
- ::Biggest effort: matching partners (e.g. by running conference)2 KB (251 words) - 11:17, 23 June 2014
- ...bust Tracking of Plant Rows using Machine Vision , The Sixth International Conference on Mechatronics and Machine Vision in Practice,1-3 September, Middle East T8 KB (1,123 words) - 11:17, 23 June 2014
- ==6.Conference== :* IES want us to held conference1 KB (203 words) - 11:17, 23 June 2014
- <!-- {{PublicationsList}} = Inserts the "Journal and conference papers" associated with the person -->574 B (70 words) - 11:17, 23 June 2014
- ...atural Language Specifications. Proceedings of the 13th IEEE International Conference on Automation Science and Engineering ([http://www.case2017.org/ CASE 2017] ...nce Testing for Symbolic Reactive State Machines]]. The 7th International Conference on Fundamentals of Software Engineering (FSEN 2017) , Lecture Notes in Comp34 KB (4,645 words) - 14:23, 21 July 2017
- == CERES publications (Conference) == {{#ask: [[Category:Publication]] [[PublicationType::Conference Paper]]707 B (70 words) - 11:18, 23 June 2014
- :* 14-15th February PhD conference2 KB (286 words) - 11:21, 23 June 2014
- ...unicating Systems and 1-Selecting Modal Transition Systems], International Conference on Current Trends in Theory and Practice of Informatics, pages 490-503, Spr ...mpling for software product lines], Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, ACM, 2018.9 KB (1,251 words) - 12:53, 14 February 2019
- ...tectures and Compilation Techniques, 1999. Proceedings. 1999 International Conference on. IEEE, 1999.2 KB (332 words) - 11:21, 23 June 2014
- ...S PSI 2015|Modeling and Analysis of Communicating Systems (Tutorial at PSI Conference 2015)]]3 KB (362 words) - 14:56, 20 May 2019
- ... for answering if coming/not coming (a lot of people drop out night before conference)1 KB (201 words) - 11:15, 23 June 2014
- ...e Cox Scan Matching Algorithm for Dynamic Environments", ECMR'03 (European Conference on Mobile Robots), Sep. 4 -6, Warsaw, Poland.1 KB (174 words) - 11:16, 23 June 2014
- '''PhD winter conference - First Edition''' PhD winter conference will provide an opportunity for PhD students to present ongoing research in3 KB (411 words) - 11:16, 23 June 2014
- ...ifications with Negative Premises]]. Proceedings of the 24th International Conference on Concurrency Theory ([http://www.concur-conferences.org/concur2013/index. * Gordon D. Plotkin. An operational semantics for CSO. Proceedings of the Conference on Logic of Programs and Their Applications, volume 148 of LNCS, pages 250-12 KB (1,595 words) - 11:16, 23 June 2014