‎motivated by a celebrated theorem of schur‎, ‎we show that if~$gamma$ is a normal subgroup of the full automorphism group $aut(g)$ of a group $g$ such that $inn(g)$ is contained in $gamma$ and $aut(g)/gamma$ has no uncountable abelian subgroups of prime exponent‎, ‎then $[g,gamma]$ is finite‎, ‎provided that the subgroup consisting of all elements of $g$ fixed by $gamma$ has finite index‎. ‎so...

1KTH Royal Institute of Technology, Science for Life Laboratory, School of Computer Science and Communication, Stockholm, Sweden. 2Atherosclerosis Research Unit, Department of Medicine, Karolinska Institutet, Stockholm, Sweden. 3Department of Numerical Analysis and Computer Science, Stockholm University, Stockholm, Sweden. 4Swedish e-Science Research Centre (SeRC), Department of Numerical Analy...

Motivation. Development of concurrent real-time programs is among the greatest challenges currently facing computer science [1]. Such programs are needed for safety-critical systems, so guaranteeing their correctness is vital. Satisfying precise timing constraints demands a great deal of rigour from programmers. Real-time software is thus expensive to manufacture to the ∗Software Verification R...

F. C. Norris, J. O. Cleary, J. Henderson, B. Sinclair, K. McCue, J. A. Wells, S. Ourselin, P. Salomoni, P. J. Scambler, and M. F. Lythgoe Centre for Advanced Biomedical Imaging, University College London, London, United Kingdom, Centre for Mathematics and Physics in the Life Sciences and Experimental Biology (CoMPLEX), University College London, London, United Kingdom, Department of Medical Phy...

One con fate of t *Autho Centre for Ecology and Hydrology, Benson Lane, Wallingford, Oxon OX10 8BB, UK Department of Animal and Plant Sciences, University of Sheffield, Western Bank, Sheffield S10 2TN, UK Met Office Hadley Centre, FitzRoy Road, Exeter, Devon EX1 3PB, UK Met Office Hadley Centre, JCHMR, Benson Lane, Wallingford, Oxon OX10 8BB, UK School of Engineering, Computer Science and Mathe...

Tiberiu Seceleanu (University of Turku, Turku Centre for Computer Science, Finland) Hannu Tenhunen (University of Turku, Turku Centre for Computer Science, Finland) Ahmed Jerraya (TIMA, France) Axel Jantsch (Royal Institute of Technology, Sweden) Georgi Kuzmanov (Delft University of Technology, The Netherlands) Kees Goosens (NXP, The Netherlands) Thierry Collette (CEA LIST, France) Bernard Cand...

1 Centre for Systems Biology at Edinburgh, The University of Edinburgh, Edinburgh EH9 3JU, Scotland, UK 2 The Microsoft Research University of Trento Centre for Computational and Systems Biology, Trento, Italy 3 Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh EH8 9AB, Scotland, UK 4 Department of Computing Science, The University of Glasgow, Glasgow G12 8Q...

T. Schneider, H. Lundell, T. B. Dyrby, D. C. Alexander, and C. A. Wheeler-Kingshott NMR Unit, Department of Neuroinflammation, UCL Institute of Neurology, London, United Kingdom, Danish Research Centre for Magnetic Resonance, Copenhagen University Hospital Hvidovre, Copenhagen, Denmark, Department of Excercise and Sport Sciences, University of Copenhagen, Copenhagen, Denmark, Centre for Medical...

Mariana Bento*a,b,c, Roberto de Souzaa,c, Roberto Lotufoc, Richard Fraynea,b, and Let́ıcia Rittnerc aRadiology and Clinical Neuroscience, Hotchkiss Brain Institute, University of Calgary, Calgary, AB, Canada; bCalgary Image Processing and Analysis Centre, Foothills Medical Centre, Calgary, Calgary, AB, Canada; cFaculty of Electrical and Computer Engineering, University of Campinas, Campinas, SP,...

Edward Tsang has a first degree in Business Administration (Major in Finance) and a PhD in Computer Science. He has broad interest in applied artificial intelligence, in particularly computational finance, heuristic search, constraint satisfaction and scheduling. He is currently a professor in computer science at the University of Essex where he leads the Computational Finance Group and Constra...