Temat: computer theory - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Informatyka jest jedna
Autorzy:: Szyjewski, Z.
Data publikacji:: 1999
Słowa kluczowe:: informatyka
computer theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Czy informatyka bankowa powinna zostać wyodrębniona jako osobna dyscyplina?
Autorzy:: Tadeusiewicz, R.
Fanicki, W.
Data publikacji:: 1999
Słowa kluczowe:: informatyka bankowa
banking computer theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Pierwszeństwo informatyki czy zarządzania?
Autorzy:: Kuraś, M.
Data publikacji:: 1999
Słowa kluczowe:: zarządzanie
informatyka
management
computer theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Informatyka w zarządzaniu ruchem drogowym stan zastosowań i kierunki rozwoju
Autorzy:: Grześkowiak, U.
Data publikacji:: 1998
Słowa kluczowe:: informatyka
ruch drogowy
computer theory
road traffic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Morphisms and minimisation of weighted automata
Autorzy:: Lombardy, Sylvain
Sakarovitch, Jacques
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory Licence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: M‑communication in Product Information Exchange – an International Comparison
Komunikacja mobilna w wymianie informacji o produktach – porównanie międzynarodowe
Autorzy:: Małgorzata Bartosik-Purgat
Data publikacji:: 2018
Tematy:: komunikacja mobilna
teoria komunikacji internetowej
serwisy społecznościowe
Mobile Communication
Computer Mediated Communication theory
Social Networking Sites; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: M‑communication in Product Information Exchange – an International Comparison
Komunikacja mobilna w wymianie informacji o produktach – porównanie międzynarodowe
Autorzy:: Bartosik-Purgat, Małgorzata
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: komunikacja mobilna
teoria komunikacji internetowej
serwisy społecznościowe
Mobile Communication
Computer Mediated Communication theory
Social Networking Sites; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Kolor jako kod semiotyczny w grach komputerowych gatunku action RPG na przykładzie gry „We Happy Few
Color as a semiotic mode in action RPG games on the example of „We Happy Few”
Autorzy:: Rubashka, Viktoryia
Słowa kluczowe:: kolor, teoria koloru, kod semiotyczny, gra komputerowa
color, color theory, semiotic mode, computer game; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Introduction to Probabilistic Concurrent Systems
Autorzy:: Abbes, Samy
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Formal Languages and Automata Theory
G.2.1,F.1.1; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Sport elektroniczny jako element nowego doświadczenia pokoleniowego
Electronic sports as a part of a new generational experience
Autorzy:: Wasiewicz, Magdalena
Słowa kluczowe:: Electronic sports, computer games, new media, theory of sport, ludology
Sport elektroniczny, gry komputerowe, nowe media, teoria sportu, ludologia; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Swarm and Spectacle: Digital Life and Digital Self
Social Media, interakcji człowiek-komputer, Internet Communication, Social Theory, technologia cyfrowa
Autorzy:: Olavarria, Christian
Słowa kluczowe:: Social Media, Human Computer Interaction, Internet Communication, Social Theory, Digital Technology
Social Media, interakcji człowiek-komputer, Internet Communication, Social Theory, technologia cyfrowa; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Solving Infinite Games in the Baire Space
Autorzy:: Brütsch, Benedikt
Thomas, Wolfgang
Data publikacji:: 2022
Słowa kluczowe:: computer science
game theory
logic in computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Rodzaj zaangażowania w rozrywkę i poziom zaspokojenia potrzeb psychologicznych a skłonność do korzystania z mikropłatności u młodzieży w wieku 17-20 lat
The type of involvement in computer entertainment and the level of satisfying psychological needs and the tendency to use micropayments in adolescents aged 16-19.
Autorzy:: Konstanty, Przemysław
Słowa kluczowe:: motivation, self-determination theory, SDT, games, computer games, microtransactions
motywacja, teoria samo determinacji, SDT, gry, gry komputerowe, mikrotransakcje; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: A relevance-theoretic analysis of political discourse on social media
Analiza dyskursu politycznego w mediach społecznościowych z perspektywy teorii relewancji
Autorzy:: Wielgosz, Joanna
Słowa kluczowe:: Teoria Relewancji, implikatura, eksplikatura, komunikacja internetowa, dyskurs polityczny, Twitter
Relevance Theory, implicature, explicature, computer-mediated communication, political discourse, Twitter; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A Sweep-Line Method for Büchi Automata-based Model Checking
Autorzy:: Evangelista, S.
Kristensen, L. M.
Data publikacji:: 2014
Słowa kluczowe:: machine theory
computer storage devices
computer systems
computer algorithms
search engines; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: More About Converting BNF to PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2014
Słowa kluczowe:: parsing
coding theory
computer systems
computer software
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Application of the Routh Method in Computer Simulation of Selected Problems in Collision Theory
Autorzy:: Sypniewska-Kamińska, G.
Rosiński, Ł.
Data publikacji:: 2008
Słowa kluczowe:: Routh method
computer simulation
collision theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Maximizing T-complexity
Autorzy:: Clark, G.
Teutsch, J.
Data publikacji:: 2015
Słowa kluczowe:: computer algorithms
information theory
Kolmogorov complexity
sequences
set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: A Nonarchimedian Discretization for Timed Languages
Autorzy:: Dima, C.
Data publikacji:: 2014
Słowa kluczowe:: discretization method
programming languages
machine theory
set theory
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Synthesis of Pure and Impure Petri nets with Restricted Place-environments : Complexity Issues
Autorzy:: Devillers, Raymond
Tredup, Ronny
Data publikacji:: 2022
Słowa kluczowe:: Computer Science
Formal Languages and Automata Theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues
Autorzy:: Devillers, Raymond
Tredup, Ronny
Data publikacji:: 2022
Słowa kluczowe:: Computer Science
Formal Languages and Automata Theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Computer aided assembly sequence generation
Autorzy:: Suszyński, M
Żurek, J
Data publikacji:: 2015
Słowa kluczowe:: assembly sequence generation
graph theory
computer program; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Social Networks with Competing Products
Autorzy:: Apt, K. R.
Markakis, E.
Data publikacji:: 2014
Słowa kluczowe:: computer science
mathematical analysis
theory of computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Synthesis of Reo Connectors for Strategies and Controllers
Autorzy:: Baier, C.
Klein, J.
Klüppelholz, S.
Data publikacji:: 2014
Słowa kluczowe:: reo
information retrieval system
computer software
robots
computer networks
coding theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Proof Methods for Corecursive Programs
Autorzy:: Gibbons, J.
Hutton, G.
Data publikacji:: 2005
Słowa kluczowe:: recursion theory
symbolic
mathematical logic
computer programming
approximation theory
recursive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Computer aided assembly sequence generation
Autorzy:: Suszyński, M
Żurek, J
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: assembly sequence generation
graph theory
computer program; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Types of Integration in a Theory of Language
Autorzy:: Joanna Rączaszek-Leonardi
Data publikacji:: 2012-12-01
Tematy:: theory of language
computer simulation
language as coordination; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Rough Sets Based LEM2 Rules Generation Supported by FPGA
Autorzy:: Kopczyński, M.
Grześ, T.
Stepaniuk, J.
Data publikacji:: 2016
Słowa kluczowe:: rough sets
field programmable gate array (FPGA)
computer software
computer architecture
operator theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: On Minimality and Equivalence of Petri Nets
Autorzy:: Wagler, A. K.
Wegener, J.-T.
Data publikacji:: 2013
Słowa kluczowe:: Petri nets
biological system
data analysis
set theory
computer networks
computer systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Scheduling of tasks on moving executors using advanced evolutionary algorithms
Autorzy:: Józefczyk, J.
Data publikacji:: 2003
Słowa kluczowe:: scheduling
manufacture
computation theory
evolutionary algorithms
decision theory
iterative methods
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Multi-criteria optimisation of multi-stage positional game of vessels
Autorzy:: Lisowski, Józef
Data publikacji:: 2020
Słowa kluczowe:: maritime transport
optimisation
game theory
ship control
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: An Abstract Interpretation Framework for Type and Effect Systems
Autorzy:: Galletta, L.
Data publikacji:: 2014
Słowa kluczowe:: semantics
programming languages
software frameworks
computer programming
systems theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Decision Prediction Using Visual Patterns
Autorzy:: Qin, L.
Zhong, N.
Lu, S.
Li, M.
Data publikacji:: 2013
Słowa kluczowe:: decision theory
prediction theory
pattern recognition system
human-computer interaction
performance evaluation
feature extraction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Multi-criteria optimisation of multi-stage positional game of vessels
Autorzy:: Lisowski, Józef
Data publikacji:: 2020
Wydawca:: Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:: maritime transport
optimisation
game theory
ship control
computer simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Computer network queuing models with intelligent call admission control mechanisms
Autorzy:: Oniszczuk, W.
Data publikacji:: 2005
Słowa kluczowe:: queueing theory
computer network
intelligent control
intelligent call admission control mechanisms
hidden Markov models theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

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: 37.

