Pascal and Francis Bibliographic Databases

Help

Search results

Your search

ct.\*:("Programming theory")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 4305

  • Page / 173
Export

Selection :

  • and

Estimation of wave-type dynamics in neurons' membrane with the use of the Derivative-free nonlinear Kalman FilterRIGATOS, Gerasimos G.Neurocomputing (Amsterdam). 2014, Vol 131, pp 286-299, issn 0925-2312, 14 p.Article

Participatory Action Research: An Exploration of Electronic Banking Adoption in Saudi ArabiaALAJMI, Khaled.Information & knowledge engineering. International conferenceWorldComp'2011. 2011, pp 355-362, isbn 1-60132-188-0, 8 p.Conference Paper

Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-TransformROMPF, Tiark; MAIER, Ingo; ODERSKY, Martin et al.ACM SIGPLAN notices. 2009, Vol 44, Num 9, pp 317-328, issn 1523-2867, 12 p.Conference Paper

Complete symbolic reachability analysis using back-and-forth narrowingTHATI, Prasanna; MESEGUER, José.Lecture notes in computer science. 2005, pp 379-394, issn 0302-9743, isbn 3-540-28620-9, 16 p.Conference Paper

Abstract scalars, loops, and free traced and strongly compact closed categoriesABRAMSKY, Samson.Lecture notes in computer science. 2005, pp 1-29, issn 0302-9743, isbn 3-540-28620-9, 29 p.Conference Paper

Adequacy for algebraic effects with statePLOTKIN, Onrdnn.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28620-9, p. 51Conference Paper

Context-free languages via coalgebraic trace semanticsHASUO, Ichiro; JACOBS, Bart.Lecture notes in computer science. 2005, pp 213-231, issn 0302-9743, isbn 3-540-28620-9, 19 p.Conference Paper

Bireachability and final multialgebrasWALICKI, Michal.Lecture notes in computer science. 2005, pp 408-423, issn 0302-9743, isbn 3-540-28620-9, 16 p.Conference Paper

Equational logic of recursive program schemesMERSCH, John G.Lecture notes in computer science. 2005, pp 278-292, issn 0302-9743, isbn 3-540-28620-9, 15 p.Conference Paper

Monadic Second-Order Unification is NP-completeLEVY, Jordi; SCHMIDT-SCHAUSS, Manfred; VILLARET, Mateu et al.Lecture notes in computer science. 2004, pp 55-69, issn 0302-9743, isbn 3-540-22153-0, 15 p.Conference Paper

Efficient λ-evaluation with interaction netsMACKIE, Ian.Lecture notes in computer science. 2004, pp 155-169, issn 0302-9743, isbn 3-540-22153-0, 15 p.Conference Paper

CLPS-B: A constraint solver to animate a B specificationBOUQUET, Fabrice; LEGEARD, Bruno; PEUREUX, Fabien et al.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 143-157, issn 1433-2779, 15 p.Conference Paper

Jumping-genes in evolutionary computingMAN, K. F; CHAN, T. M; TANG, K. S et al.IEEE Industial Electronics Society. Annual conference. 2004, isbn 0-7803-8730-9, 3Vol, Vol2, 1268-1272Conference Paper

Rewriting for Fitch style natural deductionsGEUVERS, Herman; NEDERPELT, Rob.Lecture notes in computer science. 2004, pp 134-154, issn 0302-9743, isbn 3-540-22153-0, 21 p.Conference Paper

Termination analysis of the untyped λ-calculusJONES, Neil D; BOHR, Nina.Lecture notes in computer science. 2004, pp 1-23, issn 0302-9743, isbn 3-540-22153-0, 23 p.Conference Paper

Lifting temporal proofs through abstractionsNAMJOSHI, Kedar S.Lecture notes in computer science. 2003, pp 174-188, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

Modularity in genetic ProgrammingWOODWARD, John R.Lecture notes in computer science. 2003, pp 254-263, issn 0302-9743, isbn 3-540-00971-X, 10 p.Conference Paper

Evaluating the performance of space plasma simulations using FPGA'sPOPOOLA, Ben; GOUGH, Paul.Lecture notes in computer science. 2003, pp 242-254, issn 0302-9743, isbn 3-540-00852-7, 13 p.Conference Paper

Fitness distance correlation in structural mutation genetic programmingVANNESCHI, Leonardo; TOMASSINI, Marco; COLLARD, Philippe et al.Lecture notes in computer science. 2003, pp 455-464, issn 0302-9743, isbn 3-540-00971-X, 10 p.Conference Paper

Analysis of a digit concatenation approach to constant creationO'NEILL, Michael; DEMPSEY, Ian; BRABAZON, Anthony et al.Lecture notes in computer science. 2003, pp 173-182, issn 0302-9743, isbn 3-540-00971-X, 10 p.Conference Paper

Maximum homologous Crossover for Linear Genetic programmingPLATEL, Michael Defoin; CLERGUE, Manuel; COLLARD, Philippe et al.Lecture notes in computer science. 2003, pp 194-203, issn 0302-9743, isbn 3-540-00971-X, 10 p.Conference Paper

Genetic programming with boosting for ambiguities in regression problemsPARIS, Grégory; ROBILLIARD, Denis; FONLUPT, Cyril et al.Lecture notes in computer science. 2003, pp 183-193, issn 0302-9743, isbn 3-540-00971-X, 11 p.Conference Paper

The root causes of code growth in genetic programmingSTREETER, Matthew J.Lecture notes in computer science. 2003, pp 443-454, issn 0302-9743, isbn 3-540-00971-X, 12 p.Conference Paper

Types for atomicityFLANAGAN, Cormac; QADEER, Shaz.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 1-12, issn 1523-2867, 12 p.Conference Paper

Using instructor written acceptance tests using the Fit frameworkSTEINBERG, Daniel H.Lecture notes in computer science. 2003, pp 378-385, issn 0302-9743, isbn 3-540-40215-2, 8 p.Conference Paper

  • Page / 173