Výsledky vyhledávání - "Seki, Hirohisa"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Seki, Hirohisa"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 43 pro vyhledávání: '"Seki, Hirohisa"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Parallel algorithms for enumerating closed patterns from multi-relational data

Autor: Seki, Hirohisa, Nagao, Masahiro

Publikováno v: In Discrete Applied Mathematics 20 November 2018 249:120-134

Zobrazit plný text záznamu

Vybrat výsledek číslo 2 2

Kniha

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. [elektronicky zdroj]

Autor: Proietti, Maurizio

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Vybrat výsledek číslo 3 3

Periodical

Autor: Seki, Hirohisa, Toriyama, Shuhei

Publikováno v: International Journal of Computational Intelligence Studies; 2021, Vol. 10 Issue: 1 p181-197, 17p

Zobrazit plný text záznamu

Vybrat výsledek číslo 4 4

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 5 5

Periodical

Mining non-redundant recurrent rules from a sequence database

Autor: Yoon, SeungYong, Seki, Hirohisa

Publikováno v: International Journal of Computational Intelligence Studies; 2018, Vol. 7 Issue: 3-4 p253-269, 17p

Zobrazit plný text záznamu

Vybrat výsledek číslo 6 6

Kniha

On Dual Programs in Co-Logic Programming.

Autor: Seki, Hirohisa

Publikováno v: Logic-Based Program Synthesis & Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers; 2015, p21-35, 15p

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

Conference

Towards parallel mining of closed patterns from multi-relational data.

Autor: Nagao, Masahiro, Seki, Hirohisa

Publikováno v: 2015 IEEE 8th International Workshop on Computational Intelligence & Applications (IWCIA); 2015, p103-108, 6p

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

Conference

Towards efficient closed pattern mining from distributed multi-relational data.

Autor: Kamiya, Yohei, Seki, Hirohisa

Publikováno v: 2014 Joint 7th International Conference on Soft Computing & Intelligent Systems (SCIS) & 15th International Symposium on Advanced Intelligent Systems (ISIS); 2014, p1138-1141, 4p

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Periodical

On dual programs in co-logic programming and the Horn $${\mu}$$ μ -calculus

Autor: Seki, Hirohisa

Publikováno v: Formal Aspects of Computing; May 2017, Vol. 29 Issue: 3 p401-421, 21p

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Periodical

An FCA approach to mining quantitative association rules from multi-relational data

Autor: Nagao, Masahiro, Seki, Hirohisa

Publikováno v: International Journal of Computational Intelligence Studies; 2017, Vol. 6 Issue: 4 p366-383, 18p

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
Další »
[5]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

16 Konferenční materiály
10 Akademické články
9 Knihy
6 Časopisy
1 Electronic Resources

4 computer science
2 artificial intelligence (incl. robotics)
2 computer
2 computer.software_genre
2 constraint programming
2 formal concept analysis
2 load-balancing
2 malware prevention
2 parallel algorithm
2 programming language
1 abstract interpretation
1 availability
1 closed operators
1 coinduction
1 compiler
1 completeness (order theory)
1 computer communication networks
1 computer.programming_language
1 coroutine
1 coroutines (computer programs)
1 data mining
1 design verification
1 electronic books
1 extension (predicate logic)
1 itemsets
1 java
1 java annotation
1 lattices
1 logic programming
1 malware
1 multi-relational data mining
1 obfuscation (software)
1 operating system
1 parallel algorithms
1 partial evaluation
1 program analysis
1 psychophysical parallelism
1 reflection (computer programming)
1 relational databases
1 simple (abstract algebra)
1 software engineering
1 string (computer science)
1 symbolic execution
1 temporal logic
1 theorem proving
1 theoretical computer science
1 vlsi design
1 well-founded semantics

10 springer nature
8 ieee
4 association for computing machinery
3 elsevier b.v.
2 publ by ieee
2 springer
1 acm
1 elsevier science bv
1 ieee comp soc
1 publ by acm
1 springer international publishing
1 springer international publishing ag

5 formal aspects of computing
4 new generation computing
3 discrete applied mathematics
3 international journal of computational intelligence studies
2 ieee international conference on fuzzy systems
2 proceedings of the international joint conference on neural networks
2 robot and human communication - proceedings of the ieee international workshop
1 2014 joint 7th international conference on soft computing & intelligent systems (scis) & 15th international symposium on advanced intelligent systems (isis)
1 2015 ieee 8th international workshop on computational intelligence & applications (iwcia)
1 agents & multi-agent systems formalisms, methodologies, & applications
1 discovery science (9783642161834)
1 international symposium on parallel symbolic computation
1 international symposium on parallel symbolic computation, proceedings, pasco
1 logic-based program synthesis & transformation (9783642005145)
1 logic-based program synthesis & transformation (9783642125911)
1 logic-based program synthesis & transformation (9783642322105)
1 logic-based program synthesis & transformation (9783642381966)
1 logic-based program synthesis & transformation: 25th international symposium, lopstr 2015, siena, italy, july 13-15, 2015. revised selected papers
1 pricai 2000 topics in artificial intelligence
1 proceedings of the second international symposium: parallel symbolic computation
1 theoretical computer science

13 Complementary Index
12 Scopus®
8 Supplemental Index
3 Science Citation Index Expanded
2 ScienceDirect
2 OpenAIRE
2 Academic Search Ultimate
1 Vybrané kolekce e-knih

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......