Result 1 to 20 of 559 total
Kripke semantics and proof systems for combining intuitionistic logic and classical logic. (English)
Ann. Pure Appl. Logic 164, No. 2, 86-111 (2013).
1
A systematic approach to canonicity in the classical sequent calculus. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 183-197, electronic only (2012).
2
Improved generative semisupervised learning based on finely grained component-conditional class labeling. (English)
Neural Comput. 24, No. 7, 1926-1966 (2012).
3
Transforming MCT circuits to NCVW circuits. (English)
De Vos, Alexis (ed.) et al., Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4‒5, 2011. Revised papers. Berlin: Springer (ISBN 978-3-642-29516-4/pbk). Lecture Notes in Computer Science 7165, 77-88 (2012).
4
Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). xiv, 568~p. EUR~74.90 (2012).
5
Programming with higher-order logic. (English)
Cambridge: Cambridge University Press (ISBN 978-0-521-87940-8/hbk; 978-1-139-51212-1/ebook). xiii, 306~p. \sterling~40.00; \$~65.00/hbk (2012).
6
Synthesis of semi-classical quantum circuits. (English)
J. Mult.-Val. Log. Soft Comput. 18, No. 1, 99-114 (2012).
7
Mapping a multiple-control Toffoli gate cascade to an elementary quantum gate circuit. (English)
J. Mult.-Val. Log. Soft Comput. 18, No. 1, 83-98 (2012).
8
Strongly non-embeddable metric spaces. (English)
Topology Appl. 159, No. 3, 749-755 (2012).
9
Mapping a multiple-control toffoli gate cascade to an elementary quantum gate circuit (English)
Multiple-Valued Logic and Soft Computing 18, No. 1, 83-98 (2012).
10
Synthesis of semi-classical quantum circuits (English)
Multiple-Valued Logic and Soft Computing 18, No. 1, 99-114 (2012).
11
Exploring optimal current stimuli that provide membrane voltage tracking in a neuron model. (English)
Biol. Cybern. 104, No. 3, 185-195 (2011).
12
Entanglement in condensates involving strong interactions. (English)
Appl. Math. Inf. Sci. 5, No. 2, 239-252 (2011).
13
A proposal for broad spectrum proof certificates. (English)
Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 54-69 (2011).
14
A focused approach to combining logics. (English)
Ann. Pure Appl. Logic 162, No. 9, 679-697 (2011).
15
Robust inference with multiway clustering. (English)
J. Bus. Econ. Stat. 29, No. 2, 238-249 (2011).
16
Nominal abstraction. (English)
Inf. Comput. 209, No. 1, 48-73 (2011).
17
Raising the bar? - the challenges of evaluating the outcomes of environmental modelling and software (English)
Environmental Modelling and Software 26, No. 3, 247-257 (2011).
18
Mildness and the density of rational points on certain transcendental curves (English)
Notre Dame Journal of Formal Logic 52, No. 1, 67-74 (2011).
19
A multi-objective analysis for the retrofit of a pulverized coal power plant with a $CO_{2}$ capture and compression process (English)
Computers & Chemical Engineering 35, No. 8, 1488-1500 (2011).
20
Result 1 to 20 of 559 total
Start
Contact
Print
General Help
