## Found 189 Documents (Results 1–100)

100
MathJax

Full Text:

Full Text:

### Design and implementation of a modular interior-point solver for linear optimization. (English)Zbl 1476.90187

MSC:  90C05 90C06 90C51
Full Text:

### 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).
Full Text:

Full Text:

### 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
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Resilient distributed optimal generation dispatch for lossy AC microgrids. (English)Zbl 1408.93018

MSC:  93A15 93C40 93-04
Full Text:

Full Text:

### 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).
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### SGDLibrary: a MATLAB library for stochastic optimization algorithms. (English)Zbl 1473.90001

MSC:  90-04 68T05 90C15
Full Text:

Full Text:

Full Text:

### Faster and more accurate computation of the $$\mathcal{H}_\infty$$ norm via optimization. (English)Zbl 1401.93087

MSC:  93B36 93C05 93C55 93A15 93B40 93D09 93-04
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### A survey of VLSI implementations of tree search algorithms for MIMO detection. (English)Zbl 1346.94061

MSC:  94A13 94-04
Full Text:

Full Text:

Full Text:

### 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).
Full Text:

Full Text:

Full Text:

### 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).
Full Text:

Full Text:

Full Text:

### The ESA NLP solver WORHP. (English)Zbl 1365.90007

Fasano, Giorgio (ed.) et al., Modeling and optimization in space engineering. New York, NY: Springer (ISBN 978-1-4614-4468-8/hbk; 978-1-4614-4469-5/ebook). Springer Optimization and Its Applications 73, 85-110 (2013).
Full Text:

Full Text:

### MLPACK: a scalable C++ machine learning library. (English)Zbl 1307.68066

MSC:  68T05 65Y15
Full Text:

### A continuation method for large-sized sensor network localization problems. (English)Zbl 1269.90060

MSC:  90C06 90C52
Full Text:

### High-precision computation: mathematical physics and dynamics. (English)Zbl 1248.65147

MSC:  65Y15 68N30 68W30
Full Text:

Full Text:

### Combinatorial scientific computing. (English)Zbl 1235.68008

Chapmann & Hall Computational Science Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-2735-2/hbk; 978-1-4398-2736-9/ebook). xxiii, 568 p. (2012).
Full Text:

### Multi-granularity evolution analysis of software using complex network theory. (English)Zbl 1338.93046

MSC:  93A15 68N30 68N19
Full Text:

### 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).
Full Text:

### Computer science. The hardware, software and heart of it. (English)Zbl 1234.68002

Berlin: Springer (ISBN 978-1-4614-1167-3/hbk; 978-1-4614-1168-0/ebook). ix, 468 p. (2011).
Full Text:

### Large-scale rigid body simulations. (English)Zbl 1283.70002

MSC:  70-04 70-08 70E15
Full Text:

### The SHOGUN machine learning toolbox. (English)Zbl 1242.68003

MSC:  68-04 68T05 62H30
Full Text:

Full Text:

### 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).
Full Text:

### Static and dynamic complex models: comparison and application to chemical systems. (English)Zbl 1325.93017

MSC:  93A30 92B20 93A15 92E99 93-04
Full Text:

### Enabling technologies in the problem solving environment HEDP. (English)Zbl 1364.76007

MSC:  76-04 76M25 76M27

### LIBLINEAR: a library for large linear classification. (English)Zbl 1225.68175

MSC:  68T05 68-04
Full Text:

Full Text:

Full Text:

### On restart and error estimation for Krylov approximation of $$w=f(A)v$$. (English)Zbl 1154.65320

MSC:  65F30 15-04
Full Text:

### Shortest paths and Steiner trees in VLSI routing. (English)Zbl 1143.05047

Bonn: Univ. Bonn, Mathematisch-Naturwissenschaftliche Fakultät (Dissertation). viii, 126 p. (2007).
Full Text:

Full Text:

