×

Found 6,244 Documents (Results 1–100)

Preliminary solutions for autonomous mobile robot docking subject to uniform braking safety constraints. (English) Zbl 1497.68476

IMA conference on mathematics of robotics, Oxford, UK, September 9–11, 2015. Southend-on-Sea: Institute of Mathematics and its Applications. Article No. 27, 10 p. (2015).
MSC:  68T40 70E60 90C25
PDFBibTeX XMLCite
Full Text: DOI

Stochastic variational integrators for system propagation and linearization. (English) Zbl 1498.49029

IMA conference on mathematics of robotics, Oxford, UK, September 9–11, 2015. Southend-on-Sea: Institute of Mathematics and its Applications. Article No. 17, 8 p. (2015).
MSC:  49J55 49J21 90C39
PDFBibTeX XMLCite
Full Text: DOI

Geometry of resource interaction – a minimalist approach. (English) Zbl 1486.03112

Alves, Sandra (ed.) et al., Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 176, 79-94 (2015).
MSC:  03F52 68N18 03B40
PDFBibTeX XMLCite
Full Text: arXiv Link

Wave-style token machines and quantum lambda calculi. (English) Zbl 1477.68069

Alves, Sandra (ed.) et al., Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 176, 64-78 (2015).
MSC:  68N18 81P68
PDFBibTeX XMLCite
Full Text: arXiv Link

Type classes for lightweight substructural types. (English) Zbl 1477.68071

Alves, Sandra (ed.) et al., Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 176, 34-48 (2015).
MSC:  68N18 03F52
PDFBibTeX XMLCite
Full Text: arXiv Link

Quantum alternation: prospects and problems. (English) Zbl 1477.81026

Heunen, Chris (ed.) et al., Proceedings of the 12th international workshop on quantum physics and logic, QPL’15, Oxford, UK, July 15–17, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 195, 33-42 (2015).
MSC:  81P68 68N15 68Q12
PDFBibTeX XMLCite
Full Text: arXiv Link

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. (English) Zbl 1477.80001

Heunen, Chris (ed.) et al., Proceedings of the 12th international workshop on quantum physics and logic, QPL’15, Oxford, UK, July 15–17, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 195, 1-16 (2015).
PDFBibTeX XMLCite
Full Text: arXiv Link

A simple parallel implementation of interaction nets in Haskell. (English) Zbl 1476.68174

Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 33-47 (2015).
MSC:  68Q85 68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

Nested term graphs (work in progress). (English) Zbl 1476.68121

Middeldorp, Aart (ed.) et al., Proceedings of the 8th international workshop on computing with terms and graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 183, 48-65 (2015).
MSC:  68Q42 68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

Reasoning about modular datatypes with Mendler induction. (English) Zbl 1476.68056

Matthes, Ralph (ed.) et al., Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11–12, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 191, 143-157 (2015).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: arXiv Link

Formalizing termination proofs under polynomial quasi-interpretations. (English) Zbl 1476.68060

Matthes, Ralph (ed.) et al., Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11–12, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 191, 33-47 (2015).
MSC:  68N30 03F30 68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

Equivalence of two fixed-point semantics for definitional higher-order logic programs. (English) Zbl 1476.68142

Matthes, Ralph (ed.) et al., Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11–12, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 191, 18-32 (2015).
MSC:  68Q55 68N17
PDFBibTeX XMLCite
Full Text: Link

Clustering formulation using constraint optimization. (English) Zbl 1461.68180

Bianculli, Domenico (ed.) et al., Software engineering and formal methods. SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7–8, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 9509, 93-107 (2015).
MSC:  68T05 62H30 90C90
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software