Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Nicolas Zabel |
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 304-318, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | E. Allen Emerson |
Real-Time and the Mu-Calculus (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 176-194, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Kohei Honda 0001, Mario Tokoro |
An Object Calculus for Asynchronous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 133-147, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Michel Langevin |
Automated RTL Verification Based on Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 116-125, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Asperti |
Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 238-254, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Amy P. Felty, Dale Miller 0001 |
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 221-235, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Gorrieri, Ugo Montanari |
SCONE: A Simple Calculus of Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 2-30, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Greg Nelson |
A Generalization of Dijkstra's Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(4), pp. 517-561, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Christine Paulin-Mohring |
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 89-104, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
17 | Ralph-Johan Back, Joakim von Wright |
Refinement Calculus, Part I: Sequential Nondeterministic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 42-66, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness |
17 | Flemming Nielson |
The Typed lambda-Calculus with First-Class Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 357-373, 1989, Springer, 3-540-51285-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Michel Parigot |
On the Representation of Data in Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 309-321, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Mark A. Roth, Henry F. Korth, Abraham Silberschatz |
Extended Algebra and Calculus for Nested Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 13(4), pp. 389-417, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Victor Matos |
Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 12(4), pp. 566-592, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Allen Van Gelder, Rodney W. Topor |
Safety and Correct Translation of Relational Calculus Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 313-327, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Erik Meijer 0001 |
Petri net models for the lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, pp. 162-180, 1986, Springer, 3-540-18086-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca |
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 142-164, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Hartmann J. Genrich, Gerda Thieler-Mevissen |
The Calculus of Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, pp. 588-595, 1976, Springer, 0-387-07854-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Zohar Manna |
Properties of Programs and the First-Order Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 16(2), pp. 244-255, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
17 | Alon Jacobson, Xiaozhe Hu |
Structure-preserving discretization of fractional vector calculus using discrete exterior calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 153, pp. 186-196, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney |
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 417-447, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Axel Kerinec, Lionel Vaux Auclair |
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.01067, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yilmaz Zengin |
Construction of proof of the Fundamental Theorem of Calculus using dynamic mathematics software in the calculus classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 27(2), pp. 2331-2366, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Emanuele Guidotti |
calculus: High-Dimensional Numerical and Symbolic Calculus in R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Stat. Softw. ![In: J. Stat. Softw. 104(5), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Alon Jacobson, Xiaozhe Hu |
Structure-Preserving Discretization of Fractional Vector Calculus using Discrete Exterior Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.11175, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Kudasov, Violetta Sim |
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.07454, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Luís Pinto 0001, Tarmo Uustalu |
Plotkin's call-by-value λ-calculus as a modal calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 127, pp. 100775, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Kudasov, Violetta Sim |
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 29-36, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kai Bavendiek |
The σ-calculus: a process calculus for privacy-preserving protocols in location-based service systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
17 | Hafiz Muhammad Fahad, Arran Fernandez |
Operational calculus for Caputo fractional calculus with respect to functions and the associated fractional differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 409, pp. 126400, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yongqiang Sun, Nan Wang 0010, Xiao-Liang Shen 0001 |
Calculus interdependency, personality contingency, and causal asymmetry: Toward a configurational privacy calculus model of information disclosure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 58(8), pp. 103556, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Emanuele Guidotti |
calculus: High Dimensional Numerical and Symbolic Calculus in R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.00086, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Miao-Jung Yvonne Ou |
Teaching multivariable calculus and tensor calculus with computer algebra software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 54(4), pp. 134-135, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Cole Comfort |
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 60-90, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka B. Malinowska, Dorota Mozyrska, Lukasz Sajewski (eds.) |
Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![Springer, 978-3-030-17343-2 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 29(8), pp. 1092-1124, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Ostalczyk, Dominik Sankowski, Jacek Nowakowski (eds.) |
Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![Springer, 978-3-319-78457-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
First-order μ-calculus over generic transition systems and applications to the situation calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 259(3), pp. 328-347, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Amina Wagner, Hanna Krasnova, Olga Abramova, Peter Buxmann, Izak Benbasat |
From 'Privacy Calculus' to 'Social Calculus': Understanding Self-Disclosure on Social Networking Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems - Bridging the Internet of People, Data, and Things, ICIS 2018, San Francisco, CA, USA, December 13-16, 2018, 2018, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Doina Logofatu, Christina Andersson, Damian Groskreutz, Fitore Muharremi, Egbert Falkenberg |
On teaching calculus for prospective engineers and computer scientists: A case study monitoring of six semester calculus at Frankfurt UAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: 2018 IEEE Global Engineering Education Conference, EDUCON 2018, Santa Cruz de Tenerife, Tenerife, Islas Canarias, Spain, April 17-20, 2018, pp. 126-133, 2018, IEEE, 978-1-5386-2957-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Almeida 0001, Agnieszka B. Malinowska, Tatiana Odzijewicz |
An Extension of the Fractional Gronwall Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 20-28, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bohdan Datsko |
Complex Dynamics in Basic Two-Component Auto-Oscillation Systems with Fractional Derivatives of Different Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 99-112, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Oziablo |
Numerical Simulations for Fitting Parameters of Linear and Logistic-Type Fractional-, Variable-Order Equations - Comparision of Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 72-85, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz, Klaudia Dziedzic |
PSO Identification for Discrete Fractional Order Model of Heat Transfer Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 240-249, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Ruszewski |
Stability Analysis for a Class of Fractional Discrete-Time Linear Scalar Systems with Multiple Delays in State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 201-212, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Domek |
Switched Fractional State-Space Predictive Control Methods for Non-Linear Fractional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 113-127, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yuriy Povstenko, Tamara Kyrylych |
Time-Fractional Heat Conduction with Heat Absorption in a Half-Line Domain Due to Boundary Value of the Heat Flux Varying Harmonically in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 268-281, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tadeusz Kaczorek |
Extensions of Kharitonov Theorem to Positive Fractional Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 3-19, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Józef Wiora, Alicja Wiora |
Inaccuracies Revealed During the Analysis of Propagation of Measurement Uncertainty Through a Closed-Loop Fractional-Order Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 213-226, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michal Macias, Dominik Sierociuk, Wiktor Malesza |
Realization of the Fractional Variable-Order Model with Symmetric Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 43-54, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Pawluszewicz |
Aspects of the Finite Step Observability of Fractional Order Discrete-Time Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 189-200, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Wiktor Jakowluk |
Design of an Optimal Input Signal for Parameter Estimation of Linear Fractional-Order Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 128-141, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz, Wojciech Mitkowski |
Exponential Stability for a Class of Fractional Order Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 174-188, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michal Macias |
The Particular Types of Fractional Variable-Order Symmetric Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 29-40, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Kamil Koziol, Rafal Stanislawski |
Selected Implementation Issues in Computation of the Grünwald-Letnikov Fractional-Order Difference by Means of Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 86-95, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Szajek, Wojciech Sumelka |
Complexity of an Identification Problem of Sharp Local Density Loss in Fractional Body. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 282-293, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michal Slawomir Wiraszka, Piotr Sakrajda |
Switching Energy Loss in Fractional-Order Time-Varying Heat Diffusion Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 294-305, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Lino, Guido Maione |
Non-Integer Order Control of PMSM Drives with Two Nested Feedback Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 142-162, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Girejko, Dorota Mozyrska, Malgorzata Wyrwas |
Fractional Cucker-Smale Type Models with the Caputo Variable-Order Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 163-173, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Antun Lovro Brkic, Andrej Novák |
A Nonlocal Image Inpainting Problem Using the Linear Allen-Cahn Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 229-239, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka Jakubowska-Ciszek, Janusz Walczak |
Frequency Method for Determining the Equivalent Parameters of Fractional-Order Elements L _β C _α. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 250-267, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017., pp. 23-57, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Brian Faulkner, Geoffrey L. Herman |
Where does the calculus go? A follow up investigation of how calculus ideas are used in core engineering coursework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: 2017 IEEE Frontiers in Education Conference, FIE 2017, Indianapolis, IN, USA, October 18-21, 2017, pp. 1-4, 2017, IEEE Computer Society, 978-1-5090-5920-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz |
Memory-Effective Modifications of PSE Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 113-125, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Waldemar Bauer, Wojciech Slowik |
Comparison Fixed-Point and Floating-Point Implementation of Noninteger Filter of STM Microcontroller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 126-134, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Almeida 0001, Agnieszka B. Malinowska, Tatiana Odzijewicz |
Non-invasive Control of the Fractional Hegselmann-Krause Type Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 14-27, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mehmet Yavuz, Necati Özdemir |
New Numerical Techniques for Solving Fractional Partial Differential Equations in Conformable Sense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 49-62, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Adam Domanski, Joanna Domanska, Tadeusz Czachórski, Jerzy Klamka, Jakub Szygula |
The AQM Dropping Packet Probability Function Based on Non-integer Order PI^α D^β P I α D β Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 36-48, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Tadeusz Kaczorek |
Decentralized Stabilization of Fractional Positive Descriptor Discrete-Time Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 3-13, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Sowa |
Solutions of Circuits with Fractional, Nonlinear Elements by Means of a SubIval Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 217-228, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Aleksandra Kawala-Janik, Waldemar Bauer, Amir F. Al-Bakri, Chase Haddix, Yuvaraj Rajamanickam, Katarzyna Cichon, Wojciech Podraza |
Implementation of Low-Pass Fractional Filtering for the Purpose of Analysis of Electroencephalographic Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 63-73, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Magdalena Gertner |
Application of Fractional-Order Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 195-203, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lukasz Majka |
Fractional Derivative Approach in Modeling of a Nonlinear Coil for Ferroresonance Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 135-147, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Piotrowska, Krzysztof Rogowski |
Analysis of Fractional Electrical Circuit Using Caputo and Conformable Derivative Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 183-194, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Ruszewski |
Stability Analysis of Fractional Discrete-Time Linear Scalar Systems with Pure Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 84-91, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Domek |
Fractional Linear Systems with Memory Deficiency and Their State-Space Integer-Order Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 164-179, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof J. Latawiec, Rafal Stanislawski, Marian Lukaniszyn, Marek Rydel, Boguslaw R. Szkuta |
Grünwald-Letnikov-Laguerre Modeling of Discrete-Time Noncommensurate Fractional-Order State Space LTI MIMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 74-83, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Benedikt Haus, Paolo Mercorelli |
An Extended Kalman Filter for Time Delays Inspired by a Fractional Order Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 151-163, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Ostalczyk, Marcin Bakala, Jacek Nowakowski |
State Delays Extraction in the Fractional-Order State-Space Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 204-216, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof Oprzedkiewicz, Edyta Gawin, Wojciech Mitkowski |
A PLC Implementation of PSE Approximant for Fractional Order Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 102-112, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Wiktor Malesza, Dominik Sierociuk |
Duality Properties of Variable-Type and -Order Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 92-101, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.02086, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski |
Dag-calculus: a calculus for parallel computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, pp. 18-32, 2016, ACM, 978-1-4503-4219-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ehrhard, Giulio Guerrieri |
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 174-187, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
On First-Order μ-Calculus over Situation Calculus Action Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 411-420, 2016, AAAI Press, 978-1-57735-755-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Revantha Ramanayake |
Embedding the hypersequent calculus in the display calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 25(3), pp. 921-942, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Kogtenkov, Bertrand Meyer 0001, Sergey Velder |
Alias calculus, change calculus and frame inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 97, pp. 163-172, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Virgil U. Pierce, Javier A. Kypuros |
A summer bridge to calculus for students with high school calculus experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: 2015 IEEE Frontiers in Education Conference, FIE 2015, El Paso, TX, USA, October 21-24, 2015, pp. 1-4, 2015, IEEE Computer Society, 978-1-4799-8454-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Agnieszka B. Malinowska, Tatiana Odzijewicz |
Multidimensional Discrete-Time Fractional Calculus of Variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Theoretical Developments and Applications of Non-Integer Order Systems - 7th Conference on Non-Integer Order Calculus and Its Applications, RRNR 2015, Szczecin, Poland, August 28-29, 2015., pp. 17-28, 2015, Springer, 978-3-319-23038-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Joohyung Lee 0002, Ravi Palla |
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.4607, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Tom Gundersen, Willem Heijltjes, Michel Parigot |
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pp. 311-320, 2013, IEEE Computer Society, 978-1-4799-0413-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexis Goyet |
The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 155-166, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Christian C. Wagner, James G. Schiiller |
An Introduction to the Cognitive Calculus: A Calculus of the Human Mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposia ![In: 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Malgorzata Klimek, Maria Lupa |
Reflection Symmetry in Fractional Calculus - Properties and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in the Theory and Applications of Non-integer Order Systems - 5th Conference on Non-integer Order Calculus and Its Applications, RRNR 2013, Cracow, Poland, July 4-5, 2013., pp. 201-211, 2013, Springer, 978-3-319-00932-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Szymanek |
The Application of Fractional Order Differential Calculus for the Description of Temperature Profiles in a Granular Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in the Theory and Applications of Non-integer Order Systems - 5th Conference on Non-integer Order Calculus and Its Applications, RRNR 2013, Cracow, Poland, July 4-5, 2013., pp. 243-248, 2013, Springer, 978-3-319-00932-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hanna Krasnova, Natasha F. Veltri, Oliver Günther 0001 |
Self-disclosure and Privacy Calculus on Social Networking Sites: The Role of Culture - Intercultural Dynamics of Privacy Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Inf. Syst. Eng. ![In: Bus. Inf. Syst. Eng. 4(3), pp. 127-135, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tatiana Odzijewicz, Agnieszka B. Malinowska, Delfim F. M. Torres |
Generalized fractional calculus with applications to the calculus of variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 64(10), pp. 3351-3366, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Joohyung Lee 0002, Ravi Palla |
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 43, pp. 571-620, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jan Wolenski |
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 6(3-4), pp. 587-596, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|