Found 71 Documents (Results 1–71)
Financial and operational creditors in bankruptcy resolution: a general equilibrium approach under three game-theoretic division rules with an application to India. (English) Zbl 1533.91254
Variants of spiking neural P systems and their operational semantics in Haskell. (English) Zbl 1533.68069
Fractional calculus and families of generalized Legendre-Laguerre-Appell polynomials. (English) Zbl 1538.33015
Cubature rules based on a bivariate degree-graded alternative orthogonal basis and their applications. (English) Zbl 1540.65564
Fractional calculus and generalized forms of special polynomials associated with Appell sequences. (English) Zbl 1464.26006
Reviewer: Javier Gallegos (Santiago de Chile)
Generating functions for generalized Hermite polynomials associated with parabolic cylinder functions. (English) Zbl 1435.33013
Operational identities for Hermite-pseudo Laguerre type matrix polynomials and their applications. (English) Zbl 1426.33036
Extended Laguerre-Appell polynomials via fractional operators and their determinant forms. (English) Zbl 1424.26012
Uncovering functional relationships at zeros with special reference to Riemann’s zeta function. (English) Zbl 1424.11127
Finding discrete Bessel and Tricomi convolutions of certain special polynomials. (English) Zbl 1402.33006
An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules. (English) Zbl 1407.68094
The methods of fuzzy multi-atribute decision making based on fuzzy structured element. (English) Zbl 1400.91138
MSC:
91B06
Self-interest and equity concerns: a behavioural allocation rule for operational problems. (English) Zbl 1403.91181
Optimal exercise strategies for operational risk insurance via multiple stopping times. (English) Zbl 1370.60081
Monotone Riemannian metrics and dynamic structure factor in condensed matter physics. (English) Zbl 1353.53017
Reviewer: Piotr Garbaczewski (Opole)
A formal semantics for the cognitive architecture ACT-R. (English) Zbl 1457.68041
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 74-91 (2015).
The Feynman problem and fermionic entanglement: Fermionic theory versus qubit theory. (English) Zbl 1294.81003
Limits of responsiveness for geographically remote knowledge bases: an operational analysis. (English) Zbl 1412.68026
Development of simulation-based metamodels for the analysis of routing flexibility, sequencing flexibility and scheduling decision rules on the performance of an FMS. (English) Zbl 1388.90034
Some results involving Hermite-base polynomials and functions using operational methods. (English) Zbl 1183.33017
Dynamic allocation of one class of material handling devices by dispatching. (Serbian. English summary) Zbl 1249.90015
Mladenović, Nenad (ed.) et al., XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU (ISBN 978-86-80953-43-4). 325-328 (2009).
Reviewer: Dragan Urošević (Beograd)
MSC:
90B06
General recurrence and ladder relations of hypergeometric-type functions. (English) Zbl 1124.33017
Reviewer: Alexei Lukashov (Istanbul)
Heaviside operational rules applicable to electromagnetic problems. (Abstract). (English) Zbl 0985.78501
Differential identities, generalized polynomials and applications in physics and mathematics. (English) Zbl 0963.33003
Levi, Decio (ed.) et al., SIDE III - Symmetries and integrability of difference equations. Proceedings of the 3rd conference, Sabaudia, Italy, May 16-22, 1998. Providence, RI: American Mathematical Society (AMS). CRM Proc. Lect. Notes. 25, 83-92 (2000).
Reviewer: Nácere Hayek (La Laguna)
MSC:
33C45
Operational equivalence of CHR programs and constraints. (English) Zbl 0960.68104
Jaffar, Joxan (ed.), Principles and practice of constraint programming - CP ’99. 5th international conference, Alexandria, VA, USA, October 11-14, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1713, 43-57 (1999).
MSC:
68Q55
Optimization of functional programs by abstract program interpretation. (Optimierung funktionaler Programme mittels abstrakter Programm-Interpretation.) (German) Zbl 0903.68036
Münster: Univ. Münster, FB Mathematik, 115 p. (1997).
Reviewer: Dmitry Ostrouchov (Odessa)
Operational subjective statistical methods. A mathematical, philosophical, and historical introduction. (English) Zbl 0862.62005
Wiley Series in Probability and Mathematical Statistics. New York, NY: Wiley. xix, 484 p. (1996).
Reviewer: K.Alam (Clemson)
Safety and progress of recursive procedures. (English) Zbl 0838.68073
MSC:
68Q55
The hypergeometric approach to integral transforms and convolutions. (English) Zbl 0803.44001
Mathematics and its Applications (Dordrecht). 287. Dordrecht: Kluwer Academic Publishers. xi, 324 p. (1994).
Reviewer: Robert G.Buschman (Langlois)
MLOG: A strongly typed confluent functional language with logical variables. (English) Zbl 0801.68016
A formalism for the specification of essentially-algebraic structures in 2-categories. (English) Zbl 0754.18006
MSC:
18D05
68Q55
Semantics of statecharts based on graph rewriting. (English) Zbl 0768.68087
Correct hardware design methodologies, Proc. Adv. Res. Workshop, Turin/Italy 1991, 91-114 (1992).
Laplace transforms and an introduction to distributions. (English) Zbl 0734.44002
Ellis Horwood Series in Mathematics and Its Applications. New York etc.: Ellis Horwood. 411 p. £33.99/pbk (1991).
Reviewer: H.-J.Glaeske (Jena)
A new variant for the Meijer’s integral transform. (English) Zbl 0714.44001
Reviewer: V.L.Deshpande
A variant of Krätzel’s integral transform. (Spanish. English summary) Zbl 0796.44005
Operational calculus for the generalized Bessel operator. (English) Zbl 0701.44007
Reviewer: S.L.Kalla
MSC:
44A40
Logic and functional programming by retractions: Operational semantics. (English) Zbl 0666.68012
Reviewer: S.S.Starchenko
On a variant of the Meijer integral transformation. (English) Zbl 0662.44002
Reviewer: E.Krätzel
Introduction to the theory of \((\nu _ 1,\dots ,\nu _{r-1})\)-transforms. (English. Russian original) Zbl 0658.44006
Math. USSR, Sb. 60, No. 1, 163-176 (1988); translation from Mat. Sb., Nov. Ser. 132(174), No. 2, 167-181 (1987).
A distributed operational semantics of CCS based on condition/event systems. (English) Zbl 0656.68061
Convolution quadrature and discretized operational calculus. I. (English) Zbl 0637.65016
Reviewer: D.Kershaw
An operational semantics for process algebra. (English) Zbl 0761.68054
Mathematical problems in computation theory, Proc. 26th semester, Warsaw/Poland 1985, Banach Cent. Publ. 21, 47-81 (1988).
Introduction to the theory of \((\nu _ 1,\dots ,\nu _{r-1})\)-transforms. (Russian) Zbl 0637.44007
Reviewer: H.-J.Glaeske
Operational calculus based on the two-sided Laplace integral. 3rd ed. (English) Zbl 0636.44004
New York: Chelsea Publishing Company. XIII, 415 p.; $ 20.95 (1987).
Modular first-order specifications of operational semantics. (English) Zbl 0585.68015
Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 82-95 (1986).
MSC:
68N01
Semantics of communicating processes. (English) Zbl 0591.68030
MSC:
68N25
A kernel language for abstract data types and modules. (English) Zbl 0552.68009
Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 1-50 (1984).
Understanding Russell. A first attempt. (English) Zbl 0544.68026
Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 69-85 (1984).
Executable specification of static semantics. (English) Zbl 0541.68003
Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 215-233 (1984).
Fixed point theory for communication and concurrency. (English) Zbl 0512.68024
Formal description of programming concepts II, Proc. IFIP Conf., Garmisch-Partenkirchen 1982, 125-148 (1983).
MSC:
68N25
A fixed point approach to applicative multiprogramming. (English) Zbl 0508.68012
Theoretical foundations of programming methodology, Lect. Notes int. Summer Sch., Marktoberdorf/Ger. 1981, NATO Adv. Study Inst. Ser., C, Math. Phys. Sci. 91, 565-623 (1982).
MSC:
68N25
The semantics of call-by-value and call-by-name in a nondeterministic environment. (English) Zbl 0437.68002
Formal analysis of physical theories. (English) Zbl 0446.00020
Problems in the foundations of physics, Proc. int. Sch. Phys. ”Enrico Fermi”, Course 72, Varenna 1977, 134-201 (1979).
Operational rules. (English) Zbl 0435.44005
Filter Results by …
Document Type
- Journal Articles (53)
- Collection Articles (13)
- Books (5)
all
top 5
Author
- Khan, Subuhi (5)
- Broy, Manfred (4)
- Frühwirth, Thom (4)
- Wani, Shahid Ahmad (4)
- Ali, Mahvish (3)
- Bin-Saad, Maged Gumaan (3)
- Rodríguez Expósito, José (3)
- Burstall, Rod M. (2)
- Ciobanu, Gabriel (2)
- Gall, Daniel (2)
- Klyuchantsev, M. I. (2)
- Lampson, Butler W. (2)
- Lubich, Christian (2)
- Raza, Nusrat (2)
- Shahwan, Mohannad Jamal Said (2)
- Zainab, Umme (2)
- Abadi, Martín (1)
- Abdennadher, Slim (1)
- Agrigoroaiei, Oana (1)
- Alshomeli, Shaikha K. A. (1)
- Baeten, Jos C. M. (1)
- Bellia, Marco (1)
- Bergstra, Jan A. (1)
- Betancor Perez, Jorge Juan (1)
- Betz, Hariolf (1)
- Bijelić, Nenad (1)
- Bremmer, H. (1)
- Dalla Chiara, Maria Luisa (1)
- D’Ariano, Giacomo Mauro (1)
- Dattoli, Giuseppe (1)
- De Nicola, Rocco (1)
- Degano, Pierpaolo (1)
- Dehesa, Jesús S. (1)
- Dennis, Richard (1)
- Despeyroux, Thierry (1)
- Fasano, Antonio (1)
- Ganie, Javid Ahmad (1)
- Ganzinger, Harald (1)
- Glasser, M. Lawrence (1)
- Guest, P. B. (1)
- Guo, Sizong (1)
- Halpern, Joseph Yehuda (1)
- Hassan, Nader Ali Makboul (1)
- Hennessy, Matthew C. B. (1)
- Hesselink, Wim H. (1)
- Hook, James G. (1)
- Iyer, S. Veena (1)
- Joseph, O. A. (1)
- Klop, Jan Willem (1)
- Lad, Frank (1)
- Lindell, Ismo V. (1)
- Liu, Haitao (1)
- Luchko, Yurii F. (1)
- Maggiolo-Schettini, Andrea (1)
- Mallah, Ishfaq Ahmad (1)
- Manessi, Franco (1)
- Milgram, Michael S. (1)
- Montanari, Ugo G. (1)
- Naikoo, Shakeel Ahmad (1)
- Naserizadeh, L. (1)
- Nielsen, Lance (1)
- Osório, António M. (1)
- Pentzaropoulos, G. C. (1)
- Perinotti, Paolo (1)
- Peron, Adriano (1)
- Peters, Gareth William (1)
- Phillips, Iain W. (1)
- Poirriez, Vincent (1)
- Power, John (1)
- Prasad, Rohit (1)
- Primicerio, Mario (1)
- Pundt, Thomas (1)
- Qureshi, Mohammad Idris (1)
- Raiser, Frank (1)
- Riyasat, Mumtaz (1)
- Sharif, Amir M. (1)
- Shevchenko, Pavel V. (1)
- Sofronov, Georgy Yu. (1)
- Sridharan, Ramanujan (1)
- Struble, Raimond A. (1)
- Targino, Rodrigo S. (1)
- Todoran, Eneia Nicolae (1)
- Toraldo di Francia, Giuliano (1)
- Tosini, Alessandro (1)
- Ulidowski, Irek (1)
- Van der Pol, Balthasar (1)
- Vidovic, Milorad (1)
- Williams, John H. (1)
- Wimmers, Edward L. (1)
- Yakubovich, Semyon B. (1)
- Yáñez, Rafael J. (1)
- Yasmin, Ghazala (1)
- Zarzo, Alejandro (1)
all
top 5
Serial
- Rep. Math. Phys. (2)
- Numer. Math. (2)
- Theor. Comput. Sci. (2)
- J. Log. Algebr. Program. (2)
- J. Electromagn. Waves Appl. (1)
- Int. J. Mod. Phys. A (1)
- Acta Inf. (1)
- J. Math. Phys. (1)
- Appl. Math. Comput. (1)
- Commentat. Math. Univ. Carol. (1)
- Inf. Control (1)
- J. Assoc. Comput. Mach. (1)
- J. Comput. Appl. Math. (1)
- Mat. Sb., Nov. Ser. (1)
- Math. Comput. Simul. (1)
- Port. Math. (1)
- Rend. Circ. Mat. Palermo (2) (1)
- Rev. Unión Mat. Argent. (1)
- SIAM J. Comput. (1)
- Inf. Comput. (1)
- J. Econ. Dyn. Control (1)
- Forum Math. (1)
- Formal Asp. Comput. (1)
- Eur. J. Appl. Math. (1)
- Math. Struct. Comput. Sci. (1)
- Eur. J. Oper. Res. (1)
- Math. USSR, Sb. (1)
- Serdica (1)
- SIAM J. Math. Anal. (1)
- RAIRO, Inform. Théor. Appl. (1)
- J. Fuzzy Math. (1)
- Turk. J. Math. (1)
- Georgian Math. J. (1)
- New York J. Math. (1)
- J. Funct. Program. (1)
- Integral Transforms Spec. Funct. (1)
- Honam Math. J. (1)
- Methodol. Comput. Appl. Probab. (1)
- Theory Pract. Log. Program. (1)
- ACM Trans. Comput. Log. (1)
- Math. Appl., Dordr. (1)
- Int. J. Oper. Res. (1)
- Adv. Model. Optim. (1)
- B. E. J. Theor. Econ. (1)
- TWMS J. Pure Appl. Math. (1)
- J. Appl. Math. Inform. (1)
- Math. Sci., Springer (1)
- J. Class. Anal. (1)
- Fract. Differ. Calc. (1)
- Wiley Ser. Probab. Math. Stat. (1)
- J. Membr. Comput. (1)
all
top 5
Year of Publication
- 2024 (4)
- 2023 (1)
- 2022 (2)
- 2021 (3)
- 2020 (3)
- 2019 (1)
- 2018 (4)
- 2017 (3)
- 2016 (1)
- 2015 (1)
- 2014 (1)
- 2013 (1)
- 2011 (1)
- 2010 (3)
- 2009 (1)
- 2007 (2)
- 2004 (1)
- 2000 (2)
- 1999 (1)
- 1997 (1)
- 1996 (2)
- 1995 (1)
- 1994 (3)
- 1992 (2)
- 1991 (1)
- 1990 (3)
- 1989 (1)
- 1988 (8)
- 1987 (2)
- 1986 (2)
- 1984 (4)
- 1983 (1)
- 1982 (1)
- 1980 (1)
- 1979 (2)