Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Computer science. Software (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
288
Vaata veel..
(3/239)
Ekspordi
ekspordi kõik päringu tulemused
(288)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
76
artikkel kogumikus EST
/
artikkel kogumikus ENG
A direct version of Veldman's proof of open induction on cantor space via delimited control operators
Ilik, Danko
;
Nakata, Keiko
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 188-201
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
77
artikkel kogumikus EST
/
artikkel kogumikus ENG
Directed containers as categories
Ahman, Danel
;
Uustalu, Tarmo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 89-98
https://doi.org/10.4204/eptcs.207.5
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
78
artikkel kogumikus EST
/
artikkel kogumikus ENG
Distributed largest eigenvalue detection
Ainomäe, Ahti
;
Trump, Tõnu
;
Bengtsson, Mats
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA
2017
/
p. 3519-3523 : ill
https://doi.org/10.1109/ICASSP.2017.7952811
Confernce proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
79
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
https://doi.org/10.1016/j.jlamp.2016.06.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
80
artikkel kogumikus EST
/
artikkel kogumikus ENG
Drivers and barriers for the development of smart sustainable cities : a systematic literature review
Schuch de Azambuja, Luiza
ICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance
2021
/
p. 422 - 428
https://doi.org/10.1145/3494193.3494250
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
81
artikkel kogumikus EST
/
artikkel kogumikus ENG
Duality of lattices associated to left and right quotients
Bell, Jason
;
Smertnig, Daniel
;
Tamm, Hellis
16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 2023
2023
/
p. 35-50
https://doi.org/10.4204/EPTCS.386.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
82
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
EcoLight+ : a novel multi-modal data fusion for enhanced eco-friendly traffic signal control driven by urban traffic noise prediction
Ounoughi, Chahinez
;
Ounoughi, Doua
;
Ben Yahia, Sadok
Knowledge and information systems
2023
/
p. 5309–5329
https://doi.org/10.1007/s10115-023-01938-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades
83
artikkel kogumikus EST
/
artikkel kogumikus ENG
E-court system evaluation through the user's perspective : applying the end-user computing satisfaction (EUCS) model
Ahmed, Rozha Kamal
;
Ahmed, Omer
;
Pappel, Ingrid
;
Draheim, Dirk
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 293-299
https://doi.org/10.1145/3543434.3543560
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine
84
artikkel kogumikus EST
/
artikkel kogumikus ENG
Educating future digital leaders : developing e-governance curriculum in Estonia and Ukraine
Morze, Nataliia
;
Makhachashvili, Rusudan
;
Mosiashvili, Gvantsa
;
Pappel, Ingrid
DHW 2021: Digital Humanities Workshop
2021
/
p. 185 - 190
https://doi.org/10.1145/3526242.3526253
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
85
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Effective scalable IEEE 1687 instrumentation network for fault management
Jutman, Artur
;
Shibin, Konstantin
;
Devadze, Sergei
IEEE design & test
2013
/
p. 26-35 : ill
https://doi.org/10.1109/MDAT.2013.2278535
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
86
artikkel kogumikus EST
/
artikkel kogumikus ENG
eID public acceptance in Estonia : towards understanding the citizen
Tsap, Valentyna
;
Lips, Silvia
;
Draheim, Dirk
The Proceedings of the 21st Annual International Conference on Digital Government Research (DGO2020), Intelligent Government in the Intelligent Information Society : June 15-19, 2020, Seoul, Republic of Korea
2020
/
p. 340−341
https://doi.org/10.1145/3396956.3397009
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
2
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
87
artikkel kogumikus EST
/
artikkel kogumikus ENG
Enabling sensemaking and trust in communities : an organizational perspective
Arakkal Peious, Sijo
;
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence : November 29-December 1, 2021, Linz, Austria : proceedings
2021
/
p. 95-103 : ill
https://doi.org/10.1145/3487664.3487678
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
3
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
Measures of Impact and Confounding – An Analysis and Experimental Comparison of Novel and Established Measures = Mõju ja segajate mõõdikud – uute ja väljakujunenud meetmete analüüs ja eksperimentaalne võrdlus
88
artikkel kogumikus EST
/
artikkel kogumikus ENG
Enabling social information exchange via dynamically robust annotations
Pattanaik, Vishwajeet
;
Suran, Shweta
;
Draheim, Dirk
iiWAS2019 : Proceedings of the 21st International Conference on Information Integration and Web-based Applications & Services : December 2–4, 2019, Munich, Germany
2019
/
p. 176–184 : ill
https://doi.org/10.1145/3366030.3366060
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
2
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
89
artikkel kogumikus EST
/
artikkel kogumikus ENG
Enhancing OSGi with asynchronous messaging
Astrova, Irina
;
Schaaf, Marc
;
Koschel, Arne
;
Ahlers, Volker
JTRES '16 : proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems : Lugano, Switzerland, August 29 - September 02, 2016
2016
/
[10] p. : ill
https://doi.org/10.1145/2990509.2990513
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
90
artikkel kogumikus EST
/
artikkel kogumikus ENG
Ensemble of Tensor Train Decomposition and Quantization Methods for Deep Learning Model Compression
Ademola, Olutosin Ajibola
;
Petlenkov, Eduard
;
Leier, Mairo
2022 International Joint Conference on Neural Networks (IJCNN)
2022
https://doi.org/10.1109/IJCNN55064.2022.9892626
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Efficient Deep Learning Model Optimization for Resource Constrained Devices = Tõhus süvaõppe mudeli optimeerimine piiratud ressurssidega seadmete jaoks
91
artikkel kogumikus EST
/
artikkel kogumikus ENG
E-Residency as a nation branding case
Kimmo, Margarita
;
Pappel, Ingrid
;
Draheim, Dirk
11th International Conference on Theory and Practice of Electronic Governance, 4 - 6 April 2018
2018
/
p. 419-428
https://doi.org/10.1145/3209415.3209447
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
92
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Error messages in relational database management systems : a comparison of effectiveness, usefulness, and user confidence
Taipalus, Toni
;
Grahn, Hilkka
;
Ghanbari, Hadi
Journal of systems and software
2021
/
art. 111034, 15 p.: ill
https://doi.org/10.1016/j.jss.2021.111034
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
93
artikkel kogumikus EST
/
artikkel kogumikus ENG
Estimating sparse signals using integrated wide-band dictionaries
Butsenko, Maksim
;
Swärd, Johan
;
Jakobsson, Andreas
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA
2017
/
p. 4426-4430 : ill
https://doi.org/10.1109/ICASSP.2017.7952993
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
94
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Estimation of real-time demands on the basis of pressure measurements by different optimization methods
Vassiljev, Anatoli
;
Koppel, Tiit
Advances in engineering software
2015
/
p. 67-71 : ill
https://doi.org/10.1016/j.advengsoft.2014.09.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
95
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Estimation of real-time water fluxes in water distribution system on the basis of pressure measurements
Koppel, Tiit
;
Vassiljev, Anatoli
Advances in engineering software
2013
/
p. 19-23 : ill
https://doi.org/10.1016/j.advengsoft.2012.11.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
96
artikkel kogumikus EST
/
artikkel kogumikus ENG
The Estonian data embassy and the applicability of the Vienna convention: an exploratory analysis
Robinson, Nick
;
Kask, Laura
;
Krimmer, Robert Johannes
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
p. 391-396
https://doi.org/10.1145/3326365.3326417
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
97
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluating cybersecurity-related competences through serious games
Mäses, Sten
19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings
2019
/
2 p
https://doi.org/10.1145/3364510.3366163
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
98
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluating the impact of artificial intelligence technologies in public services : towards an assessment framework
Noordt, Colin Pascal van
;
Misuraca, Gianluca
ICEGOV '20 : proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : Athens, Greece, September 23-25, 2020
2020
/
p. 8-16
https://doi.org/10.1145/3428502.3428504
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
99
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evaluation of approaches for designing and developing decentralized applications on blockchain
Udokwu, Chibuzor
;
Anyanka, Henry
;
Norta, Alexander
ICACS'20 : proceedings of the 4th International Conference on Algorithms, Computing and Systems. ICACS-AECCC 2020: the 2nd African Electronics Computer and Communication Conference, September 18-20, 2020, Virtual Conference
2020
/
p. 55-62
https://doi.org/10.1145/3423390.3426724
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
100
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evidential decision theory via partial Markov categories
Di Lavore, Elena
;
Roman Garcia, Mario
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
14 p. : ill
https://doi.org/10.1109/LICS56636.2023.10175776
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 288, kuvan
76 - 100
eelmine
1
2
3
4
5
6
7
8
9
10
järgmine
võtmesõna
232
1.
computer aided software engineering
2.
computer software
3.
Computer software and hardware
4.
computer science
5.
computer science basics
6.
computer science education
7.
logic in computer science
8.
advanced programming and software
9.
agent software architecture
10.
agent-oriented software engineering
11.
Agile software engineering
12.
AI based CAD software
13.
analysis software
14.
Anonymization software
15.
ARIS software
16.
Automated Synthesis of Software-based Self-test
17.
bernese software
18.
business software
19.
CFD (computational fluid dynamics) software
20.
client-vendor relationship in software development
21.
communicating hardware/software systems
22.
communicating software/hardware systems
23.
COMSOL software
24.
educational software
25.
embedded software
26.
energy simulation software
27.
free software
28.
GIS software
29.
hardware/software co-design
30.
interoperability and evolution of healthcare models and software systems
31.
invasive software
32.
large software projects
33.
learning software agents
34.
model-based software development
35.
model-driven software engineering
36.
ontology driven software development
37.
ontology-based software engineering
38.
open source software
39.
optimization software
40.
plagiarism software
41.
public domain software
42.
RETScreen software
43.
self learning software
44.
sensor software
45.
simulation software "Delphin"
46.
simulations with software
47.
social software
48.
software
49.
software architecture
50.
software architecture improvement
51.
software based self-test
52.
software companies
53.
software complexity
54.
software containers
55.
software defined networking
56.
software defined networking (SDN)
57.
software defined networks (SDN)
58.
software defined radio
59.
software defined radio (SDR)
60.
software design
61.
software development
62.
software development concepts
63.
software engineering
64.
software engineering education
65.
Software engineering methodology evaluation
66.
software engineering practises
67.
software factory
68.
software for measurements
69.
software implementation
70.
software level TMR
71.
software modeling
72.
software outsourcing
73.
Software packages
74.
software project management
75.
software qualification
76.
software quality
77.
software refactoring
78.
software sector
79.
software testing
80.
software/hardware partitioning
81.
software/hardware systems
82.
software-based self-test
83.
software-based self-test (SBST)
84.
software-defined network
85.
software-defined networking
86.
software-defined networking (SDN)
87.
software-in-the-loop (SIL) testing
88.
SOLIDWORKS software
89.
SysML modeling software
90.
system-to-software integrity
91.
triptych software engineering
92.
computer
93.
computer aided design
94.
computer aided diagnosis
95.
computer aided diagnostics
96.
computer aided instruction
97.
computer aided language translation
98.
computer aided manufacturing
99.
computer aided methods
100.
computer aided testing
101.
computer algebra
102.
computer algebra system
103.
computer and education
104.
computer anxiety
105.
computer architecture
106.
computer assisted language learning
107.
computer based learning
108.
computer circuits
109.
computer control
110.
Computer crime
111.
computer education
112.
computer engineering
113.
computer engineerng
114.
computer game
115.
computer graphics
116.
computer hardware
117.
computer integrated manufacturing
118.
computer network management
119.
computer network operations
120.
computer networks
121.
computer pipelines
122.
computer programming
123.
computer programming languages
124.
computer programs
125.
computer security
126.
computer simulation
127.
computer simulation environments
128.
computer simulations
129.
computer softwaregraph theory
130.
computer systems
131.
Computer systems organization
132.
computer terminals
133.
computer vision
134.
computer vision-based methods
135.
computer workers
136.
computer-aided anthropometry
137.
computer-aided architectural design (CAAD)
138.
computer‐aided assessment
139.
computer-aided design
140.
computer-aided design (CAD)
141.
computer-aided detection
142.
computer‐aided detection
143.
computer-aided diagnosis
144.
computer-aided drawing (CAD)
145.
computer-aided engineering
146.
computer-aided teaching
147.
Computer-Aided Tuning
148.
computer-aided tuning (CAT)
149.
computer-assisted language learning (CALL)
150.
computer-oriented technologies
151.
computer-supported decision-making
152.
computer-use
153.
computer-workers
154.
control engineering computer applications
155.
distributed computer systems
156.
education in computer engineering
157.
fifth generation computer
158.
gateways (computer networks)
159.
high-performance computer systems
160.
human computer interaction
161.
human computer interaction (HCI)
162.
human-computer interaction
163.
human–computer interaction
164.
Human-Computer Interaction (HCI)
165.
human-computer trust
166.
interactive computer graphics
167.
laptop computer
168.
single board computer
169.
single-board computer
170.
structure computer analysis
171.
ubiquitous computer technology
172.
Web and computer-based learning
173.
applied science
174.
big data science
175.
chemistry and philosophy of science
176.
citizen science
177.
citizen science hub
178.
classical exact science
179.
cognitive science
180.
computational social science
181.
data science
182.
data-science
183.
decision science
184.
design science
185.
design science research
186.
design-science
187.
energy science and technology
188.
engineering pedagogy science
189.
environmental science
190.
ethics of science
191.
exact science
192.
food science
193.
forensic science
194.
logic of science
195.
materials science
196.
NATO. Science for Peace and Security Program
197.
non-classical exact science
198.
philosophy of science
199.
physics and philosophy of science
200.
planetary science
201.
political science
202.
popular science literature
203.
post normal science
204.
post-normal science
205.
Q science
206.
science
207.
science advisors
208.
science and arts
209.
science and technology libraries
210.
science and technology parks
211.
science fiction
212.
science gateway
213.
science integration
214.
science mapping
215.
science policy
216.
science technology and innovation
217.
science technology innovation
218.
Science, Technology and Innovation Policy
219.
science-based industries
220.
science-driven models
221.
science-policy-society interface
222.
Security and political science
223.
Social Science
224.
social science methodology
225.
sustainability science
226.
Thomson Reuters Web of Science
227.
transdisciplinary science
228.
Web of Science
229.
World Academy of Art and Science (WAAS)
230.
ȹ-science
231.
φ-science
232.
ϕ-science
märksõna
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT