archive-org.com » ORG » C » COSMOS-RESEARCH.ORG

Total: 19

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • CoSMoS
    in the project summary Collaborating on this project were the Universities of York and Kent with further assistance from the University of Abertay Dundee and the Bristol Robotics Laboratory CoSMoS was funded by EPSRC and with additional support from Microsoft

    Original URL path: http://www.cosmos-research.org/ (2016-02-16)
    Open archived version from archive


  • CoSMoS
    cycle Argumentation and analysis It is not sufficient merely to model and simulate a complex system there must be some aspect of the process that argues that these results bear any relation to reality Although this is usually done to some degree in practice it is often left implicit CoSMoS will make this aspect of the process explicit In particular it will include analysis patterns for arguing about emergent properties This aspect is crucial for establishing scientific credibility of the results when investigating natural complex systems or for establishing evidence for dependability and certifiability arguments of designed complex systems If an artificial complex system is to be used as part of any kind of critical application it is necessary to argue about its dependability it must be possible to demonstrate that the system operates correctly within and fails safely outside its domain of applicability Development approaches need to provide such evidence not only through formal verification but also through appeal to patterns of experience Because the effects of multiple agents operating in an environment cannot always be predicted from static models it is necessary to include evidence from simulations when arguing the dependability of a complex system The simulation of a complex system seeks to demonstrate the high level properties by modelling the simple agents demonstrable dependability requires that the simulation should achieve a suitable level of realism As part of our EPSRC funded TUNA project we have been investigating the Yorkâ s Goal Structuring Notation GSN Error Reference source not found suitable for developing argumentation patterns we will use that work as a starting point for CoSMoS specific argumentation patterns Simulation framework There are two key problems in simulating complex systems Firstly many high level properties depend on a large number of the simple agents simulations with insufficient instances may not demonstrate the relevant effects Secondly the high level effects may be critically dependent on the environment in which the agents are situated simulations that do not express the right elements of the environment at the right scales are not useful models of a real system of agents This can occur in robotics for example where the simulated robotic controller does not operate as designed in the real world because the simulation has an over simplified model of the physical world So for simulation we will target platforms that provide fast simulation of vast numbers of agents with the computational capacity to model aspects of the environment as well as the agents Environmental modelling will treat the environment as a nested collection of possibly complex systems that interact with the target complex system in an extensible and scalable way Complex systems are inherently highly parallel Most computer languages treat parallelism as an add on in an ad hoc manner using complicated control mechanisms that make parallel programming a convoluted nightmare Yet there is a conceptually clean formal approach to parallelism Hoareâ s CSP Communicating Sequential Processes forms the basis for our distribution architecture It has a variety of executable

    Original URL path: http://www.cosmos-research.org/about.html (2016-02-16)
    Open archived version from archive

  • CoSMoS
    that are useful for complex systems research in general Our main case studies have been real world scientific problems from a variety of fields Lymphocyte migration Granuloma formation Environment orientation Evolutionary swarm robotics Fungal mycelia Validity and assurance of simulation based research We ve also done CoSMoS style reimplementations of a number of classic complex systems from the literature that we thought were especially interesting or instructive Occoids Ant based

    Original URL path: http://www.cosmos-research.org/research.html (2016-02-16)
    Open archived version from archive

  • CoSMoS
    The 8th workshop on Complex Systems Modelling and Simulation CoSMoS 2015 will take place as a satellite workshop during the ECAL 2015 conference held between 20th and 24th July 2014 at the University of York York UK Please see the announcement for more details Previous Workshop Proceedings CoSMoS 2015 York UK July 2015 CoSMoS 2014 New York USA July 2014 CoSMoS 2013 Milan Italy July 2013 CoSMoS 2012 Orleans France

    Original URL path: http://www.cosmos-research.org/workshops.html (2016-02-16)
    Open archived version from archive

  • CoSMoS
    for Lightweight Communicating Processes PDF Carl G Ritson Adam T Sampson and Frederick R M Barnes In John Field and Vasco Thudichum Vasconcelos eds Coordination Models and Languages 11th International Conference COORDINATION 2009 Lisboa Portugal June 9 12 2009 Proceedings volume 5521 of Lecture Notes in Computer Science pp 163 183 Springer Modelling and Simulation of Granuloma Formation in Visceral Leishmaniasis PDF Anton Jakob Fl gge Jon Timmis Paul Andrews John Moore and Paul Kaye In 2009 IEEE Congress on Evolutionary Computation CEC 2009 pp 3052 3059 IEEE Press The engineering of concurrent simulations of complex systems PDF Fiona A C Polack Paul S Andrews and Adam T Sampson In 2009 IEEE Congress on Evolutionary Computation CEC 2009 pp 217 224 IEEE Press Mobile Processes Mobile Channels and Dynamic Systems PDF Eric Bonnici and Peter H Welch In 2009 IEEE Congress on Evolutionary Computation CEC 2009 pp 232 239 IEEE Press Birds on the Wall Distributing a Process Oriented Simulation PDF Adam T Sampson John Markus Bj rndalen and Paul S Andrews In 2009 IEEE Congress on Evolutionary Computation CEC 2009 pp 225 231 IEEE Press Process Oriented Collective Operations PDF John Markus Bj rndalen and Adam T Sampson In Peter H Welch Susan Stepney Fiona A C Polack Frederick R M Barnes Alistair A McEwan Gardner S Stiles Jan F Broenink and Adam T Sampson eds Communicating Process Architectures 2008 volume 66 of Concurrent Systems Engineering pp 309 328 IOS Press Simulating biology towards understanding what the simulation shows PDF Paul S Andrews Fiona Polack Adam T Sampson Jon Timmis Lisa Scott and Mark Coles In Susan Stepney Fiona Polack and Peter Welch eds Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation York UK September 2008 pp 93 123 Luniver Press Complex systems models engineering simulations PDF Fiona A C Polack Tim Hoverd Adam T Sampson Susan Stepney and Jon Timmis In S Bullock J Noble R Watson and M A Bedau eds Artificial Life XI Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems pp 482 489 MIT Press Cambridge MA Investigating patterns for the process oriented modelling and simulation of space in complex systems PDF Paul S Andrews Adam T Sampson John Markus Bj rndalen Susan Stepney Jon Timmis Douglas N Warren and Peter H Welch In S Bullock J Noble R Watson and M A Bedau eds Artificial Life XI Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems pp 17 24 MIT Press Cambridge MA Journal Publications Spartan A Comprehensive Tool for Understanding Uncertainlty in Simulations of Biological Systems K Alden M Read J Timmis P Andrews H Veiga Fernades and M Coles PLoS Computational Biology 2013 Engineering simulations for cancer systems biology Bown J Andrews PS Deeni Y Goltsov A Idowu M Polack FA Sampson AT Shovman M Stepney S Current Drug Targets 13 12 1560 74 2012 Differential RET signaling responses orchestrate lymphoid and nervous enteric system development A Patel

    Original URL path: http://www.cosmos-research.org/publications.html (2016-02-16)
    Open archived version from archive

  • CoSMoS
    Home About Research Workshops Publications Contact For any further details please contact the principle investigators of the project Susan Stepney or Peter Welch

    Original URL path: http://www.cosmos-research.org/contact.html (2016-02-16)
    Open archived version from archive

  • CoSMoS
    Health Outcomes Keith De Bell CoSMoS in the Interactive Simulation Curriculum Sebastian von Mammen Sarah Edenhofer Jörg Hähner The CoSMoS Domain Experiment Model Paul S Andrews Susan Stepney The 8th workshop on Complex Systems Modelling and Simulation CoSMoS 2015 will take place as a half day satellite workshop at the beginning of ECAL 2015 the 13th European Conference on Artificial Life University of York York UK The CoSMoS workshops series provides a forum for research examining all aspects of the modelling and simulation of complex systems This year complementing the theme of ECAL we place a special focus on embodiment interaction and conversation within complex systems Constructing models and simulations of complex systems is a challenging and interdisciplinary task Elements might include choice of modelling tools and techniques simulation infrastructures concurrency the process of moving from models to simulations arguing validity of simulations and the identification of reusable engineering techniques such as patterns The CoSMoS workshop series continues an initiative based at the Universities of York and Kent UK to develop a framework and infrastructure for the construction of complex systems simulations Submitted papers will undergo a rigorous peer review process and accepted papers will appear in the workshop proceedings published by Luniver Press Proceedings of the previous CoSMoS workshop are available Areas of Interest We are seeking submissions that explore aspects of complex systems modelling and simulation with a special focus on complex systems dynamics and their visualisation Areas of interest include but are not limited to Complex systems simulation case studies Modelling tools and techniques Simulation infrastructures Arguing validity of simulations Concurrency and distribution techniques Identification of reusable engineering techniques Working across scientific disciplines Submissions We are accepting both full papers and abstracts for presentation at the workshop Submissions will be peer reviewed and accepted full papers and

    Original URL path: http://www.cosmos-research.org/cosmos2015.html (2016-02-16)
    Open archived version from archive

  • CoSMoS
    If receptors on the lymphocyte are activated during the rolling process it can pass through the wall and into the lymph node The diameter of the HEV can vary as the body responds to infection which may affect the rate of lymphocyte migration Our simulation models a three dimensional tubular section of HEV with lymphocytes either flowing freely through the HEV green rolling red or migrating blue The display may

    Original URL path: http://www.cosmos-research.org/case-migration.html (2016-02-16)
    Open archived version from archive



  •