Tytuł:: A pair of positive solutions for the Dirichlet p(z)-Laplacian with concave and convex nonlinearities
Autorzy:: Gasiński, Leszek
Papageorgiou, Nikolaos S.
Data publikacji:: 2013
Słowa kluczowe:: Computer Science, general
Optimization
Real Functions
Operations Research/Decision Theory; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Uniwersalna procedura obliczania niepewności
Autorzy:: Dacko, G.
Krupiński, M.
Data publikacji:: 2000
Słowa kluczowe:: pomiary
teoria niepewności
program komputerowy
measurements
uncertainty theory
computer program; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Stochastic Cellular Automata: Correlations : Decidability and Simulations
Autorzy:: Arrighi, P.
Schabanel, N.
Theyssier, G.
Data publikacji:: 2013
Słowa kluczowe:: stochastic analysis
cellular automata
correlation
decidability
computer simulation
probability theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Asynchronous Systems of Parallel Communicating Finite Automata
Autorzy:: Vollweiler, M.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
finite state machine
robots
computer simulation
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Old and New Algorithms for Minimal Coverability Sets
Autorzy:: Valmari, A.
Hansen, H.
Data publikacji:: 2014
Słowa kluczowe:: computer algorithms
set theory
Petri nets
search engines
mathematical proofs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: A Hierarchy of Languages with Catenation and Shuffle
Autorzy:: Kudlek, M.
Flick, N. E.
Data publikacji:: 2013
Słowa kluczowe:: hierarchy
programming languages
iterative methods
fixed point theory
computer systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: War of attrition in continuous time
Wojna na wyczerpanie w czasie ciągłym
Autorzy:: Zakharchuk, Lyudmyla
Słowa kluczowe:: strategia ewolucyjnie stabilna, ewolucyjna teoria gier, wojna na wyczerpanie, symulacje komputerowe
evolutionary stable strategy, evolutionary game theory, war of attrition, computer simulations; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: A pragmatic approach to extending provers by computer algebra-with applications to coding theory
Autorzy:: Ballarin, C.
Paulson, L.C.
Data publikacji:: 1999
Słowa kluczowe:: computer algebra
mechanised reasoning
combining systems
soundness of computer algebra systems
specialisation problem
coding theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

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: 46.

