Parlett, B. N.; Ng, K. C. Accurate computation of the matrix exponential. (English) Zbl 0677.65040 Computing methods in applied sciences and engineering VII, Proc. 7th Int. Symp., Versailles/France 1985, 107-116 (1986). MSC: 65F30 15-04 15A60 PDFBibTeX XML
Douglas, J. F.; Gasiorek, J. M.; Swaffield, J. A. Fluid mechanics. 2nd ed. (1st impress.). (English) Zbl 0657.76001 Harlow, Essex: Longman Scientific & Technical. XVIII, 746 p. (1986). MSC: 76-01 76-04 PDFBibTeX XML
Liskov, Barbara; Guttag, John Abstraction and specification in program development. (English) Zbl 0644.68001 The MIT Electrical Engineering and Computer Science Series. Cambridge, Massachusetts-London: The MIT Press; New York etc.: McGraw-Hill Book Company. XVII, 469 p. (1986). MSC: 68-01 68Q60 68N01 PDFBibTeX XML
Berlioux, Pierre; Bizard, Philippe Algorithms. The construction, proof, and analysis of programs. Transl. from the French by Annwyl Williams. (English) Zbl 0642.68001 Chichester etc.: John Wiley & Sons. IX, 145 p. (1986). Reviewer: H.J.Schneider MSC: 68-01 68Q25 68Q60 68W99 PDFBibTeX XML
Sabel’fel’d, V. K. How to take into account properties of operations in the case of global analysis of programs? (Russian) Zbl 0638.68018 Vychisl. Sist. 116, 33-46 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. K. Sabel'fel'd}, Vychisl. Sist. 116, 33--46 (1986; Zbl 0638.68018)
Stejskal, Vladimir; Valášek, Michael Automated general kinematic analysis of spatial mechanisms program OKAM2. (English) Zbl 0636.70001 Acta Tech. ČSAV 31, 137-148 (1986). MSC: 70B15 70-04 53A17 PDFBibTeX XMLCite \textit{V. Stejskal} and \textit{M. Valášek}, Acta Tech. ČSAV 31, 137--148 (1986; Zbl 0636.70001)
Štěpanková, O.; Štěpanek, P. And/or schemes and logic programs. (English) Zbl 0634.68096 Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 2, Colloq. Math. Soc. János Bolyai 42, 765-776 (1986). Reviewer: A.Riha MSC: 68T15 68N01 68Q25 03B35 PDFBibTeX XML
Kredler, C.; Kowarschick, W. A convenient way of computing ML-estimates: Use of automatic differentiation. (English) Zbl 0628.62002 Computational statistics, Proc. 7th Symp. COMPSTAT, Rome/Italy 1986, 108-119 (1986). MSC: 62-04 62J99 PDFBibTeX XML
Orlin, James B. A dual version of Tardos’s algorithm for linear programming. (English) Zbl 0626.90054 Oper. Res. Lett. 5, 221-226 (1986). Reviewer: G.Xue MSC: 90C05 68Q25 PDFBibTeX XMLCite \textit{J. B. Orlin}, Oper. Res. Lett. 5, 221--226 (1986; Zbl 0626.90054) Full Text: DOI Link
Boomsma, A. On the use of bootstrap and jackknife in convariance structure analysis. (English) Zbl 0626.62034 Computational statistics, Proc. 7th Symp. COMPSTAT, Rome/Italy 1986, 205-210 (1986). MSC: 62F35 62H12 62G05 PDFBibTeX XML
Morabito, A. AMS - a computer program for survival analysis, general linear models and a stochastic survival model. (English) Zbl 0626.62002 Computational statistics, Proc. 7th Symp. COMPSTAT, Rome/Italy 1986, 384-389 (1986). MSC: 62-04 62J99 62N05 65C99 PDFBibTeX XML
Abramsky, Samson Strictness analysis and polymorphic invariance. (English) Zbl 0624.68034 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 1-23 (1986). MSC: 68Q65 68Q60 03B40 PDFBibTeX XML
Mangin, B. BLUP - a program for the treatment of mixed models on a mini-computer. (English) Zbl 0624.62075 Comput. Stat. Q. 3, 107-118 (1986). MSC: 62J99 62-04 65C99 62H99 PDFBibTeX XMLCite \textit{B. Mangin}, Comput. Stat. Q. 3, 107--118 (1986; Zbl 0624.62075)
Main, Michael G. Free constructions of powerdomains. (English) Zbl 0619.68013 Mathematical foundations of programming semantics, Proc. Int. Conf., Manhattan/Kans. 1985, Lect. Notes Comput. Sci. 239, 162-183 (1986). Reviewer: L.Brim MSC: 68Q60 PDFBibTeX XML
Kocherlakota, K.; Kocherlakota, S.; Balakrishnan, N. Random number generation from a bivariate Edgeworth series distribution. (English) Zbl 0619.65003 Comput. Stat. Q. 3, 97-105 (1986). Reviewer: K.Uosaki MSC: 65C10 62-04 PDFBibTeX XMLCite \textit{K. Kocherlakota} et al., Comput. Stat. Q. 3, 97--105 (1986; Zbl 0619.65003)
Huang, Chua-Huang; Lengauer, Christian The automated proof of a trace transformation for a bitonic sort. (English) Zbl 0618.68053 Theor. Comput. Sci. 46, 261-284 (1986). MSC: 68P10 68Q25 68T15 68Q60 PDFBibTeX XMLCite \textit{C.-H. Huang} and \textit{C. Lengauer}, Theor. Comput. Sci. 46, 261--284 (1986; Zbl 0618.68053) Full Text: DOI
Chlebus, Bogdan S. Domino-tiling games. (English) Zbl 0618.68045 J. Comput. Syst. Sci. 32, 374-392 (1986). Reviewer: A.Kreczmar MSC: 68Q25 91A05 05B45 91A80 03B70 PDFBibTeX XMLCite \textit{B. S. Chlebus}, J. Comput. Syst. Sci. 32, 374--392 (1986; Zbl 0618.68045) Full Text: DOI
Mohamed, J. L. (ed.); Walsh, J. E. (ed.) Numerical algorithms. (Summer school, Manchester/Liverpool 1984). (English) Zbl 0617.65001 Manchester/Liverpool Summer Schools in Numerical Analysis. Oxford Science Publications. Oxford: Clarendon Press. XII, 356 p.; £30.00 (1986). Reviewer: E.Wagenführer MSC: 65-06 65-02 65Fxx 65Lxx 65Nxx 65Dxx 65Kxx 65C99 65R20 PDFBibTeX XML
Berenguer, Sancho E.; Smith, Robert L. The expected number of extreme points of a random linear program. (English) Zbl 0616.90041 Math. Program. 35, 129-134 (1986). MSC: 90C05 68Q25 PDFBibTeX XMLCite \textit{S. E. Berenguer} and \textit{R. L. Smith}, Math. Program. 35, 129--134 (1986; Zbl 0616.90041) Full Text: DOI
Machida, H. A combinatorial method in lower bound theory. (English) Zbl 0616.68040 Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 2, Colloq. Math. Soc. János Bolyai 42, 597-614 (1986). MSC: 68Q25 90C05 90C35 68R10 PDFBibTeX XML
Simons, J. W.; Bergan, P. G. A finite element formulation of three-dimensional contact problems with slip and friction. (English) Zbl 0614.73119 Comput. Mech. 1, 153-164 (1986). MSC: 74A55 74M15 74S05 74-04 PDFBibTeX XMLCite \textit{J. W. Simons} and \textit{P. G. Bergan}, Comput. Mech. 1, 153--164 (1986; Zbl 0614.73119) Full Text: DOI
Mannila, Heikki; Ukkonen, Esko On the complexity of unification sequences. (English) Zbl 0614.68064 Logic programming, Proc. 3rd Int. Conf., London 1986, Lect. Notes Comput. Sci. 225, 122-133 (1986). Reviewer: J.Henno MSC: 68T15 68Q25 68N01 PDFBibTeX XML
Swersey, Arthur J. (ed.); Ignall, Edward J. (ed.) [Savas, E. S.; Kocur, G.; Desrosiers, J.; Ferland, J.-A.; Rousseau, J.-M.; Lapalme, G.; Chapleau, L.; Bodin, L. D.; Sexton, T. R.; Kolesar, P.; Swersey, A. J.; Brandeau, M. L.; Larson, R. C.; Ahitur, N.; Berman, O.; Male, J. W.; Fram, S. L.; Kao, E. P. C.; Queyranne, M.; Corman, H.; Barnett, A.; Lofaso, A. J.] Delivery of urban services. With a view towards applications in management science and operations research. (English) Zbl 0611.90001 TIMS Studies in the Management Sciences, Vol. 22. Amsterdam etc.: North- Holland. VII, 274 p. $ 50.00; Dfl. 160.00 (1986). Reviewer: S.Zabek MSC: 90-06 00Bxx 90C90 65K05 91A12 90C08 90B35 90C11 60K25 91A40 90C27 90C05 90C30 90C10 90B22 90C15 PDFBibTeX XML
Nakamura, Takashi Bayesian cohort models for general cohort table analyses. (English) Zbl 0609.62139 Ann. Inst. Stat. Math. 38, 353-370 (1986). MSC: 62P10 62P25 PDFBibTeX XMLCite \textit{T. Nakamura}, Ann. Inst. Stat. Math. 38, 353--370 (1986; Zbl 0609.62139) Full Text: DOI
du Toit, S. H. C.; Steyn, A. G. W.; Stumpf, R. H. Graphical exploratory data analysis. (English) Zbl 0609.62002 Springer Texts in Statistics. New York etc.: Springer-Verlag. IX, 314 p. DM 65.00 (1986). Reviewer: S.R.Wilson MSC: 62-07 62-02 62H25 62H30 62M10 PDFBibTeX XML
Rosier, Louis E.; Yen, Hsu-Chun On the complexity of deciding fair termination of probabilistic concurrent finite-state programs. (English) Zbl 0607.68012 Automata, languages and programming, Proc. 13th Int. Colloq., Rennes/France 1986, Lect. Notes Comput. Sci. 226, 334-343 (1986). Reviewer: J.Just MSC: 68Q60 68N25 68Q25 PDFBibTeX XML
Hunt, H. B.; Stearns, R. E. Monotone Boolean formulas, distributive lattices, and the complexities of logics, algebraic structures, and computation structures. (English) Zbl 0605.68030 Theoretical aspects of computer science, 3rd Annu. Symp., Orsay/France 1986, Lect. Notes Comput. Sci. 210, 277-290 (1986). MSC: 68Q25 03D15 03B25 PDFBibTeX XML
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond Concurrent and maximally concurrent evolution of nonsequential systems. (English) Zbl 0604.68006 Theor. Comput. Sci. 43, 213-238 (1986). Reviewer: M.Křetínský MSC: 68N01 68Q60 68N25 PDFBibTeX XMLCite \textit{R. Janicki} et al., Theor. Comput. Sci. 43, 213--238 (1986; Zbl 0604.68006) Full Text: DOI
Current, John R.; ReVelle, Charles S.; Cohon, Jared L. The hierarchical network design problem. (English) Zbl 0603.90131 Eur. J. Oper. Res. 27, 57-66 (1986). MSC: 90C35 90C10 65K05 90B10 90C08 PDFBibTeX XMLCite \textit{J. R. Current} et al., Eur. J. Oper. Res. 27, 57--66 (1986; Zbl 0603.90131) Full Text: DOI
Bailes, Paul A. Static checking of variable handling in Dijkstra’s guarded commands language. (English) Zbl 0603.68006 Comput. Lang. 11, 123-142 (1986). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{P. A. Bailes}, Comput. Lang. 11, 123--142 (1986; Zbl 0603.68006) Full Text: DOI
Engels, Gregor Graphen als zentrale Datenstrukturen in einer Software- Entwicklungsumgebung. (German) Zbl 0602.68030 Fachbereich Mathematik/Informatik der Universität Osnabrück. 196 S. (1986). Reviewer: M.Zimand MSC: 68N99 PDFBibTeX XML
Hossfeld, F. Parallel algorithms: The impact of communication complexity. (English) Zbl 0601.68030 Theory of algorithms, Colloq. Pécs/Hung. 1984, Colloq. Math. Soc. János Bolyai 44, 207-232 (1986). Reviewer: H.Schmeck MSC: 68W99 68Q60 68M20 68-02 PDFBibTeX XML
Hughes, John Strictness detection in non-flat domains. (English) Zbl 0599.68011 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 112-135 (1986). MSC: 68N01 68Q60 PDFBibTeX XML
Hunt, H. B. III; Rosenkrantz, D. J. Recursion schemes and recursive programs are exponentially hard to analyze. (English) Zbl 0598.68017 SIAM J. Comput. 15, 831-850 (1986). MSC: 68Q60 68N01 68Q25 PDFBibTeX XMLCite \textit{H. B. Hunt III} and \textit{D. J. Rosenkrantz}, SIAM J. Comput. 15, 831--850 (1986; Zbl 0598.68017) Full Text: DOI
Katsifli, D. A CAL phenomenon in numerical analysis. (English) Zbl 0598.65001 Int. J. Math. Educ. Sci. Technol. 17, 209-227 (1986). Reviewer: K.Hainer MSC: 65-04 65-01 68U99 PDFBibTeX XMLCite \textit{D. Katsifli}, Int. J. Math. Educ. Sci. Technol. 17, 209--227 (1986; Zbl 0598.65001) Full Text: DOI
Burn, G. L.; Hankin, C. L.; Abramsky, S. The theory of strictness analysis for higher order functions. (English) Zbl 0596.68009 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 42-62 (1986). MSC: 68N01 68Q60 PDFBibTeX XML
Bandemer, Hans-Walter Einige Bemerkungen zur Modellierung der Ungenauigkeit und Unsicherheit bei der Untersuchung funktionaler Beziehungen. (German) Zbl 0596.65100 Wiss. Z. Tech. Hochsch. Carl Schorlemmer Leuna-Merseburg 28, 297-301 (1986). MSC: 65C99 65C20 62-04 62H99 PDFBibTeX XMLCite \textit{H.-W. Bandemer}, Wiss. Z. Tech. Hochsch. Carl Schorlemmer Leuna-Merseburg 28, 297--301 (1986; Zbl 0596.65100)
Gannon, Dennis; Panetta, Jairo Restructuring SIMPLE for the CHiP architecture. (English) Zbl 0596.65073 Parallel Comput. 3, 305-326 (1986). MSC: 65N22 65F05 68N25 PDFBibTeX XMLCite \textit{D. Gannon} and \textit{J. Panetta}, Parallel Comput. 3, 305--326 (1986; Zbl 0596.65073) Full Text: DOI
Rall, L. B. Improved interval bounds for ranges of functions. (English) Zbl 0596.65027 Interval mathematics, Proc. Int. Symp., Freiburg/FRG 1985, Lect. Notes Comput. Sci. 212, 143-155 (1986). Reviewer: M.Kracht MSC: 65G30 65D15 68W99 PDFBibTeX XML
Caucal, D. Décidabilité de l’égalité des langages algébriques infinitaires simples. (French) Zbl 0595.68072 Theoretical aspects of computer science, 3rd Annu. Symp., Orsay/France 1986, Lect. Notes Comput. Sci. 210, 37-48 (1986). MSC: 68Q45 68Q25 PDFBibTeX XML
Boros, Endre On the complexity of the surrogate dual of 0-1 programming. (English) Zbl 0594.90061 Z. Oper. Res., Ser. A 30, 145-153 (1986). Reviewer: P.Brucker MSC: 90C10 68Q25 90C09 PDFBibTeX XMLCite \textit{E. Boros}, Z. Oper. Res., Ser. A 30, 145--153 (1986; Zbl 0594.90061) Full Text: DOI
Joseph, Thomas A.; Räuchle, Thomas; Toueg, Sam State machines and assertions: An integrated approach to modeling and verification of distributed systems. (English) Zbl 0594.68017 Sci. Comput. Program. 7, 1-22 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{T. A. Joseph} et al., Sci. Comput. Program. 7, 1--22 (1986; Zbl 0594.68017) Full Text: DOI
Schilling, Klaus Simpliziale Algorithmen zur Berechnung von Fixpunkten mengenwertiger Operatoren. (German) Zbl 0589.65044 Trier: WVT Wissenschaftlicher Verlag Trier. IV, 190 S. DM 34.00 (1986). Reviewer: W.Zulehner MSC: 65H10 65J15 65-02 47H10 47-04 PDFBibTeX XML
Hankin, Chris L.; Burn, Geoffrey L.; Jones, Simon L. Peyton A safe approach to parallel combinator reduction. (English) Zbl 0587.68010 Programming, Proc. Eur. Symp., Saarbrücken/FRG 1986, Lect. Notes Comput. Sci. 213, 99-110 (1986). MSC: 68Q60 68N01 PDFBibTeX XML
Argyris, J.; Balmer, H. A.; Doltsinis, J. St.; Kurz, A. Computer simulation of crash phenomena. (English) Zbl 0586.73129 Int. J. Numer. Methods Eng. 22, 497-519 (1986). MSC: 74S05 74-04 65C20 PDFBibTeX XMLCite \textit{J. Argyris} et al., Int. J. Numer. Methods Eng. 22, 497--519 (1986; Zbl 0586.73129) Full Text: DOI
Henderson, G. Robin; Christofi, Nick; Miller, Mike; MacLeod, Allan Most probable number - or how to estimate numbers of micro-organisms without actually counting any! (English) Zbl 0586.62186 Int. J. Math. Educ. Sci. Technol. 17, 131-137 (1986). MSC: 62P10 62-04 92F05 PDFBibTeX XMLCite \textit{G. R. Henderson} et al., Int. J. Math. Educ. Sci. Technol. 17, 131--137 (1986; Zbl 0586.62186) Full Text: DOI
Rahman, H. H. Abdel; Hinton, E. Nonlinear finite element analysis of reinforced concrete stiffened and cellular slabs. (English) Zbl 0585.73130 Comput. Struct. 23, 333-350 (1986). MSC: 74S05 74S99 74E30 PDFBibTeX XMLCite \textit{H. H. A. Rahman} and \textit{E. Hinton}, Comput. Struct. 23, 333--350 (1986; Zbl 0585.73130) Full Text: DOI
Nielson, Flemming; Nielson, Hanne R. Code generation from two-level denotational meta-languages. (English) Zbl 0585.68012 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 192-205 (1986). MSC: 68N01 PDFBibTeX XML
Chatelin, Philippe On transformations of algorithms to multiply 2\(\times 2\) matrices. (English) Zbl 0584.68058 Inf. Process. Lett. 22, 1-5 (1986). MSC: 68W30 68Q25 68W99 PDFBibTeX XMLCite \textit{P. Chatelin}, Inf. Process. Lett. 22, 1--5 (1986; Zbl 0584.68058) Full Text: DOI
Rao, M. Sambasiva An evaluation of base-excitation response analysis using ASKA. (English) Zbl 0578.73076 Comput. Struct. 22, 815-822 (1986). MSC: 74S30 74H45 PDFBibTeX XMLCite \textit{M. S. Rao}, Comput. Struct. 22, 815--822 (1986; Zbl 0578.73076) Full Text: DOI
Espion, Bernard Nonlinear analysis of framed structures with a plasticity minded beam element. (English) Zbl 0577.73070 Comput. Struct. 22, 831-839 (1986). MSC: 74S05 74K10 PDFBibTeX XMLCite \textit{B. Espion}, Comput. Struct. 22, 831--839 (1986; Zbl 0577.73070) Full Text: DOI Link
Strom, Robert E.; Yemini, Shaula Typestate: A programming language concept for enhancing software reliability. (English) Zbl 0575.68036 IEEE Trans. Software Eng. 12, 157-171 (1986). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{R. E. Strom} and \textit{S. Yemini}, IEEE Trans. Softw. Eng. 12, 157--171 (1986; Zbl 0575.68036) Full Text: DOI
Patnaik, S. N.; Joseph, K. T. Generation of the compatibility matrix in the integrated force method. (English) Zbl 0571.73091 Comput. Methods Appl. Mech. Eng. 55, 239-257 (1986). MSC: 74S30 74-04 PDFBibTeX XMLCite \textit{S. N. Patnaik} and \textit{K. T. Joseph}, Comput. Methods Appl. Mech. Eng. 55, 239--257 (1986; Zbl 0571.73091) Full Text: DOI