Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

deep inference (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (1/56)
Export

export all inquiry results (4)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Related publications 1
- Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
2

journal article

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

journal article
3

journal article EST / journal article ENG

On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
4

journal article EST / journal article ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 4, displaying 1 - 4

1. deep inference
2. deep donor-deep acceptor pairs
3. Active inference
4. Adaptive network-based fuzzy inference system (ANFIS)
5. Adaptive Neuro Fuzzy Inference Systems (ANFIS)
6. Bayesian inference
7. fuzzy inference
8. inference mechanism
9. likelihood-free inference
10. Membership inference attack
11. probabilistic inference
12. semiotics sign-inference
13. deep brain stimulation
14. deep convolutional neural network
15. Deep defects
16. deep energy levels
17. deep energy renovation
18. deep eutectic solvents
19. deep fake
20. deep fake recognition
21. deep habits
22. deep heat well
23. deep layer
24. deep learning
25. deep learning (DL)
26. deep learning classifier
27. deep learning method
28. deep learning methods
29. deep learning model
30. deep learning model quantization
31. deep learning network
32. deep level
33. deep level traps
34. deep levels
35. deep neural network
36. deep neural network compression
37. deep neural networks
38. deep neural networks (DNNs)
39. deep offshore
40. deep packet inspection
41. deep Q-network
42. deep reinforcement learning
43. Deep reinforcing learning SDN
44. deep renovation
45. deep understanding
46. deep UV emission
47. Deep-learning
48. deep-learning (DL)
49. deep-sea mining
50. double deep Q-network
51. embedded deep learning
52. Multi-agent deep reinforcement learning
53. natural deep eutectic solvents
54. naturally available deep eutectic solvents
55. nZEB deep energy renovation
56. nZEB deep renovation

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu