|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mathieu Boespflug, Guillaume Burel |
CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo. |
PxTP |
2012 |
DBLP BibTeX RDF |
|
17 | Damiano Mazza |
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman |
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Bennett, Todd Moore |
Work in progress: What calculus do students learn after calculus? |
FIE |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Wenyan Xu, Sanyang Liu |
Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic. |
QLSC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Jouhet |
Algorithmique du Network Calculus. (Network Calculus Algoritmics). |
|
2012 |
RDF |
|
17 | Xiaojuan Cai, Yuxi Fu |
The λ-calculus in the π-calculus. |
Math. Struct. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti |
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus |
CoRR |
2011 |
DBLP BibTeX RDF |
|
17 | Thomas J. Robinson 0002 |
Formal Calculus and Umbral Calculus. |
Electron. J. Comb. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Virginia S. Kiryakova |
The special functions of fractional calculus as generalized fractional calculus operators of some basic functions. |
Comput. Math. Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ali Uzer |
Multiplicative type complex calculus as an alternative to the classical calculus. |
Comput. Math. Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. |
Sci. Ann. Comput. Sci. |
2010 |
DBLP BibTeX RDF |
|
17 | Shahram Rahimi 0001, John Dillards, Bidyut Gupta |
An Expert System for Pi-Calculus and Api-Calculus Automated Reduction. |
Software Engineering Research and Practice |
2008 |
DBLP BibTeX RDF |
|
17 | Eugene Eberbach |
Expresiveness of the pi-Calculus and the $-Calculus. |
FCS |
2006 |
DBLP BibTeX RDF |
|
17 | Stephan Schiffel, Michael Thielscher |
Reconciling Situation Calculus and Fluent Calculus. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
17 | Guojun Wang, Kwai-Sang Chin, C. Y. Dang |
A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K*. |
Sci. China Ser. F Inf. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Eric S. Marland, Mary E. Searcy |
The Calculus Cycle: Using Biology to Connect Discrete and Continuous Modeling in Calculus. |
BioMath in the Schools |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Song Y. Yan |
Computing Prime Factorization and Discrete Logarithms: From Index Calculus to Xedni Calculus. |
Int. J. Comput. Math. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Scagnetto, Marino Miculan |
Ambient Calculus and its Logic in the Calculus of Inductive Constructions. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ken-etsu Fujita |
An interpretation of [lambda][mu]-calculus in [lambda]-calculus. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | William G. McCallum |
Calculus Mysteries and Thrillers by R. Grant Woods; How to Ace Calculus: The Streetwise Guide by Colin Adams; Joel Hass; Abigail Thompson. |
Am. Math. Mon. |
2001 |
DBLP BibTeX RDF |
|
17 | Mirna Bognar, Roel C. de Vrijer |
A Calculus of Lambda Calculus Contexts. |
J. Autom. Reason. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Marino Miculan |
On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Katsuhiko Gondow, Takuya Katayama |
Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. |
Informatica (Slovenia) |
2000 |
DBLP BibTeX RDF |
|
17 | Gérard Boudol, Cosimo Laneve |
lambda-calculus, multiplicities, and the pi-calculus. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
17 | Bernadette Bouchon-Meunier, Vladik Kreinovich |
Fuzzy Modus Ponens as a Calculus of Logical Modifiers: Towards Zadeh's Vision of Implication Calculus. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michael Thielscher |
From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Andrew D. Gordon 0001 |
A Calculus for Cryptographic Protocols: The spi Calculus. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia |
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. |
CLEI Electron. J. |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Burghard von Karger |
Computation calculus = sequential calculus + discreteness and termination. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
17 | Robert A. Kowalski, Fariba Sadri |
Reconciling the Event Calculus With the Situation Calculus. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
On the Relation Between Situation Calculus and Event Calculus. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Fairouz Kamareddine, Alejandro Ríos 0001 |
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. |
J. Funct. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Andrew D. Gordon 0001 |
A Calculus for Cryptographic Protocols: The Spi Calculus. |
CCS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Eiichi Horita, Ken Mano |
Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. |
ASIAN |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Provetti |
Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. |
Comput. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Combining Situation Calculus and Event Calculus. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
17 | Rob Miller 0002 |
Situation Calculus Specifications for Event Calculus Logic Programs. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen |
From a Concurrent Lambda-Calculus to the Pi-Calculus. |
FCT |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Michel Volle |
Calculus rules for global approximate minima and applications to approximate subdifferential calculus. |
J. Glob. Optim. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Robert A. Kowalski, Fariba Sadri |
The Situation Calculus and Event Calculus Compared. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
17 | Alessandro Provetti |
Hypothetical Reasoning from Situation Calculus to Event Calculus. |
TIME |
1994 |
DBLP BibTeX RDF |
|
17 | Matthias Weber 0003 |
Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus. |
Programming Concepts and Methods |
1990 |
DBLP BibTeX RDF |
|
17 | Gary W. Hansen, James V. Hansen |
Human Performance in Relational Algebra, Tuple Calculus, and Domain Calculus. |
Int. J. Man Mach. Stud. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Isamu Kobayashi |
Tuple calculus: formal definiton and conversion from first-order calculus. |
Inf. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan P. Seldin |
A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus. |
J. Symb. Log. |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Jacques Lévy |
An Algebraic Interpretation of the lambda beta K-Calculus; and an Application of a Labelled lambda -Calculus. |
Theor. Comput. Sci. |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Charles D. Parsons |
Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical". |
Notre Dame J. Formal Log. |
1969 |
DBLP DOI BibTeX RDF |
|
17 | Charles D. Parsons |
A propositional calculus intermediate between the minimal calculus and the classical. |
Notre Dame J. Formal Log. |
1966 |
DBLP DOI BibTeX RDF |
|
17 | Juliusz Reichbach |
On the connection of the first-order functional calculus with ℵ0 propositional calculus. |
Notre Dame J. Formal Log. |
1965 |
DBLP DOI BibTeX RDF |
|
17 | Alan Ross Anderson |
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M. |
J. Symb. Log. |
1954 |
DBLP DOI BibTeX RDF |
|
14 | Radim Belohlávek, Vilém Vychodil |
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices |
14 | Jeremy G. Siek, Philip Wadler |
Threesomes, with and without blame. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
blame tracking, lambda-calculus, coercions, casts |
14 | Ugo Dal Lago |
The geometry of linear higher-order recursion. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction |
14 | Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt |
Specifying norm-governed computational societies. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
agent, policy, norm, executable specification, event calculus, Action language, contract-net |
14 | Zhaohui Wu 0001, ShuiGuang Deng, Ying Li 0001, Jian Wu 0001 |
Computing compatibility in dynamic service composition. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Behavioral compatibility, Web service, Service composition, ?-calculus |
14 | Raúl Monroy, Alan Bundy, Ian Green |
On Process Equivalence = Equation Solving in CCS. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Unique fixpoint induction, Equational verification Calculus of communicating systems |
14 | Patrick Girard 0004, Jeremy Seligman |
An Analytic Logic of Aggregation. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus |
14 | David England, Martin Randles, A. Taleb-Bendiab |
Runtime user interface design and adaptation. |
BCS HCI |
2009 |
DBLP BibTeX RDF |
user interface description, situation calculus, runtime adaptation |
14 | Francis G. McCabe |
Real-time event processing for high volume applications using StarRulesTM. |
DEBS |
2009 |
DBLP DOI BibTeX RDF |
parallel programming, agents, functional programming, fault detection, event calculus, agent oriented programming, semiconductor manufacturing |
14 | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella |
On-line adaptation of sequential mobile processes running concurrently. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
GOLOG, pervasive scenarios, process management, situation calculus, smart devices |
14 | Colin Stirling |
Dependency Tree Automata. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
binding terms, Tree automata, typed lambda calculus |
14 | Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka |
Verification of Information Flow in Agent-Based Systems. |
MCETECH |
2009 |
DBLP DOI BibTeX RDF |
Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic |
14 | Giulio Manzonetto |
A General Class of Models of H*. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus |
14 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
14 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
14 | Amélie Gheerbrant, Balder ten Cate |
Craig Interpolation for Linear Temporal Languages. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation |
14 | Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan |
On the Relationships between Notions of Simulation-Based Security. |
J. Cryptol. |
2008 |
DBLP DOI BibTeX RDF |
Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus |
14 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig |
A congruence relation for sPBC. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras |
14 | Christian Urban |
Nominal Techniques in Isabelle/HOL. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Nominal logic work, Lambda-calculus, Theorem provers |
14 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations |
14 | Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe |
Constructive Logic and the Sorites Paradox. |
New Directions in Intelligent Interactive Multimedia |
2008 |
DBLP DOI BibTeX RDF |
the sorites paradox, contractionless constructive logic, vagueness, sequent calculus |
14 | Daniel Leivant |
Propositional Dynamic Logic for Recursive Procedures. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic |
14 | El-Bahlul Fgee, William J. Phillips, William Robertson 0001 |
Comparison between a Proposed QoS Mathematical Model and other IP QoS Models. |
CNSR |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, Network Calculus |
14 | Roland Meyer 0001, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus |
14 | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
Winning Regions of Higher-Order Pushdown Games. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes |
14 | Makoto Tatsuta |
Types for Hereditary Permutators. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
hereditary permutator, infinite lambda-calculus, stream type, intersection type |
14 | Daniel R. Licata, Noam Zeilberger, Robert Harper 0001 |
Focusing on Binding and Computation. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
computation, binding, logical frameworks, polarity, sequent calculus |
14 | Abbas Edalat |
Weak Topology and a Differentiable Operator for Lipschitz Maps. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric |
14 | Suthathip Suanmali |
Maple in Mathematics. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus |
14 | Anand Ranganathan, Roy H. Campbell |
Provably Correct Pervasive Computing Environments. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Verification, Formal Methods, Pervasive Computing, Ambient Calculus |
14 | Michael Pedersen |
Compositional Definitions of Minimal Flows in Petri Nets. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity |
14 | David Evans 0002, David M. Eyers |
Deontic logic for modelling data flow and use compliance. |
MPAC |
2008 |
DBLP DOI BibTeX RDF |
middleware, contract, deontic logic, event calculus |
14 | Jean-Pierre Jouannaud, Albert Rubio |
Polymorphic higher-order recursive path orderings. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus |
14 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
14 | JianXing Fan, Huazhong Yang, Hui Wang 0004, Xiaolang Yan, Chaohuan Hou |
Phase noise analysis of oscillators with Sylvester representation for periodic time-varying modulus matrix by regular perturbations. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
periodic time-varying, Sylvester theorem, power-law spectrum, Lorentzian spectrum, Floquet exponent, stochastic calculus, phase noise |
14 | Marta Bílková |
Uniform Interpolation and Propositional Quantifiers in Modal Logics. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
propositional quantifiers, interpolation, modal logic, sequent calculus |
14 | Daisuke Miyazaki, Katsushi Ikeuchi |
Shape Estimation of Transparent Objects by Using Inverse Polarization Ray Tracing. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mueller calculus, Transparency, Polarization, Raytracing, Shape-from-X |
14 | Wenpin Jiao, Hong Mei 0001 |
Supporting high interoperability of components by adopting an agent-based approach. |
Softw. Qual. J. |
2007 |
DBLP DOI BibTeX RDF |
Agent, Interoperability, Component, Wrapper, pi-Calculus |
14 | Matthew Fisher, Peter Schröder, Mathieu Desbrun, Hugues Hoppe |
Design of tangent vector fields. |
ACM Trans. Graph. |
2007 |
DBLP DOI BibTeX RDF |
constrained Laplace and Poisson problems for 1-forms, discrete differential 1-forms, discrete exterior calculus, texture synthesis |
14 | Andrew Cirillo, James Riely |
Access Control Based on Code Identity for Open Distributed Systems. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic |
14 | Nicos Gollan, Jens B. Schmitt |
Energy-Efficent TDMA Design Under Real-Time Constraints in Wireless Sensor Networks. |
MASCOTS |
2007 |
DBLP DOI BibTeX RDF |
Real-time guarantees, Optimal TDMA, Wireless Sensor Networks, Energy-Efficiency, Network calculus |
14 | George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos |
Towards security monitoring patterns. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
runtime monitoring, event calculus, security patterns |
14 | Vineet Kahlon, Aarti Gupta |
On the analysis of interacting pushdown systems. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems |
14 | Rolf Grütter, Bettina Bauer-Messmer |
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture. |
AGILE Conf. |
2007 |
DBLP DOI BibTeX RDF |
Region Connection Calculus (RCC), Knowledge Representation System, Environmental Database, Semantic Web, Web Ontology Language (OWL), Spatial Reasoning |
14 | Luciano Lenzini, Enzo Mingozzi, Giovanni Stea |
End-to-end delay bounds in FIFO-multiplexing tandems. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
FIFO-multiplexing, network calculus, delay bound |
14 | Anne Bouillard, Bruno Gaujal, Sebastien Lagrange, Eric Thierry |
Optimal routing for end-to-end guarantees: the price of multiplexing. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
(min, +) algebra, shortest path, multiplexing, network calculus |
14 | Kai Zong, Shihua Li 0001, Xiangze Lin |
The Application of Fractional-Order PI Control Algorithm to the PMSM Speed-Adjusting System. |
ICIC (3) |
2007 |
DBLP DOI BibTeX RDF |
PMSM, fractional calculus, speed adjusting, PI algorithm |
14 | Fulong Chen 0002, Xiaoya Fan |
Embedded System's Performance Analysis with RTC and QT. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
embedded system, performance analysis, queuing theory, real-time calculus |
|
|