Tytuł:: On some procedures supporting multicriteria cooperative decisions
Autorzy:: Kruś, L.
Data publikacji:: 2008
Słowa kluczowe:: multicriteria analysis
cooperative games
computer-based systems
utility theory
mediation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

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: 48.

Tytuł:: Graphs and Colorings for Answer Set Programming with Preferences
Autorzy:: Konczak, K.
Schaub, T.
Linke, T.
Data publikacji:: 2003
Słowa kluczowe:: graphic method
mathematical programming
coloring matter
proof theory
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Integration of Research Problems Solution Theory With the Utilization of Computer Oriented Study Environment
Autorzy:: Yunchik, Valentyna
Hrybiuk, Olena
Współwytwórcy:: Institute of Information Technologies and Learning Tools NAES of Ukraine, Kiev, Ukraine
Data publikacji:: 2016
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: modelling
project-research activity
systems of computer mathematics
solution theory of research problems
computer oriented learning system; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Computational intelligence in marine control engineering education
Autorzy:: Lisowski, Józef
Data publikacji:: 2021
Wydawca:: Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:: ship control
marine engineering curriculum
computational intelligence
game theory
computer simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Co wiemy o myśleniu w epoce kognitywizmu
WHAT DO WE KNOW ABOUT THINKING IN THE AGE OF COGNITIVISM?
Autorzy:: Bobryk Jerzy
Tematy:: ACTION AND PRODUCTS
COGNITIVE SCIENCE
COMPUTER
COMPUTATIONAL THEORY OF MIND
THINKING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Modelowanie bezprzewodowych sieci komputerowych z wykorzystaniem teorii gier
Autorzy:: Raif, P.
Data publikacji:: 2007
Słowa kluczowe:: teoria gier
sieć komputerowa
sieć bezprzewodowa
game theory
computer network
wireless; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Affine completeness of some free binary algebras
Autorzy:: Arnold, André
Cégielski, Patrick
Guessarian, Irène
Data publikacji:: 2022
Słowa kluczowe:: mathematics
rings and Algebras
computer science
formal languages and automata theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity
Autorzy:: Šíma, J.
Žák, S.
Data publikacji:: 2017
Słowa kluczowe:: turing machines
machine theory
unary algebra
cache memory
computer storage devices; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Integration of Research Problems Solution Theory With the Utilization of Computer Oriented Study Environment
Autorzy:: Yunchik, Valentyna
Hrybiuk, Olena
Data publikacji:: 2016
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: systems of computer mathematics
solution theory of research problems
computer oriented learning system
project-research activity
modelling; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Computational intelligence in marine control engineering education
Autorzy:: Lisowski, Józef
Data publikacji:: 2021
Słowa kluczowe:: ship control
marine engineering curriculum
computational intelligence
game theory
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Multi-step matrix game of safe ship control at various safe passing distances
Autorzy:: Lisowski, J.
Data publikacji:: 2016
Słowa kluczowe:: marine transport
safe navigation
optimization
game theory
computer simulation
decision support systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Self-tuning control under input variance constraint
Autorzy:: Królikowski, A.
Kubiak, T.
Lemos, J.M.
Data publikacji:: 2003
Słowa kluczowe:: constraint theory
self tuning control systems
stochastic control systems
approximation theory
problem solving
algorithms
functions
mathematical models
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Multi-step matrix game of safe ship control at various safe passing distances
Autorzy:: Lisowski, J.
Data publikacji:: 2016
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: marine transport
safe navigation
optimization
game theory
computer simulation
decision support systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Multi-criteria multi-stage game optimization
Wielokryterialna optymalizacja gry wieloetapowej
Autorzy:: Lisowski, Józef
Data publikacji:: 2022
Wydawca:: Uniwersytet Technologiczno-Humanistyczny im. Kazimierza Pułaskiego w Radomiu
Tematy:: optimization
control engineering
game theory
computer simulation
optymalizacja
automatyka
teoria gier
symulacja komputerowa; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Multi-criteria multi-stage game optimization
Autorzy:: Lisowski, Józef
Data publikacji:: 2022
Słowa kluczowe:: optimization
control engineering
game theory
computer simulation
optymalizacja
automatyka
teoria gier
symulacja komputerowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Discrete war of attrition
Wojna na wyczerpanie w czasie dyskretnym
Autorzy:: Zakharchuk, Lyudmyla
Słowa kluczowe:: strategia ewolucyjnie stabilna, ewolucyjna teoria gier, wojna na wyczerpanie, symulacje komputerowe, rekurencja, topologia
evolutionary stable strategy, evolutionary game theory, war of attrition, computer simulations, recursion, topology; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: THEORETICAL FRAMEWORKS USED IN CALL STUDIES: A SYSTEMATIC REVIEW
Autorzy:: Akayoğlu Sedat
Tematy:: Computer Assisted Language Learning
theoretical framework
Social Constructivism
Sociocultural Theory
Interactionist Second Language Acquisition; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Matematyka eksperymentalna – kilka refleksji historyka nauki
Experimental mathematics – several remarks from historian of science
Autorzy:: Krzysztof Maślanka
Data publikacji:: 2015
Tematy:: history of science
philosophy of mathematics
number theory
history of computations
computer-assisted proof; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: An affine Gaussian process approach for nonlinear system identification
Autorzy:: Gregorcic, G.
Lightbody, G.
Data publikacji:: 2003
Słowa kluczowe:: computational methods
neural networks
fuzzy sets
probability
regression analysis
approximation theory
optimization
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: GaMeDE2 - improved Gap–based Memetic Differential Evolution applied to multi–modal optimisation
Autorzy:: Antkiewicz, Michał
Myszkowski, Paweł B.
Laszczyk, Maciej
Data publikacji:: 2022
Słowa kluczowe:: memetics
computer science
benchmark testing
complexity theory
optimization
standard
memetyka
informatyka
teoria złożoności
optymalizacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Zbiory rozmyte jako narzędzie formalizacji wiedzy ekspertów w systemach informatycznych
Autorzy:: Walaszek-Babiszewska, A.
Data publikacji:: 2006
Słowa kluczowe:: zbiór rozmyty
system informatyczny
teoria zbiorów rozmytych
fuzzy sets
computer system
fuzzy sets theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Three-way learnability: A learning theoretic perspective on Three-way Decision
Autorzy:: Campagner, Andrea
Ciucci, Davide
Data publikacji:: 2022
Słowa kluczowe:: computer science
evidence theory
statistical learning
probability distribution
complexity theory
standard
informatyka
teoria dowodu
statystyka
uczenie się
rozkład prawdopodobieństwa
teoria złożoności; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Solution of the Rayleigh equation with the use of computer algebra
Autorzy:: Gorelov, S.
Zharov, V.
Khlopkov, Y.
Data publikacji:: 1998
Słowa kluczowe:: równanie Rayleigha
metody komputerowo-algebraiczne
teoria fal
Rayleigh equation
computer-algebra methods
wave theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: THEORETICAL FRAMEWORKS USED IN CALL STUDIES: A SYSTEMATIC REVIEW
Autorzy:: Akayoğlu, Sedat
Data publikacji:: 2019
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej w Lublinie. IATEFL Poland Computer Special Interest Group
Tematy:: Computer Assisted Language Learning
theoretical framework
Social Constructivism
Sociocultural Theory
Interactionist Second Language Acquisition; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Matematyka eksperymentalna – kilka refleksji historyka nauki
Experimental mathematics – several remarks from historian of science
Autorzy:: Maślanka, Krzysztof
Data publikacji:: 2015
Wydawca:: Copernicus Center Press
Tematy:: history of science
philosophy of mathematics
number theory
history of computations
computer-assisted proof; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Estimations of loss characterisics of single-server queueing systems with non-homogeneous customers
Autorzy:: Tikhonenko, O.
Gola, A.
Ziółkowski, M.
Data publikacji:: 2008
Słowa kluczowe:: kolejkowanie
systemy kolejkowe
systemy komputerowe
systemy komunikacyjne
queuing
queuing theory
computer systems
communication systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Two distinct methods for integration of active differential and active roll control systems
Autorzy:: Assadian, F.
Aneke, N.
Data publikacji:: 2003
Słowa kluczowe:: control theory
motion control
robustness control systems
actuators
damping
trajectories
steering
optimization
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Extended distributive contact lattices and extended contact algebras
Autorzy:: Ivanova, Tatyana
Data publikacji:: 2020
Słowa kluczowe:: computer science
algebra
cognition
complexity theory
information systems
informatyka
poznanie
teoria złożoności
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Collaborative intelligence - definition and measured impacts on internetworked e-work
Autorzy:: Zhong, H.
Levalle, R. R.
Moghaddam, M.
Nof, S. Y.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: collaboration lifecycle management
computer-supported collaborative work
enterprise collaboration
intelligent control
resilience
collaborative control theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Analiza danych jakościowych przy użyciu programu NVivo a zastosowanie procedur metodologii teorii ugruntowanej
Qualitative data analysis using the NVivo programe and the application of the methodology of grounded theory procedures
Autorzy:: Niedbalski, Jakub
Ślęzak, Izabela
Data publikacji:: 2012
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: CAQDAS (Computer-Assisted Qualitative Data Analysis Software)
NVivo 8
qualitative methods
methodology of grounded theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Analiza danych jakościowych przy użyciu programu NVivo a zastosowanie procedur metodologii teorii ugruntowanej
Qualitative data analysis using the NVivo programe and the application of the methodology of grounded theory procedures
Autorzy:: Jakub Niedbalski
Izabela Ślęzak
Tematy:: CAQDAS (Computer-Assisted Qualitative Data Analysis Software)
NVivo 8
qualitative methods
methodology of grounded theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Collaborative intelligence - definition and measured impacts on internetworked e-work
Autorzy:: Zhong, H.
Levalle, R. R.
Moghaddam, M.
Nof, S. Y.
Data publikacji:: 2015
Słowa kluczowe:: collaboration lifecycle management
computer-supported collaborative work
enterprise collaboration
intelligent control
resilience
collaborative control theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Organizational Posthumanism
Autorzy:: Gladden, Matthew E.
Współwytwórcy:: Instytut Podstaw Informatyki PAN
Data publikacji:: 2016-06-15
Wydawca:: Defragmenter Media
Słowa kluczowe:: organizational architecture
organizational theory
transhumanism
human-computer interaction
posthumanism
organizational management
change management
organizational design; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Organizational Posthumanism
Autorzy:: Gladden, Matthew E.
Data publikacji:: 2016-06-15
Wydawca:: Defragmenter Media
Słowa kluczowe:: human-computer interaction
transhumanism
organizational design
change management
organizational architecture
posthumanism
organizational theory
organizational management; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Stosowana teoria eksperymentu. Cz. 1
Autorzy:: Polański, Z.
Data publikacji:: 1999
Słowa kluczowe:: technonauka
eksperyment
teoria eksperymentu
komputerowe wspomaganie badań
technoscience
experiment
theory of experimentation
computer aided testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Ant-Based Clustering in Delta Episode Information Systems Based on Temporal Rough Set Flow Graphs
Autorzy:: Pancerz, K.
Lewicki, A.
Tadeusiewicz, R.
Warchoł, J.
Data publikacji:: 2013
Słowa kluczowe:: information storage
retrieval systems
rough sets
flow graphs
graph theory
time series analysis
computer algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Kinematics of a rectangular drum hay rake
Autorzy:: Cervinka J.
Barton S.
Loucka M.
Tematy:: theory
hay rake
MAPLE model
mathematical model
acceleration
trajectory determination
computer model
velocity
finger
analysis
kinematics; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Zapewnienie niezawodności sieci przełączalnych z wykorzystaniem teorii grafów
Autorzy:: Janke, P.
Data publikacji:: 2009
Słowa kluczowe:: sieć komputerowa
sieć przełączalna
niezawodność sieci
teoria grafów
computer network
switched network
network reliability
graphs theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Hashtag Discernability - Competitiveness Study of Graph Spectral and Other Clustering Methods
Autorzy:: Starosta, Bartłomiej
Kłopotek, Mieczysław
Wierzchoń, Slawomir T.
Czerski, Dariusz
Data publikacji:: 2023
Słowa kluczowe:: computer science
clustering method
clustering algorithm
complexity theory
task analysis
informatyka
algorytm klastrowania
teoria złożoności
analiza zadań; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Art auction result of prints
Autorzy:: Mauer, Patryk
Współwytwórcy:: Mauer, Patryk
Data publikacji:: 2024-09-05
Wydawca:: RepOD
Tematy:: Arts and Humanities
Computer and Information Science
Art auctions
Art—Prices
Entropy (Information theory)
Color in art; Pokaż więcej
Dostawca treści:: Repozytorium Otwartych Danych

