Result 1 to 20 of 888 total
A multi-step backward cloud generator algorithm. (English)
Yao, JingTao (ed.) et al., Rough sets and current trends in computing. 8th international conference, RSCTC 2012, Chengdu, China, August 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32114-6/pbk). Lecture Notes in Computer Science 7413. Lecture Notes in Artificial Intelligence, 313-322 (2012).
1
Model order selection for multiple cooperative swarms clustering using stability analysis. (English)
Inf. Sci. 182, No. 1, 169-183 (2012).
2
Transparent partial order reduction. (English)
Form. Methods Syst. Des. 40, No. 1, 1-19 (2012).
3
Preservation under substructures modulo bounded cores. (English)
Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 291-305 (2012).
4
A fast adaptive model reduction method based on Takenaka-Malmquist systems. (English)
Syst. Control Lett. 61, No. 1, 223-230 (2012).
5
Candecomp/Parafac: from diverging components to a decomposition in block terms. (English)
SIAM J. Matrix Anal. Appl. 33, No. 2, 291-316 (2012).
6
Second-order model reduction based on Gramians. (English)
J. Control Sci. Eng. 2012, Article ID 302498, 9 p. (2012).
7
Parametric model order reduction by neighbouring subspaces. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 443-451 (2012).
8
Model order reduction for complex high-tech systems. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 433-441 (2012).
9
Discrete empirical interpolation in POD model order reduction of drift-diffusion equations in electrical networks. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 423-431 (2012).
10
Partitioning-based reduction of circuits with mutual inductances. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 395-403 (2012).
11
Improving model-order reduction methods by singularity exclusion. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 387-394 (2012).
12
Challenges in model order reduction for industrial problems. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 367-375 (2012).
13
Availability in large networks: global characteristics from local unreliability properties. (English)
Schmitt, Jens B. (ed.), Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance. 16th international GI/ITG conference, MMB \& DFT 2012, Kaiserslautern, Germany, March 19‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28539-4/pbk). Lecture Notes in Computer Science 7201, 1-15 (2012).
14
Software model checking with explicit scheduler and symbolic threads. (English)
Log. Methods Comput. Sci. 8, No. 2, Paper No. 18, 42 p., electronic only (2012).
15
Real-time simulation of surgery by reduced-order modeling and X-FEM techniques. (English)
Int. J. Numer. Methods Biomed. Eng. 28, No. 5, 574-588 (2012).
16
On a system of nonhomogeneous components sharing a common frailty. (English)
J. Stat. Plann. Inference 142, No. 6, 1330-1338 (2012).
17
First-order model checking on nested pushdown trees is complete for doubly exponential alternating time. (English)
Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 376-390 (2012).
18
Effective extraction of accurate reduced order models for HF-ICs using multi-CPU architectures. (English)
Inverse Probl. Sci. Eng. 20, No. 1, 15-27 (2012).
19
Generalized $δ$-shock model via runs. (English)
Stat. Probab. Lett. 82, No. 2, 326-331 (2012).
20
Result 1 to 20 of 888 total
Start
Contact
Print
General Help
