×

Found 36,713 Documents (Results 1–100)

Newest Citations Relevance
van Gastel, Bernard; Schmaltz, Julien

A formalisation of xMAS. (English) Zbl 07896676

Gamboa, Ruben (ed.) et al., Proceedings of the 11th international workshop on the ACL2 theorem prover and its applications, Laramie, Wyoming, USA, May 30–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 111-126 (2013).
MSC:  68V20 68M07 68Q60
PDFBibTeX XMLCite
\textit{B. van Gastel} and \textit{J. Schmaltz}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 111--126 (2013; Zbl 07896676)
Full Text: DOI arXiv Link
Davis, Jared; Swords, Sol

Verified AIG algorithms in ACL2. (English) Zbl 07896675

Gamboa, Ruben (ed.) et al., Proceedings of the 11th international workshop on the ACL2 theorem prover and its applications, Laramie, Wyoming, USA, May 30–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 95-110 (2013).
MSC:  68Q60 68V20
PDFBibTeX XMLCite
\textit{J. Davis} and \textit{S. Swords}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 95--110 (2013; Zbl 07896675)
Full Text: DOI arXiv Link
Greve, David; Slind, Konrad

A step-indexing approach to partial functions. (English) Zbl 07896671

Gamboa, Ruben (ed.) et al., Proceedings of the 11th international workshop on the ACL2 theorem prover and its applications, Laramie, Wyoming, USA, May 30–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 42-53 (2013).
MSC:  68V20 03D20
PDFBibTeX XMLCite
\textit{D. Greve} and \textit{K. Slind}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 42--53 (2013; Zbl 07896671)
Full Text: DOI arXiv Link
Joosten, Sebastiaan J. C.; van Gastel, Bernard; Schmaltz, Julien

A macro for reusing abstract functions and theorems. (English) Zbl 07896670

Gamboa, Ruben (ed.) et al., Proceedings of the 11th international workshop on the ACL2 theorem prover and its applications, Laramie, Wyoming, USA, May 30–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 29-41 (2013).
MSC:  68V15
PDFBibTeX XMLCite
\textit{S. J. C. Joosten} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 114, 29--41 (2013; Zbl 07896670)
Full Text: DOI arXiv Link
Foroush, Hamed Shisheh; Martínez, Sonia

On multi-input controllable linear systems under unknown periodic DoS jamming attacks. (English) Zbl 07876508

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 222-229 (2013).
MSC:  93C35 93C05
PDFBibTeX XMLCite
\textit{H. S. Foroush} and \textit{S. Martínez}, in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 222--229 (2013; Zbl 07876508)
Full Text: DOI
Bayramov, Nadir; Nagapetyan, Tigran; Pinnau, Rene

Fast optimal control of asymmetric flow field flow fractionation processes. (English) Zbl 07876506

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 207-213 (2013).
MSC:  76-XX
PDFBibTeX XMLCite
\textit{N. Bayramov} et al., in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 207--213 (2013; Zbl 07876506)
Full Text: DOI
Chitsaz, Hamidreza

On time-optimal trajectories for a car-like robot with one trailer. (English) Zbl 07876494

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 114-120 (2013).
MSC:  93C85
PDFBibTeX XMLCite
\textit{H. Chitsaz}, in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 114--120 (2013; Zbl 07876494)
Full Text: DOI arXiv
Zhang, Huan; Dower, Peter M.

A max-plus method for the approximate solution of discrete time linear regulator problems with non-quadratic terminal payoff. (English) Zbl 07876493

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 106-113 (2013).
MSC:  93C55 93B25 15A80
PDFBibTeX XMLCite
\textit{H. Zhang} and \textit{P. M. Dower}, in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 106--113 (2013; Zbl 07876493)
Full Text: DOI
Miranda, Francisco

Periodic control system stabilization on time scales. (English) Zbl 07876492

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 98-105 (2013).
MSC:  93D05 93D30 93B05 93C70
PDFBibTeX XMLCite
\textit{F. Miranda}, in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 98--105 (2013; Zbl 07876492)
Full Text: DOI
Banks, H. T.; Rubio, D.; Saintier, N.; Troparevsky, M. I.

Optimal design techniques for distributed parameter systems. (English) Zbl 07876490

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 83-90 (2013).
MSC:  93E10 93E24 49N45
PDFBibTeX XMLCite
\textit{H. T. Banks} et al., in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 83--90 (2013; Zbl 07876490)
Full Text: DOI
Benosman, Mouhacine; Atınç, Gökhan M.

