Filters








5,386 Hits in 5.7 sec

Foreword

Eerke Boiten, Bernhard Möller
2004 Science of Computer Programming  
Foreword It is our great pleasure to present this special issue, originating from the 6th International Conference on the Mathematics of Program Construction, held in July 2002 at Schlo Dagstuhl in Germany  ...  The Mathematics of Program Construction series of conferences is concerned with the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software  ...  cooperation, and to the managing editors of SCP for their support in producing this special issue. Eerke Boiten  ... 
doi:10.1016/j.scico.2004.01.009 fatcat:5mi42kt7ijeozktiknhd2bbv7a

Foreword

D. de Werra, A. Hertz
1992 Discrete Applied Mathematics  
In this special issue a few contributions to various aspects of scheduling and timetabling will illustrate some recent research areas. Timetabling is one of the main topics of this issue.  ...  Two papers in this issue are concerned with sports applications; one corcists in the construction of a schedule for a professional football league while the other 0!  ... 
doi:10.1016/0166-218x(92)90242-3 fatcat:b2ukc6g6wjghzlaukgxrrqrapu

Foreword

J. P. Bahsoun, J. L. Fiadeiro, D. Galmiche
1999 Mathematical Structures in Computer Science  
The call for papers for this Special Issue of Mathematical Structures in Computer Science can be considered to have been a natural scientific continuation of the workshop.  ...  The papers selected for this Special Issue address some of the topics discussed in the workshop.  ...  We are very grateful to Guiseppe Longo, Editor-in-Chief, who has given us the opportunity to organise this Special Issue on the topic Proof theory of concurrent object-oriented programming.  ... 
doi:10.1017/s0960129599002753 fatcat:7xh2n46uu5gz3cbvfnm3jefhli

Foreword

J. Rafael Sendra, Dongming Wang, Jing Yang
2016 Mathematics in Computer Science  
Following the fruitful GC 2015, this special issue of Mathematics in Computer Science has been organized to promote further studies and investigations on the problems discussed at the seminar and to archive  ...  The scientific program of the seminar included 18 talks and focused on the presentation of recent results and ongoing work on the development of efficient methods and software tools for approximate, exact  ...  publication of this special issue.  ... 
doi:10.1007/s11786-016-0263-3 fatcat:bav2lfuglrcpjnouyqv3benkwq

Foreword

George Labahn, James H. Davenport, Josef Urban
2020 Mathematics in Computer Science  
The paper by Alpuente, Ballis and Sapiña describes an assertion-guided program specialization methodology for imposing safety systems on software systems.  ...  The special issue includes contributions from nine papers. Two papers come from the area of Computational Algebraic Geometry and its applications.  ...  Finally, we wish to give a special thanks to Manuel Kauers for all his efforts and help in bringing this special issue to completion.  ... 
doi:10.1007/s11786-020-00475-z fatcat:37opywcodbb5zoqbk3sqzrdfki

Foreword

K Koskimies, M Meriste
2005 Estonian Journal of Engineering  
However, it is equally important to carry on research related to more fundamental issues of software construction like programming languages and compilers.  ...  Preface This special issue consists of selected papers presented at the Ninth Symposium on Programming Languages and Software Tools (SPLST), held in August 2005 in Tartu, Estonia.  ... 
doi:10.3176/eng.2005.4.01 fatcat:d4eupdef55hlzlamipdmymtf3u

Foreword

Nicolò Cesa-Bianchi, Rüdiger Reischuk, Thomas Zeugmann
2006 Theoretical Computer Science  
The diversity of approaches to learning is also reflected in this Special Issue.  ...  extraction, inductive inference, inductive logic programming, on-line learning as well as to specific algorithmic approaches, e.g., margin-based algorithms, MDL estimation.  ...  LCM can be seen as an extension of intuitionistic mathematics, in which the concept of "construction" in the classical Brouwer-Heyting-Kolmogorov interpretation of first-order formulas is interpreted as  ... 
doi:10.1016/j.tcs.2005.10.011 fatcat:hgvr2jkwr5e7tpd2rbi36m3b64

Foreword