### SDPA project: solving large-scale semidefinite programs. (English)Zbl 1142.90465

MSC:  90C22 90-04 90C06
Full Text:

### Using the Zeldovich dynamics to test expansion schemes. (English)Zbl 1130.85341

MSC:  85A40 85A35 85-04
Full Text:

Full Text:

Full Text:

### 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).

Full Text:

### An electronic voting scheme. (Chinese. English summary)Zbl 1085.68587

MSC:  68P25 68T35

### 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

### Aggregation of stochastic automata networks with replicas. (English)Zbl 1050.65003

MSC:  65C40 60J22 60J27
Full Text:

### Slicot-based advanced automatic control computations. (English)Zbl 1051.93005

Voicu, Mihail (ed.), Advances in automatic control. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7607-X/hbk). Kluwer Int. Ser. Eng. Comput. Sci. 754, 337-349 (2004).
MSC:  93-04 93C83 93B40 93A15

Full Text:

Full Text:

### 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
Full Text:

### 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
Full Text:

### Automated theory formation in pure mathematics. (English)Zbl 1219.68141

Distinguished Dissertations. London: Springer (ISBN 978-1-85233-609-7/hbk). xvi, 380 p. (2002).
MSC:  68T15 03B35 68-02 11Y55

### 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).
Full Text:

### Probabilistic modelling for software quality control. (English)Zbl 1065.68516

MSC:  68N99 68T37
Full Text:

Full Text:

### A component-based approach to build a portable and flexible middleware for metacomputing. (English)Zbl 1043.68049

MSC:  68N99 68M99
Full Text:

### Advances in design and implementation of optimization software. (English)Zbl 1001.90004

MSC:  90-08 90C06 68N30
Full Text:

### 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
Full Text:

### 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

### 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

### 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).

Full Text:

Full Text:

### Auto-recoverable auto-certifiable cryptosystems (A survey). (English)Zbl 0988.94517

Baumgart, Rainer (ed.), Secure networking - CQRE [Secure] ’99. International exhibition and congress. Düsseldorf, Germany, November 30-December 2, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1740, 204-218 (1999).
MSC:  94A60 68P25

### Transfer-matrix study of negative-fugacity singularity of hard-core lattice gas. (English)Zbl 0940.82012

MSC:  82B20 82-04 82B26
Full Text:

### Numerical optimization. (English)Zbl 0930.65067

Springer Series in Operations Research. New York, NY: Springer. xx, 636 p. (1999).
Reviewer: N.Curteanu (Iaşi)
Full Text:

### 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
Full Text:

### Primal-dual interior-point methods. (English)Zbl 0863.65031

Philadelphia, PA: SIAM, Society for Industrial and Applied Mathematics. xx, 289 p. (1997).

### Algorithm 778: L-BFGS-B Fortran subroutines for large-scale bound-constrained optimization. (English)Zbl 0912.65057

MSC:  65K05 90C30 90-04
Full Text:

### 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

### Large-scale finite element fluid analysis by massively parallel processors. (English)Zbl 0894.68037

MSC:  68N99 68U20
Full Text:

### Methods for sparse linear systems. (Verfahren für dünnbesetzte lineare Systeme.) (German)Zbl 0897.65034

DLR Forschungsbericht. 97-31. Köln: DLR, Deutsches Zentrum für Luft- und Raumfahrt, 162 S. (1997).
Reviewer: M.Jung (Chemnitz)

### Large-scale systems: modeling, control and fuzzy logic. (English)Zbl 0892.93001

Upper Saddle River, NJ: Prentice Hall PTR. xv, 578 p. (1997).
Reviewer: L.Bakule (Praha)

Full Text:

### 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).

Full Text:

### A logical framework for evolving software systems. (English)Zbl 0843.68110

MSC:  68T27 68T15
Full Text:

### 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

### 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

all top 5

all top 5

all top 5

all top 3

all top 3