×

Found 2,042 Documents (Results 1–100)

Some Turing-complete extensions of first-order logic. (English) Zbl 1469.03084

Peron, Adriano (ed.) et al., Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10–12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 161, 4-17 (2014).
MSC:  03B60 03D10 03B10
PDFBibTeX XMLCite
Full Text: arXiv Link

Proof-graphs for minimal implicational logic. (English) Zbl 1464.03088

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th international workshop on developments in computational models, DCM’13, Buenos Aires, Argentina, August 26, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 144, 16-29 (2014).
MSC:  03F20 03B20
PDFBibTeX XMLCite
Full Text: arXiv Link

Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis. (English) Zbl 1464.03039

Löwe, Benedikt (ed.) et al., Proceedings of the 8th international workshop on developments in computational models, DCM’12, Cambridge, United Kingdom, June 17, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 143, 97-109 (2014).
PDFBibTeX XMLCite
Full Text: arXiv Link

On some properties of Cauchy problem for non-stationary third order composite type equation. (Russian. English summary) Zbl 1463.35009

Ufim. Mat. Zh. 6, No. 4, 139-148 (2014); translation in Ufa Math. J. 6, No. 4, 135-144 (2014).
MSC:  35A02 35A09 35B40
PDFBibTeX XMLCite
Full Text: DOI MNR

The sign exchange bifurcation in a family of linear Hamiltonian systems. (English) Zbl 1456.37055

Kirillov, Oleg N. (ed.) et al., Nonlinear physical systems. Spectral analysis, stability and bifurcations. London: ISTE; Hoboken, NJ: John Wiley & Sons. Mech. Eng. Solid Mech. Ser., 41-65 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Simple iterative heuristics for correlation clustering. (English) Zbl 1440.68254

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 9th international conference, LSSC 2013, Sozopol, Bulgaria, June 3–7, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8353, 264-271 (2014).
MSC:  68T20 62H30 68T05
PDFBibTeX XMLCite
Full Text: DOI

Optimal control of nonlinear elliptic PDEs – theory and optimization methods. (English) Zbl 1446.49020

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 9th international conference, LSSC 2013, Sozopol, Bulgaria, June 3–7, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8353, 81-89 (2014).
MSC:  49K20 49J45
PDFBibTeX XMLCite
Full Text: DOI

Algebraic monoids and Renner monoids. (English) Zbl 1434.20047

Can, Mahir (ed.) et al., Algebraic monoids, group embeddings, and algebraic combinatorics. Proceedings of the international workshop on algebraic monoids, group embeddings, and algebraic combinatorics, Toronto, Canada, July 3–6, 2012. Dedicated to the 60th birthdays of Mohan S. Putcha and Lex E. Renner. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer. Fields Inst. Commun. 71, 141-187 (2014).
MSC:  20M32
PDFBibTeX XMLCite
Full Text: DOI

An intensional concurrent faithful encoding of Turing machines. (English) Zbl 1433.68252

Lanese, Ivan (ed.) et al., Proceedings of the 7th interaction and concurrency experience workshop, ICE’14, Berlin, Germany, June 6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 166, 21-37 (2014).
MSC:  68Q85 68Q04
PDFBibTeX XMLCite
Full Text: arXiv Link

Non-quadratic stabilization for T-S systems with nonlinear consequent parts. (English) Zbl 1418.93203

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 528-538 (2014).
MSC:  93D05 93C42 93C10
PDFBibTeX XMLCite
Full Text: DOI

Metrics for path planning of reconfigurable robots in uneven terrain. (English) Zbl 1418.93166

Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 9th international conference, ICINCO 2012, Rome, Italy, July 28–31, 2012. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 283, 147-165 (2014).
MSC:  93C85 93D05 68U10
PDFBibTeX XMLCite
Full Text: DOI

Timing in chemical reaction networks. (English) Zbl 1421.68048

Chekuri, Chandra (ed.), Proceedings of the 25th annual ACM-SIAM symposium on discrete algorithms, SODA 2014, Portland, OR, USA, January 5–7, 2014. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 772-784 (2014).
MSC:  68Q05 68Q10 92E20
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

From mereology to Boolean algebra: the role of regular open sets in Alfred Tarski’s work. (English) Zbl 1417.03019

Mulligan, Kevin (ed.) et al., The history and philosophy of Polish logic. Essays in honour of Jan Woleński. New York, NY: Palgrave Macmillan. Hist. Anal. Philos., 259-277 (2014).
PDFBibTeX XMLCite

Truth defined and undefined. (English) Zbl 1417.03012

Mulligan, Kevin (ed.) et al., The history and philosophy of Polish logic. Essays in honour of Jan Woleński. New York, NY: Palgrave Macmillan. Hist. Anal. Philos., 131-140 (2014).
PDFBibTeX XMLCite

The dependence and independence of quantifiers: truth, proof and choice functions. (English) Zbl 1417.03031

Mulligan, Kevin (ed.) et al., The history and philosophy of Polish logic. Essays in honour of Jan Woleński. New York, NY: Palgrave Macmillan. Hist. Anal. Philos., 49-72 (2014).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software