Temat: computational complexity

Skocz do pozycji: 1.

Tytuł:: Improved Randomized Selection
Raport Badawczy = Research Report ; RB/67/2004
Autorzy:: Kiwiel, Krzysztof
Data publikacji:: 2004
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Selection
Computational complexity
Medians; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Computational Complexity of NURIKABE
Autorzy:: Holzer, M.
Klein, A.
Kutrib, M.
Ruepp, O.
Data publikacji:: 2011
Słowa kluczowe:: NURIKABE puzzle
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Raport Badawczy = Research Report ; RB/68/2004
On Floyd and Rivests SELECT Algorithm
Autorzy:: Kiwiel, Krzysztof
Data publikacji:: 2004
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Selection
Partitioning
Computational complexity
Medians; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Self-Verifying Pushdown and Queue Automata
Autorzy:: Fernau, Henning
Kutrib, Martin
Wendlandt, Matthias
Data publikacji:: 2021
Słowa kluczowe:: recursive functions
computational complexity
robots; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Coalition Formation : Towards Feasible Solutions
Autorzy:: Shehory, O.
Data publikacji:: 2004
Słowa kluczowe:: coalition formation
computational complexity
agent
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Hardness Results for Total Rainbow Connection of Graphs
Autorzy:: Chen, Lily
Huo, Bofeng
Ma, Yingbin
Data publikacji:: 2016-05-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: total rainbow connection
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Complexity of fuzzy probability logics
Autorzy:: Hajek, P.
Tulipani, S.
Data publikacji:: 2001
Słowa kluczowe:: fuzzy logic
probability
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Performance evaluation of minimization methods for binary and integer LP problems
Ocena szybkości działania metod minimalizacji dla zadań programowania liniowego w zbiorach dyskretnych
Autorzy:: Horla, Dariusz
Kaden, Paweł
Współwytwórcy:: Poznan University of Technology, Faculty of Electrical Engineering, Institute of Control and Information Engineering
Data publikacji:: 2014
Wydawca:: Poznańskie Towarzystwo Przyjaciół Nauk
Słowa kluczowe:: computational complexity
integer LP problems
optimization; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On the computational complexity of (O,P)-partition problems
Autorzy:: Kratochvíl, Jan
Schiermeyer, Ingo
Data publikacji:: 1997
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: computational complexity
graph properties
partition problems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Proof Compression and NP Versus PSPACE II: Addendum
Autorzy:: Gordeev, Lew
Haeusler, Edward Hermann
Data publikacji:: 2022-01-07
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: graph theory
natural deduction
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
Autorzy:: Dereniowski, Dariusz
Data publikacji:: 2009
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: computational complexity
vertex ranking
spanning tree; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Ocena szybkości działania metod minimalizacji dla zadań programowania liniowego w zbiorach dyskretnych
Performance evaluation of minimization methods for binary and integer LP problems
Autorzy:: Kaden, Paweł
Horla, Dariusz
Data publikacji:: 2014
Wydawca:: Poznańskie Towarzystwo Przyjaciół Nauk
Słowa kluczowe:: optimization
integer LP problems
computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Performance evaluation of basic optimization methods for polynomial binary problems
Ocena efektywności metod optymalizacji dla zadań programowania 0-1 z funkcjami wielomianowymi
Autorzy:: Ignaczak, Michał
Horla, Dariusz
Data publikacji:: 2016
Wydawca:: Wydawnictwo Poznańskiego Towarzystwa Przyjaciół Nauk
Słowa kluczowe:: optimization
Binary polynomial problems
computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Computational Complexity of Simple P Systems
Autorzy:: Ciobanu, G.
Resios, A.
Data publikacji:: 2008
Słowa kluczowe:: membrane systems
knapsack problem
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: On the Optimality of the Binary Algorithm for the Jacobi Symbol
Autorzy:: Busch, J.
Data publikacji:: 2007
Słowa kluczowe:: arithmetic complexity
computational complexity
Jacobi symbol
lower bound; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Performance evaluation of basic optimization methods for polynomial binary problems
Ocena efektywności metod optymalizacji dla zadań programowania 0-1 z funkcjami wielomianowymi
Autorzy:: Ignaczak, Michał
Horla, Dariusz
Współwytwórcy:: Politechnika Poznańska, Wydział Elektryczny, Instytut Automatyki i Inżynierii Informatycznej
Data publikacji:: 2016
Wydawca:: Wydawnictwo Poznańskiego Towarzystwa Przyjaciół Nauk
Słowa kluczowe:: Binary polynomial problems
computational complexity
optimization; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The NP-completeness of the Road Coloring Problem
Autorzy:: Roman, Adam
Data publikacji:: 2011
Słowa kluczowe:: synchronization
computational complexity
Road Coloring Problem; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Partial covers of graphs
Autorzy:: Fiala, Jirí
Kratochvíl, Jan
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: covering projection
computational complexity
graph homomorphism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: The combinatorics in divisible load scheduling
Autorzy:: Drozdowski, M.
Lawenda, M.
Data publikacji:: 2005
Słowa kluczowe:: szeregowanie
divisible loads
scheduling
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: On the Computational Complexity of Matrix Semigroup Problems
Autorzy:: Bell, P. C.
Potapov, I.
Data publikacji:: 2012
Słowa kluczowe:: computational complexity
Identity Problem
matrix semigroups; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Term equation satisfiability over finite algebras
Autorzy:: Krzaczkowski, Jacek
Gorazd, Tomasz
Data publikacji:: 2010
Słowa kluczowe:: satisfiability
eqution
computational complexity
clones
universal algebra; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Computationally and algebraically complex finite algebra membership problems
Autorzy:: Kozik, Marcin
Data publikacji:: 2007
Słowa kluczowe:: finitely generated varieties
computational complexity
membership problem; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Worst case for comb sort
Autorzy:: Drozdek, A.
Data publikacji:: 2005
Słowa kluczowe:: analysis of algorithms
computational complexity
comb sort; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Algorithm for Computationally Efficient Imaging of Sound Speed in Conventional Ultrasound Sonography
Autorzy:: Karwat, Piotr
Data publikacji:: 2023
Słowa kluczowe:: speed of sound
ultrasound imaging
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: On the complexity of the Double Digest Problem
Autorzy:: Błażewicz, J.
Burke, E.
Jaroszewski, M.
Kasprzak, M.
Paliswiat, B.
Pryputniewicz, P.
Data publikacji:: 2004
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: złożoność obliczeniowa
computational complexity
DNA restriction maps; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Algorithm for Computationally Efficient Imaging of Sound Speed in Conventional Ultrasound Sonography
Autorzy:: Karwat, Piotr
Data publikacji:: 2023
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: speed of sound
ultrasound imaging
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Computational Aspects of DNA Sequencing by Hybridization : a Survey
Autorzy:: Kwarciak, K.
Radom, M.
Formanowicz, P.
Data publikacji:: 2018
Słowa kluczowe:: DNA sequencing
hybridization error
algorithm
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: On the complexity of the Double Digest Problem
Autorzy:: Błażewicz, J.
Burke, E.
Jaroszewski, M.
Kasprzak, M.
Paliswiat, B.
Pryputniewicz, P.
Data publikacji:: 2004
Słowa kluczowe:: złożoność obliczeniowa
computational complexity
DNA restriction maps; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Proof Compression and NP Versus PSPACE II
Autorzy:: Gordeev, Lew
Haeusler, Edward Hermann
Data publikacji:: 2020-11-04
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: natural deduction
sequent calculus
minimal logic
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Maximum Semi-Matching Problem in Bipartite Graphs
Autorzy:: Katrenič, Ján
Semanišin, Gabriel
Data publikacji:: 2013-07-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: semi-matching
quasi-matching
bipartite graph
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Reachability in Simple Neural Networks
Autorzy:: Sälzer, Marco
Lange, Martin
Tematy:: machine learning
computational complexity
formal specification and verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: A finite set of functions with an EXPTIME-complete composition problem
Autorzy:: Kozik, Marcin
Data publikacji:: 2008
Słowa kluczowe:: clone membership problem
computational complexity
composition of functions; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Minimizing Tardiness in a Scheduling Environment with Jobs' Hierarchy
Autorzy:: Sinai, Michal
Tamir, Tami
Data publikacji:: 2021
Słowa kluczowe:: computational complexity
minimisation
scheduling
złożoność obliczeniowa
minimalizacja
planowanie; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Safety and Soundness for Priced Resource : Constrained Workflow Nets
Autorzy:: Martos-Salgado, M.
Rosa-Velardo, F.
Data publikacji:: 2014
Słowa kluczowe:: workflow
Petri nets
discrete systems
computational complexity
pricing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Constant-Space P Systems with Active Membranes
Autorzy:: Leporati, A.
Manzoni, L.
Mauri, G.
Porreca, A. E.
Zandron, C.
Data publikacji:: 2014
Słowa kluczowe:: polynomials
bounds
computational complexity
logarithmic function
rewriting systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: How Hard is it to Predict Sandpiles on Lattices? A Survey
Autorzy:: Formenti, Enrico
Perrot, Kévin
Data publikacji:: 2020
Słowa kluczowe:: two-dimensional model
computational complexity
open-ended questions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: On the Computational Complexity of Optimal Multisplitting
Autorzy:: Elomaa, T.
Rousu, J.
Data publikacji:: 2001
Słowa kluczowe:: machine learning
splitting criteria
optimal multisplits
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Hardness in theory of computing
Dowody trudności w teorii obliczeń
Autorzy:: Polak, Adam
Współwytwórcy:: Idziak, Paweł
Data publikacji:: 2019-10-11
Słowa kluczowe:: algorithms
combinatorics
computational complexity
złożoność obliczeniowa
kombinatoryka
algorytmy; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Oriented Incidence Colourings of Digraphs
Autorzy:: Duffy, Christopher
MacGillivray, Gary
Ochem, Pascal
Raspaud, André
Data publikacji:: 2019-02-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: digraph homomorpism
graph colouring
incidence colouring
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Yurii Rogozhin’s Contributions to the Field of Small Universal Turing Machines
Autorzy:: Woods, D.
Neary, T.
Data publikacji:: 2015
Słowa kluczowe:: turing machines
set theory
number theory
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Logic Programming Representation of the Compound Term Composition Algebra
Autorzy:: Analyti, A.
Pachoulakis, I.
Data publikacji:: 2006
Słowa kluczowe:: faceted taxonomies
Logic Programming (LP)
computational complexity
application; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Reachability in Simple Neural Networks
Autorzy:: Sälzer, Marco
Lange, Martin
Data publikacji:: 2023
Słowa kluczowe:: machine learning
computational complexity
formal specification and verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: The NP-completeness of automorphic colorings
Autorzy:: Mazzuoccolo, Giuseppe
Data publikacji:: 2010
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: NP-complete problems
chromatic parameters
graph coloring
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: A New Algorithm for Optimal Path Finding in Complex Networks Based on the Quotient Space
Autorzy:: Zhang, L.
He, F-g
Zhang, Y-p
Zhao, S.
Data publikacji:: 2009
Słowa kluczowe:: path finding
weighted network
granularity
quotient space
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Variants of Small Universal P Systems with Catalysts
Autorzy:: Alhazov, A.
Freund, R.
Data publikacji:: 2015
Słowa kluczowe:: computational complexity
completeness theorem
catalysts
machine theory
problem solving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Relative Nondeterministic Information Logic is EXPTIME-complete
Autorzy:: Demri, S.
Orłowska, E.
Data publikacji:: 2007
Słowa kluczowe:: information logic
relative frame
computational complexity
Büchi tree automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Length P Systems
Autorzy:: Alhazov, A.
Freund, R.
Ivanov, S.
Data publikacji:: 2014
Słowa kluczowe:: computational complexity
linear systems
configurations
completeness theorem
biological membranes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Strongly Limited Automata
Autorzy:: Pighizzini, G.
Data publikacji:: 2016
Słowa kluczowe:: turing machines
computational complexity
machine theory
polynomials
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: DNA computing
Autorzy:: Formanowicz, P.
Data publikacji:: 2005
Słowa kluczowe:: DNA molecules
complementarity rule
combinatorial problems
algorithms
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Complexity Issues in Computational Biology
Autorzy:: Blazewicz, J.
Kasprzak, M.
Data publikacji:: 2012
Słowa kluczowe:: computational complexity
computational biology
graph theory
nondeterministic Turing machines
DNA computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Scheduling jobs with linear model of simultaneous ageing and learning effects
Autorzy:: Janiak, A.
Lichtenstein, M.
Rusoń, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: sequencing
single machine
learning effect
ageing effect
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Scheduling jobs with linear model of simultaneous ageing and learning effects
Autorzy:: Janiak, A.
Lichtenstein, M.
Rusoń, A.
Data publikacji:: 2011
Słowa kluczowe:: sequencing
single machine
learning effect
ageing effect
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: DNA sequencing by hybridization with additional information available
Autorzy:: Formanowicz, P.
Data publikacji:: 2005
Słowa kluczowe:: DNA sequencing
l-tuple multiplicity
combinatorial problems
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
Autorzy:: Nguyen, L. A.
Data publikacji:: 2016
Słowa kluczowe:: description logics
knowledge representation
computational complexity
reasoning
mathematical terminology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Automata-Theoretic Decision Procedures for Information Logics
Autorzy:: Demri, S.
Sattler, U.
Data publikacji:: 2002
Słowa kluczowe:: computational complexity
Büchi tree automaton
information logic
hybrid logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: The nondeterministic information logic NIL is PSPACE-complete
Autorzy:: Demri, S.
Data publikacji:: 2000
Słowa kluczowe:: information systems
multimodal logic
computational complexity
Ladner-like algorithm; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Adding Data Registers to Parameterized Networks with Broadcast
Autorzy:: Delzanno, G.
Sangnier, A.
Traverso, R.
Data publikacji:: 2016
Słowa kluczowe:: graph theory
machine theory
problem solving
computational complexity
register; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Semantics and Execution Time of New Timed Statecharts
Autorzy:: Magott, J.
Skrobanek, P.
Data publikacji:: 2016
Słowa kluczowe:: real-time systems
performance evaluation
statecharts
computational complexity
UML; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Nets with Tokens which Carry Data
Autorzy:: Lazić, R.
Newcomb, T.
Ouaknine, J.
Roscoe, A.W.
Worrell, J.
Data publikacji:: 2008
Słowa kluczowe:: Petri net
infinite-state systems
program verification
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Computing Issues of Asynchronous CA
Autorzy:: Dennunzio, A.
Formenti, E.
Manzoni, L.
Data publikacji:: 2012
Słowa kluczowe:: Asynchronous Cellular Automata
turing machines
turing universality
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: The subdirectly irreducible algebras in the variety generated by graph algebras
Autorzy:: Kozik, Marcin
Kun, Gábor
Data publikacji:: 2008
Słowa kluczowe:: groupoids
computational complexity
graph algebras
the variety membership problem; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Randomized Selection Revisited
Raport Badawczy = Research Report ; RB/79/2002
Autorzy:: Kiwiel, Krzysztof
Data publikacji:: 2002
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Partycjonowanie
Partitioning
Computational complexity
Medians
Selection
Mediany
Złożoność obliczeniowa
Selekcja; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: On transformation of STRIPS planning to linear programming
Autorzy:: Galuszka, A.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: planning
problem solving
block world
uncertainty
linear programming
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Domination Subdivision and Domination Multisubdivision Numbers of Graphs
Autorzy:: Dettlaff, Magda
Raczek, Joanna
Topp, Jerzy
Data publikacji:: 2019-11-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: domination
domination subdivision number
domination multisubdivision number
trees
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Complexity of the inversion algorithm of polynomial mappings
Autorzy:: Bogdan, Paweł
Data publikacji:: 2016
Słowa kluczowe:: polynomial automorphism
computer algebra system
differential Galois theory
computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Efficient Iterative Detection Based on Conjugate Gradient and Successive Over-Relaxation Methods for Uplink Massive MIMO Systems
Autorzy:: Labed, Smail
Aounallah, Naceur
Data publikacji:: 2023
Słowa kluczowe:: computational complexity
conjugate gradient
massive MIMO
relaxation parameter
signal detection; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: On transformation of STRIPS planning to linear programming
Autorzy:: Galuszka, A.
Data publikacji:: 2011
Słowa kluczowe:: planning
problem solving
block world
uncertainty
linear programming
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: One Pebble Versus e log n Bits
Autorzy:: Geffer, V.
Mereghetti, C.
Pighizzin, G.
Data publikacji:: 2010
Słowa kluczowe:: computational complexity
space bounded computations
pebble machines
input head reversals; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Branching-Time Model Checking Gap-Order Constraint Systems
Autorzy:: Mayr, R.
Totzke, P.
Data publikacji:: 2016
Słowa kluczowe:: mathematical models
problem solving
branching processes
integers
variables
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Offset compensated baseline restoration and computationally efficient hybrid interpolation for the brain PET
Autorzy:: Qaisar, S. M.
Data publikacji:: 2018
Słowa kluczowe:: baseline restoration
computational complexity
interpolation
interpolation error
PET
photodetector
scintillator; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Efficient Iterative Detection Based on Conjugate Gradient and Successive Over-Relaxation Methods for Uplink Massive MIMO Systems
Autorzy:: Labed, Smail
Aounallah, Naceur
Data publikacji:: 2023
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: computational complexity
conjugate gradient
massive MIMO
relaxation parameter
signal detection; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Problems remaining NP-complete for sparse or dense graphs
Autorzy:: Schiermeyer, Ingo
Data publikacji:: 1995
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: Computational Complexity
NP-Completeness
Hamiltonian Circuit
Hamiltonian Path
Independent Set; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Military route planning in battlefield simulation: effectiveness problems and potential solutions
Autorzy:: Tarapata, Z.
Data publikacji:: 2003
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: battlefield simulation
route planning
shortest paths
effectiveness problems
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Randomized Selection with Tripartitioning
Raport Badawczy = Research Report ; RB/80/2002
Autorzy:: Kiwiel, Krzysztof
Data publikacji:: 2002
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Partycjonowanie
Partitioning
Computational complexity
Medians
Selection
Mediany
Złożoność obliczeniowa
Selekcja; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Raport Badawczy = Research Report ; RB/69/2003
Randomized Selection with Quintary Partitions
Autorzy:: Kiwiel, Krzysztof
Data publikacji:: 2003
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Mediana
Partitioning
Partycjonowanie
Computational complexity
Medians
Selection
Złożoność obliczeniowa
Selekcja; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Randomized Selection with Tripartitioning
Raport Badawczy = Research Report ; RB/70/2003
Autorzy:: Kiwiel, Krzysztof
Data publikacji:: 2003
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Słowa kluczowe:: Mediana
Partitioning
Partycjonowanie
Computational complexity
Medians
Selection
Złożoność obliczeniowa
Selekcja; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Military route planning in battlefield simulation: effectiveness problems and potential solutions
Autorzy:: Tarapata, Z.
Data publikacji:: 2003
Słowa kluczowe:: battlefield simulation
route planning
shortest paths
effectiveness problems
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Twelve Years of QBF Evaluations : QSAT Is PSPACE-Hard and It Shows
Autorzy:: Marin, P.
Pulina, L.
Giunchiglia, E.
Narizzano, M.
Tacchella, A.
Data publikacji:: 2016
Słowa kluczowe:: computer algorithms
computational complexity
problem solving
mathematical formulas
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: On the Computational Complexity of Partial Word Automata Problems
Autorzy:: Holzer, M.
Jakobi, S.
Wendlandt, M.
Data publikacji:: 2016
Słowa kluczowe:: computational complexity
machine theory
robots
np-hard problems
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Zbiór zestawów algorytmów kryptograficznych typu B wg dokumentu RFC 6379 zabezpieczający protokoły IPSec nie jest odporny na kryptoanalizę kwantową
Autorzy:: Borowski, Mariusz
Data publikacji:: 2020
Słowa kluczowe:: ECDH
IPsec
kryptoanaliza kwantowa
złożoność obliczeniowa
computational complexity
quantum cryptoanalysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Complexity of the Inversion Algorithm of Polynomial Mappings
Autorzy:: Bogdan, P.
Data publikacji:: 2016
Słowa kluczowe:: polynomial automorphism
differential Galois theory
computational complexity
computer algebra system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Low-Complexity Estimation of Carrier and Imbalance Parameters in Direct-Conversion Receivers
Autorzy:: Gappmair, W.
Koudelka, O.
Data publikacji:: 2013
Słowa kluczowe:: parameter estimation
IQ imbalance
DC offset
direct-conversion receiver
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Cloud Brokering with Bundles: Multi-objective Optimization of Services Selection
Autorzy:: Musial, Jędrzej
Kieffer, Emmanuel
Guzek, Mateusz
Danoy, Gregoire
Wagle, Shyam S.
Bouvry, Pascal
Blazewicz, Jacek
Data publikacji:: 2019
Słowa kluczowe:: applied operations research
cloud computing
cloud brokering
optimization
algorithms
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Floating Channels Between Communicating Nets
Autorzy:: Czaja, L.
Data publikacji:: 2014
Słowa kluczowe:: Petri nets
data structures
decision making
computational complexity
data transmission system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation
Autorzy:: Pérez-Jiménez, M. J.
Sosík, P.
Data publikacji:: 2015
Słowa kluczowe:: membrane computing
tissue P system
cell separation
computational complexity
SAT problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: A New Approach for the Reconstruction of Object-Based Images in Discrete Tomography
Autorzy:: Brocchi, S.
Data publikacji:: 2014
Słowa kluczowe:: image reconstruction
discrete tomography
ring theory
information theory
computational complexity
coordinates; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Catalytic and Purely Catalytic P Systems and P Automata: Control Mechanisms for Obtaining Computational Completeness
Autorzy:: Freund, R.
Oswald, M.
Păun, G.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
information science
mathematical optimization
computational complexity
electronic data processing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Pareto Optimal Solutions of the Biobjective Minimum Length Minimum Risk Spanning Trees Problem
Autorzy:: Laskov, Lasko
Marinov, Marin
Data publikacji:: 2024
Słowa kluczowe:: computer science
Pareto optimization
computational complexity
informatyka
optymalizacja Pareto
złożoność obliczeniowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: An effective system of sports competition management
Autorzy:: Roman SZOSTEK
Tematy:: sports games
championships
system of sports competitions
probabilistic sorting
computational complexity; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Integration of polynomials over n-dimensional simplices
Autorzy:: Rouigueb, Abdenebi
Maiza, Mohamed
Tkourt, Abderahmane
Cherchour, Imed
Data publikacji:: 2019
Słowa kluczowe:: computational complexity
polynomials
NP-hard
złożoność obliczeniowa
wielomian
problem NP-trudny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: Customized genetic algorithm for facility allocation using p-median
Autorzy:: Silva, S. D. de S.
Costa, M. G. F.
Costa Filho, C. F. F.
Data publikacji:: 2019
Słowa kluczowe:: computational complexity
genetic algorithms
microprocessor chips
złożoność obliczeniowa
algorytmy genetyczne
mikroprocesor; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Strong Geodetic Problem in Networks
Autorzy:: Manuel, Paul
Klavžar, Sandi
Xavier, Antony
Arokiaraj, Andrew
Thomas, Elizabeth
Data publikacji:: 2020-02-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: geodetic problem
strong geodetic problem
Apollonian networks
Sierpiński graphs
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: Reasoning on Datalog± Ontologies with Abductive Logic Programming
Autorzy:: Gavanelli, M.
Lamma, E.
Riguzzi, F.
Bellodi, E.
Zese, R.
Cota, G.
Data publikacji:: 2018
Słowa kluczowe:: logic programming
datalog
computer program language
ontology
constraint satisfaction
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: Iterating Transducers
Autorzy:: Sutner, K.
Data publikacji:: 2015
Słowa kluczowe:: finite state machine
decision making
problem solving
iterative methods
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Reversible Queue Automata
Autorzy:: Kutrib, M.
Malcher, A.
Wendlandt, M.
Data publikacji:: 2016
Słowa kluczowe:: deterministic finite automata
computational complexity
formal languages
queuing theory
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Uniformity is Weaker than Semi-Uniformity for Some Membrane Systems
Autorzy:: Murphy, N.
Woods, D.
Data publikacji:: 2014
Słowa kluczowe:: membranes systems
computational complexity
uniform families
semi-uniform families
tally languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: State Complexity of Multiple Catenations
Autorzy:: Caron, P.
Luque, J.-G.
Patrou, B.
Data publikacji:: 2018
Słowa kluczowe:: deterministic finite automata
computational complexity
combinatorial analysis
generalization
bounds
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: An effective system of sports competition management
Autorzy:: Szostek, R.
Data publikacji:: 2011
Słowa kluczowe:: sports games
championships
system of sports competitions
probabilistic sorting
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Equivalence constraint satisfaction problems
Autorzy:: Wrona, Michał
Bodirsky, Manuel
Data publikacji:: 2012
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: computational complexity
temporal reasoning
model theory
universal algebra
constraint satisfaction problems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: On transformation of conditional, conformant and parallel planning to linear programming
Autorzy:: Galuszka, Adam
Probierz, Eryka
Data publikacji:: 2021
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: planning
conformant planning
conditional planning
parallel planning
uncertainty
linear programming
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computational complexity" wg kryterium: Temat