Inne

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Inovativní a tradiční použití ITC ve výuce německého jazyka
Inovative and Traditional Use of ICT in Teaching German Language
Autorzy:: Jitka Bláhová
Tematy:: Information and communication technologies (ICT)
Innovative pedagogical approaches
Constructivist theory of learning
Traditional teaching
Computer assisted language learning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Kierunki w teorii i modelowaniu układów polimerowych prezentowane podczas Kongresu IUPAC MACRO 2000
Autorzy:: Jarecki, L.
Data publikacji:: 2002
Słowa kluczowe:: układy polimerowe
teoria i modelowanie
symulacja komputerowa
metody analityczne
polymer systems
theory and modeling
computer simulation
analytical methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: On the Representation of Action and Agency in the Theory of Normative Positions
Autorzy:: Sergot, M.
Richards, F.
Data publikacji:: 2001
Słowa kluczowe:: deontic logic
normative systems
logic of action
logic of agency
theory of rights
knowledge representation
computer system specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Stabilization of nonlinear systems: Radial optimal control approach
Autorzy:: Sangelaji, Z.
Banks, S.P.
Data publikacji:: 2003
Słowa kluczowe:: optimal control systems
angle measurement
nonlinear equations
differential equations
spheres
linearization
time varying system
set theory
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: The job burnout among social workers and computer programmers in the context of coping with stress.
Wypalenie zawodowe u pracowników socjalnych i programistów w kontekście radzenia sobie ze stresem
Autorzy:: Guzdek, Adrianna
Słowa kluczowe:: wypalenie zawodowe, radzenie sobie ze stresem, poczucie satysfakcji z życia, poczucie kontroli, cechy osobowości, pracownicy socjalni, programiści, koncepcja wypalenia zawodowego Christiny Maslach, stres zawodowy, niepełnosprawność intelektualna
job burnout, coping with stress, satisfaction with life, personal traits, social workers, computer programmers, theory of job burnout by Christina Maslach, occupational stress, intellectual disability; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Implementacja teorii ograniczeń w procesach wdrażania systemów komputerowego zarządzania procesem produkcyjnym
Autorzy:: Moroz, E.
Data publikacji:: 2016
Słowa kluczowe:: zintegrowane informatyczne systemy zarządzania
teoria ograniczeń
logiczna chmura
integrated computer-aided management systems
theory of constraints
logic cloud; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: The development of software for fast DST-I algorithms for short-length input sequences
Autorzy:: Raciborski, Mateusz
Współwytwórcy:: Raciborski, Mateusz
Data publikacji:: 2024-11-25
Wydawca:: RepOD
Tematy:: Computer and Information Science
complexity theory
digital signal processing
discrete sine transform
DST-I
matrix decomposition
signal processing algorithms; Pokaż więcej
Dostawca treści:: Repozytorium Otwartych Danych

