Showing posts with label Netherlands. Show all posts
Showing posts with label Netherlands. Show all posts

Journal on Satisfiablility, Boolean Modeling and Komputation

Free-Journal.com - JSAT is really a peer reviewed Journal, publishing top quality original research papers and survey papers which evidently bring about deeper insight. It can be an electronic medium, guaranteeing fast publication. 

Occasionally JSAT also publishes Research Notes. Research Notes will also be thoroughly reviewed but aren't considered full Journal publications and hence will just be designated and should be referenced to so. Also, JSAT published papers on System Description, being contributions having a concentrate on the internals of any Solver. 

JSAT contributions are freely accessible on line. 

The scope of JSAT is propositional reasoning, modeling and computation. The Satisfiability discipline is really a central focus of JSAT. We welcome all types of contributions for this theme but additionally encourage authors to submit papers on related topics as Computational Logic, Constraint Programming, Satisfiability Modulo Theories, Quantified Boolean Logic, Pseudo Boolean Methods, zero-one Programming, Integer Programming and Operations Research, whenever the link to Satisfiability is apparent. 

Especially JSAT welcomes substantial extensions of conference papers, where the particular conference contribution should be cited. So, authors have the ability to provide more detailed information of the work (theoretical details, proofs or theorems, algorithmic or implementation details, more exhaustive empirical evaluations) which were enforced to become omittted inside the conference proceedings simply due to strict page limitations

Site                : http://jsat.ewi.tudelft.nl/
ISSN              : 1574-0617
Subject           : Computer Science - Mathematics
Publisher        : Delft University
Country          : Netherlands
Language        : English
Keyword         : satisfiabiity, boolean reasoning, boolean computing, boolean modeling logic
Start year        : 2005


Journal on Satisfiablility, Boolean Modeling and Komputation

Journal of Information Technology in Construction

Free-Journal.com - The Journal of Information Technology in Construction (ITcon) is really a peer-reviewed scholarly journal on the usage of IT in architecture, civil engineering and facility management. ITcon articles are submitted and published electronically only. The Journal is focused on minimizing publication delays, and promoting maximum flexibility inside the ways in which readers utilize journal for teaching, research, and scholarship while maintaining strict peer-review standards. ITcon is definitely an Open Access journal and it is articles can freely sufficient reason for no charge be read by anybody who has got an Internet connection. The copyright on the articles remains using the authors, from the beginning of 2009 by using the Creative Commons standard licence. 

The management and operation on the journal is really a voluntary effort combining forces of a world community of researchers in its field, and it is gang of editors and editorial board includes the majority of the leading researchers inside the field. ITcon is really a truly international journal, and that is reflected inside the origin on the authors who may have published in ITcon in the past. 

ITcon has its origins inside the working commission W78 (Information Technology for Construction) on the International Council for Research and Innovation in Building and Construction (CIB), that has also been the official publisher on the journal since 2005. In 2005 the IT-AEC journal merged with ITcon, further strengthening the journal’s base of editors and reviewers. Professor Bo-Christer Björk was editor-in-chief direct from launch on the journal till the end of 2010. Professor Žiga Turk was editor-in-chief from finished of 2010 to 2012. The current editor-in-chief is Professor Robert Amor. 

From its founding in 1995 till the end of 2006 the journal used it Electronic Journal of Information Technology in Construction, even so the term electronic was dropped as superfluous considering that the majority of scientific journals are nowadays available also as electronic versions. ITcon is indexed in DOAJ, SCOPUS, ICONDA and also the ITC Digital Library, and it is articles are highly visible in web major search engines like google and yahoo like Google and Google Scholar. The journal is additionally a member on the Open Access Scholarly Publishers Association (OASPA).

Site                : http://www.itcon.org/
ISSN              : 1874-4753
Subject           : Construction
Publisher        : International Council for Research and Innovation in Building and Construction
Country          : Netherlands
Language        : English
Keyword         : information technology, construction
Start year        : 2006

Journal of Information Technology in Construction

Subscribe to: Posts (Atom)