Filters








39,981 Hits in 9.6 sec

Preface for the special issue on domains

BERNHARD REUS, ACHIM JUNG, KLAUS KEIMEL, THOMAS STREICHER
2010 Mathematical Structures in Computer Science  
We would also like to thank the editor-in-chief of Mathematical Structures in Computer Science, Giuseppe Longo, for inviting us to act as guest editors for this special issue.  ...  Last, but not least, we are indebted to all our anonymous referees for their thorough work and for helping us to get this special issue out in time.  ...  This special issue of Mathematical Structures in Computer Science contains six papers from the Workshop on Domains IX held at the University of Sussex (Brighton), on 22-24 September 2008.  ... 
doi:10.1017/s0960129509990338 fatcat:hqeulxgctzhcdnd3aphmrrqcfm

Preface

Takashi Kako, Frédéric Magoulès, Hiroshi Suito
2009 Journal of Computational and Applied Mathematics  
We hope that this Special Issue will help in paving the way for future breakthroughs in Computational and Applied Mathematics.  ...  We could not end this preface without acknowledging the tremendous work invested by the reviewers of the papers in this issue, ensuring the high standard of quality of the published papers.  ... 
doi:10.1016/j.cam.2008.10.059 fatcat:5qzouux5krb2dpikfn42cv4sv4

Preface to Special Issue on Satisfiability Modulo Theories

Byron Cook, Roberto Sebastiani, Byron Cook, Roberto Sebastiani
2007 Journal on Satisfiability, Boolean Modeling and Computation  
We would like to thank the anonymous reviewers for their work, the authors for their contributions, and Hans van Maaren for the opportunity to publish this special issue.  ...  This special issue includes four papers selected from the six submissions sent in response to an open call for papers. As a part of the selection process we solicited three reviews for each paper.  ...  We would like to thank the anonymous reviewers for their work, the authors for their contributions, and Hans van Maaren for the opportunity to publish this special issue.  ... 
doi:10.3233/sat190027 fatcat:ptufecae6ff4nppdwromahvq2a

Preface for the Special Issue Entitled "Roles of Carbohydrate Chains in Formation and Function of Membrane Microdomains"

Miki Yokoyama, Jin-Ichi Inokuchi, Ken Kitajima
2001 Trends in glycoscience and glycotechnology  
In this special TIGG issue, the concept of membrane domains and recent progress in this field implicating the role of the carbohydrate portion of glycosphingolipids has been reviewed.  ...  Tomonori Sato discussed the driving force for the clustering of glycolipids as the mechanism for membrane domain formation based on the phase separation of glycolipids.  ... 
doi:10.4052/tigg.13.217 fatcat:lu57auwtgrabtgegrvfpwpvn2y

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

Frédéric Lang, Francesco Flammini
2016 Science of Computer Programming  
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014) This special issue contains improved and extended versions of selected papers from the 19th International Workshop  ...  The authors of 6 papers were invited to submit extended versions for publication in this special issue.  ... 
doi:10.1016/j.scico.2016.01.004 fatcat:6gmigilzhzajpnkwcs7v63uueq

Preface

ACHIM JUNG, GUO-QIANG ZHANG
2015 Mathematical Structures in Computer Science  
The International Symposium on Domain Theory (ISDT) is a conference series intended to be a forum for researchers in domain theory and its applications.  ...  The first ISDT was held in Shanghai, October 17–24, 1999; the second ISDT was held in Chengdu, October 22–26, 2001; the third ISDT occurred in Xi'an, China, May 10–14, 2004; the fourth ISDT was held in  ...  The International Symposium on Domain Theory (ISDT) is a conference series intended to be a forum for researchers in domain theory and its applications.  ... 
doi:10.1017/s0960129515000249 fatcat:t326tfpjabdxzirb4opdrwrkwm

Preface

Richard Booth, Federico Cerutti, Federico Cerutti, Richard Booth
2018 Argument & Computation  
The quality of the submissions there inspired us to expand into an open call for the papers for this special issue.  ...  The papers contained in this special issue are the result.  ...  We thank the peer-reviewers who assessed the papers for this special issue and we thank the journal editors for their continued support.  ... 
doi:10.3233/aac-181001 fatcat:airvicffgbfrlfe246j6tgrimm

Preface