Nonlinear adaptive control for electromagnetic actuators. (English) Zbl 07876483

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 29-36 (2013).
MSC:  93C40 93C10 93B35 93D25
PDFBibTeX XMLCite
\textit{M. Benosman} and \textit{G. M. Atınç}, in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 29--36 (2013; Zbl 07876483)
Full Text: DOI
Ramanathan, Jacques; Chen, Yuting; Cournede, Paul-Henry

Optimal control of crop irrigation based on the Hamilton-Jacobi-Bellman equation. (English) Zbl 07876482

Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 21-28 (2013).
MSC:  91B76 49L12
PDFBibTeX XMLCite
\textit{J. Ramanathan} et al., in: SIAM conference on control and its applications, CT'13, San Diego, CA, USA, July 8--10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 21--28 (2013; Zbl 07876482)
Full Text: DOI
Bytev, Vladimir V.; Yu. Kalmykov, Mikhail; Kniehl, Bernd A.

HYPERDIRE, hypergeometric functions differential reduction: Mathematica-based packages for differential reduction of generalized hypergeometric functions \(_pF_{p - 1}\), \(F_1\), \(F_2\), \(F_3\), \(F_4\). (English) Zbl 07866097

Comput. Phys. Commun. 184, No. 10, 2332-2342 (2013).
MSC:  33-04 33C05 33C20 33C65 68W30
PDFBibTeX XMLCite
\textit{V. V. Bytev} et al., Comput. Phys. Commun. 184, No. 10, 2332--2342 (2013; Zbl 07866097)
Full Text: DOI arXiv
Riolo, Rick (ed.); Vladislavleva, Ekaterina (ed.); Ritchie, Marylyn D. (ed.); Moore, Jason H. (ed.)
[Worzel, Bill]

Genetic programming theory and practice X. Selected papers based on the presentations at the 10th workshop, Ann Arbor, MI, USA, May 12–14, 2012. With a foreword by Bill Worzel. (English) Zbl 1539.68031

Genetic and Evolutionary Computation. New York, NY: Springer (ISBN 978-1-4614-6845-5/hbk; 978-1-4939-0068-8/pbk; 978-1-4614-6846-2/ebook). xxvi, 242 p. (2013).
MSC:  68-06 68N19 68T05 68T20 00B25
PDFBibTeX XMLCite
\textit{R. Riolo} (ed.) et al., Genetic programming theory and practice X. Selected papers based on the presentations at the 10th workshop, Ann Arbor, MI, USA, May 12--14, 2012. With a foreword by Bill Worzel. New York, NY: Springer (2013; Zbl 1539.68031)
Full Text: DOI
Emel’yanov, V. I.; Kuratov, A. S.

Degenerate parametric decay and second harmonic generation of quasistatic surface defect-deformational waves and bimodal nanoparticle size distributions. Degenerate parametric decay and second harmonic generation of quasistatic surface defect-deformational waves and bimodal nanoparticle size distributions, nonlinear wave theory of the formation of nanoparticle ensembles. (English) Zbl 1515.82199

Eur. Phys. J. B, Condens. Matter Complex Syst. 86, No. 6, Paper No. 270, 11 p. (2013).
MSC:  82D80
PDFBibTeX XMLCite
\textit{V. I. Emel'yanov} and \textit{A. S. Kuratov}, Eur. Phys. J. B, Condens. Matter Complex Syst. 86, No. 6, Paper No. 270, 11 p. (2013; Zbl 1515.82199)
Full Text: DOI
von Hansen, Yann; Netz, Roland R.

Influence of nonlinearities on the dynamics of thermally fluctuating systems revealed by the expansion of dynamic observables in powers of the thermal noise strength. (English) Zbl 1515.82068

Eur. Phys. J. B, Condens. Matter Complex Syst. 86, No. 10, Paper No. 415, 19 p. (2013).
MSC:  82B30
PDFBibTeX XMLCite
\textit{Y. von Hansen} and \textit{R. R. Netz}, Eur. Phys. J. B, Condens. Matter Complex Syst. 86, No. 10, Paper No. 415, 19 p. (2013; Zbl 1515.82068)
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

Biographic Reference

all top 3

Software