Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Boole'i funktsioonid (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
16
Look more..
(2/22)
Export
export all inquiry results
(16)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
Berechnung von Booleschen Ableitungen bei der Testsatzanalyse für digitale Schaltungen
Ubar, Raimund-Johannes
Nachrichtentechnik, Elektronik : technisch-wissenschaftlishe Zeitschrift für die gesamte elektronische Nachrichtentechnik
1977
/
p. 21-23 : ill
https://www.ester.ee/record=b1550811*est
journal article
2
book article
Boolean fault dignosis with structurally synthesized BDDs
Ubar, Raimund-Johannes
Recent progress in the Boolean domain
2014
/
p. 303-331 : ill
book article
3
book
Combinatorial calculations in many-dimensional Boolean space
Zakrevskij, Arkadij
2012
http://www.ester.ee/record=b2771638*est
book
4
book article
Digital logic simulation with compressed BDDs
Ubar, Raimund-Johannes
;
Mironov, Dmitri
;
Devadze, Sergei
;
Raik, Jaan
Proceedings : 2011 IEEE International Conference on Computer Science and Automation Engineering : June 10-12, 2011, Shanghai, China
2011
/
p. 105-109 : ill
https://ieeexplore.ieee.org/document/5952643
book article
5
book article EST
/
book article ENG
From equations to distinctions: Two interpretations of effectful computations
Voorneveld, Niels
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
p. 1-17
https://doi.org/10.4204/EPTCS.317.1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
6
book article
Hardware/software co-design in extensible processing platforms for combinatorial search algorithms
Skliarova, Iouliia
;
Sklyarov, Valery
;
Rjabov, Artjom
;
Sudnitsõn, Aleksander
MELECON 2014 : 2014 17th IEEE Mediterranean Electrotechnical Conference : 13-16 April 2014, Beirut, Lebanon
2014
/
p. 462-466 : ill
book article
7
book article
Multiplekserite võrkude süntees Boole'i funktsioonide informatiivse keerukushinnangu alusel
Tampuu, E.
;
Keevallik, Andres
XXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 1980
1981
/
lk. 92
https://www.ester.ee/record=b1322611*est
book article
8
book article
Multiple-objective backtrace for solving test generation constraints
Mekler, A.
;
Raik, Jaan
International Symposium on System-on-Chip : November 19-21, 2003, Tampere, Finland : proceedings
2003
/
p. 123-126 : ill
https://ieeexplore.ieee.org/document/1267732
book article
9
book article
On SSBDD model size & complexity
Jutman, Artur
ECS'03 : proceedings of the 4th Electronic Circuits and Systems Conference : September 11-12, 2003, Bratislava, Slovakia
2003
/
p. 17-22
https://pld.ttu.ee/~artur/papers/SSBDD_Model_Size-ECS03.pdf
book article
10
book
Optimization in Boolean space
Zakrevskij, Arkadij
;
Pottosin, Yu.
;
Cheremisinova, L.
2009
http://www.ester.ee/record=b2461762*est
book
11
book article EST
/
book article ENG
Peirce's sequent proofs of distributivity
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
2017
/
p. 168-182
https://doi.org/10.1007/978-3-662-54069-5_13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
12
book article
Probabilistic equivalence checking based on high-level decision diagrams
Karputkin, Anton
;
Ubar, Raimund-Johannes
;
Tombak, Mati
;
Raik, Jaan
Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany
2011
/
p. 423-428 : ill
https://ieeexplore.ieee.org/document/5783130
book article
13
book article
Timing simulation of digital circuits with binary decision diagrams
Ubar, Raimund-Johannes
;
Jutman, Artur
;
Peng, Z.
Design, Automation and Test in Europe : Conference and Exhibition 2001 : Munich, Germany, March 13-16, 2001 : proceedings
2001
/
p. 460-466 : ill
https://ieeexplore.ieee.org/document/915063
book article
14
journal article
Using SAT-based techniques in low power state assignment
Sagahyroon, Assim
;
Aloul, Fadi
;
Sudnitsõn, Aleksander
Journal of circuits, systems, and computers
2011
/
p. 1605-1618 : ill
https://www.worldscientific.com/doi/10.1142/S0218126611007980
journal article
15
book article
Классификация булевых функции
Henno, Jaak
VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А.И. Мальцева, Новосибирск, 5-7 сент. 1984 г. : Тез. докл.
1984
/
с. 98-99
book article
16
journal article
Построение сокращенных дизъюнктивных нормальных форм булевых функций методом масок
Mihejeva, Ludmilla
;
Salum, H.
Eesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics
1969
/
lk. 458-460
https://www.ester.ee/record=b1264320*est
journal article
Number of records 16, displaying
1 - 16
subject term
21
1.
Boole'i funktsioonid
2.
Boole'i algebra
3.
algebralised funktsioonid
4.
analüütilised funktsioonid
5.
Besseli funktsioonid
6.
funktsioonid (matemaatika)
7.
genereerivad funktsioonid
8.
juhuslikud funktsioonid
9.
karakteristlikud funktsioonid
10.
Kerneli funktsioonid
11.
kompleksmuutuja funktsioonid
12.
kumerad funktsioonid
13.
Lagrange'i funktsioonid
14.
meromorfsed funktsioonid
15.
mitme muutuja funktsioonid
16.
monotoonsed funktsioonid
17.
ortogonaalsed funktsioonid
18.
perioodilised funktsioonid
19.
trigonomeetrilised funktsioonid
20.
ühe muutuja funktsioonid
21.
üldistatud funktsioonid
name of the person
1
1.
Boole, George, 1815-1864
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT