Pages that link to "Item:Q1127523"
From MaRDI portal
The following pages link to Interactive foundations of computing (Q1127523):
Displaying 24 items.
- Successful visual human-computer interaction is undecidable (Q293299) (← links)
- Information systems in modeling interactive computations on granules (Q642541) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Interactive information systems: toward perception based computing (Q714829) (← links)
- Expressive power of first-order recurrent neural networks determined by their attractor dynamics (Q736603) (← links)
- Computational complementarity (Q789384) (← links)
- Theory of interaction (Q896903) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Building web knowledge flows based on interactive computing with semantics (Q980448) (← links)
- A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145) (← links)
- ``Viral'' Turing machines, computation from noise and combinatorial hierarchies (Q1694134) (← links)
- Molecular interaction. (Q1853559) (← links)
- Is there any real substance to the claims for a ``new computationalism''? (Q2011631) (← links)
- Interactive computations: toward risk management in interactive intelligent systems (Q2311251) (← links)
- Computability and realizability for interactive computations (Q2343137) (← links)
- The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems (Q2383594) (← links)
- Defining actions in concurrent declarative programming (Q2841291) (← links)
- Actors and logical analysis of interactive systems (Q2863849) (← links)
- Programming languages for interactive computing (Q2864508) (← links)
- The computational power of interactive recurrent neural networks (Q2919401) (← links)
- Are Statecharts Finite Automata? (Q3637362) (← links)
- A Note on Interaction and Incompleteness (Q4812251) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- On Compiling Structured Interactive Programs with Registers and Voices (Q5448652) (← links)