Inne

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: Positive linear dynamic model of mobile source air pollution and problems of control
Autorzy:: Rumchev, V.G.
Caccetta, L.
Kostova, S.
Data publikacji:: 2003
Słowa kluczowe:: control theory
gas emissions
internal combustion engines
air pollution
spark plugs
problem solving
decision making
mathematical models
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Algorytmy komputerowego wspomagania nawigatora w sytuacjach kolizyjnych
Autorzy:: Lisowski, J.
Data publikacji:: 2011
Słowa kluczowe:: nawigacja morska
automatyka
teoria gier
analiza wrażliwości
symulacja komputerowa
marine navigation
control engineering
game theory
sensitivity analysis
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Zastosowanie algorytmu mrówkowego do wyznaczania maksymalnej grupy wzajemnie połączonych elementów
Autorzy:: Schiff, K.
Data publikacji:: 2008
Słowa kluczowe:: algorytm mrówkowy
algorytmy komputerowe
klika maksymalna
optymalizacja kombinatoryczna
teoria grafów
ant algorithm
combinatorial optimization
computer algorithms
graph theory
maximum clique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Stosowana teoria eksperymentu. Cz. 2
Autorzy:: Polański, Z.
Data publikacji:: 1999
Słowa kluczowe:: technonauka
eksperyment
teoria eksperymentu
komputerowe wspomaganie badań
koszt eksperymentu
technoscience
experiment
theory of experimentation
computer aided testing
cost of experiment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: Knowledge representation and information systems in medical sciences
Autorzy:: Mysiak, A.
Data publikacji:: 1999
Słowa kluczowe:: fuzzy set theory
medical expert systems
medical sciences
inference assisting medical systems
technical computer constraints
fuzzy character
medical information systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Code comprehension as a distributed construction of meanings
Podejście do zrozumienia kodu jako do konstrukcji sensu
Autorzy:: Cofta, Piotr
Data publikacji:: 2019
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: computer science
code comprehension
social systems theory
reverse engineering
software maintenance
informatyka
rozumienie kodu
teoria systemów społecznych
inżynieria odwrotna
utrzymanie oprogramowania; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: Informatyka na morzu : zastosowanie fuzji danych w procesie identyfikacji obiektów morskich
Autorzy:: Neumann, T.
Data publikacji:: 2008
Słowa kluczowe:: informatyka
inteligencja obliczeniowa
fuzja danych
identyfikacja obiektów
teoria Dempstera-Shafera
computer science
computational inteligence
data fusion
object identification
Dempster-Shafer theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computer theory" wg kryterium: Temat