The following pages link to Interactive Computation (Q5394323):
Displayed 18 items.
- The expressive power of analog recurrent neural networks on infinite input streams (Q428898) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- \(p\)-adic physics, non-well-founded reality and unconventional computing (Q1760203) (← links)
- Information flow in logic for distributed systems: extending graded consequence (Q2214982) (← links)
- Interactive computations: toward risk management in interactive intelligent systems (Q2311251) (← links)
- Notes on spiking neural P systems and finite automata (Q2311262) (← links)
- Programming Languages For Interactive Computing (Q2864508) (← links)
- The Computational Power of Interactive Recurrent Neural Networks (Q2919401) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- On the Executability of Interactive Computation (Q3188271) (← links)
- How We Think of Computing Today (Q3507474) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence (Q5245174) (← links)
- Rough Sets: From Rudiments to Challenges (Q5245176) (← links)
- On Compiling Structured Interactive Programs with Registers and Voices (Q5448652) (← links)
- Rough sets: past, present, and future (Q6062029) (← links)
- Some Foundational Aspects of Rough Sets Rendering Its Wide Applicability (Q6104451) (← links)