Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

computer circuits (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 2
Look more.. (3/127)
Export

export all inquiry results (2)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
2

book article EST / book article ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemProceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Number of records 2, displaying 1 - 2

1. computer circuits
2. analogue electronic circuits
3. application specific integrated circuits
4. arithmetic circuits
5. circuits and systems
6. circuits design
7. CMOS integrated circuits
8. combinational and sequential circuits
9. combinational circuits
10. communication-time circuits
11. digital circuits
12. digital circuits and systems
13. driver circuits
14. electronic circuits
15. equivalent circuits
16. fractional-order circuits
17. integrated circuits
18. integrated circuits (ICs)
19. low-power circuits and systems
20. magnetic circuits
21. microwave circuits
22. Multi-valued Simulation for Hazard Detection in Digital Circuits
23. parallel circuits
24. printed circuits
25. rectifier circuits
26. Resonant circuits
27. sequential circuits
28. short-circuits
29. Structural Decision Diagrams for Modeling Digital Circuits
30. switching circuits
31. Symmetrical circuits
32. timing circuits
33. VLSI circuits
34. computer
35. computer aided design
36. computer aided diagnosis
37. computer aided diagnostics
38. computer aided instruction
39. computer aided language translation
40. computer aided manufacturing
41. computer aided methods
42. computer aided software engineering
43. computer aided testing
44. computer algebra
45. computer algebra system
46. computer and education
47. computer anxiety
48. computer architecture
49. computer assisted language learning
50. computer based learning
51. computer control
52. Computer crime
53. computer education
54. computer engineering
55. computer engineerng
56. computer game
57. computer graphics
58. computer hardware
59. computer integrated manufacturing
60. computer network management
61. computer network operations
62. computer networks
63. computer pipelines
64. computer programming
65. computer programming languages
66. computer programs
67. computer science
68. computer science basics
69. computer science education
70. computer security
71. computer simulation
72. computer simulation environments
73. computer simulations
74. computer software
75. Computer software and hardware
76. computer softwaregraph theory
77. computer systems
78. Computer systems organization
79. computer systems programming
80. computer terminals
81. computer vision
82. computer vision-based methods
83. computer workers
84. computer-aided anthropometry
85. computer-aided architectural design (CAAD)
86. computer‐aided assessment
87. computer-aided design
88. computer-aided design (CAD)
89. computer-aided detection
90. computer‐aided detection
91. computer-aided diagnosis
92. computer-aided drawing (CAD)
93. computer-aided engineering
94. computer-aided teaching
95. Computer-Aided Tuning
96. computer-aided tuning (CAT)
97. computer-assisted language learning (CALL)
98. computer-oriented technologies
99. computer-supported decision-making
100. computer-use
101. computer-workers
102. control engineering computer applications
103. distributed computer systems
104. education in computer engineering
105. fault tolerant computer systems
106. fifth generation computer
107. gateways (computer networks)
108. high-performance computer systems
109. human computer interaction
110. human computer interaction (HCI)
111. human-computer interaction
112. human–computer interaction
113. Human-Computer Interaction (HCI)
114. human-computer interface
115. human-computer trust
116. interactive computer graphics
117. laptop computer
118. logic in computer science
119. single board computer
120. single-board computer
121. structure computer analysis
122. ubiquitous computer technology
123. Web and computer-based learning

1. Baltic Computer Systems
2. Estonian Summer School on Computer and Systems Science, 2023
3. National Computer Security Incident Response Teams (N-CSIRTs)

1. Department of Computer Systems

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