Ergebnisse für: interaction nets

VMTL Variable YAPA automatic proving calculus complexity interaction nets logic normalization proof proof theory protocol security term rewriting term-graph transformation termination proving

AI applications Agents Big data Cloud computing Data mining Games Graph and network mining Graph mining Human-computer interaction Information extraction Machine learning Natural language processing Network mining Neural nets Privacy

Coq Maude context-sensitive rewriting denotational semantics formal methods high-performance computing information flow control interaction-oriented computing learning linear logic neurobiology parallel computing petri nets proof theory rewriting logic

Coq Maude context-sensitive rewriting denotational semantics formal methods high-performance computing information flow control interaction-oriented computing learning linear logic neurobiology parallel computing petri nets proof theory rewriting logic

VMTL Variable YAPA automatic proving calculus complexity interaction nets logic normalization proof proof theory protocol security term rewriting term-graph transformation termination proving

artificial intelligence computer hardware computer networks computer programming computer vision data security formal logic graph theory Human-Computer Interaction (HCI) machine learning network protocols petri nets signal processing software architecture software design

artificial intelligence computer hardware computer networks computer programming computer vision data security formal logic graph theory Human-Computer Interaction (HCI) machine learning network protocols petri nets signal processing software architecture software design

artificial intelligence computer hardware computer networks computer programming computer vision data security formal logic graph theory Human-Computer Interaction (HCI) machine learning network protocols petri nets signal processing software architecture software design

artificial intelligence computer networks cyber physical systems data security distributed computer systems embedded systems formal methods graph theory Human-Computer Interaction (HCI) internet machine learning model checking petri nets semantics software engineering

artificial intelligence computer networks cyber physical systems data security distributed computer systems embedded systems formal methods graph theory Human-Computer Interaction (HCI) internet machine learning model checking petri nets semantics software engineering

artificial intelligence computer hardware computer networks computer programming computer vision data security formal logic graph theory Human-Computer Interaction (HCI) machine learning network protocols petri nets signal processing software architecture software design

AI applications Agents Big data Cloud computing Data mining Games Graph and network mining Graph mining Human-computer interaction Information extraction Machine learning Natural language processing Network mining Neural nets Privacy

lithium-ion battery pack soft internal short circuit model-based fault detection battery safety internal short circuit resistance load frequency control model uncertainty μ-synthesis differential evolution decision tree preventive control Fault Ride Through Capability doubly-fed induction generator ancillary service frequency regulation