×

Found 189 Documents (Results 1–100)

100
MathJax

AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Security analysis of embedded HVDC in transmission grids. (English) Zbl 1447.93131

Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 13-25 (2020).
MSC:  93B70 93A15 93-04
PDF BibTeX XML Cite
Full Text: DOI

Fault diagnosis for uncertain networked systems. (English) Zbl 1415.93153

Başar, Tamer (ed.), Uncertainty in complex networked systems. In honor of Roberto Tempo. Cham: Birkhäuser. Syst. Control Found. Appl., 533-581 (2018).
PDF BibTeX XML Cite
Full Text: DOI Link

Integrating time-series data in large-scale discrete cell-based models. (English) Zbl 1412.92119

Abate, Alessandro (ed.) et al., Hybrid systems biology. Fourth international workshop, HSB 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9271, 75-95 (2015).
PDF BibTeX XML Cite
Full Text: DOI HAL

A novel approach to model order reduction for coupled multiphysics problems. (English) Zbl 1308.93051

Quarteroni, Alfio (ed.) et al., Reduced order methods for modeling and computational reduction. Cham: Springer (ISBN 978-3-319-02089-1/hbk; 978-3-319-02090-7/ebook). MS&A. Modeling, Simulation and Applications 9, 1-49 (2014).
PDF BibTeX XML Cite
Full Text: DOI HAL

Solving the Schrödinger equation on real-space grids and with random walks. (English) Zbl 1273.81061

Popelier, Paul (ed.), Solving the Schrödinger equation. Has everything been tried?. Hackensack, NJ: World Scientific (ISBN 978-1-84816-724-7/hbk; 978-1-84816-725-4/ebook). 271-311 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Intelligent control of uncertain complex systems by adaptation of fuzzy ontologies. (English) Zbl 1245.93071

Sgurev, Vassil (ed.) et al., Intelligent systems: From theory to practice. Selected papers based on the presentations at the 4th IEEE conference intelligent systems (IS 2008), methodology, models and applications in emergent technologies, Varna, Bulgaria, September 6–8, 2008. Berlin: Springer (ISBN 978-3-642-13427-2/hbk; 978-3-642-13428-9/ebook). Studies in Computational Intelligence 299, 19-40 (2010).
PDF BibTeX XML Cite
Full Text: DOI

KNITRO: an integrated package for nonlinear optimization. (English) Zbl 1108.90004

Di Pillo, Gianni (ed.) et al., Large-scale nonlinear optimization. Papers based on the presentation at the workshop on large scale nonlinear optimization, Erice, Italy, June 22–July 1, 2004. New York, NY: Springer (ISBN 0-387-30063-5/hbk). Nonconvex Optimization and Its Applications 83, 35-59 (2006).
PDF BibTeX XML Cite

Computational techniques for the verification and control of hybrid systems. (English) Zbl 1074.93014

Capasso, Vincenzo (ed.) et al., Multidisciplinary methods for analysis optimization and control of complex systems. Lectures of the summer school Jacques Louis Lions, Montecatini, Italy, March 17–22, 2003. Berlin: Springer (ISBN 3-540-22310-X/hbk). Mathematics in Industry 7. The European Consortium for Mathematics in Industry, 151-175 (2004).
MSC:  93B40 93B03 90B25 93B12 93A15 93C65 93-04
PDF BibTeX XML Cite

The importance of intermediate range order in silicates: Molecular dynamics simulation studies. (English) Zbl 1026.82501

Krause, Egon (ed.) et al., High performance computing in science and engineering ’02. Transactions of the High Performance Computing Center Stuttgart (HLRS) 2002. Proceedings of the 5th results and rewiew workshop, Stuttgart, Germany, September 30-October 1, 2002. Berlin: Springer. 109-121 (2003).
MSC:  82-04
PDF BibTeX XML Cite
Full Text: arXiv

Software engineering for large-scale multi-agent systems. Research issues and practical applications. (English) Zbl 1015.68857

