Search results

From CERES
Jump to: navigation, search

Page title matches

  • '''PhD winter conference - First Edition''' PhD winter conference will provide an opportunity for PhD students to present ongoing research in
    3 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 paper
    1 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. conference
    3 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. volume
    4 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 T
    8 KB (1,123 words) - 11:17, 23 June 2014
  • ==6.Conference== :* IES want us to held conference
    1 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 Comp
    34 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 conference
    2 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 in
    3 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

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)