Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Nicolas Zabel	An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.	JELIA	1992	DBLP DOI BibTeX RDF
17	E. Allen Emerson	Real-Time and the Mu-Calculus (Preliminary Report).	REX Workshop	1991	DBLP DOI BibTeX RDF
17	Kohei Honda 0001, Mario Tokoro	An Object Calculus for Asynchronous Communication.	ECOOP	1991	DBLP DOI BibTeX RDF
17	Michel Langevin	Automated RTL Verification Based on Predicate Calculus.	CAV	1990	DBLP DOI BibTeX RDF
17	Andrea Asperti	Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus.	PLILP	1990	DBLP DOI BibTeX RDF
17	Amy P. Felty, Dale Miller 0001	Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language.	CADE	1990	DBLP DOI BibTeX RDF
17	Roberto Gorrieri, Ugo Montanari	SCONE: A Simple Calculus of Nets.	CONCUR	1990	DBLP DOI BibTeX RDF
17	Greg Nelson	A Generalization of Dijkstra's Calculus.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
17	Christine Paulin-Mohring	Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.	POPL	1989	DBLP DOI BibTeX RDF	ML
17	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	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.	PARLE (2)	1989	DBLP DOI BibTeX RDF
17	Michel Parigot	On the Representation of Data in Lambda-Calculus.	CSL	1989	DBLP DOI BibTeX RDF
17	Mark A. Roth, Henry F. Korth, Abraham Silberschatz	Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	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.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
17	Allen Van Gelder, Rodney W. Topor	Safety and Correct Translation of Relational Calculus Formulas.	PODS	1987	DBLP DOI BibTeX RDF
17	Erik Meijer 0001	Petri net models for the lambda-calculus.	European Workshop on Applications and Theory of Petri Nets	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.	ICALP	1978	DBLP DOI BibTeX RDF
17	Hartmann J. Genrich, Gerda Thieler-Mevissen	The Calculus of Facts.	MFCS	1976	DBLP DOI BibTeX RDF
17	Zohar Manna	Properties of Programs and the First-Order Predicate Calculus.	J. ACM	1969	DBLP DOI BibTeX RDF
17	Alon Jacobson, Xiaozhe Hu	Structure-preserving discretization of fractional vector calculus using discrete exterior calculus.	Comput. Math. Appl.	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.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Axel Kerinec, Lionel Vaux Auclair	The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus.	CoRR	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.	LICS	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.	Educ. Inf. Technol.	2022	DBLP DOI BibTeX RDF
17	Emanuele Guidotti	calculus: High-Dimensional Numerical and Symbolic Calculus in R.	J. Stat. Softw.	2022	DBLP DOI BibTeX RDF
17	Alon Jacobson, Xiaozhe Hu	Structure-Preserving Discretization of Fractional Vector Calculus using Discrete Exterior Calculus.	CoRR	2022	DBLP DOI BibTeX RDF
17	Nikolai Kudasov, Violetta Sim	Formalizing φ-calculus: a purely object-oriented calculus of decorated objects.	CoRR	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.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
17	Nikolai Kudasov, Violetta Sim	Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects.	FTfJP@ECOOP	2022	DBLP DOI BibTeX RDF
17	Kai Bavendiek	The σ-calculus: a process calculus for privacy-preserving protocols in location-based service systems.		2022	RDF
17	Hafiz Muhammad Fahad, Arran Fernandez	Operational calculus for Caputo fractional calculus with respect to functions and the associated fractional differential equations.	Appl. Math. Comput.	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.	Inf. Manag.	2021	DBLP DOI BibTeX RDF
17	Emanuele Guidotti	calculus: High Dimensional Numerical and Symbolic Calculus in R.	CoRR	2021	DBLP BibTeX RDF
17	Miao-Jung Yvonne Ou	Teaching multivariable calculus and tensor calculus with computer algebra software.	ACM Commun. Comput. Algebra	2020	DBLP DOI BibTeX RDF
17	Cole Comfort	The ZX& calculus: A complete graphical calculus for classical circuits using spiders.	QPL	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	RRNR	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.	Math. Struct. Comput. Sci.	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.	RRNR	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.	Inf. Comput.	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.	ICIS	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.	EDUCON	2018	DBLP DOI BibTeX RDF
17	Ricardo Almeida 0001, Agnieszka B. Malinowska, Tatiana Odzijewicz	An Extension of the Fractional Gronwall Inequality.	RRNR	2018	DBLP DOI BibTeX RDF
17	Bohdan Datsko	Complex Dynamics in Basic Two-Component Auto-Oscillation Systems with Fractional Derivatives of Different Orders.	RRNR	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.	RRNR	2018	DBLP DOI BibTeX RDF
17	Krzysztof Oprzedkiewicz, Klaudia Dziedzic	PSO Identification for Discrete Fractional Order Model of Heat Transfer Process.	RRNR	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.	RRNR	2018	DBLP DOI BibTeX RDF
17	Stefan Domek	Switched Fractional State-Space Predictive Control Methods for Non-Linear Fractional Systems.	RRNR	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.	RRNR	2018	DBLP DOI BibTeX RDF
17	Tadeusz Kaczorek	Extensions of Kharitonov Theorem to Positive Fractional Linear Systems.	RRNR	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.	RRNR	2018	DBLP DOI BibTeX RDF
17	Michal Macias, Dominik Sierociuk, Wiktor Malesza	Realization of the Fractional Variable-Order Model with Symmetric Property.	RRNR	2018	DBLP DOI BibTeX RDF
17	Ewa Pawluszewicz	Aspects of the Finite Step Observability of Fractional Order Discrete-Time Polynomial Systems.	RRNR	2018	DBLP DOI BibTeX RDF
17	Wiktor Jakowluk	Design of an Optimal Input Signal for Parameter Estimation of Linear Fractional-Order Systems.	RRNR	2018	DBLP DOI BibTeX RDF
17	Krzysztof Oprzedkiewicz, Wojciech Mitkowski	Exponential Stability for a Class of Fractional Order Dynamic Systems.	RRNR	2018	DBLP DOI BibTeX RDF
17	Michal Macias	The Particular Types of Fractional Variable-Order Symmetric Operators.	RRNR	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.	RRNR	2018	DBLP DOI BibTeX RDF
17	Krzysztof Szajek, Wojciech Sumelka	Complexity of an Identification Problem of Sharp Local Density Loss in Fractional Body.	RRNR	2018	DBLP DOI BibTeX RDF
17	Michal Slawomir Wiraszka, Piotr Sakrajda	Switching Energy Loss in Fractional-Order Time-Varying Heat Diffusion Model.	RRNR	2018	DBLP DOI BibTeX RDF
17	Paolo Lino, Guido Maione	Non-Integer Order Control of PMSM Drives with Two Nested Feedback Loops.	RRNR	2018	DBLP DOI BibTeX RDF
17	Ewa Girejko, Dorota Mozyrska, Malgorzata Wyrwas	Fractional Cucker-Smale Type Models with the Caputo Variable-Order Operator.	RRNR	2018	DBLP DOI BibTeX RDF
17	Antun Lovro Brkic, Andrej Novák	A Nonlocal Image Inpainting Problem Using the Linear Allen-Cahn Equation.	RRNR	2018	DBLP DOI BibTeX RDF
17	Agnieszka Jakubowska-Ciszek, Janusz Walczak	Frequency Method for Determining the Equivalent Parameters of Fractional-Order Elements L _β C _α.	RRNR	2018	DBLP DOI BibTeX RDF
17	Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart	Y-Calculus: A language for real Matrices derived from the ZX-Calculus.	QPL	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.	FIE	2017	DBLP DOI BibTeX RDF
17	Krzysztof Oprzedkiewicz	Memory-Effective Modifications of PSE Approximation.	RRNR	2017	DBLP DOI BibTeX RDF
17	Waldemar Bauer, Wojciech Slowik	Comparison Fixed-Point and Floating-Point Implementation of Noninteger Filter of STM Microcontroller.	RRNR	2017	DBLP DOI BibTeX RDF
17	Ricardo Almeida 0001, Agnieszka B. Malinowska, Tatiana Odzijewicz	Non-invasive Control of the Fractional Hegselmann-Krause Type Model.	RRNR	2017	DBLP DOI BibTeX RDF
17	Mehmet Yavuz, Necati Özdemir	New Numerical Techniques for Solving Fractional Partial Differential Equations in Conformable Sense.	RRNR	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.	RRNR	2017	DBLP DOI BibTeX RDF
17	Tadeusz Kaczorek	Decentralized Stabilization of Fractional Positive Descriptor Discrete-Time Linear Systems.	RRNR	2017	DBLP DOI BibTeX RDF
17	Marcin Sowa	Solutions of Circuits with Fractional, Nonlinear Elements by Means of a SubIval Solver.	RRNR	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.	RRNR	2017	DBLP DOI BibTeX RDF
17	Magdalena Gertner	Application of Fractional-Order Controller.	RRNR	2017	DBLP DOI BibTeX RDF
17	Lukasz Majka	Fractional Derivative Approach in Modeling of a Nonlinear Coil for Ferroresonance Analyses.	RRNR	2017	DBLP DOI BibTeX RDF
17	Ewa Piotrowska, Krzysztof Rogowski	Analysis of Fractional Electrical Circuit Using Caputo and Conformable Derivative Definitions.	RRNR	2017	DBLP DOI BibTeX RDF
17	Andrzej Ruszewski	Stability Analysis of Fractional Discrete-Time Linear Scalar Systems with Pure Delay.	RRNR	2017	DBLP DOI BibTeX RDF
17	Stefan Domek	Fractional Linear Systems with Memory Deficiency and Their State-Space Integer-Order Approximation.	RRNR	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.	RRNR	2017	DBLP DOI BibTeX RDF
17	Benedikt Haus, Paolo Mercorelli	An Extended Kalman Filter for Time Delays Inspired by a Fractional Order Model.	RRNR	2017	DBLP DOI BibTeX RDF
17	Piotr Ostalczyk, Marcin Bakala, Jacek Nowakowski	State Delays Extraction in the Fractional-Order State-Space Model.	RRNR	2017	DBLP DOI BibTeX RDF
17	Krzysztof Oprzedkiewicz, Edyta Gawin, Wojciech Mitkowski	A PLC Implementation of PSE Approximant for Fractional Order Operator.	RRNR	2017	DBLP DOI BibTeX RDF
17	Wiktor Malesza, Dominik Sierociuk	Duality Properties of Variable-Type and -Order Differences.	RRNR	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.	CoRR	2016	DBLP BibTeX RDF
17	Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski	Dag-calculus: a calculus for parallel computation.	ICFP	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.	PPDP	2016	DBLP DOI BibTeX RDF
17	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi	On First-Order μ-Calculus over Situation Calculus Action Theories.	KR	2016	DBLP BibTeX RDF
17	Revantha Ramanayake	Embedding the hypersequent calculus in the display calculus.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
17	Alexander Kogtenkov, Bertrand Meyer 0001, Sergey Velder	Alias calculus, change calculus and frame inference.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
17	Virgil U. Pierce, Javier A. Kypuros	A summer bridge to calculus for students with high school calculus experience.	FIE	2015	DBLP DOI BibTeX RDF
17	Agnieszka B. Malinowska, Tatiana Odzijewicz	Multidimensional Discrete-Time Fractional Calculus of Variations.	RRNR	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.	CoRR	2014	DBLP BibTeX RDF
17	Tom Gundersen, Willem Heijltjes, Michel Parigot	Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing.	LICS	2013	DBLP DOI BibTeX RDF
17	Alexis Goyet	The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies.	POPL	2013	DBLP DOI BibTeX RDF
17	Christian C. Wagner, James G. Schiiller	An Introduction to the Cognitive Calculus: A Calculus of the Human Mind.	AAAI Fall Symposia	2013	DBLP BibTeX RDF
17	Malgorzata Klimek, Maria Lupa	Reflection Symmetry in Fractional Calculus - Properties and Applications.	RRNR	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.	RRNR	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.	Bus. Inf. Syst. Eng.	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.	Comput. Math. Appl.	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.	J. Artif. Intell. Res.	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.	Logica Universalis	2012	DBLP DOI BibTeX RDF