Papacchini, Fabio; Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare Local is best: efficient reductions to modal logic K. (English) Zbl 1512.68425 J. Autom. Reasoning 66, No. 4, 639-666 (2022); correction ibid. 66, No. 4, 1099 (2022). MSC: 68V15 03B35 03B45 PDF BibTeX XML Cite \textit{F. Papacchini} et al., J. Autom. Reasoning 66, No. 4, 639--666 (2022; Zbl 1512.68425) Full Text: DOI
Popescu, Andrei; Bauereiss, Thomas; Lammich, Peter Bounded-deducibility security (Invited Paper). (English) Zbl 07699420 Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 3, 20 p. (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Popescu} et al., LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 3, 20 p. (2021; Zbl 07699420) Full Text: DOI
Peng, Xicheng; Chen, Qihang; Zhang, Jingzhong; Chen, Mao Automated discovery of geometric theorems based on vector equations. (English) Zbl 07432185 J. Autom. Reasoning 65, No. 6, 711-726 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{X. Peng} et al., J. Autom. Reasoning 65, No. 6, 711--726 (2021; Zbl 07432185) Full Text: DOI
Wernhard, Christoph Craig interpolation with clausal first-order tableaux. (English) Zbl 07432183 J. Autom. Reasoning 65, No. 5, 647-690 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{C. Wernhard}, J. Autom. Reasoning 65, No. 5, 647--690 (2021; Zbl 07432183) Full Text: DOI arXiv
Kalita, Piotr; Zgliczyński, Piotr Rigorous FEM for one-dimensional Burgers equation. (English) Zbl 07377264 SIAM J. Appl. Dyn. Syst. 20, No. 2, 853-907 (2021). MSC: 65M60 35B10 37L05 37M15 35Q53 68V15 PDF BibTeX XML Cite \textit{P. Kalita} and \textit{P. Zgliczyński}, SIAM J. Appl. Dyn. Syst. 20, No. 2, 853--907 (2021; Zbl 07377264) Full Text: DOI arXiv
Popescu, Andrei; Lammich, Peter; Hou, Ping CoCon: a conference management system with formally verified document confidentiality. (English) Zbl 07356975 J. Autom. Reasoning 65, No. 2, 321-356 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Popescu} et al., J. Autom. Reasoning 65, No. 2, 321--356 (2021; Zbl 07356975) Full Text: DOI
Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan \(\mathrm{HO}\pi\) in Coq. (English) Zbl 07356968 J. Autom. Reasoning 65, No. 1, 75-124 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{G. Ambal} et al., J. Autom. Reasoning 65, No. 1, 75--124 (2021; Zbl 07356968) Full Text: DOI
Norkutė, Milda; Westerlund, Joakim The factor analytical approach in near unit root interactive effects panels. (English) Zbl 1471.62473 J. Econom. 221, No. 2, 569-590 (2021). MSC: 62M10 62F12 62H25 62M07 62P20 PDF BibTeX XML Cite \textit{M. Norkutė} and \textit{J. Westerlund}, J. Econom. 221, No. 2, 569--590 (2021; Zbl 1471.62473) Full Text: DOI
Guo, Xin; Li, Lexin; Wu, Qiang Modeling interactive components by coordinate kernel polynomial models. (English) Zbl 1485.68214 Math. Found. Comput. 3, No. 4, 263-277 (2020). MSC: 68T05 41A25 62G08 PDF BibTeX XML Cite \textit{X. Guo} et al., Math. Found. Comput. 3, No. 4, 263--277 (2020; Zbl 1485.68214) Full Text: DOI
Abzianidze, Lasha Solving textual entailment with the theorem prover for natural language. (English) Zbl 1476.68297 Appl. Math. Inform. Mech. 25, No. 2, 114-136 (2020). MSC: 68V15 03B65 68T50 PDF BibTeX XML Cite \textit{L. Abzianidze}, Appl. Math. Inform. Mech. 25, No. 2, 114--136 (2020; Zbl 1476.68297) Full Text: Link
Wu, Jianhong A joint test for serial correlation and heteroscedasticity in fixed-\(T\) panel regression models with interactive effects. (English) Zbl 1459.62216 Econ. Lett. 197, Article ID 109594, 5 p. (2020). MSC: 62P20 62M10 62F03 PDF BibTeX XML Cite \textit{J. Wu}, Econ. Lett. 197, Article ID 109594, 5 p. (2020; Zbl 1459.62216) Full Text: DOI
Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong Formalization of camera pose estimation algorithm based on Rodrigues formula. (English) Zbl 1458.68226 Formal Asp. Comput. 32, No. 4-6, 417-437 (2020). MSC: 68T45 68Q60 68T40 68V15 PDF BibTeX XML Cite \textit{S. Chen} et al., Formal Asp. Comput. 32, No. 4--6, 417--437 (2020; Zbl 1458.68226) Full Text: DOI
Ning, Xinran; Xu, Yang; He, Xingxing Extended unifying principle of clause elimination in first-order logic. (Chinese. English summary) Zbl 1463.03001 J. Southwest Jiaotong Univ. 55, No. 3, 588-595 (2020). MSC: 03B10 03B35 68V15 PDF BibTeX XML Cite \textit{X. Ning} et al., J. Southwest Jiaotong Univ. 55, No. 3, 588--595 (2020; Zbl 1463.03001) Full Text: DOI
Byeon, Seong Pil; Lee, Doo Yong Method for real-time simulation of haptic interaction with deformable objects using GPU-based parallel computing and homogeneous hexahedral elements. (English) Zbl 1468.74040 Comput. Mech. 65, No. 5, 1205-1218 (2020). MSC: 74M15 74S05 65Y05 PDF BibTeX XML Cite \textit{S. P. Byeon} and \textit{D. Y. Lee}, Comput. Mech. 65, No. 5, 1205--1218 (2020; Zbl 1468.74040) Full Text: DOI
Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments. (English) Zbl 1468.68304 J. Autom. Reasoning 64, No. 3, 461-484 (2020). MSC: 68V15 03B35 03B45 PDF BibTeX XML Cite \textit{C. Nalon} et al., J. Autom. Reasoning 64, No. 3, 461--484 (2020; Zbl 1468.68304) Full Text: DOI
Mutluergil, Suha Orhun; Tasiran, Serdar A mechanized refinement proof of the Chase-Lev deque using a proof system. (English) Zbl 1458.68276 Computing 101, No. 1, 59-74 (2019). MSC: 68W10 68P05 68Q60 68V15 PDF BibTeX XML Cite \textit{S. O. Mutluergil} and \textit{S. Tasiran}, Computing 101, No. 1, 59--74 (2019; Zbl 1458.68276) Full Text: DOI
Zhang, Weidong; Cui, Chang Delta-stepping synchronous parallel model. (Chinese. English summary) Zbl 1449.68045 J. Softw. 30, No. 12, 3622-3636 (2019). MSC: 68Q10 68W10 PDF BibTeX XML Cite \textit{W. Zhang} and \textit{C. Cui}, J. Softw. 30, No. 12, 3622--3636 (2019; Zbl 1449.68045) Full Text: DOI
Feng, Guohua; Peng, Bin; Su, Liangjun; Yang, Thomas Tao Semi-parametric single-index panel data models with interactive fixed effects: theory and practice. (English) Zbl 1452.62903 J. Econom. 212, No. 2, 607-622 (2019). MSC: 62P20 62M10 PDF BibTeX XML Cite \textit{G. Feng} et al., J. Econom. 212, No. 2, 607--622 (2019; Zbl 1452.62903) Full Text: DOI Link
Fan, Ping; Zhou, Ri-Gui; Hu, Wen Wen; Jing, NaiHuan Quantum image edge extraction based on Laplacian operator and zero-cross method. (English) Zbl 1417.81083 Quantum Inf. Process. 18, No. 1, Paper No. 27, 23 p. (2019). MSC: 81P68 68U10 35J05 68Q10 68Q12 94A08 PDF BibTeX XML Cite \textit{P. Fan} et al., Quantum Inf. Process. 18, No. 1, Paper No. 27, 23 p. (2019; Zbl 1417.81083) Full Text: DOI
Zhang, Jingzhong; Peng, Xicheng; Chen, Mao Self-evident automated proving based on point geometry from the perspective of Wu’s method identity. (English) Zbl 1468.68310 J. Syst. Sci. Complex. 32, No. 1, 78-94 (2019). MSC: 68V15 03B35 15A66 51M04 PDF BibTeX XML Cite \textit{J. Zhang} et al., J. Syst. Sci. Complex. 32, No. 1, 78--94 (2019; Zbl 1468.68310) Full Text: DOI
Morita, Hiraku; Attrapadung, Nuttapong; Teruya, Tadanori; Ohata, Satsuya; Nuida, Koji; Hanaoka, Goichiro Constant-round client-aided secure comparison protocol. (English) Zbl 07576041 Lopez, Javier (ed.) et al., Computer security. 23rd European symposium on research in computer security, ESORICS 2018, Barcelona, Spain, September 3–7, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11099, 395-415 (2018). MSC: 68Q10 94A60 94A62 PDF BibTeX XML Cite \textit{H. Morita} et al., Lect. Notes Comput. Sci. 11099, 395--415 (2018; Zbl 07576041) Full Text: DOI
Pavlov, Vladimir; Pak, Vadim WhaleProver: first-order intuitionistic theorem prover based on the inverse method. (English) Zbl 1461.68247 Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 322-336 (2018). MSC: 68V15 03B20 PDF BibTeX XML Cite \textit{V. Pavlov} and \textit{V. Pak}, Lect. Notes Comput. Sci. 10742, 322--336 (2018; Zbl 1461.68247) Full Text: DOI
Pavlov, V. A.; Pak, V. G. Theorem prover for intuitionistic logic based on the inverse method. (English. Russian original) Zbl 1455.68251 Program. Comput. Softw. 44, No. 1, 51-61 (2018); translation from Programmirovanie 44, No. 1, 46-59 (2018). MSC: 68V15 03B20 PDF BibTeX XML Cite \textit{V. A. Pavlov} and \textit{V. G. Pak}, Program. Comput. Softw. 44, No. 1, 51--61 (2018; Zbl 1455.68251); translation from Programmirovanie 44, No. 1, 46--59 (2018) Full Text: DOI
Zavodinskiĭ, Viktor Grigor’evich; Gorkusha, Ol’ga Aleksandrovna On the precision increasing in calculation of potential for the systems of interactive atoms. (Russian. English summary) Zbl 1434.81002 Chebyshevskiĭ Sb. 19, No. 2(66), 101-110 (2018). Reviewer: Abdallah Bradji (Annaba) MSC: 81-08 31B15 81V10 PDF BibTeX XML Cite \textit{V. G. Zavodinskiĭ} and \textit{O. A. Gorkusha}, Chebyshevskiĭ Sb. 19, No. 2(66), 101--110 (2018; Zbl 1434.81002) Full Text: DOI MNR Link
Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu Formal analysis of the kinematic Jacobian in screw theory. (English) Zbl 1426.70008 Formal Asp. Comput. 30, No. 6, 739-757 (2018). MSC: 70B15 68V15 PDF BibTeX XML Cite \textit{Z. Shi} et al., Formal Asp. Comput. 30, No. 6, 739--757 (2018; Zbl 1426.70008) Full Text: DOI
Nowak, Maciej; Targiel, Krzysztof S. Using a multicriteria interactive approach in scheduling non-critical activities. (English) Zbl 1398.90053 Oper. Res. Decis. 28, No. 1, 43-56 (2018). MSC: 90B35 90B50 PDF BibTeX XML Cite \textit{M. Nowak} and \textit{K. S. Targiel}, Oper. Res. Decis. 28, No. 1, 43--56 (2018; Zbl 1398.90053) Full Text: DOI
Perić, Tunjo; Babić, Zoran; Matejaš, Josip Comparative analysis of application efficiency of two iterative multi objective linear programming methods (MP method and STEM method). (English) Zbl 1397.90220 CEJOR, Cent. Eur. J. Oper. Res. 26, No. 3, 565-583 (2018). MSC: 90B50 90C29 91A12 90C05 90B30 PDF BibTeX XML Cite \textit{T. Perić} et al., CEJOR, Cent. Eur. J. Oper. Res. 26, No. 3, 565--583 (2018; Zbl 1397.90220) Full Text: DOI
Mendes, Alexandra; Ferreira, João F. Towards verified handwritten calculational proofs (short paper). (English) Zbl 1511.68328 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 432-440 (2018). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Mendes} and \textit{J. F. Ferreira}, Lect. Notes Comput. Sci. 10895, 432--440 (2018; Zbl 1511.68328) Full Text: DOI
Herus, V. A.; Ivanchuk, N. V.; Martyniuk, P. M. A system approach to mathematical and computer modeling of geomigration processes using FreeFem++ and parallelization of computations. (English. Russian original) Zbl 1393.93064 Cybern. Syst. Anal. 54, No. 2, 284-294 (2018); translation from Kibern. Sist. Anal. 2018, No. 2, xx (2018). MSC: 93C20 76S05 65N30 68Q10 PDF BibTeX XML Cite \textit{V. A. Herus} et al., Cybern. Syst. Anal. 54, No. 2, 284--294 (2018; Zbl 1393.93064); translation from Kibern. Sist. Anal. 2018, No. 2, xx (2018) Full Text: DOI
Sinha, Ankur; Malo, Pekka; Kallio, Markku Convex preference cone-based approach for many objective optimization problems. (English) Zbl 1458.90583 Comput. Oper. Res. 95, 1-11 (2018). MSC: 90C29 90B50 PDF BibTeX XML Cite \textit{A. Sinha} et al., Comput. Oper. Res. 95, 1--11 (2018; Zbl 1458.90583) Full Text: DOI
Neumann, Philipp; Zellner, Michael Lattice Boltzmann flow simulation on Android devices for interactive mobile-based learning. (English) Zbl 1487.76059 Desprez, Frédéric (ed.) et al., Euro-Par 2016: parallel processing workshops. Euro-Par 2016 international workshops, Grenoble, France, August 24–26, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10104, 3-15 (2017). MSC: 76M28 76M27 76R99 68T05 PDF BibTeX XML Cite \textit{P. Neumann} and \textit{M. Zellner}, Lect. Notes Comput. Sci. 10104, 3--15 (2017; Zbl 1487.76059) Full Text: DOI
Shaw, Krishnendu Fuzzy multi-objective, multi-item, multi-supplier, lot-sizing considering carbon footprint. (English) Zbl 1452.90038 Int. J. Math. Oper. Res. 11, No. 2, 171-203 (2017). MSC: 90B05 90C29 90C70 PDF BibTeX XML Cite \textit{K. Shaw}, Int. J. Math. Oper. Res. 11, No. 2, 171--203 (2017; Zbl 1452.90038) Full Text: DOI
Schneider, Sven; Lambers, Leen; Orejas, Fernando Symbolic model generation for graph properties. (English) Zbl 1430.68241 Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 226-243 (2017). MSC: 68R10 03B70 03C13 68V15 PDF BibTeX XML Cite \textit{S. Schneider} et al., Lect. Notes Comput. Sci. 10202, 226--243 (2017; Zbl 1430.68241) Full Text: DOI Link
Torun, F. Sukru; Manguoglu, Murat; Aykanat, Cevdet Parallel minimum norm solution of sparse block diagonal column overlapped underdetermined systems. (English) Zbl 1380.65080 ACM Trans. Math. Softw. 43, No. 4, Article No. 31, 21 p. (2017). MSC: 65F50 68Q10 PDF BibTeX XML Cite \textit{F. S. Torun} et al., ACM Trans. Math. Softw. 43, No. 4, Article No. 31, 21 p. (2017; Zbl 1380.65080) Full Text: DOI Link
Bibel, Wolfgang A vision for automated deduction rooted in the connection method. (English) Zbl 1496.68363 Schmidt, Renate A. (ed.) et al., Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10501, 3-21 (2017). MSC: 68V15 PDF BibTeX XML Cite \textit{W. Bibel}, Lect. Notes Comput. Sci. 10501, 3--21 (2017; Zbl 1496.68363) Full Text: DOI
Ding, Jie; Xu, Zeshui; Zhao, Na An interactive approach to probabilistic hesitant fuzzy multi-attribute group decision making with incomplete weight information. (English) Zbl 1376.91047 J. Intell. Fuzzy Syst. 32, No. 3, 2523-2536 (2017). MSC: 91B06 PDF BibTeX XML Cite \textit{J. Ding} et al., J. Intell. Fuzzy Syst. 32, No. 3, 2523--2536 (2017; Zbl 1376.91047) Full Text: DOI
Bagnall, Alexander; Merten, Samuel; Stewart, Gordon Brief announcement: Certified multiplicative weights update: verified learning without regret. (English) Zbl 1380.68329 Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 459-461 (2017). MSC: 68T05 68T15 PDF BibTeX XML Cite \textit{A. Bagnall} et al., in: Proceedings of the 36th ACM symposium on principles of distributed computing, PODC '17, Washington, DC, USA, July 25--27, 2017. New York, NY: Association for Computing Machinery (ACM). 459--461 (2017; Zbl 1380.68329) Full Text: DOI
Elfadaly, Fadlalla G.; Garthwaite, Paul H. Eliciting Dirichlet and Gaussian copula prior distributions for multinomial models. (English) Zbl 1505.62134 Stat. Comput. 27, No. 2, 449-467 (2017). MSC: 62-08 62F15 62H05 PDF BibTeX XML Cite \textit{F. G. Elfadaly} and \textit{P. H. Garthwaite}, Stat. Comput. 27, No. 2, 449--467 (2017; Zbl 1505.62134) Full Text: DOI
Novac, Ludmila A game theoretic approach for analyzing the currency exchanges and their risks. (English) Zbl 1424.91016 ROMAI J. 12, No. 1, 91-103 (2016). MSC: 91A18 91A26 91B76 PDF BibTeX XML Cite \textit{L. Novac}, ROMAI J. 12, No. 1, 91--103 (2016; Zbl 1424.91016)
Xiong, Huanliang; Zeng, Guosun Extension by refining task granularity for parallel computation with variable structures. (Chinese. English summary) Zbl 1374.68229 J. Tongji Univ., Nat. Sci. 44, No. 10, 1636-1644 (2016). MSC: 68Q10 68R10 PDF BibTeX XML Cite \textit{H. Xiong} and \textit{G. Zeng}, J. Tongji Univ., Nat. Sci. 44, No. 10, 1636--1644 (2016; Zbl 1374.68229) Full Text: DOI
Kamenev, G. K. Multicriteria identification sets method. (English. Russian original) Zbl 1370.90245 Comput. Math. Math. Phys. 56, No. 11, 1843-1858 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 11, 1872-1888 (2016). MSC: 90C29 PDF BibTeX XML Cite \textit{G. K. Kamenev}, Comput. Math. Math. Phys. 56, No. 11, 1843--1858 (2016; Zbl 1370.90245); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 11, 1872--1888 (2016) Full Text: DOI
Tezcaner Öztürk, Diclehan; Köksalan, Murat An interactive approach for biobjective integer programs under quasiconvex preference functions. (English) Zbl 1357.90142 Ann. Oper. Res. 244, No. 2, 677-696 (2016). MSC: 90C29 90C10 90C27 PDF BibTeX XML Cite \textit{D. Tezcaner Öztürk} and \textit{M. Köksalan}, Ann. Oper. Res. 244, No. 2, 677--696 (2016; Zbl 1357.90142) Full Text: DOI
Park, K. Sam; Lee, Pyoungsoo Compounding problem in an interactive multiple objective optimization method. (English) Zbl 1346.90749 Eur. J. Oper. Res. 248, No. 3, 1132-1135 (2016). MSC: 90C29 PDF BibTeX XML Cite \textit{K. S. Park} and \textit{P. Lee}, Eur. J. Oper. Res. 248, No. 3, 1132--1135 (2016; Zbl 1346.90749) Full Text: DOI
Ghaznavi, M.; Ilati, M.; Khorram, E. An interactive algorithm for solving multiobjective optimization problems based on a general scalarization technique. (English) Zbl 1343.65067 Iran. J. Numer. Anal. Optim. 6, No. 1, 79-99 (2016). MSC: 65K05 90C29 PDF BibTeX XML Cite \textit{M. Ghaznavi} et al., Iran. J. Numer. Anal. Optim. 6, No. 1, 79--99 (2016; Zbl 1343.65067) Full Text: DOI
Henggeler Antunes, Carlos; João Alves, Maria; Clímaco, João Multiobjective linear and integer programming. (English) Zbl 1358.90123 EURO Advanced Tutorials on Operational Research. Cham: Springer (ISBN 978-3-319-28744-7/hbk; 978-3-319-28746-1/ebook). viii, 209 p. (2016). Reviewer: Dinh The Luc (Avignon) MSC: 90-02 90C29 90C05 90C10 PDF BibTeX XML Cite \textit{C. Henggeler Antunes} et al., Multiobjective linear and integer programming. Cham: Springer (2016; Zbl 1358.90123) Full Text: DOI
Kang, K. S. Scalable implementation of the parallel multigrid method on massively parallel computers. (English) Zbl 1443.65044 Comput. Math. Appl. 70, No. 11, 2701-2708 (2015). MSC: 65F10 65N55 65Y05 68Q10 PDF BibTeX XML Cite \textit{K. S. Kang}, Comput. Math. Appl. 70, No. 11, 2701--2708 (2015; Zbl 1443.65044) Full Text: DOI
Subulan, Kemal; Taşan, A. Serdar; Baykasoğlu, Adil Designing an environmentally conscious tire closed-loop supply chain network with multiple recovery options using interactive fuzzy goal programming. (English) Zbl 1443.90135 Appl. Math. Modelling 39, No. 9, 2661-2702 (2015). MSC: 90B06 91B76 90C29 90C70 PDF BibTeX XML Cite \textit{K. Subulan} et al., Appl. Math. Modelling 39, No. 9, 2661--2702 (2015; Zbl 1443.90135) Full Text: DOI
Magron, Victor; Allamigeon, Xavier; Gaubert, Stéphane; Werner, Benjamin Formal proofs for nonlinear optimization. (English) Zbl 1451.90131 J. Formaliz. Reason. 8, No. 1, 1-24 (2015). MSC: 90C26 68V15 90C22 90C30 PDF BibTeX XML Cite \textit{V. Magron} et al., J. Formaliz. Reason. 8, No. 1, 1--24 (2015; Zbl 1451.90131) Full Text: DOI arXiv
Foster, T. M.; Mohamed, M. S.; Trevelyan, J.; Coates, G.; Spence, S. H.; Walker, S. K. Interactive three-dimensional boundary element stress analysis of components in aircraft structures. (English) Zbl 1403.74169 Eng. Anal. Bound. Elem. 56, 190-200 (2015). MSC: 74S15 65N38 74B05 PDF BibTeX XML Cite \textit{T. M. Foster} et al., Eng. Anal. Bound. Elem. 56, 190--200 (2015; Zbl 1403.74169) Full Text: DOI Link
Zimovets, Artem Anatol’evich; Matviĭchuk, Aleksandr Rostislavovich A parallel algorithm for constructing approximate attainable sets of nonlinear control systems. (Russian. English summary) Zbl 1362.93020 Vestn. Udmurt. Univ., Mat. Mekh. Komp’yut. Nauki 25, No. 4, 459-472 (2015). MSC: 93B03 93B40 93C10 93C83 68Q10 PDF BibTeX XML Cite \textit{A. A. Zimovets} and \textit{A. R. Matviĭchuk}, Vestn. Udmurt. Univ., Mat. Mekh. Komp'yut. Nauki 25, No. 4, 459--472 (2015; Zbl 1362.93020) Full Text: DOI MNR
Jiang, Yi; Xie, Yang; Ying, Jinyong; Xie, Dexuan; Yu, Zeyun SDPBS web server for calculation of electrostatics of ionic solvated biomolecules. (English) Zbl 1347.92025 Mol. Based Math. Biol. 3, 179-196 (2015). MSC: 92C40 68U05 68N30 PDF BibTeX XML Cite \textit{Y. Jiang} et al., Mol. Based Math. Biol. 3, 179--196 (2015; Zbl 1347.92025) Full Text: DOI
Miettinen, Kaisa; Podkopaev, Dmitry; Ruiz, Francisco; Luque, Mariano A new preference handling technique for interactive multiobjective optimization without trading-off. (English) Zbl 1331.90076 J. Glob. Optim. 63, No. 4, 633-652 (2015). MSC: 90C29 PDF BibTeX XML Cite \textit{K. Miettinen} et al., J. Glob. Optim. 63, No. 4, 633--652 (2015; Zbl 1331.90076) Full Text: DOI Link
Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare A modal-layered resolution calculus for K. (English) Zbl 1471.03017 De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 185-200 (2015). MSC: 03B35 03B45 68V15 PDF BibTeX XML Cite \textit{C. Nalon} et al., Lect. Notes Comput. Sci. 9323, 185--200 (2015; Zbl 1471.03017) Full Text: DOI
Bury, Guillaume; Delahaye, David Integrating simplex with tableaux. (English) Zbl 1471.68304 De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 86-101 (2015). MSC: 68V15 03B35 PDF BibTeX XML Cite \textit{G. Bury} and \textit{D. Delahaye}, Lect. Notes Comput. Sci. 9323, 86--101 (2015; Zbl 1471.68304) Full Text: DOI Link
Guan, Tao; Zhong, Denghua; Ren, Bingyu; Cheng, Pu Construction schedule optimization for high arch dams based on real-time interactive simulation. (English) Zbl 1328.90066 J. Ind. Manag. Optim. 11, No. 4, 1321-1342 (2015). MSC: 90B36 68U20 PDF BibTeX XML Cite \textit{T. Guan} et al., J. Ind. Manag. Optim. 11, No. 4, 1321--1342 (2015; Zbl 1328.90066) Full Text: DOI
Luque, Mariano Modified interactive Chebyshev algorithm (MICA) for non-convex multiobjective programming. (English) Zbl 1315.90045 Optim. Lett. 9, No. 1, 173-187 (2015). MSC: 90C29 90C59 PDF BibTeX XML Cite \textit{M. Luque}, Optim. Lett. 9, No. 1, 173--187 (2015; Zbl 1315.90045) Full Text: DOI
Chakraborty, Dipankar; Jana, Dipak Kumar; Roy, Tapan Kumar Multi-objective multi-item solid transportation problem with fuzzy inequality constraints. (English) Zbl 1379.90033 J. Inequal. Appl. 2014, Paper No. 338, 21 p. (2014). MSC: 90C29 90C08 90C70 PDF BibTeX XML Cite \textit{D. Chakraborty} et al., J. Inequal. Appl. 2014, Paper No. 338, 21 p. (2014; Zbl 1379.90033) Full Text: DOI
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 PDF BibTeX XML Cite \textit{V. Ojalehto} et al., Comput. Optim. Appl. 58, No. 3, 757--779 (2014; Zbl 1334.90003) Full Text: DOI Link
Ferretti, Gianni; Leva, Alberto; Scaglioni, Bruno Object-oriented modelling of general flexible multibody systems. (English) Zbl 1288.93016 Math. Comput. Model. Dyn. Syst. 20, No. 1, 1-22 (2014). MSC: 93A30 68Q10 PDF BibTeX XML Cite \textit{G. Ferretti} et al., Math. Comput. Model. Dyn. Syst. 20, No. 1, 1--22 (2014; Zbl 1288.93016) Full Text: DOI Link
Sakawa, M.; Matsui, T.; Katagiri, H. An interactive fuzzy satisficing method for random fuzzy multiobjective integer programming problems through probability maximization with possibility. (English) Zbl 1430.90569 Fuzzy Inf. Eng. 5, No. 3, 335-350 (2013). MSC: 90C70 90C29 90C10 90C15 PDF BibTeX XML Cite \textit{M. Sakawa} et al., Fuzzy Inf. Eng. 5, No. 3, 335--350 (2013; Zbl 1430.90569) Full Text: DOI
Chen, Ting-Yu An interactive method for multiple criteria group decision analysis based on interval type-2 fuzzy sets and its application to medical decision making. (English) Zbl 1429.91098 Fuzzy Optim. Decis. Mak. 12, No. 3, 323-356 (2013). MSC: 91B06 90B50 90C70 PDF BibTeX XML Cite \textit{T.-Y. Chen}, Fuzzy Optim. Decis. Mak. 12, No. 3, 323--356 (2013; Zbl 1429.91098) Full Text: DOI
Hasuike, Takashi; Katagiri, Hideki Robust-based interactive portfolio selection problems with an uncertainty set of returns. (English) Zbl 1397.91556 Fuzzy Optim. Decis. Mak. 12, No. 3, 263-288 (2013). MSC: 91G10 PDF BibTeX XML Cite \textit{T. Hasuike} and \textit{H. Katagiri}, Fuzzy Optim. Decis. Mak. 12, No. 3, 263--288 (2013; Zbl 1397.91556) Full Text: DOI
Sakawa, Masatoshi; Matsui, Takeshi Fuzzy multiobjective nonlinear operation planning in district heating and cooling plants. (English) Zbl 1284.90111 Fuzzy Sets Syst. 231, 58-69 (2013). MSC: 90C90 90C29 90C70 PDF BibTeX XML Cite \textit{M. Sakawa} and \textit{T. Matsui}, Fuzzy Sets Syst. 231, 58--69 (2013; Zbl 1284.90111) Full Text: DOI
Elfadaly, Fadlalla G.; Garthwaite, Paul H. Eliciting Dirichlet and Connor-Mosimann prior distributions for multinomial models. (English) Zbl 1367.62067 Test 22, No. 4, 628-646 (2013). MSC: 62F15 PDF BibTeX XML Cite \textit{F. G. Elfadaly} and \textit{P. H. Garthwaite}, Test 22, No. 4, 628--646 (2013; Zbl 1367.62067) Full Text: DOI
Chen, Wei-Lu; Zhang, Wen-Ting; Zhang, Li-Pu; Dai, Chao-Qing Interaction behaviors between special dromions in the (2+1)-dimensional Broer-Kaup-Kupershmidt equation. (English) Zbl 1264.37019 Commun. Theor. Phys. 59, No. 1, 68-72 (2013). MSC: 37K10 37K15 35C08 14D21 PDF BibTeX XML Cite \textit{W.-L. Chen} et al., Commun. Theor. Phys. 59, No. 1, 68--72 (2013; Zbl 1264.37019) Full Text: DOI
Hayakawa, Kazuhiko GMM estimation of short dynamic panel data models with interactive fixed effects. (English) Zbl 06229379 J. Jpn. Stat. Soc. 42, No. 2, 109-123 (2012). MSC: 62-XX PDF BibTeX XML Cite \textit{K. Hayakawa}, J. Jpn. Stat. Soc. 42, No. 2, 109--123 (2012; Zbl 06229379) Full Text: DOI Link
Ackermann, Etienne R.; Grobler, T. L.; Kleynhans, W.; Olivier, J. C.; Salmon, B. P.; van Zyl, A. J. Cavalieri integration. (English) Zbl 1274.26018 Quaest. Math. 35, No. 3, 265-296 (2012). MSC: 26A42 97I50 PDF BibTeX XML Cite \textit{E. R. Ackermann} et al., Quaest. Math. 35, No. 3, 265--296 (2012; Zbl 1274.26018) Full Text: DOI
Cantero, M. J.; Grünbaum, F. A.; Moral, L.; Velázquez, L. One-dimensional quantum walks with one defect. (English) Zbl 1251.81026 Rev. Math. Phys. 24, No. 2, 1250002, 52 p. (2012). MSC: 81P68 47B36 42C05 03D32 68Q10 81-02 PDF BibTeX XML Cite \textit{M. J. Cantero} et al., Rev. Math. Phys. 24, No. 2, 1250002, 52 p. (2012; Zbl 1251.81026) Full Text: DOI arXiv
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert Optimizing reversible simulation of injective functions. (English) Zbl 1236.68068 J. Mult.-Val. Log. Soft Comput. 18, No. 1, 5-24 (2012). MSC: 68Q10 68N01 68U20 PDF BibTeX XML Cite \textit{T. Yokoyama} et al., J. Mult.-Val. Log. Soft Comput. 18, No. 1, 5--24 (2012; Zbl 1236.68068)
Jain, Rahul; Ji, Zhengfeng; Upadhyay, Sarvagya; Watrous, John \(\mathrm{QIP} = \mathrm{PSPACE}\). (English) Zbl 1281.68117 J. ACM 58, No. 6, Article No. 30, 27 p. (2011). MSC: 68Q15 68Q12 68T15 PDF BibTeX XML Cite \textit{R. Jain} et al., J. ACM 58, No. 6, Article No. 30, 27 p. (2011; Zbl 1281.68117) Full Text: DOI arXiv
Ogryczak, Włodzimierz; Kozłowski, Bartosz Reference point method with importance weighted ordered partial achievements. (English) Zbl 1262.90073 Top 19, No. 2, 380-401 (2011). MSC: 90B50 90C29 PDF BibTeX XML Cite \textit{W. Ogryczak} and \textit{B. Kozłowski}, Top 19, No. 2, 380--401 (2011; Zbl 1262.90073) Full Text: DOI
Yamada, Susumu; Okumura, Masahiko Direct extension of the density-matrix renormalization group method toward two-dimensional large quantum lattices and related high-performance computing. (English) Zbl 1447.81083 Japan J. Ind. Appl. Math. 28, No. 1, 141-151 (2011). MSC: 81P68 81P15 81T25 81T17 82B20 82B28 68Q10 65Y05 PDF BibTeX XML Cite \textit{S. Yamada} and \textit{M. Okumura}, Japan J. Ind. Appl. Math. 28, No. 1, 141--151 (2011; Zbl 1447.81083) Full Text: DOI
Kato, Kosuke; Sakawa, Masatoshi An interactive fuzzy satisficing method based on variance minimization under expectation constraints for multiobjective stochastic linear programming problems. (English) Zbl 1237.90223 Soft Comput. 15, No. 1, 131-138 (2011). MSC: 90C29 90C15 90C70 PDF BibTeX XML Cite \textit{K. Kato} and \textit{M. Sakawa}, Soft Comput. 15, No. 1, 131--138 (2011; Zbl 1237.90223) Full Text: DOI
Tezcaner, Diclehan; Köksalan, Murat An interactive algorithm for multi-objective route planning. (English) Zbl 1222.90057 J. Optim. Theory Appl. 150, No. 2, 379-394 (2011). MSC: 90C29 90C27 PDF BibTeX XML Cite \textit{D. Tezcaner} and \textit{M. Köksalan}, J. Optim. Theory Appl. 150, No. 2, 379--394 (2011; Zbl 1222.90057) Full Text: DOI
Megahed, A. A.; El-Banna, Abou-Zaid; Youness, E. A.; Gomaa, H. G. A combined interactive approach for solving E-convex multiobjective nonlinear programming problem. (English) Zbl 1221.65147 Appl. Math. Comput. 217, No. 16, 6777-6784 (2011). MSC: 65K05 90C29 90C30 PDF BibTeX XML Cite \textit{A. A. Megahed} et al., Appl. Math. Comput. 217, No. 16, 6777--6784 (2011; Zbl 1221.65147) Full Text: DOI
Stavness, Ian; Lloyd, John E.; Payan, Yohan; Fels, Sidney Coupled hard-soft tissue simulation with contact and constraints applied to jaw-tongue-hyoid dynamics. (English) Zbl 1208.92006 Int. J. Numer. Methods Biomed. Eng. 27, No. 3, 367-390 (2011). MSC: 92C10 74S05 65C20 PDF BibTeX XML Cite \textit{I. Stavness} et al., Int. J. Numer. Methods Biomed. Eng. 27, No. 3, 367--390 (2011; Zbl 1208.92006) Full Text: DOI HAL
Bashiri, Mahdi; Badri, Hossein; Hejazi, Taha Hossein Selecting optimum maintenance strategy by fuzzy interactive linear assignment method. (English) Zbl 1202.90096 Appl. Math. Modelling 35, No. 1, 152-164 (2011). MSC: 90B25 90B70 90C05 90C70 PDF BibTeX XML Cite \textit{M. Bashiri} et al., Appl. Math. Modelling 35, No. 1, 152--164 (2011; Zbl 1202.90096) Full Text: DOI
Jain, Rahul; Ji, Zhengfeng; Upadhyay, Sarvagya; Watrous, John \(\mathrm{QIP} = \mathrm{PSPACE}\). (English) Zbl 1293.68133 Proceedings of the 42nd annual ACM symposium on theory of computing, STOC ’10. Cambridge, MA, USA, June 5–8, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-817-9). 573-582 (2010). MSC: 68Q15 68Q12 PDF BibTeX XML Cite \textit{R. Jain} et al., in: Proceedings of the 42nd annual ACM symposium on theory of computing, STOC '10. Cambridge, MA, USA, June 5--8, 2010. New York, NY: Association for Computing Machinery (ACM). 573--582 (2010; Zbl 1293.68133) Full Text: DOI
Zrałek, Bartosz A deterministic version of Pollard’s \(p-1\) algorithm. (English) Zbl 1227.11125 Math. Comput. 79, No. 269, 513-533 (2010). Reviewer: Florin Nicolae (Berlin) MSC: 11Y16 11Y05 68Q10 PDF BibTeX XML Cite \textit{B. Zrałek}, Math. Comput. 79, No. 269, 513--533 (2010; Zbl 1227.11125) Full Text: DOI arXiv
García-Ligero, M. J.; Román, P. Interactive materials for the resolution of a linear programming problem using the simplex method. (Spanish. English summary) Zbl 1212.90260 Rev. Invest. Oper. 31, No. 2, 171-179 (2010). MSC: 90C05 97D40 97M40 PDF BibTeX XML Cite \textit{M. J. García-Ligero} and \textit{P. Román}, Rev. Invest. Oper. 31, No. 2, 171--179 (2010; Zbl 1212.90260)
Hosseinzadeh Lotfi, F.; Jahanshahloo, G. R.; Ebrahimnejad, A.; Soltanifar, M.; Mansourzadeh, S. M. Target setting in the general combined-oriented CCR model using an interactive MOLP method. (English) Zbl 1185.62023 J. Comput. Appl. Math. 234, No. 1, 1-9 (2010). MSC: 62C99 62G05 90C05 90C29 90B50 PDF BibTeX XML Cite \textit{F. Hosseinzadeh Lotfi} et al., J. Comput. Appl. Math. 234, No. 1, 1--9 (2010; Zbl 1185.62023) Full Text: DOI
Luque, Mariano; Ruiz, Francisco; Steuer, Ralph E. Modified interactive Chebyshev algorithm (MICA) for convex multiobjective programming. (English) Zbl 1181.90238 Eur. J. Oper. Res. 204, No. 3, 557-564 (2010). MSC: 90C29 90C25 PDF BibTeX XML Cite \textit{M. Luque} et al., Eur. J. Oper. Res. 204, No. 3, 557--564 (2010; Zbl 1181.90238) Full Text: DOI
Deep, Kusum; Singh, Krishna Pratap; Kansal, M. L.; Mohan, C. A fuzzy interactive approach for optimal portfolio management. (English) Zbl 1189.91192 Opsearch 46, No. 1, 69-88 (2009). MSC: 91G10 90C29 90C70 PDF BibTeX XML Cite \textit{K. Deep} et al., Opsearch 46, No. 1, 69--88 (2009; Zbl 1189.91192) Full Text: DOI
Efremov, Roman; Kamenev, Georgy Optimality of the methods for approximating the feasible criterion set in the convex case. (English) Zbl 1176.90530 Barichard, Vincent (ed.) et al., Multiobjective programming and goal programming. Theoretical results and practical applications. Selected papers based on the presentations at the international conference on multiobjective programming and goal programming (MOP/GP 2006), Tours, France, June 12–14, 2006. Berlin: Springer (ISBN 978-3-540-85645-0/pbk; 978-3-540-85646-7/ebook). Lecture Notes in Economics and Mathematical Systems 618, 25-33 (2009). MSC: 90C29 PDF BibTeX XML Cite \textit{R. Efremov} and \textit{G. Kamenev}, Lect. Notes Econ. Math. Syst. 618, 25--33 (2009; Zbl 1176.90530) Full Text: DOI
Encrenaz, Emmanuelle; Fribourg, Laurent Time separation of events: an inverse method. (English) Zbl 1279.68256 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, 135-148 (2008). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{E. Encrenaz} and \textit{L. Fribourg}, Electron. Notes Theor. Comput. Sci. 209, 135--148 (2008; Zbl 1279.68256) Full Text: DOI
Juhász, Imre; Hoffmann, Miklós Surface interpolation with local control by linear blending. (English) Zbl 1212.65068 Ann. Math. Inform. 36, 77-84 (2009). MSC: 65D17 65D05 65D07 PDF BibTeX XML Cite \textit{I. Juhász} and \textit{M. Hoffmann}, Ann. Math. Inform. 36, 77--84 (2008; Zbl 1212.65068) Full Text: EuDML
Chen, Jianzhong; Xu, Jiuping TOPSIS based interactive multi-attributes group decision-making method and its application. (Chinese. English summary) Zbl 1174.90532 J. Syst. Eng. 23, No. 3, 276-281, 346 (2008). MSC: 90B50 PDF BibTeX XML Cite \textit{J. Chen} and \textit{J. Xu}, J. Syst. Eng. 23, No. 3, 276--281, 346 (2008; Zbl 1174.90532)
Lu, Jie; Zhang, Guangquan; Ruan, Da Fuzzy multi-objective decision-making models and approaches. (English) Zbl 1155.90497 Kahraman, Cengiz (ed.), Fuzzy multi-criteria decision making. Theory and applications with recent developments. New York, NY: Springer (ISBN 978-0-387-76812-0/hbk; 978-0-387-76813-7/ebook). Springer Optimization and Its Applications 16, 483-522 (2008). MSC: 90C70 90C29 90C05 PDF BibTeX XML Cite \textit{J. Lu} et al., Springer Optim. Appl. 16, 483--522 (2008; Zbl 1155.90497) Full Text: DOI
Das, B.; Mahapatra, N. K.; Maiti, M. Initial-valued first-order fuzzy differential equation in bi-level inventory model with fuzzy demand. (English) Zbl 1182.90004 Math. Model. Anal. 13, No. 4, 493-512 (2008). MSC: 90B05 90C70 90C59 PDF BibTeX XML Cite \textit{B. Das} et al., Math. Model. Anal. 13, No. 4, 493--512 (2008; Zbl 1182.90004) Full Text: DOI
Abo-Sinna, Mahmoud A.; Amer, Azza H.; Ibrahim, Ashraf S. Hierarchical generation of \(\alpha \)-Pareto optimal solutions in large-scale multi-objective non-linear systems with fuzzy parameters. (English) Zbl 1145.90438 Appl. Math. Modelling 32, No. 6, 930-957 (2008). MSC: 90C29 90C70 PDF BibTeX XML Cite \textit{M. A. Abo-Sinna} et al., Appl. Math. Modelling 32, No. 6, 930--957 (2008; Zbl 1145.90438) Full Text: DOI
Ibrahim, Zuwairie; Rose, John A.; Suyama, Akira; Khalid, Marzuki Experimental implementation and analysis of a DNA computing readout method based on real-time PCR with TaQman probes. (English) Zbl 1148.68376 Nat. Comput. 7, No. 2, 277-286 (2008). MSC: 68Q10 PDF BibTeX XML Cite \textit{Z. Ibrahim} et al., Nat. Comput. 7, No. 2, 277--286 (2008; Zbl 1148.68376) Full Text: DOI
Aaronson, Scott Quantum certificate complexity. (English) Zbl 1147.68517 J. Comput. Syst. Sci. 74, No. 3, 313-322 (2008). MSC: 68Q10 81P68 PDF BibTeX XML Cite \textit{S. Aaronson}, J. Comput. Syst. Sci. 74, No. 3, 313--322 (2008; Zbl 1147.68517) Full Text: DOI arXiv
Uno, Takeshi; Katagiri, Hideki Single- and multi-objective defensive location problems on a network. (English) Zbl 1135.90022 Eur. J. Oper. Res. 188, No. 1, 76-84 (2008). MSC: 90B80 90C29 PDF BibTeX XML Cite \textit{T. Uno} and \textit{H. Katagiri}, Eur. J. Oper. Res. 188, No. 1, 76--84 (2008; Zbl 1135.90022) Full Text: DOI
Van Berkel, C.; Lionheart, W. R. B. Reconstruction of a grounded object in an electrostatic halfspace with an indicator function. (English) Zbl 1202.78011 Inverse Probl. Sci. Eng. 15, No. 6, 585-600 (2007). MSC: 78A30 35R30 PDF BibTeX XML Cite \textit{C. Van Berkel} and \textit{W. R. B. Lionheart}, Inverse Probl. Sci. Eng. 15, No. 6, 585--600 (2007; Zbl 1202.78011) Full Text: DOI
Lotov, A. V.; Pospelov, A. I. The quasi-reasonable goals method for integer multicriteria optimization problems. (English. Russian original) Zbl 1176.90547 Dokl. Math. 75, No. 3, 460-462 (2007); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 414, No. 3, 317-319 (2007). Reviewer: Tadeusz Trzaskalik (Katowice) MSC: 90C29 90C10 PDF BibTeX XML Cite \textit{A. V. Lotov} and \textit{A. I. Pospelov}, Dokl. Math. 75, No. 3, 460--462 (2007; Zbl 1176.90547); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 414, No. 3, 317--319 (2007) Full Text: DOI
Lu, Jie; Wu, Fengjie; Zhang, Guangquan On a generalized fuzzy goal optimization for solving fuzzy multi-objective linear programming problems. (English) Zbl 1151.90542 J. Intell. Fuzzy Syst. 18, No. 1, 83-97 (2007). MSC: 90C29 90C05 90C70 PDF BibTeX XML Cite \textit{J. Lu} et al., J. Intell. Fuzzy Syst. 18, No. 1, 83--97 (2007; Zbl 1151.90542)
Lelikova, E. F.; Rubina, L. I.; Ul’yanov, O. N.; Chashchin, M. A. Parallel computing in problems that occur during mathematical simulation of radiation transfer. (English. Russian original) Zbl 1153.68380 Autom. Remote Control 68, No. 5, 860-873 (2007); translation from Avtom. Telemekh. 68, No. 5, 126-140 (2007). MSC: 68Q10 68U20 68N19 PDF BibTeX XML Cite \textit{E. F. Lelikova} et al., Autom. Remote Control 68, No. 5, 860--873 (2007; Zbl 1153.68380); translation from Avtom. Telemekh. 68, No. 5, 126--140 (2007) Full Text: DOI
Koiran, Pascal; Nesme, Vincent; Portier, Natacha The quantum query complexity of the abelian hidden subgroup problem. (English) Zbl 1118.68068 Theor. Comput. Sci. 380, No. 1-2, 115-126 (2007). MSC: 68Q10 81P68 68Q17 68Q25 PDF BibTeX XML Cite \textit{P. Koiran} et al., Theor. Comput. Sci. 380, No. 1--2, 115--126 (2007; Zbl 1118.68068) Full Text: DOI Link
Álvarez, F.; Moraga, N.; Cousteix, J. An updated interactive boundary layer method for high Reynolds number flows. (English) Zbl 1110.76309 Int. J. Numer. Methods Eng. 66, No. 2, 191-213 (2006). MSC: 76D10 76D09 76M20 PDF BibTeX XML Cite \textit{F. Álvarez} et al., Int. J. Numer. Methods Eng. 66, No. 2, 191--213 (2006; Zbl 1110.76309) Full Text: DOI
Wen, Yuh-Horng; Hsu, Chaug-Ing Interactive multiobjective programming in airline network design for international airline code-share alliance. (English) Zbl 1116.90024 Eur. J. Oper. Res. 174, No. 1, 404-426 (2006). MSC: 90B10 90C29 PDF BibTeX XML Cite \textit{Y.-H. Wen} and \textit{C.-I. Hsu}, Eur. J. Oper. Res. 174, No. 1, 404--426 (2006; Zbl 1116.90024) Full Text: DOI