Lecture Notes in Computer Science. 2603. Berlin: Springer. xiv, 284 p. (2003).
MSC:  68U99 68-06 68N99
PDF BibTeX XML Cite
Full Text: Link

Hybrid and embedded software technologies for production large-scale systems. (English) Zbl 1044.68927

Tomlin, Claire J. (ed.) et al., Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25–27, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43321-X). Lect. Notes Comput. Sci. 2289, 1-2 (2002).
PDF BibTeX XML Cite
Full Text: Link

Making movies: watching software evolve through visualisation. (English) Zbl 0983.68665

Alexandrov, Vassil N. (ed.) et al., Computational Science - ICCS 2001. International conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings. Part 2. Berlin: Springer. Lect. Notes Comput. Sci. 2074, 738-750 (2001).
MSC:  68U99 68T45
PDF BibTeX XML Cite
Full Text: DOI

Real-time optimization for large scale nonlinear processes. (English) Zbl 0991.49023

Heidelberg: Univ. Heidelberg, Naturwissenschaftlich-Mathematische Gesamtfakultät, 185 p. (2001).
MSC:  49M99 49-04 90C06 93A15 93B40
PDF BibTeX XML Cite

Advanced computing and analysis techniques in physics research. 7th international workshop, ACAT 2000, Batavia, IL, USA, October 16–20, 2000. (English) Zbl 0979.68616

AIP Conference Proceedings. 583. Melville, NY: AIP, American Institute of Physics. xvii, 409 p. (2001).
MSC:  68U99 68W05 68W30 68Q05
PDF BibTeX XML Cite

Nurse rostering as constraint satisfaction with fuzzy constraints and inferred control strategies. (English) Zbl 0983.90042

Freuder, Eugene C. (ed.) et al., Constraint programming and large scale discrete optimization. DIMACS workshop, DIMACS Center, Princeton, NJ, USA, September 14-17, 1998. Princeton, NJ: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 57, 67-99 (2001).
PDF BibTeX XML Cite

ARPACK user’s guide. Solution of large-scale eigenvalue problems with implicitly restarted Arnoldi methods. (English) Zbl 0901.65021

Software - Environments - Tools, 6. Philadelphia, PA: SIAM, Society for Industrial and Applied Mathematics. 142 p. (1998).
Reviewer: P.Narain (Bombay)
MSC:  65F15 65-02 15-04
PDF BibTeX XML Cite
Full Text: DOI

A methodology for risk assessment and performability analysis of large scale software systems. (English) Zbl 0905.68096

Shehab, Moufeed (ed.) et al., The 3rd international conference on engineering mathematics and physics, Cairo, Egypt, December 23–25, 1997. Vol. 1 and 2. Cairo: Cairo Univ., Faculty of Engineering, 198-219 (1997).
MSC:  68Q85 68Q60 68M20
PDF BibTeX XML Cite

Numerical optimal control of parabolic PDEs using DASOPT. (English) Zbl 0884.65065

Biegler, Lorenz T. (ed.) et al., Large-scale optimization with applications. Part 2: Optimal design and control. Proceedings of a 3-week workshop, July 10–28, 1995, IMA, University of Minnesota, Minneapolis, MN, USA. New York, NY: Springer. IMA Vol. Math. Appl. 93, 271-299 (1997).
PDF BibTeX XML Cite

Prospects and problems in applying the fundamental theorem of prevision as an expert system: An example of learning about parole decisions. (English) Zbl 0859.68107

Coletti, Giulianella (ed.) et al., Mathematical models for handling partial knowledge in artificial intelligence. Selected papers from a workshop, Sicily, Italy, June 19-25, 1994. New York, NY: Plenum Press. 83-100 (1995).
MSC:  68T35 68T05 68T30
PDF BibTeX XML Cite

Methods for generation, estimation, and coordination of decisions in distributed decision support systems. (English. Russian original) Zbl 0926.93005

Autom. Remote Control 56, No. 4, Pt. 1, 463-497 (1995); translation from Avtom. Telemekh. 1995, No. 4, 3-52 (1995).
MSC:  93A14 93A15 68T35
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software