Khan, Mohd. Nazrul Islam On a structure defined by a tensor field \(f(\ne 0)\) of type \((1,1)\) satisfying \((f^{2v+3}+\lambda^2f)(f^{2v+3}+\mu^2f)=0\). (English) Zbl 1430.53035 Nepali Math. Sci. Rep. 19, No. 1-2, 63-66 (2001). MSC: 53C15 PDFBibTeX XMLCite \textit{Mohd. N. I. Khan}, Nepali Math. Sci. Rep. 19, No. 1--2, 63--66 (2001; Zbl 1430.53035)
Singh, M. M. P. Some operation-transform formulas for \(S_\mu\)-transform. (English) Zbl 1431.44002 Nepali Math. Sci. Rep. 19, No. 1-2, 45-50 (2001). MSC: 44A15 PDFBibTeX XMLCite \textit{M. M. P. Singh}, Nepali Math. Sci. Rep. 19, No. 1--2, 45--50 (2001; Zbl 1431.44002)
Jefferies, B.; Johnson, G. W. Feynman’s operational calculi for noncommuting operators: The monogenic calculus. (English) Zbl 1096.47501 Adv. Appl. Clifford Algebr. 11, No. 2, 239-264 (2001). Reviewer: Alan J. Pryde (Clayton) MSC: 47A60 46H30 47A25 30G35 PDFBibTeX XMLCite \textit{B. Jefferies} and \textit{G. W. Johnson}, Adv. Appl. Clifford Algebr. 11, No. 2, 239--264 (2001; Zbl 1096.47501) Full Text: DOI
Papadima, Ştefan On the indeterminacy and the realization of Milnor’s \(\overline{\mu}\)-invariants. (English) Zbl 1034.57009 Rev. Roum. Math. Pures Appl. 46, No. 4, 471-487 (2001). MSC: 57M25 20F36 20F18 20F12 PDFBibTeX XMLCite \textit{Ş. Papadima}, Rev. Roum. Math. Pures Appl. 46, No. 4, 471--487 (2001; Zbl 1034.57009)
Afanas, Dorin N. Topologies on functional spaces. (English) Zbl 1022.54009 Bul. Acad. Ştiinţe Repub. Mold., Mat. 2001, No. 2(36), 111-124 (2001). MSC: 54C35 46E10 PDFBibTeX XMLCite \textit{D. N. Afanas}, Bul. Acad. Științe Repub. Mold., Mat. 2001, No. 2(36), 111--124 (2001; Zbl 1022.54009)
Vaughan, J. E. Zero-dimensional spaces from linear structures. (English) Zbl 1020.54018 Indag. Math., New Ser. 12, No. 4, 585-596 (2001). Reviewer: H.Brandenburg (Berlin) MSC: 54E20 54E15 54D70 54G20 54B10 54D20 PDFBibTeX XMLCite \textit{J. E. Vaughan}, Indag. Math., New Ser. 12, No. 4, 585--596 (2001; Zbl 1020.54018) Full Text: DOI
Ait Sibaha, M.; Akkouchi, M.; Bakali, A.; Bouikhalene, B. Characterization of \(\mu\)-spherical functions by integrodifferential equations. (Caractérisation des fonctions \(\mu\)-sphériques par des équations intégro-différentielles.) (French) Zbl 1012.43002 Math-Rech. Appl. 3, 29-38 (2001). MSC: 43A35 22D20 33C80 PDFBibTeX XMLCite \textit{M. Ait Sibaha} et al., Math-Rech. Appl. 3, 29--38 (2001; Zbl 1012.43002)
Leyva-Ramos, Jesus; Morales-Saldaña, Jorge Alberto; Vital-Ochoa, Omar \(\mu\)-stability analysis for current-programmed regulators. (English) Zbl 1027.94523 Appl. Math. Comput. 120, No. 1-3, 3-14 (2001). MSC: 94C05 93D09 PDFBibTeX XMLCite \textit{J. Leyva-Ramos} et al., Appl. Math. Comput. 120, No. 1--3, 3--14 (2001; Zbl 1027.94523) Full Text: DOI
Miculan, Marino On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 1007.03032 Inf. Comput. 164, No. 1, 199-231 (2001). MSC: 03B70 68Q60 03B35 68T15 03B45 03D70 PDFBibTeX XMLCite \textit{M. Miculan}, Inf. Comput. 164, No. 1, 199--231 (2001; Zbl 1007.03032) Full Text: DOI
Karkoub, Mansour A.; Zribi, Mohamed Robust control schemes for an overhead crane. (English) Zbl 1006.70513 J. Vib. Control 7, No. 3, 395-416 (2001). MSC: 70Q05 70E55 PDFBibTeX XMLCite \textit{M. A. Karkoub} and \textit{M. Zribi}, J. Vib. Control 7, No. 3, 395--416 (2001; Zbl 1006.70513) Full Text: DOI
Mahmoud, Magdi S.; Xie, Lihua Passivity analysis and synthesis for uncertain time-delay systems. (English) Zbl 1014.93038 Math. Probl. Eng. 7, No. 5, 455-484 (2001). Reviewer: Stephan Paul Banks (Sheffield) MSC: 93D21 93C23 93D09 93B51 PDFBibTeX XMLCite \textit{M. S. Mahmoud} and \textit{L. Xie}, Math. Probl. Eng. 7, No. 5, 455--484 (2001; Zbl 1014.93038) Full Text: DOI EuDML
Eklof, Paul C.; Trlifaj, Jan How to make Ext vanish. (English) Zbl 1030.16004 Bull. Lond. Math. Soc. 33, No. 1, 41-51 (2001). Reviewer: Ladislav Bican (Praha) MSC: 16E30 20K40 18G15 16B70 16S90 16D90 20K20 PDFBibTeX XMLCite \textit{P. C. Eklof} and \textit{J. Trlifaj}, Bull. Lond. Math. Soc. 33, No. 1, 41--51 (2001; Zbl 1030.16004) Full Text: DOI
Artico, Giuliano; Marconi, Umberto A result about selectors in non-Archimedean spaces. (English) Zbl 1006.54024 Rend. Ist. Mat. Univ. Trieste 32, Suppl. 2, 1-7 (2001). MSC: 54C65 54B20 54G05 PDFBibTeX XMLCite \textit{G. Artico} and \textit{U. Marconi}, Rend. Ist. Mat. Univ. Trieste 32, 1--7 (2001; Zbl 1006.54024)
Wu, Qunying \(\mu\)-invariant vectors for \(Q\)-processes. (Chinese. English summary) Zbl 0997.60078 Math. Appl. 14, Suppl., 57-61 (2001). MSC: 60J27 60J99 PDFBibTeX XMLCite \textit{Q. Wu}, Math. Appl. 14, 57--61 (2001; Zbl 0997.60078)
Sirotkin, G. G. New properties of Lebesgue-Bochner \(L_p(\Omega,\Sigma,\mu;X)\) spaces. (English) Zbl 1030.46043 Houston J. Math. 27, No. 4, 897-906 (2001). Reviewer: Surjit Singh Khurana (Iowa City) MSC: 46E40 46E30 PDFBibTeX XMLCite \textit{G. G. Sirotkin}, Houston J. Math. 27, No. 4, 897--906 (2001; Zbl 1030.46043)
Ponse, Alban; Usenko, Yaroslav S. Equivalence of recursive specifications in process algebra. (English) Zbl 1003.68088 Inf. Process. Lett. 80, No. 1, 59-65 (2001). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Ponse} and \textit{Y. S. Usenko}, Inf. Process. Lett. 80, No. 1, 59--65 (2001; Zbl 1003.68088) Full Text: DOI
Zahran, A. M. On fuzzy subspaces. (English) Zbl 1005.54006 Kyungpook Math. J. 41, No. 2, 361-369 (2001). MSC: 54A40 54B05 PDFBibTeX XMLCite \textit{A. M. Zahran}, Kyungpook Math. J. 41, No. 2, 361--369 (2001; Zbl 1005.54006)
Kretchmar, R. Matthew; Young, Peter M.; Anderson, Charles W.; Hittle, Douglas C.; Anderson, Michael L.; Delnero, Christopher C. Robust reinforcement learning control with static and dynamic stability. (English) Zbl 0994.93054 Int. J. Robust Nonlinear Control 11, No. 15, 1469-1500 (2001). Reviewer: Angela Slavova (Sofia) MSC: 93D21 92B20 PDFBibTeX XMLCite \textit{R. M. Kretchmar} et al., Int. J. Robust Nonlinear Control 11, No. 15, 1469--1500 (2001; Zbl 0994.93054) Full Text: DOI
Güvenç, Levent; Ackermann, Jürgen Links between the parameter space and frequency domain methods of robust control. (English) Zbl 1054.93019 Int. J. Robust Nonlinear Control 11, No. 15, 1435-1453 (2001). MSC: 93B35 93C80 93B51 93D09 PDFBibTeX XMLCite \textit{L. Güvenç} and \textit{J. Ackermann}, Int. J. Robust Nonlinear Control 11, No. 15, 1435--1453 (2001; Zbl 1054.93019) Full Text: DOI
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules A fixed-point characterization of a deontic logic of regular action. (English) Zbl 0995.03016 Fundam. Inform. 48, No. 2-3, 107-128 (2001). MSC: 03B45 68T27 PDFBibTeX XMLCite \textit{J. Broersen} et al., Fundam. Inform. 48, No. 2--3, 107--128 (2001; Zbl 0995.03016)
Arslan, Kadri; Murathan, Cengizhan; Özgür, Cihan; Yildiz, Ahmet Pseudosymmetric contact metric manifolds in the sense of M. C. Chaki. (English) Zbl 1014.53027 Proc. Est. Acad. Sci., Phys. Math. 50, No. 3, 124-132 (2001). Reviewer: Eric Boeckx (Leuven) MSC: 53C25 53D10 PDFBibTeX XMLCite \textit{K. Arslan} et al., Proc. Est. Acad. Sci., Phys. Math. 50, No. 3, 124--132 (2001; Zbl 1014.53027)
Bollig, Benedikt; Leucker, Martin; Weber, Michael Parallel model checking for the alternation free \(\mu\)-calculus. (English) Zbl 0986.68065 Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 543-558 (2001). MSC: 68Q60 68W10 91A05 03B44 PDFBibTeX XMLCite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 2031, 543--558 (2001; Zbl 0986.68065)
Guo, Tie-Xin; Peng, Sheng-Lan A characterization for an \(L(\mu,K)\)-topological module to admit enough canonical module homomorphisms. (English) Zbl 1014.46018 J. Math. Anal. Appl. 263, No. 2, 580-599 (2001). Reviewer: H.Mascart (Toulouse) MSC: 46H25 16W80 PDFBibTeX XMLCite \textit{T.-X. Guo} and \textit{S.-L. Peng}, J. Math. Anal. Appl. 263, No. 2, 580--599 (2001; Zbl 1014.46018) Full Text: DOI
Santocanale, Luigi The alternation hierarchy for the theory of \(\mu\)-lattices. (English) Zbl 0987.03057 Theory Appl. Categ. 9, 166-197 (2001). MSC: 03G30 06B25 68Q60 91A43 03B70 03C05 PDFBibTeX XMLCite \textit{L. Santocanale}, Theory Appl. Categ. 9, 166--197 (2001; Zbl 0987.03057) Full Text: EuDML EMIS
Ding, Shusen; Liu, Bing Whitney covers and quasi-isometry of \(L^s(\mu)\)-averaging domains. (English) Zbl 1017.30031 J. Inequal. Appl. 6, No. 4, 435-449 (2001). Reviewer: O.Martio (Helsinki) MSC: 30C65 26B25 28A25 42B20 46E35 PDFBibTeX XMLCite \textit{S. Ding} and \textit{B. Liu}, J. Inequal. Appl. 6, No. 4, 435--449 (2001; Zbl 1017.30031) Full Text: DOI EuDML
Petersson, Viktor; Vorobyov, Sergei A randomized subexponential algorithm for parity games. (English) Zbl 0994.68085 Nord. J. Comput. 8, No. 3, 324-345 (2001). MSC: 68Q45 68Q60 91A99 PDFBibTeX XMLCite \textit{V. Petersson} and \textit{S. Vorobyov}, Nord. J. Comput. 8, No. 3, 324--345 (2001; Zbl 0994.68085)
Fröhlich, Steffen Curvature estimates for \(\mu\)-stable \(G\)-minimal surfaces. (Krümmungsabschätzungen für \(\mu\)-stabile \(G\)-Minimalflächen.) (German) Zbl 1033.53005 Cottbus: TU Cottbus, Fakultät für Mathematik, Naturwissenschaften und Informatik. iv, 56 S. (2001). Reviewer: Ivko Dimitric (Uniontown) MSC: 53A10 53C42 PDFBibTeX XMLCite \textit{S. Fröhlich}, Krümmungsabschätzungen für \(\mu\)-stabile \(G\)-Minimalflächen. Cottbus: TU Cottbus, Fakultät für Mathematik, Naturwissenschaften und Informatik (2001; Zbl 1033.53005)
Wilke, Thomas Alternating tree automata, parity games, and modal \(\mu\)-calculus. (English) Zbl 0994.68079 Bull. Belg. Math. Soc. - Simon Stevin 8, No. 2, 359-391 (2001). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Wilke}, Bull. Belg. Math. Soc. - Simon Stevin 8, No. 2, 359--391 (2001; Zbl 0994.68079)
Kundu, S.; Raha, A. B.; Swardson, M. A. Bounded subsets and weak realcompactness conditions. (English) Zbl 0990.54018 Quaest. Math. 24, No. 2, 225-235 (2001). Reviewer: Salvador Hernández (Castellon) MSC: 54C50 54F99 54G20 PDFBibTeX XMLCite \textit{S. Kundu} et al., Quaest. Math. 24, No. 2, 225--235 (2001; Zbl 0990.54018) Full Text: DOI
Bradfield, Julian; Stirling, Colin Modal logics and mu-calculi: An introduction. (English) Zbl 1002.03021 Bergstra, Jan A. (ed.) et al., Handbook of process algebra. Amsterdam: North-Holland/ Elsevier. 293-330 (2001). Reviewer: Damas Gruska (Bratislava) MSC: 03B70 68Q85 68Q60 03B44 03B45 PDFBibTeX XMLCite \textit{J. Bradfield} and \textit{C. Stirling}, in: Handbook of process algebra. Amsterdam: North-Holland/ Elsevier. 293--330 (2001; Zbl 1002.03021)
Löffler, Andreas A \(\mu\)-\(\sigma\)-risk aversion paradox and wealth dependent utility. (English) Zbl 1016.91063 J. Risk Uncertain. 23, No. 1, 57-73 (2001). MSC: 91B30 91B16 PDFBibTeX XMLCite \textit{A. Löffler}, J. Risk Uncertain. 23, No. 1, 57--73 (2001; Zbl 1016.91063) Full Text: DOI
Groote, J. F.; Ponse, A.; Usenko, Y. S. Linearization in parallel pCRL. (English) Zbl 0988.68121 J. Log. Algebr. Program. 48, No. 1-2, 39-70 (2001). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. F. Groote} et al., J. Log. Algebr. Program. 48, No. 1--2, 39--70 (2001; Zbl 0988.68121) Full Text: DOI
Petrova, Guergana; Popov, Bojan Linear transport equations with \(\mu\)-monotone coefficients. (English) Zbl 0980.35003 J. Math. Anal. Appl. 260, No. 2, 307-324 (2001). Reviewer: N.C.Apreutesei (Iasi) MSC: 35A05 35B35 35F10 34A12 PDFBibTeX XMLCite \textit{G. Petrova} and \textit{B. Popov}, J. Math. Anal. Appl. 260, No. 2, 307--324 (2001; Zbl 0980.35003) Full Text: DOI Link
Ding, Shu Shen; Gai, Yun Ying \(A_r\)-weighted Poincaré-type inequalities for differential forms in some domains. (English) Zbl 0997.26019 Acta Math. Sin., Engl. Ser. 17, No. 2, 287-294 (2001). Reviewer: Martin Panák (Brno) MSC: 26D15 46E35 58A14 PDFBibTeX XMLCite \textit{S. S. Ding} and \textit{Y. Y. Gai}, Acta Math. Sin., Engl. Ser. 17, No. 2, 287--294 (2001; Zbl 0997.26019)
Gille, W. Chord length distribution density of an infinitely long circular hollow cylinder. (English) Zbl 0989.60014 Math. Comput. Modelling 34, No. 3-4, 423-431 (2001). MSC: 60D05 52A22 PDFBibTeX XMLCite \textit{W. Gille}, Math. Comput. Modelling 34, No. 3--4, 423--431 (2001; Zbl 0989.60014) Full Text: DOI
Chen, Zhiguo A note on \(\mu(Z)\)-homeomorhpisms. (English) Zbl 0982.30009 Southeast Asian Bull. Math. 25, No. 1, 31-45 (2001). Reviewer: O.Martio (Helsinki) MSC: 30C62 30C65 PDFBibTeX XMLCite \textit{Z. Chen}, Southeast Asian Bull. Math. 25, No. 1, 31--45 (2001; Zbl 0982.30009) Full Text: DOI
Chen, F.; Zheng, J.; Sederberg, T. W. The \(\mu\)-basis of a rational ruled surface. (English) Zbl 0972.68158 Comput. Aided Geom. Des. 18, No. 1, 61-72 (2001). MSC: 68U05 PDFBibTeX XMLCite \textit{F. Chen} et al., Comput. Aided Geom. Des. 18, No. 1, 61--72 (2001; Zbl 0972.68158) Full Text: DOI
Lin, C.; Lam, J.; Wang, J.; Yang, G.-H. Analysis on robust stability for interval descriptor systems. (English) Zbl 0974.93044 Syst. Control Lett. 42, No. 4, 267-278 (2001). MSC: 93D09 34A09 65G30 PDFBibTeX XMLCite \textit{C. Lin} et al., Syst. Control Lett. 42, No. 4, 267--278 (2001; Zbl 0974.93044) Full Text: DOI
Young, Peter M. Structured singular value approach for systems with parametric uncertainty. (English) Zbl 0980.93020 Int. J. Robust Nonlinear Control 11, No. 7, 653-680 (2001). Reviewer: Werner H.Schmidt (Greifswald) MSC: 93B35 93B51 93C73 93-02 93-04 PDFBibTeX XMLCite \textit{P. M. Young}, Int. J. Robust Nonlinear Control 11, No. 7, 653--680 (2001; Zbl 0980.93020) Full Text: DOI
Álamo, Teodoro; Dormido, Sebastian Robust stability and structured uncertainty bounded by the Euclidean norm. (English) Zbl 0991.93029 Int. J. Robust Nonlinear Control 11, No. 8, 749-770 (2001). Reviewer: Edwin Engin Yaz (Fayetteville) MSC: 93B35 93D09 PDFBibTeX XMLCite \textit{T. Álamo} and \textit{S. Dormido}, Int. J. Robust Nonlinear Control 11, No. 8, 749--770 (2001; Zbl 0991.93029) Full Text: DOI
David, René; Py, Walter \(\lambda\mu\)-calculus and Böhm’s theorem. (English) Zbl 0981.03019 J. Symb. Log. 66, No. 1, 407-413 (2001). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{R. David} and \textit{W. Py}, J. Symb. Log. 66, No. 1, 407--413 (2001; Zbl 0981.03019) Full Text: DOI
Pym, David; Ritter, Eike On the semantics of classical disjunction. (English) Zbl 0981.03018 J. Pure Appl. Algebra 159, No. 2-3, 315-338 (2001). Reviewer: Andrea Cantini (Firenze) MSC: 03B40 03F03 03G30 03B05 68Q55 PDFBibTeX XMLCite \textit{D. Pym} and \textit{E. Ritter}, J. Pure Appl. Algebra 159, No. 2--3, 315--338 (2001; Zbl 0981.03018) Full Text: DOI
Zheng, Jianmin; Sederberg, Thomas W. A direct approach to computing the \(\mu\)-basis of planar rational curves. (English) Zbl 0978.65008 J. Symb. Comput. 31, No. 5, 619-629 (2001). Reviewer: O.Giering (München) MSC: 65D18 13P10 65Y20 14G05 PDFBibTeX XMLCite \textit{J. Zheng} and \textit{T. W. Sederberg}, J. Symb. Comput. 31, No. 5, 619--629 (2001; Zbl 0978.65008) Full Text: DOI Link
Pathak, R. S.; Upadhyay, S. K. \(L_\mu^p\)-boundedness of the pseudo-differential operator associated with the Bessel operator. (English) Zbl 0987.47042 J. Math. Anal. Appl. 257, No. 1, 141-153 (2001). Reviewer: D.Przeworska-Rolewicz (Warszawa) MSC: 47G30 PDFBibTeX XMLCite \textit{R. S. Pathak} and \textit{S. K. Upadhyay}, J. Math. Anal. Appl. 257, No. 1, 141--153 (2001; Zbl 0987.47042) Full Text: DOI
Chen, Zhiguo Estimates on \(\mu(z)\)-homeomorphisms of the unit disk. (English) Zbl 0997.30012 Isr. J. Math. 122, 347-358 (2001). Reviewer: Bodo Dittmar (Halle) MSC: 30C62 PDFBibTeX XMLCite \textit{Z. Chen}, Isr. J. Math. 122, 347--358 (2001; Zbl 0997.30012) Full Text: DOI
Lenzi, Giacomo Mu-depth 3 is more than 2: A game-theoretic proof. (English) Zbl 0979.03034 Math. Struct. Comput. Sci. 11, No. 2, 273-297 (2001). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B70 03B45 03B47 91A80 PDFBibTeX XMLCite \textit{G. Lenzi}, Math. Struct. Comput. Sci. 11, No. 2, 273--297 (2001; Zbl 0979.03034) Full Text: DOI
Reşit Dündarer, A. SO(3,1)-valued Yang-Mills fields. (English) Zbl 0979.81060 Int. J. Theor. Phys. 40, No. 2, 507-514 (2001). MSC: 81T13 81T20 53C80 PDFBibTeX XMLCite \textit{A. Reşit Dündarer}, Int. J. Theor. Phys. 40, No. 2, 507--514 (2001; Zbl 0979.81060) Full Text: DOI
Arnold, A.; Niwiński, D. Rudiments of \(\mu\)-calculus. (English) Zbl 0968.03002 Studies in Logic and the Foundations of Mathematics. 146. Amsterdam: Elsevier. xvii, 277 p. (2001). Reviewer: Valentin F.Goranko (Johannesburg) MSC: 03-02 03-01 03B70 03G10 68Q70 08A70 03D05 06B23 03B45 68Q45 91A99 PDFBibTeX XMLCite \textit{A. Arnold} and \textit{D. Niwiński}, Rudiments of \(\mu\)-calculus. Amsterdam: Elsevier (2001; Zbl 0968.03002)
Baba, K.; Hirokawa, S.; Fujita, K. Parallel reduction in type free lambda/mu-calculus. (English) Zbl 0971.68019 Fidge, Colin (ed.), Computing: The Australasian Theory Symposium, CATS 2001. Proceedings of the 7th symposium, Bond Univ., Gold Coast, Australia, January 29-30, 2001. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 42, 15 p., electronic only (2001). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Baba} et al., in: Computing: The Australasian Theory Symposium, CATS 2001. Proceedings of the 7th symposium, Bond Univ., Gold Coast, Australia, January 29--30, 2001. Amsterdam: Elsevier. 15 p. (2001; Zbl 0971.68019)
Levi, Francesca A symbolic semantics for abstract model checking. (English) Zbl 0966.68115 Sci. Comput. Program. 39, No. 1, 93-123 (2001). MSC: 68Q55 PDFBibTeX XMLCite \textit{F. Levi}, Sci. Comput. Program. 39, No. 1, 93--123 (2001; Zbl 0966.68115) Full Text: DOI