MARTÍN ESCARDÓ, ACHIM JUNG, THOMAS STREICHER
2006 Mathematical Structures in Computer Science  
strict deadlines, the referees for producing excellent and probing reports, and, finally, the Editor in Chief of MSCS, Giuseppe Longo, for the invitation to publish this Festschrift as a special issue.  ...  The splendid response to our call for contributions to this special issue demonstrates Klaus Keimel's far-reaching influence as a researcher, teacher, and facilitator, and, furthermore, the esteem in which  ...  Preface M A R TÍ N E S C A R DÓ, A C H I M J U N G and T H O M A S S T R E I C H E R In late August 2004, some 60 mathematicians and computer scientists gathered in Darmstadt for the seventh Workshop Domains  ... 
doi:10.1017/s096012950600510x fatcat:lzbfporyljerjfj56ocifrkzzy

Editorial Preface - JAIS Special Issue on Ontologies in the Context of Information Systems

Rajiv Kishore, Ram Ramesh
2007 Journal of the AIS  
Editorial Preface -JAIS Special Issue on Ontologies in the Context of Information Systems. 72 Issue 2 Volume 8 Preface Ontologies, in the information systems context, deal with the structures of the world  ...  This special issue of Journal of the Association of Information Systems (JAIS) on Ontologies in the Context of Information Systems contains three papers presenting contributions to the theory, domain knowledge  ...  We also wish to record our sincere appreciation to the reviewers who spent countless hours reviewing papers during various stages of the editorial process. Rajiv Kishore and Ram Ramesh Guest Editors  ... 
doi:10.17705/1jais.00117 fatcat:h7zjfsse6fhrfasyrv5bwoylyi

Preface to the Special Issue on TOUGH Symposium 2015

Laura Blanco-Martín
2017 Computers & Geosciences  
Preface to the Special Issue on TOUGH Symposium 2015 LauraBlanco-Martín(Guest Editor) The TOUGH Symposium 2015 was held in Berkeley, California, September 28-30, 2015 .  ...  Following a paper published in the Special Issue of the TOUGH Symposium 2012 in this journal, Kim et al. present the current status of the TOUGH-RSBN simulator for coupled hydro-mechanical modeling of  ... 
doi:10.1016/j.cageo.2017.09.001 fatcat:m7itepqqlbdjxkoeumtru4hkyy

Preface

Peter Brusilovsky, Julita Vassileva
1996 User modeling and user-adapted interaction  
Among the five papers selected for this special issue, Brusilovsky's paper provides a comprehensive state-of-the-art review of adaptive hypertext and hypermedia domain.  ...  The idea of this special issue appeared during the Fourth International Conference on User Modeling UM'94 in Hyannis, MA, where the editors organized two special workshops.  ... 
doi:10.1007/bf00143963 fatcat:7vpjhac5cjfk7dt4cjxpvb2aeu

Preface for the special issue devoted to AISC 2014

Jacques Calmet
2017 Annals of Mathematics and Artificial Intelligence  
From the beginning, the proceedings have appeared as volumes in the LNCS and then the LNAI series. Several special issues have also appeared over the years.  ...  the letter "M" stood for mathematical.  ...  While not fully covering the expected new scope outlined for this series, the special issue illustrates nicely the trend being set for these conferences.  ... 
doi:10.1007/s10472-017-9548-8 fatcat:754bz7wqfjayxmqcurp5u4peuy

Preface

Luong Chi Mai
2019 Journal of Computer Science and Cybernetics  
All papers in this special issue are under standard review process of the Journal with the emphasis on content to technology questions.  ...  In this special issue of the Journal of Computer Science and Cybernetics we introduce technical papers of the best systems for each task in VLSP 2018.  ... 
doi:10.15625/1813-9663/34/4/13592 fatcat:savqwux2dzephmwazoiv7of23u

Preface

Gene F. Hoffnagle
1993 IBM Systems Journal  
Preface This issue presents three papers and three special contributions on software reuse, a paper on stan- dardized (reference) designs for distributed sys- tems applications, and two papers on advances  ...  The next issue of the Journal will be a special issue on advances in software quality and its impact on products and product developers. Gene F.  ... 
doi:10.1147/sj.324.0546 fatcat:rpqzpjkgc5gelkgqgyrel76tpe

Preface for Special Issue on Geometric Algebra in Computer Science and Engineering

Dietmar Hildenbrand, Eckhard Hitzer, George Papagiannakis
2017 Advances in Applied Clifford Algebras  
We, as special issue editors, do thank the journal AACA for accepting this special issue into its program, the organizers of CGI for hosting  ...  The computing topics of this special issue cover a new co-processor design, an optimized implementation using binary trees, as well as proposals for C++ implementations of Geometric Algebra for the purpose  ... 
doi:10.1007/s00006-017-0799-6 fatcat:lt4vxa4fn5aabdxsw2c3uh7ocq
« Previous Showing results 1 — 15 out of 39,981 results