Lisa Hellerstein, Lev Reyzin, Gyorgy Turan
2016 Annals of Mathematics and Artificial Intelligence  
There are also papers on learning theory, the cognitive aspects of games and heuristic search. The following are brief summaries of the papers included in this special issue.  ...  In this special issue, it is our pleasure to present full length, refereed versions of a selection of papers presented at ISAIM 2014.  ...  We would like to thank the authors of this special issue for their contributions, as well as the other participants in ISAIM 2014, the members of the program committee and the invited plenary speakers,  ... 
doi:10.1007/s10472-016-9533-7 fatcat:oraojupwsbgdzcqigqm4qx4qea

Foreword

Gert Vegter, Chee K. Yap
2010 Mathematics in Computer Science  
Such problems are the focus of this special issue. In their survey paper on computational conformal geometry, D.X. Gu, F. Luo and S.-T.  ...  In their contribution to this special issue J.-D. Boissonnat and A.  ... 
doi:10.1007/s11786-011-0088-z fatcat:iwrfa7zfuvfahosel3ewbf5bgy

Foreword

Karel Bouzek
2013 Journal of Applied Electrochemistry  
and energy conversion processes (including hightemperature ones), and mathematical modeling.  ...  The scope of this special issue is limited, thus it was only possible to include a selection of examples of the topics discussed during the event.  ... 
doi:10.1007/s10800-013-0622-6 fatcat:hzwu3t3xsbepfhs4vl4ifcmix4

Foreword

H. Jaap van den Herik, Hiroyuki Iida
2005 Theoretical Computer Science  
Moreover, we would like to recognize the support by Martine Tiessen during the editing phase of this special issue, in particular during the final stage of preparing this collection of contributions.  ...  Finally, we are grateful to Giorgio Ausiello for the opportunity to edit this special issue.  ...  Foreword This Special Issue of Theoretical Computer Science is devoted to full versions of selected papers from the 10th Advances in Computer Games conference held from November 24 to 27, 2003 in Graz,  ... 
doi:10.1016/j.tcs.2005.09.041 fatcat:3frmn4y5qzh5bldjw2ddvlarz4

Foreword

H.Jaap van den Herik, Hiroyuki Iida
2001 Theoretical Computer Science  
This special volume of Theoretical Computer Science is a collection of papers selected among those presented at the First International Conference on Computers and Games (CG '98) held at the Electrotechnical  ...  The authors of the papers provisionally selected for inclusion in this issue were requested to revise their conference contribution so as to make them suitable for publication in the Section Mathematical  ...  We would like to thank the referees for the time spent and their constructive comments. We are grateful to Maurice Nivat for the opportunity to edit this special volume. H.  ... 
doi:10.1016/s0304-3975(00)00072-4 fatcat:bouuhvzyqje65nsrwkon4wtv74

Foreword

Paolo Toth
2009 Computational Management Science  
The papers selected in this special issue present recent results on combinatorial optimization.  ...  This special issue of Computational Management Science consists of five papers and is dedicated to Professor Nicos Christofides to celebrate his achievements.  ...  Many people contributed to make this special issue possible. First, of course, I express my gratitude to the contributors, who accepted with enthusiasm my invitation.  ... 
doi:10.1007/s10287-009-0114-7 fatcat:6kf6njz6erhqbj2u33g5lefege

Foreword

1984 IEEE Transactions on Software Engineering  
These mechanisms provide a way to primitive constructs, such as mathematical sets.  ...  CRT screen for a target program by creating the screen structure on-line using special codes or key sequences to describe metainformation about fields on the screen. The class of file C.  ...  Department of Defense (DoD) spent over $3 consider the fundamental ways in which programming is done.  ... 
doi:10.1109/tse.1984.5010269 fatcat:aqbfc5nfz5e23dqunjn3hkn5ze

Foreword [chapter]

Jim Cummins
2021 Critical Perspectives on Plurilingualism in Deaf Education  
National data reported in 2008 showed that DHH students in special schools had signifi cantly lower passing rates in Swedish, mathematics and English than was the case for hearing students whose fi rst  ...  In addition, the special schools had a large number of children (25%) from immigrant backgrounds and almost one-third (32%) had enrolled as late as Grades 7-10.  ... 
doi:10.21832/9781800410756-002 fatcat:th37dz5g2rdhzolrxptfkwsv7i
« Previous Showing results 1 — 15 out of 5,386 results