Rodríguez, Alejandro; Macías, Fernando; Durán, Francisco; Rutle, Adrian; Wolter, Uwe Composition of multilevel domain-specific modelling languages. (English) Zbl 07618129 J. Log. Algebr. Methods Program. 130, Article ID 100831, 37 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Rodríguez} et al., J. Log. Algebr. Methods Program. 130, Article ID 100831, 37 p. (2023; Zbl 07618129) Full Text: DOI
Benveniste, Albert; Caillaud, Benoît; Malandain, Mathias From hybrid automata to DAE-based modeling. (English) Zbl 1528.68174 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 3-20 (2022). MSC: 68Q45 03H10 34A09 93-10 93C30 PDFBibTeX XMLCite \textit{A. Benveniste} et al., Lect. Notes Comput. Sci. 13660, 3--20 (2022; Zbl 1528.68174) Full Text: DOI
de Boer, Martin; De Gouw, Stijn; Klamroth, Jonas; Jung, Christian; Ulbrich, Mattias; Weigl, Alexander Formal specification and verification of JDK’s identity hash map implementation. (English) Zbl 1502.68054 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 45-62 (2022). MSC: 68N15 68P05 68Q60 PDFBibTeX XMLCite \textit{M. de Boer} et al., Lect. Notes Comput. Sci. 13274, 45--62 (2022; Zbl 1502.68054) Full Text: DOI
Moghari, Somaye Synthesizing fuzzy tree automata. (English) Zbl 1497.68275 RAIRO, Theor. Inform. Appl. 56, Paper No. 6, 16 p. (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Moghari}, RAIRO, Theor. Inform. Appl. 56, Paper No. 6, 16 p. (2022; Zbl 1497.68275) Full Text: DOI
Thuijsman, Sander; Reniers, Michel Transformational supervisor synthesis for evolving systems. (English) Zbl 1492.93116 Discrete Event Dyn. Syst. 32, No. 2, 317-358 (2022). MSC: 93C65 68Q45 PDFBibTeX XMLCite \textit{S. Thuijsman} and \textit{M. Reniers}, Discrete Event Dyn. Syst. 32, No. 2, 317--358 (2022; Zbl 1492.93116) Full Text: DOI
Linares-Mustarós, Salvador; Ferrer-Comalat, Joan Carles; Corominas-Coll, Dolors; Merigó, Jose M. The weighted average multiexperton. (English) Zbl 1484.68251 Inf. Sci. 557, 355-372 (2021). MSC: 68T37 68T35 68U35 91B06 PDFBibTeX XMLCite \textit{S. Linares-Mustarós} et al., Inf. Sci. 557, 355--372 (2021; Zbl 1484.68251) Full Text: DOI
Liao, Mingjie; Wang, Haolei; Zhang, Lei The application of Julia language to material simulation. (Chinese. English summary) Zbl 1488.68017 J. Numer. Methods Comput. Appl. 42, No. 1, 71-79 (2021). MSC: 68N15 65Y15 65Z05 82C44 PDFBibTeX XMLCite \textit{M. Liao} et al., J. Numer. Methods Comput. Appl. 42, No. 1, 71--79 (2021; Zbl 1488.68017) Full Text: DOI
Lohmann, Timo; Bussieck, Michael R.; Westermann, Lutz; Rebennack, Steffen High-performance prototyping of decomposition methods in GAMS. (English) Zbl 07362302 INFORMS J. Comput. 33, No. 1, 34-50 (2021). MSC: 90Cxx PDFBibTeX XMLCite \textit{T. Lohmann} et al., INFORMS J. Comput. 33, No. 1, 34--50 (2021; Zbl 07362302) Full Text: DOI
Bynum, Michael L.; Hackebeil, Gabriel A.; Hart, William E.; Laird, Carl D.; Nicholson, Bethany L.; Siirola, John D.; Watson, Jean-Paul; Woodruff, David L. Pyomo – optimization modeling in Python. 3rd edition. (English) Zbl 1462.90001 Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68930-8/pbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021). MSC: 90-01 00A71 68N15 68W30 90-04 90C90 PDFBibTeX XMLCite \textit{M. L. Bynum} et al., Pyomo -- optimization modeling in Python. 3rd edition. Cham: Springer (2021; Zbl 1462.90001) Full Text: DOI
Pola, Giordano; Di Benedetto, Maria Domenica; Borri, Alessandro Symbolic control design of nonlinear systems with outputs. (English) Zbl 1429.93151 Automatica 109, Article ID 108511, 9 p. (2019). MSC: 93C10 93B52 93C85 93-10 PDFBibTeX XMLCite \textit{G. Pola} et al., Automatica 109, Article ID 108511, 9 p. (2019; Zbl 1429.93151) Full Text: DOI
Kozhevnikov, V. V. Fundamentals of mathematical modeling of cognitive digital automata. (English) Zbl 1463.68054 JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1-2, 15-27 (2019). MSC: 68T05 68Q45 68Q85 PDFBibTeX XMLCite \textit{V. V. Kozhevnikov}, JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1--2, 15--27 (2019; Zbl 1463.68054) Full Text: Link
Schenk, Christina Book review of: W. E. Hart et al., Pyomo – optimization modeling in Python. 2nd ed. (English) Zbl 1409.00040 SIAM Rev. 61, No. 1, 223-225 (2019). MSC: 00A17 90-01 00A71 68N15 68W30 90-04 90C90 PDFBibTeX XMLCite \textit{C. Schenk}, SIAM Rev. 61, No. 1, 223--225 (2019; Zbl 1409.00040) Full Text: DOI
van Gorp, Jeremy; Giua, Alessandro; Defoort, Michael; Djemaï, Mohamed Active diagnosis for switched systems using Mealy machine modeling. (English) Zbl 1455.93095 Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 147-173 (2018). MSC: 93C30 68Q45 93-10 PDFBibTeX XMLCite \textit{J. van Gorp} et al., in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 147--173 (2018; Zbl 1455.93095) Full Text: DOI HAL
Pill, Ingo; Wotawa, Franz Fault detection and localization using Modelica and abductive reasoning. (English) Zbl 1455.68227 Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 45-72 (2018). MSC: 68T99 68N15 93-10 93C30 PDFBibTeX XMLCite \textit{I. Pill} and \textit{F. Wotawa}, in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 45--72 (2018; Zbl 1455.68227) Full Text: DOI
Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang MiniBrass: soft constraints for MiniZinc. (English) Zbl 1430.90525 Constraints 23, No. 4, 403-450 (2018). MSC: 90C30 PDFBibTeX XMLCite \textit{A. Schiendorfer} et al., Constraints 23, No. 4, 403--450 (2018; Zbl 1430.90525) Full Text: DOI Link
Chan, Debora; Rey, Andrea; Gambini, Juliana; Frery, Alejandro C. Sampling from the \(\mathcal{G}_I^0\) distribution. (English) Zbl 1407.94013 Monte Carlo Methods Appl. 24, No. 4, 271-287 (2018). MSC: 94A08 PDFBibTeX XMLCite \textit{D. Chan} et al., Monte Carlo Methods Appl. 24, No. 4, 271--287 (2018; Zbl 1407.94013) Full Text: DOI
Rajhans, Akshay; Avadhanula, Srinath; Chutinan, Alongkrit; Mosterman, Pieter J.; Zhang, Fu Graphical modeling of hybrid dynamics with Simulink and Stateflow. (English) Zbl 1417.93160 Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 247-252 (2018). MSC: 93C30 93A30 93B40 68Q45 PDFBibTeX XMLCite \textit{A. Rajhans} et al., in: Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11--13, 2018. New York, NY: Association for Computing Machinery (ACM). 247--252 (2018; Zbl 1417.93160) Full Text: DOI
Nguena Timo, Omer; Petrenko, Alexandre; Ramesh, S. Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 1518.68349 Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018). MSC: 68T20 68M15 68Q45 PDFBibTeX XMLCite \textit{O. Nguena Timo} et al., Lect. Notes Comput. Sci. 11187, 354--375 (2018; Zbl 1518.68349) Full Text: DOI
Nicholson, Bethany; Siirola, John D.; Watson, Jean-Paul; Zavala, Victor M.; Biegler, Lorenz T. pyomo.dae: a modeling and automatic discretization framework for optimization with differential and algebraic equations. (English) Zbl 1402.49029 Math. Program. Comput. 10, No. 2, 187-223 (2018). MSC: 49M37 68N15 90-04 93A30 90C90 PDFBibTeX XMLCite \textit{B. Nicholson} et al., Math. Program. Comput. 10, No. 2, 187--223 (2018; Zbl 1402.49029) Full Text: DOI
Turkyilmaz, Ali; Temizer, Leyla; Oztekin, Asil A causal analytic approach to student satisfaction index modeling. (English) Zbl 1391.62298 Ann. Oper. Res. 263, No. 1-2, 565-585 (2018). MSC: 62P25 68T35 91B99 PDFBibTeX XMLCite \textit{A. Turkyilmaz} et al., Ann. Oper. Res. 263, No. 1--2, 565--585 (2018; Zbl 1391.62298) Full Text: DOI
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto Task-structured probabilistic I/O automata. (English) Zbl 1390.68382 J. Comput. Syst. Sci. 94, 63-97 (2018). MSC: 68Q45 68Q87 PDFBibTeX XMLCite \textit{R. Canetti} et al., J. Comput. Syst. Sci. 94, 63--97 (2018; Zbl 1390.68382) Full Text: DOI
Osais, Yahya Esmail Computer simulation. A foundational approach using Python. (English) Zbl 1375.68003 Chapman & Hall/CRC Computer and Information Science Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-2682-5/hbk; 978-1-4987-2683-2/ebook). xxxvii, 275 p. (2018). MSC: 68-01 00A71 00A72 68N15 68U20 PDFBibTeX XMLCite \textit{Y. E. Osais}, Computer simulation. A foundational approach using Python. Boca Raton, FL: CRC Press (2018; Zbl 1375.68003) Full Text: Link
Shu, Xinfeng; Li, Chao; Liu, Chang A visual modeling language for MSVL. (English) Zbl 1461.68120 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 220-237 (2017). MSC: 68Q60 68N15 68N17 68Q85 PDFBibTeX XMLCite \textit{X. Shu} et al., Lect. Notes Comput. Sci. 10189, 220--237 (2017; Zbl 1461.68120) Full Text: DOI
Lucas Silva, André; Ribeiro, Richardson; Teixeira, Marcelo Modeling and control of flexible context-dependent manufacturing systems. (English) Zbl 1436.93085 Inf. Sci. 421, 1-14 (2017). MSC: 93C65 68Q45 90B30 PDFBibTeX XMLCite \textit{A. Lucas Silva} et al., Inf. Sci. 421, 1--14 (2017; Zbl 1436.93085) Full Text: DOI
Guo, Wen-Tao; Huynh, Van-Nam; Sriboonchitta, Songsak A proportional linguistic distribution based model for multiple attribute decision making under linguistic uncertainty. (English) Zbl 1415.91091 Ann. Oper. Res. 256, No. 2, 305-328 (2017). MSC: 91B06 91F20 68T35 PDFBibTeX XMLCite \textit{W.-T. Guo} et al., Ann. Oper. Res. 256, No. 2, 305--328 (2017; Zbl 1415.91091) Full Text: DOI
Kirikova, Mārīte (ed.); Nørvåg, Kjetil (ed.); Papadopoulos, George A. (ed.); Gamper, Johann (ed.); Wrembel, Robert (ed.); Darmont, Jérôme (ed.); Rizzi, Stefano (ed.) New trends in databases and information systems. ADBIS 2017 short papers and workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24–27, 2017. Proceedings of the 21st conference. (English) Zbl 1375.68018 Communications in Computer and Information Science 767. Cham: Springer (ISBN 978-3-319-67161-1/pbk; 978-3-319-67162-8/ebook). xvi, 434 p. (2017). MSC: 68-06 68P15 68T35 68U35 00B25 PDFBibTeX XMLCite \textit{M. Kirikova} (ed.) et al., New trends in databases and information systems. ADBIS 2017 short papers and workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24--27, 2017. Proceedings of the 21st conference. Cham: Springer (2017; Zbl 1375.68018) Full Text: DOI arXiv
Helms, Tobias; Warnke, Tom; Maus, Carsten; Uhrmacher, Adelinde M. Semantics and efficient simulation algorithms of an expressive multilevel modeling language. (English) Zbl 1369.93068 ACM Trans. Model. Comput. Simul. 27, No. 2, Article No. 8, 25 p. (2017). MSC: 93A30 92C37 92C42 92C45 PDFBibTeX XMLCite \textit{T. Helms} et al., ACM Trans. Model. Comput. Simul. 27, No. 2, Article No. 8, 25 p. (2017; Zbl 1369.93068) Full Text: DOI
Dunning, Iain; Huchette, Joey; Lubin, Miles JuMP: a modeling language for mathematical optimization. (English) Zbl 1368.90002 SIAM Rev. 59, No. 2, 295-320 (2017). MSC: 90-04 90C05 90C06 90C30 65D25 PDFBibTeX XMLCite \textit{I. Dunning} et al., SIAM Rev. 59, No. 2, 295--320 (2017; Zbl 1368.90002) Full Text: DOI arXiv
Hart, William E.; Laird, Carl D.; Watson, Jean-Paul; Woodruff, David L.; Hackebeil, Gabriel A.; Nicholson, Bethany L.; Siirola, John D. Pyomo – optimization modeling in Python. 2nd edition. (English) Zbl 1370.90003 Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-319-58819-3/hbk; 978-3-319-58821-6/ebook). xviii, 277 p. (2017). MSC: 90-01 00A71 68N15 68W30 90-04 90C90 PDFBibTeX XMLCite \textit{W. E. Hart} et al., Pyomo -- optimization modeling in Python. 2nd edition. Cham: Springer (2017; Zbl 1370.90003) Full Text: DOI
Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim Towards a UTP semantics for Modelica. (English) Zbl 1483.68053 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 44-64 (2017). MSC: 68N15 68Q55 68V20 93-10 93C30 PDFBibTeX XMLCite \textit{S. Foster} et al., Lect. Notes Comput. Sci. 10134, 44--64 (2017; Zbl 1483.68053) Full Text: DOI Link
Letichevsky, Alexander; Letychevskyi, Oleksandr; Peschanenko, Vladimir Insertion modeling and its applications. (English) Zbl 1390.68479 Comput. Sci. J. Mold. 24, No. 3(72), 357-370 (2016). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{A. Letichevsky} et al., Comput. Sci. J. Mold. 24, No. 3(72), 357--370 (2016; Zbl 1390.68479) Full Text: Link
Artho, Cyrille (ed.); Ölveczky, Peter Csaba (ed.) Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. (English) Zbl 1393.68009 Communications in Computer and Information Science 596. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). x, 271 p. (2016). MSC: 68-06 68M15 68N99 68Q60 68U20 00B25 PDFBibTeX XMLCite \textit{C. Artho} (ed.) and \textit{P. C. Ölveczky} (ed.), Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers. Cham: Springer (2016; Zbl 1393.68009) Full Text: DOI
Barton, Jeffrey T. Solutions manual to accompany ‘Models for life. An introduction to discrete mathematical modeling with Microsoft Office Excel’. (English) Zbl 1335.00002 Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-04002-6/pbk). 182 p. (2016). MSC: 00A06 00A71 00A69 68N15 92-01 PDFBibTeX XMLCite \textit{J. T. Barton}, Solutions manual to accompany `Models for life. An introduction to discrete mathematical modeling with Microsoft Office Excel'. Hoboken, NJ: John Wiley \& Sons (2016; Zbl 1335.00002)
Barton, Jeffrey T. Models for life. An introduction to discrete mathematical modeling with Microsoft Office Excel. (English) Zbl 1331.00006 Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-03975-4/hbk; 978-1-119-03985-3/set). 488 p. (2016). MSC: 00A06 00A71 00A69 68N15 92-01 PDFBibTeX XMLCite \textit{J. T. Barton}, Models for life. An introduction to discrete mathematical modeling with Microsoft Office Excel. Hoboken, NJ: John Wiley \& Sons (2016; Zbl 1331.00006)
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview models. (English) Zbl 1387.68051 Comput. Lang. Syst. Struct. 44, Part A, 72-88 (2015). MSC: 68N15 68N30 68Q45 PDFBibTeX XMLCite \textit{P. Kaufmann} et al., Comput. Lang. Syst. Struct. 44, Part A, 72--88 (2015; Zbl 1387.68051) Full Text: DOI
Schordan, Markus; Jefferson, David; Barnes, Peter; Oppelstrup, Tomas; Quinlan, Daniel Reverse code generation for parallel discrete event simulation. (English) Zbl 1464.68049 Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 95-110 (2015). MSC: 68N15 68Q09 68Q10 93-10 PDFBibTeX XMLCite \textit{M. Schordan} et al., Lect. Notes Comput. Sci. 9138, 95--110 (2015; Zbl 1464.68049) Full Text: DOI
Li, Kang; Li, Xinming; Liu, Dong Modeling method for weapon system of systems structure based on semantic meta-model. (Chinese. English summary) Zbl 1349.93041 Syst. Eng. Electron. 37, No. 11, 2503-2512 (2015). MSC: 93A30 68T27 68T35 PDFBibTeX XMLCite \textit{K. Li} et al., Syst. Eng. Electron. 37, No. 11, 2503--2512 (2015; Zbl 1349.93041)
Lubin, Miles; Dunning, Iain Computing in operations research using Julia. (English) Zbl 1331.90001 INFORMS J. Comput. 27, No. 2, 238-248 (2015). MSC: 90-04 90C05 90C30 PDFBibTeX XMLCite \textit{M. Lubin} and \textit{I. Dunning}, INFORMS J. Comput. 27, No. 2, 238--248 (2015; Zbl 1331.90001) Full Text: DOI arXiv
Klimeš, Cyril; Bartoš, Jiří IT/IS security management with uncertain information. (English) Zbl 1340.93204 Kybernetika 51, No. 3, 408-419 (2015). MSC: 93E12 62B10 68T35 93C40 PDFBibTeX XMLCite \textit{C. Klimeš} and \textit{J. Bartoš}, Kybernetika 51, No. 3, 408--419 (2015; Zbl 1340.93204) Full Text: DOI Link
Souza de Cursi, Eduardo; Sampaio, Rubens Uncertainty quantification and stochastic modeling with Matlab. (English) Zbl 1357.60007 Amsterdam: Elsevier; London: ISTE Press (ISBN 978-1-78548-005-8/hbk). xiii, 442 p. (2015). Reviewer: Marta Chinnici (Roma) MSC: 60-02 60A05 60A10 28Dxx 11K55 60B05 60Bxx 60G05 60G57 60G50 68N15 34A30 34A34 34A35 68T37 94A17 PDFBibTeX XMLCite \textit{E. Souza de Cursi} and \textit{R. Sampaio}, Uncertainty quantification and stochastic modeling with Matlab. Amsterdam: Elsevier; London: ISTE Press (2015; Zbl 1357.60007) Full Text: Link
Isakov, A. A.; Senichenkov, Yu. B. About detection substitutions in nonlinear algebraic equations with help of Tarjan’s algorithm. (English) Zbl 1325.65070 Senichenkov, Yuri B. (ed.) et al., Recent advances in mathematical methods in applied sciences. Proceedings of the 2014 international conference on mathematical models and methods in applied sciences (MMMAS ’14) and the 2014 international conference on economics and applied statistics (EAS ’14), Saint Petersburg, Russia, September 23–25, 2014. St. Petersburg: St. Petersburg State University (ISBN 978-1-61804-251-4/pbk). Mathematics and Computers in Science and Engineering Series 32, 146-150 (2014). MSC: 65H10 PDFBibTeX XMLCite \textit{A. A. Isakov} and \textit{Yu. B. Senichenkov}, Math. Comput. Sci. Eng. Ser. 32, 146--150 (2014; Zbl 1325.65070)
Pérez López, César MATLAB linear algebra. (English) Zbl 1316.65037 Matlab Solutions Series. Berkeley, CA: Apress; New York, NY: Springer (ISBN 978-1-4842-0323-1/pbk; 978-1-4842-0322-4/ebook). xi, 256 p. (2014). Reviewer: Michael Jung (Dresden) MSC: 65Fxx 65-01 68N15 15-04 65Y15 65D17 65D18 PDFBibTeX XMLCite \textit{C. Pérez López}, MATLAB linear algebra. Berkeley, CA: Apress; New York, NY: Springer (2014; Zbl 1316.65037) Full Text: DOI
Kirik, E. S.; Dekterev, A. A.; Litvintcev, K. Yu.; Kharlamov, K. B.; Malyshev, A. V. Mathematical modelling of fire evacuation. (Russian. English summary) Zbl 1313.90045 Mat. Model. 26, No. 1, 3-16 (2014). Reviewer: Sergei Georgievich Zhuravlev (Moskva) MSC: 90B20 68T35 90B50 PDFBibTeX XMLCite \textit{E. S. Kirik} et al., Mat. Model. 26, No. 1, 3--16 (2014; Zbl 1313.90045)
Ojalehto, Vesa; Miettinen, Kaisa; Laukkanen, Timo Implementation aspects of interactive multiobjective optimization for modeling environments: the case of GAMS-NIMBUS. (English) Zbl 1334.90003 Comput. Optim. Appl. 58, No. 3, 757-779 (2014). MSC: 90-04 90C29 PDFBibTeX XMLCite \textit{V. Ojalehto} et al., Comput. Optim. Appl. 58, No. 3, 757--779 (2014; Zbl 1334.90003) Full Text: DOI Link
Barbieri, Nicola; Manco, Giuseppe; Ritacco, Ettore Probabilistic approaches to recommendations. (English) Zbl 1298.68011 Synthesis Lectures on Data Mining and Knowledge Discovery 9. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-257-3/pbk; 978-1-62705-258-0/ebook). xv, 181 p. (2014). Reviewer: Florin Gorunescu (Craiova) MSC: 68-02 68T35 62-01 62F10 62F15 62H30 62M20 62C10 68T05 PDFBibTeX XMLCite \textit{N. Barbieri} et al., Probabilistic approaches to recommendations. San Rafael, CA: Morgan \& Claypool Publishers (2014; Zbl 1298.68011) Full Text: DOI
Fasano, Giorgio; Pintér, János D. Model development and optimization for space engineering: concepts, tools, applications, and perspectives. (English) Zbl 1365.90287 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, 1-32 (2013). MSC: 90C90 90C30 90C11 PDFBibTeX XMLCite \textit{G. Fasano} and \textit{J. D. Pintér}, Springer Optim. Appl. 73, 1--32 (2013; Zbl 1365.90287) Full Text: DOI
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea An algorithm for the identification of components in biochemical pathways. (English) Zbl 1337.92066 Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 69-84 (2013). MSC: 92C40 68Q45 68Q85 PDFBibTeX XMLCite \textit{G. Pardini} et al., Electron. Notes Theor. Comput. Sci. 299, 69--84 (2013; Zbl 1337.92066) Full Text: DOI
Kralemann, Björn; Lattmann, Claas The semantics of models: a semiotic philosophy of science approach. (English) Zbl 1452.03024 Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. 5th international workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7693, 50-69 (2013). MSC: 03A10 00A71 03B65 PDFBibTeX XMLCite \textit{B. Kralemann} and \textit{C. Lattmann}, Lect. Notes Comput. Sci. 7693, 50--69 (2013; Zbl 1452.03024) Full Text: DOI
Haraburda, David; Tarau, Paul Binary trees as a computational framework. (English) Zbl 1296.68028 Comput. Lang. Syst. Struct. 39, No. 4, 163-181 (2013). MSC: 68N18 68W05 68W40 PDFBibTeX XMLCite \textit{D. Haraburda} and \textit{P. Tarau}, Comput. Lang. Syst. Struct. 39, No. 4, 163--181 (2013; Zbl 1296.68028) Full Text: DOI
Kirches, Christian; Leyffer, Sven TACO: a toolkit for AMPL control optimization. (English) Zbl 1302.49043 Math. Program. Comput. 5, No. 3, 227-265 (2013). MSC: 49M37 68N15 90C11 93A30 65L80 PDFBibTeX XMLCite \textit{C. Kirches} and \textit{S. Leyffer}, Math. Program. Comput. 5, No. 3, 227--265 (2013; Zbl 1302.49043) Full Text: DOI
Narboni, Guy A. On rule systems whose consistency can be locally maintained. (English) Zbl 1293.68257 AI Commun. 26, No. 1, 67-77 (2013). MSC: 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{G. A. Narboni}, AI Commun. 26, No. 1, 67--77 (2013; Zbl 1293.68257) Full Text: DOI
Sun, Hongbin; Wu, Ziyan; Luo, Yangjun; Yang, Shengfeng Structural reliability updating and damage assessment with Bayesian networks. (Chinese. English summary) Zbl 1299.62108 Chin. J. Comput. Mech. 30, No. 5, 616-620, 652 (2013). MSC: 62N05 90B25 74K99 62F15 68T35 PDFBibTeX XMLCite \textit{H. Sun} et al., Chin. J. Comput. Mech. 30, No. 5, 616--620, 652 (2013; Zbl 1299.62108) Full Text: DOI
Pang, Yan; Li, Weiliang; Xia, Hao Equivalent state-dependent models of linear hybrid automata. (Chinese. English summary) Zbl 1289.93009 Control Theory Appl. 30, No. 3, 339-345 (2013). MSC: 93A30 93C85 68Q45 93C41 PDFBibTeX XMLCite \textit{Y. Pang} et al., Control Theory Appl. 30, No. 3, 339--345 (2013; Zbl 1289.93009) Full Text: DOI
Bortolussi, Luca; Policriti, Alberto (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. (English) Zbl 1272.68289 J. Log. Comput. 23, No. 4, 761-798 (2013). MSC: 68Q85 68N19 68N30 68Q45 68Q87 92C42 93A30 PDFBibTeX XMLCite \textit{L. Bortolussi} and \textit{A. Policriti}, J. Log. Comput. 23, No. 4, 761--798 (2013; Zbl 1272.68289) Full Text: DOI Link
Adamatzky, Andrew Reaction-diffusion automata. Phenomenology, localisations, computation. (English) Zbl 1248.68009 Emergence, Complexity and Computation 1. Berlin: Springer (ISBN 978-3-642-31077-5/hbk; 978-3-642-31078-2/ebook). xiv, 329 p. (2013). MSC: 68-02 68Q80 92E20 68Q45 37N25 00A71 PDFBibTeX XMLCite \textit{A. Adamatzky}, Reaction-diffusion automata. Phenomenology, localisations, computation. Berlin: Springer (2013; Zbl 1248.68009) Full Text: DOI
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza Formal modeling of evolving self-adaptive systems. (English) Zbl 1264.68131 Sci. Comput. Program. 78, No. 1, 3-26 (2012). MSC: 68T05 68N30 68Q70 PDFBibTeX XMLCite \textit{N. Khakpour} et al., Sci. Comput. Program. 78, No. 1, 3--26 (2012; Zbl 1264.68131) Full Text: DOI
Fourer, Robert On the evolution of optimization modeling systems. (English) Zbl 1267.01039 Doc. Math. Extra Vol., Optimization Stories, 377-388 (2012). MSC: 01A60 90-03 PDFBibTeX XMLCite \textit{R. Fourer}, Doc. Math. Extra Vol., 377--388 (2012; Zbl 1267.01039) Full Text: EMIS
Orozova, Daniela; Atanassov, Krassimir Generalized net model of the process of selection and usage of an intelligent e-learning system. (English) Zbl 1265.68264 C. R. Acad. Bulg. Sci. 65, No. 5, 591-598 (2012). Reviewer: Angela Slavova (Sofia) MSC: 68T35 68Q85 PDFBibTeX XMLCite \textit{D. Orozova} and \textit{K. Atanassov}, C. R. Acad. Bulg. Sci. 65, No. 5, 591--598 (2012; Zbl 1265.68264)
Porcel, C.; Tejeda-Lorente, A.; Martínez, M. A.; Herrera-Viedma, E. A hybrid recommender system for the selective dissemination of research resources in a technology transfer office. (English) Zbl 1238.68183 Inf. Sci. 184, No. 1, 1-19 (2012). MSC: 68U35 68T35 PDFBibTeX XMLCite \textit{C. Porcel} et al., Inf. Sci. 184, No. 1, 1--19 (2012; Zbl 1238.68183) Full Text: DOI
Mary, Leena Extraction and representation of prosody for speaker, speech and language recognition. (English) Zbl 1244.68005 SpringerBriefs in Speech Technology. New York, NY: Springer (ISBN 978-1-4614-1158-1/hbk; 978-1-4614-1159-8/ebook). x, 61 p. (2012). Reviewer: Neculai Curteanu (Iaşi) MSC: 68-02 68T10 68T50 68T05 68T30 68T35 PDFBibTeX XMLCite \textit{L. Mary}, Extraction and representation of prosody for speaker, speech and language recognition. New York, NY: Springer (2012; Zbl 1244.68005) Full Text: DOI
Rao, K. Sreenivasa Predicting prosody from text for text-to-speech synthesis. (English) Zbl 1254.68010 SpringerBriefs in Electrical and Computer Engineering. Speech Technology. New York, NY: Springer (ISBN 978-1-4614-1337-0/hbk; 978-1-4614-1338-7/ebook). xii, 130 p. (2012). Reviewer: Neculai Curteanu (Iaşi) MSC: 68-02 68T10 68T50 62M20 62M45 93E10 PDFBibTeX XMLCite \textit{K. S. Rao}, Predicting prosody from text for text-to-speech synthesis. New York, NY: Springer (2012; Zbl 1254.68010) Full Text: DOI
Berezovskaya, Yu. V.; Vorob’ev, V. A. Populations of interacting automata. (Russian. English summary) Zbl 1524.68167 Prikl. Diskretn. Mat. 2011, No. 4(14), 89-104 (2011). MSC: 68Q45 68Q85 92D25 PDFBibTeX XMLCite \textit{Yu. V. Berezovskaya} and \textit{V. A. Vorob'ev}, Prikl. Diskretn. Mat. 2011, No. 4(14), 89--104 (2011; Zbl 1524.68167) Full Text: MNR
Senichenkov, Yuriĭ B.; Kolesov, Yuriĭ B. Physical modeling in MvStudium. (English) Zbl 1480.93007 Differ. Uravn. Protsessy Upr. 2011, No. 2, 34-40 (2011). MSC: 93-04 93-08 PDFBibTeX XMLCite \textit{Y. B. Senichenkov} and \textit{Y. B. Kolesov}, Differ. Uravn. Protsessy Upr. 2011, No. 2, 34--40 (2011; Zbl 1480.93007) Full Text: Link
Kallrath, Josef Polylithic modeling and solution approaches using algebraic modeling systems. (English) Zbl 1259.90075 Optim. Lett. 5, No. 3, 453-466 (2011). MSC: 90C11 90C26 PDFBibTeX XMLCite \textit{J. Kallrath}, Optim. Lett. 5, No. 3, 453--466 (2011; Zbl 1259.90075) Full Text: DOI
Chirkov, M. K.; Shevchenko, A. S. Finitely nonstationary nondeterministic automata with random input. (English. Russian original) Zbl 1251.68127 Vestn. St. Petersbg. Univ., Math. 44, No. 2, 155-165 (2011); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2011, No. 2, 104-115 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. K. Chirkov} and \textit{A. S. Shevchenko}, Vestn. St. Petersbg. Univ., Math. 44, No. 2, 155--165 (2011; Zbl 1251.68127); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2011, No. 2, 104--115 (2011) Full Text: DOI
Turner, Peter; Petzold, Linda; Shiflet, Angela; Vakalis, Ignatios; Jordan, Kirk; John, Samuel St. Undergraduate computational science and engineering education. (English) Zbl 1235.97003 SIAM Rev. 53, No. 3, 561-574 (2011). Reviewer: Günther Bauer (Görlitz) MSC: 97M50 97M10 97P50 97P40 PDFBibTeX XMLCite \textit{P. Turner} et al., SIAM Rev. 53, No. 3, 561--574 (2011; Zbl 1235.97003) Full Text: DOI
Amblard, Maxime Encoding phases using commutativity and non-commutativity in a logical framework. (English) Zbl 1333.03092 Pogodalla, Sylvain (ed.) et al., Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22220-7/pbk). Lecture Notes in Computer Science 6736. Lecture Notes in Artificial Intelligence, 1-16 (2011). MSC: 03B65 91F20 PDFBibTeX XMLCite \textit{M. Amblard}, Lect. Notes Comput. Sci. 6736, 1--16 (2011; Zbl 1333.03092) Full Text: DOI arXiv
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits The theory of timed I/O automata. 2nd ed. (English) Zbl 1226.68004 Synthesis Lectures on Distributed Computing Theory 5. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-002-2/pbk; 978-1-69845-003-9/ebook). xiv, 123 p. (2011). Reviewer: Christel Baier (Dresden) MSC: 68-02 68Q45 68Q60 68W15 PDFBibTeX XMLCite \textit{D. K. Kaynar} et al., The theory of timed I/O automata. 2nd ed. San Rafael, CA: Morgan \& Claypool Publishers (2011; Zbl 1226.68004) Full Text: DOI
Dymowa, Ludmila Soft computing in economics and finance. (English) Zbl 1276.91005 Intelligent Systems Reference Library 6. Berlin: Springer (ISBN 978-3-642-17718-7/hbk; 978-3-642-17719-4/ebook). xii, 295 p. (2011). Reviewer: Marian Matłoka (Poznań) MSC: 91-02 91-08 91G80 03E72 68T35 68T37 PDFBibTeX XMLCite \textit{L. Dymowa}, Soft computing in economics and finance. Berlin: Springer (2011; Zbl 1276.91005) Full Text: DOI
Wang, Paul P.; Hsieh, Chih Hsun Modeling the degree of truthfulness. (English) Zbl 1253.03056 Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 17-38 (2010). MSC: 03B65 68T37 PDFBibTeX XMLCite \textit{P. P. Wang} and \textit{C. H. Hsieh}, Adv. Intell. Soft Comput. 82, 17--38 (2010; Zbl 1253.03056) Full Text: DOI
Yunes, Tallys; Aron, Ionuţ D.; Hooker, J. N. An integrated solver for optimization problems. (English) Zbl 1226.90047 Oper. Res. 58, No. 2, 342-356 (2010). MSC: 90C11 90C26 PDFBibTeX XMLCite \textit{T. Yunes} et al., Oper. Res. 58, No. 2, 342--356 (2010; Zbl 1226.90047) Full Text: DOI Link
Bowman, Howard (ed.); Derrick, John (ed.) Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. (English) Zbl 1233.68011 Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010). MSC: 68-06 68Q85 68N19 68Q60 68N30 68M14 68N15 00B15 PDFBibTeX XMLCite \textit{H. Bowman} (ed.) and \textit{J. Derrick} (ed.), Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. Cambridge: Cambridge University Press (2010; Zbl 1233.68011)
Li, Shuhao; Balaguer, Sandie; David, Alexandre; Larsen, Kim G.; Nielsen, Brian; Pusinskas, Saulius Scenario-based verification of real-time systems using UPPAAL. (English) Zbl 1209.68323 Form. Methods Syst. Des. 37, No. 2-3, 200-264 (2010). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{S. Li} et al., Form. Methods Syst. Des. 37, No. 2--3, 200--264 (2010; Zbl 1209.68323) Full Text: DOI
Ouedraogo, Lucien; Khoumsi, Ahmed; Nourelfath, Mustapha SetExp: a method of transformation of timed automata into finite state automata. (English) Zbl 1205.68210 Real-Time Syst. 46, No. 2, 189-250 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Ouedraogo} et al., Real-Time Syst. 46, No. 2, 189--250 (2010; Zbl 1205.68210) Full Text: DOI
Fourer, Robert; Ma, Jun; Martin, Kipp OSiL: An instance language for optimization. (English) Zbl 1189.90007 Comput. Optim. Appl. 45, No. 1, 181-203 (2010). MSC: 90-08 90Cxx 68M11 PDFBibTeX XMLCite \textit{R. Fourer} et al., Comput. Optim. Appl. 45, No. 1, 181--203 (2010; Zbl 1189.90007) Full Text: DOI
James, Perry R.; Chalin, Patrice Faster and more complete extended static checking for the Java modeling language. (English) Zbl 1185.68143 J. Autom. Reasoning 44, No. 1-2, 145-174 (2010). MSC: 68N15 68Q60 68T15 PDFBibTeX XMLCite \textit{P. R. James} and \textit{P. Chalin}, J. Autom. Reasoning 44, No. 1--2, 145--174 (2010; Zbl 1185.68143) Full Text: DOI
Heather, Michael; Rossiter, Nick Fragmentary structure of global knowledge: constructive processes for interoperability. (English) Zbl 1325.93010 Kybernetes 38, No. 7-8, 1409-1418 (2009). MSC: 93A10 68T35 03C35 PDFBibTeX XMLCite \textit{M. Heather} and \textit{N. Rossiter}, Kybernetes 38, No. 7--8, 1409--1418 (2009; Zbl 1325.93010) Full Text: DOI Link
Liu, Chao-Lin Selecting Bayesian-network models based on simulated expectation. (Selecting Baysian-network models based on simulated expectation.) (English) Zbl 1275.62038 Behaviormetrika 36, No. 1, 1-25 (2009). MSC: 62F15 68T35 PDFBibTeX XMLCite \textit{C.-L. Liu}, Behaviormetrika 36, No. 1, 1--25 (2009; Zbl 1275.62038) Full Text: DOI
Fuchs, Martin; Neumaier, Arnold Potential based clouds in robust design optimization. (English) Zbl 1211.62140 J. Stat. Theory Pract. 3, No. 1, 225-238 (2009). MSC: 62K25 62K05 62G15 68T35 62G30 62K86 PDFBibTeX XMLCite \textit{M. Fuchs} and \textit{A. Neumaier}, J. Stat. Theory Pract. 3, No. 1, 225--238 (2009; Zbl 1211.62140) Full Text: DOI
Hanneforth, Thomas; Würzner, Kay-Michael Statistical language models within the algebra of weighted rational languages. (English) Zbl 1224.68055 Acta Cybern. 19, No. 2, 313-356 (2009). MSC: 68Q70 68Q45 68T50 PDFBibTeX XMLCite \textit{T. Hanneforth} and \textit{K.-M. Würzner}, Acta Cybern. 19, No. 2, 313--356 (2009; Zbl 1224.68055)
Zuliane, Devanir; Oikawa, Marcio K.; Malkowski, Simon; Alcazar, José Perez; Ferreira, João Eduardo The riverfish approach to business process modeling: linking business steps to control-flow patterns. (English) Zbl 1184.68496 Bertino, Elisa (ed.) et al., Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03353-7/pbk; 978-3-642-03354-4/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 10, 179-193 (2009). MSC: 68T35 PDFBibTeX XMLCite \textit{D. Zuliane} et al., in: Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13--16, 2008. Revised selected papers. Berlin: Springer. 179--193 (2009; Zbl 1184.68496) Full Text: DOI
Mowafi, Yaser; Zhang, Dongsong; Fogionne, Guisseppi Examining a Bayesian approach to personalizing context awareness in ubiquitous computing environments. (English) Zbl 1186.68381 Bertino, Elisa (ed.) et al., Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03353-7/pbk; 978-3-642-03354-4/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 10, 44-55 (2009). MSC: 68T05 68N15 68N20 PDFBibTeX XMLCite \textit{Y. Mowafi} et al., in: Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13--16, 2008. Revised selected papers. Berlin: Springer. 44--55 (2009; Zbl 1186.68381) Full Text: DOI
Adamkó, Attila; Bornemissza, Csaba Combining the benefits of MVC design pattern and UML based modeling for different software platforms. (English) Zbl 1183.68186 Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173-179 (2009). MSC: 68N99 68N15 PDFBibTeX XMLCite \textit{A. Adamkó} and \textit{C. Bornemissza}, in: Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28--31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173--179 (2009; Zbl 1183.68186)
Michel, Olivier; Spicher, Antoine; Giavitto, Jean-Louis Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch. (English) Zbl 1185.68208 Nat. Comput. 8, No. 4, 865-889 (2009). MSC: 68N19 68U20 PDFBibTeX XMLCite \textit{O. Michel} et al., Nat. Comput. 8, No. 4, 865--889 (2009; Zbl 1185.68208) Full Text: DOI
Kogalovsky, M. R.; Kalinichenko, L. A. Conceptual and ontological modeling in information systems. (English. Russian original) Zbl 1187.68675 Program. Comput. Softw. 35, No. 5, 241-256 (2009); translation from Programmirovanie 35, No. 5 (2009). MSC: 68U35 68T05 PDFBibTeX XMLCite \textit{M. R. Kogalovsky} and \textit{L. A. Kalinichenko}, Program. Comput. Softw. 35, No. 5, 241--256 (2009; Zbl 1187.68675); translation from Programmirovanie 35, No. 5 (2009) Full Text: DOI
Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa Causal message sequence charts. (English) Zbl 1187.68081 Theor. Comput. Sci. 410, No. 41, 4094-4110 (2009). MSC: 68M14 PDFBibTeX XMLCite \textit{T. Gazagnaire} et al., Theor. Comput. Sci. 410, No. 41, 4094--4110 (2009; Zbl 1187.68081) Full Text: DOI
Cao, Jun; Goyal, Ayush; Novstrup, Krista A.; Midkiff, Samuel P.; Caruthers, James M. An optimizing compiler for parallel chemistry simulations. (English) Zbl 1191.68171 Int. J. Parallel Program. 37, No. 2, 127-152 (2009). MSC: 68N20 68U20 PDFBibTeX XMLCite \textit{J. Cao} et al., Int. J. Parallel Program. 37, No. 2, 127--152 (2009; Zbl 1191.68171) Full Text: DOI
Trillas, Enric On a model for the meaning of predicates – a naïve approach to the genesis of fuzzy sets. (English) Zbl 1174.03011 Seising, Rudolf (ed.), Views on fuzzy sets and systems from different perspectives. Philosophy and logic, criticisms and applications. Berlin: Springer (ISBN 978-3-540-93801-9/hbk; 978-3-540-93802-6/ebook). Studies in Fuzziness and Soft Computing 243, 175-205 (2009). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B65 03E72 68T30 91F20 PDFBibTeX XMLCite \textit{E. Trillas}, Stud. Fuzziness Soft Comput. 243, 175--205 (2009; Zbl 1174.03011) Full Text: DOI
Caiazzo, Alfonso; Falcone, Jean-Luc; Chopard, Bastien; Hoekstra, Alfons G. Asymptotic analysis of complex automata models for reaction-diffusion systems. (English) Zbl 1186.68247 Appl. Numer. Math. 59, No. 8, 2023-2034 (2009). MSC: 68Q45 68Q80 PDFBibTeX XMLCite \textit{A. Caiazzo} et al., Appl. Numer. Math. 59, No. 8, 2023--2034 (2009; Zbl 1186.68247) Full Text: DOI
Wang, Yingxu Toward a formal knowledge system theory and its cognitive informatics foundations. (English) Zbl 1246.68225 Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 1-19 (2009). MSC: 68T30 68T35 PDFBibTeX XMLCite \textit{Y. Wang}, Lect. Notes Comput. Sci. 5540, 1--19 (2009; Zbl 1246.68225) Full Text: DOI
Elmasri, Ramez A.; Navathe, Shamkant B. Fundamentals of database systems. Bachelor edition. 3rd ed. (Grundlagen von Datenbanksystemen. Bachelorausgabe.) (German) Zbl 1159.68414 München: Pearson Studium (ISBN 978-3-86894-012-1/pbk). 550 p. (2009). MSC: 68P15 68-01 68P05 PDFBibTeX XMLCite \textit{R. A. Elmasri} and \textit{S. B. Navathe}, Grundlagen von Datenbanksystemen. Bachelorausgabe. 3rd ed. München: Pearson Studium (2009; Zbl 1159.68414)
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M. Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245 Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008). MSC: 68Q85 68Q70 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Electron. Notes Theor. Comput. Sci. 209, 21--53 (2008; Zbl 1279.68245) Full Text: DOI
Dolan, Elizabeth D.; Fourer, Robert; Goux, Jean-Pierre; Munson, Todd S.; Sarich, Jason Kestrel: an interface from optimization modeling systems to the NEOS server. (English) Zbl 1243.90002 INFORMS J. Comput. 20, No. 4, 525-538 (2008). MSC: 90-04 68M11 68U35 PDFBibTeX XMLCite \textit{E. D. Dolan} et al., INFORMS J. Comput. 20, No. 4, 525--538 (2008; Zbl 1243.90002) Full Text: DOI Link
Grant, Michael C.; Boyd, Stephen P. Graph implementations for nonsmooth convex programs. (English) Zbl 1205.90223 Blondel, Vincent D. (ed.) et al., Recent advances in learning and control. Festschrift for Mathukumalli Vidyasagar on the occasion of his sixtieth birthday. London: Springer (ISBN 978-1-84800-154-1/pbk). Lecture Notes in Control and Information Sciences 371, 95-110 (2008). MSC: 90C25 PDFBibTeX XMLCite \textit{M. C. Grant} and \textit{S. P. Boyd}, Lect. Notes Control Inf. Sci. 371, 95--110 (2008; Zbl 1205.90223) Full Text: DOI
Chandran, Bala; Raghavan, S. Modeling and solving the capacitated vehicle routing problem on trees. (English) Zbl 1187.90043 Golden, Bruce (ed.) et al., The vehicle routing problem. Latest advances and new challenges. New York, NY: Springer (ISBN 978-0-387-77777-1/hbk). Operations Research/Computer Science Interfaces Series 43, 239-261 (2008). MSC: 90B06 90C35 PDFBibTeX XMLCite \textit{B. Chandran} and \textit{S. Raghavan}, Oper. Res./Comput. Sci. Interface Ser. 43, 239--261 (2008; Zbl 1187.90043) Full Text: DOI
Wu, Yi-fan; Wang, Hao-ran Collaborative filtering algorithm using user background information. (Chinese. English summary) Zbl 1171.68759 J. Comput. Appl. 28, No. 11, 2972-2974 (2008). MSC: 68T35 PDFBibTeX XMLCite \textit{Y.-f. Wu} and \textit{H.-r. Wang}, J. Comput. Appl. 28, No. 11, 2972--2974 (2008; Zbl 1171.68759) Full Text: DOI
Al-Anzi, Fawaz S. Modeling Arabic language diacritized names Markovian chains. (English) Zbl 1282.65024 Adv. Appl. Stat. 8, No. 2, 177-192 (2008). MSC: 65C40 60J22 60J10 03B65 68T50 91F20 PDFBibTeX XMLCite \textit{F. S. Al-Anzi}, Adv. Appl. Stat. 8, No. 2, 177--192 (2008; Zbl 1282.65024) Full Text: Link
Uschold, Michael Ontology-driven information systems: past, present and future. (English) Zbl 1171.68835 Eschenbach, Carola (ed.) et al., Formal ontology in information systems. Proceedings of the fifth international conference (FOIS 2008), Saarbrücken, Germany, October 31 – November 3, 2008. Amsterdam: IOP Press (ISBN 978-1-58603-923-3/hbk). Frontiers in Artificial Intelligence and Applications 183, 3-18 (2008). MSC: 68U35 68T35 PDFBibTeX XMLCite \textit{M. Uschold}, Front. Artif. Intell. Appl. 183, 3--18 (2008; Zbl 1171.68835)
Gerede, Cagdas E.; Ibarra, Oscar H.; Ravikumar, Bala; Su, Jianwen Minimum-cost delegation in service composition. (English) Zbl 1171.68002 Theor. Comput. Sci. 409, No. 3, 417-431 (2008). MSC: 68M14 68Q45 PDFBibTeX XMLCite \textit{C. E. Gerede} et al., Theor. Comput. Sci. 409, No. 3, 417--431 (2008; Zbl 1171.68002) Full Text: DOI
Olderog, Ernst-Rüdiger; Dierks, Henning Real-time systems. Formal specification and automatic verification. (English) Zbl 1161.68030 Cambridge: Cambridge University Press (ISBN 978-0-521-88333-7/hbk). xvi, 320 p. (2008). Reviewer: Waltraud Gerhardt (Delft) MSC: 68Q60 68Q45 68-02 PDFBibTeX XMLCite \textit{E.-R. Olderog} and \textit{H. Dierks}, Real-time systems. Formal specification and automatic verification. Cambridge: Cambridge University Press (2008; Zbl 1161.68030) Full Text: DOI