Wszystkie pola: Computer algebra

Skocz do pozycji: 1.

Tytuł:: Some algorithms of computer algebra
Współwytwórcy:: Timoshyna, L. Autor
Porkuân, Ol'ga Viktorovna Autor
Timoshyn, A. Autor
Data publikacji:: 2016
Tematy:: Komputery
Macierze
Algebra; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Some algorithms of computer algebra
Nekotorye algoritmy kompjuternojj algebry
Autorzy:: Porkuian O.
Timoshyn A.
Timoshyna L.
Tematy:: algorithm
computing determinant
implementation
unitriangular transformation
matrix computation
Maxima system; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Some algorithms of computer algebra
Nekotorye algoritmy kompjuternojj algebry
Autorzy:: Porkuian, O.
Timoshyn, A.
Timoshyna, L.
Data publikacji:: 2016
Wydawca:: Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:: algorithm
computing determinant
implementation
unitriangular transformation
matrix computation
Maxima system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The use of computer algebra systems in the teaching process
Autorzy:: Paszeczko, M.
Barszcz, M.
Zagórski, I.
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: computer algebra systems
Mathcad
engineering calculations; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Computer algebra tests physical theories : the case of relativistic astrophysics
Autorzy:: Golda, Zdzisław
Woszczyna, Andrzej
Data publikacji:: 2014
Wydawca:: Copernicus Center Press
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Specification and integration of theorem provers and computer algebra systems
Autorzy:: Bertoli, P.G.
Calmet, J.
Giunchiglia, F.
Homann, K.
Data publikacji:: 1999
Słowa kluczowe:: computer algebra systems
theorem provers
integration
formal frameworks; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Computer algebra application for vibrational abrasive treatment process
Autorzy:: Fedaravicius, A.
Mekucioniene, J.
Data publikacji:: 1998
Słowa kluczowe:: obróbka ścierna
oddziaływanie drgań
algebra komputerowa
abrasive treatment
vibrational interaction
computer algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Computer algebra systems in teaching and research : differential equations, dynamical systems and celestial mechanics
Współwytwórcy:: Jakubiak, Mirosław. Red.
Gadomski, Leszek. Red.
CASTR 2011 (6 ; 2011 ; Siedlce)
Collegium Mazovia Innowacyjna Szkoła Wyższa. Wydawnictwo
Prokopenâ, Aleksander Nikolaevič. Red.
Data publikacji:: 2011
Wydawca:: Siedlce : Wydawnictwo Collegium Mazovia
Tematy:: Astronomia
Równania różniczkowe
Algebra - stosowanie; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Platforma Moodle wspomagana systemem algebry komputerowej
The Moodle platform supported by the computer algebra system
Autorzy:: Kucharska, Magdalena
Perl, Monika
Data publikacji:: 2020
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:: e-learning
platforma Moodle
STACK
system algebry komputerowej
Moodle platform
computer algebra system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: An Algorithmic-type Classification of Tetravalent One-regular Graphs Using Computer Algebra Tools
Autorzy:: Ghasemi, M.
Data publikacji:: 2014
Słowa kluczowe:: s-transitive graphs
symmetric graphs
Cayley graphs
magma
combinatorial algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

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

Tytuł:: The use of computer algebra systems in the teaching process
Autorzy:: Paszeczko, M.
Barszcz, M.
Zagórski, I.
Data publikacji:: 2014
Słowa kluczowe:: computer algebra systems
Mathcad
engineering calculations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Use of computer algebra system for recalculation of the fifth-order aberrations of GRIN media.
Autorzy:: Magiera, L.
Data publikacji:: 2001
Słowa kluczowe:: aberracja
fizyka obliczeniowa
algebra
aberrations
gradient index optics
physics computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Zastosowanie komputerowego rachunku symbolicznego do zagadnień zginania belek
Use of computer algebra system for beams bending problems
Autorzy:: Hałat, W.
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: pakiety CAS
rachunek symboliczny CAS
zginanie belek
reakcje
momenty zginające
siły tnące
kąty ugięcia
linia ugięcia
CAS packages
symbolic calculations
beam bending
reactions
bending moments
transversal forces
bending angles
bending profile line; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: An application of computer algebra systems in teaching of kinematics of mechanisms
Autorzy:: Grabysz, W.
Data publikacji:: 1999
Słowa kluczowe:: kinematyka mechanizmów
algebra symboliczna
kinematics of mechanisms
computer algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: The multiplicity problem for indecomposable decompositions of modules over a finite-dimensional algebra : algorithms and a computer algebra approach
Autorzy:: Dowbor, Piotr
Współwytwórcy:: Mróz, Andrzej
Data publikacji:: 2007
Tematy:: Informatyka
Algebra; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Application of computer algebra systems (CAS) to formal expansion of exact Callen equations into the systems of algebraic equations
Autorzy:: Krzemieniowski, Adam
Wiatrowski, Grzegorz
Data publikacji:: 2006
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Application of computer algebra systems (CAS) to formal expansion of exact Callen equations into the systems of algebraic equations
Autorzy:: Krzemieniewski, Adam
Współwytwórcy:: Wiatrowski, Grzegorz
Data publikacji:: 2006
Tematy:: Programy komputerowe
Algebra; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite Graphs and Matrix Morsifications of Dynkin Type An
Autorzy:: Felisiak, M.
Data publikacji:: 2013
Słowa kluczowe:: algebra
spectral geometry
bipartite graphs
graph theory
singularities mathematics
polynomials; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Regexpcount, a symbolic package for counting problems on regular expressions and words
Autorzy:: Nicodeme, P.
Data publikacji:: 2003
Słowa kluczowe:: marked automata
generating functions
computer algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: On applications of computer algebra systems in queueing theory calculations
Autorzy:: Ziółkowski, Marcin
Data publikacji:: 2024
Słowa kluczowe:: classical queueing models
queueing systems with random volume customers
queueing systems with sectorized memory buffer
generalized L'Hospital's rule
Stieltjes convolution
Laplace transform
Laplace-Stieltjes transform
uogólniona reguła L'Hospitala
splot Stieltjesa
transformata Laplace'a
transformata Laplace'a-Stieltjesa
system kolejkowania klasyczny
system kolejkowania z losowymi klientami
system kolejkowania z sektorowym buforem pamięci; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Application of computer algebra in symbolic computations and boundary-value problems of the theory of shells
Autorzy:: Walentyński, R.
Data publikacji:: 2003
Słowa kluczowe:: teoria powłok
algebra komputerowa
obliczenia symboliczne
zagadnienie brzegowe
metoda najmniejszych kwadratów
analiza tensorowa
theory of shells
symbolic computation
boundary value problem
least squares method
tensor analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Application of computer algebra systems (CAS) to symbolic construction of coupled equations for magnetic susceptibility of amorphous systems with different coordination numbers
Autorzy:: Krzemieniewski, Adam
Wiatrowski, Grzegorz
Data publikacji:: 2008
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Automated Linearization of a System of Nonlinear Ordinary Differential Equations
Autorzy:: Mazakova, Aigerim
Jomartova, Sholpan
Wójcik, Waldemar
Mazakov, Talgat
Ziyatbekova, Gulzat
Data publikacji:: 2023
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: Ordinary differential equation
Computer algebra
stability
controllability
MatLab; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Application of computer algebra systems (CAS) to symbolic construction of coupled equations for magnetic susceptibility of amorphous systems with different coordination numbers
Autorzy:: Krzemieniewski, Adam
Współwytwórcy:: Wiatrowski, Grzegorz
Data publikacji:: 2008
Tematy:: Algebra; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Application of computer algebra systems (CAS) to symbolic construction of coupled equations for magnetic susceptibility of amorphous systems with different coordination numbers
Autorzy:: Krzemieniewski, Adam
Wiatrowski, Grzegorz
Data publikacji:: 2008
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Automated Linearization of a System of Nonlinear Ordinary Differential Equations
Autorzy:: Mazakova, Aigerim
Jomartova, Sholpan
Wójcik, Waldemar
Mazakov, Talgat
Ziyatbekova, Gulzat
Data publikacji:: 2023
Słowa kluczowe:: Ordinary differential equation
Computer algebra
stability
controllability
MatLab; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

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

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

Tytuł:: Zastosowanie systemów CAS do aplikacji dźwigowych
Autorzy:: Lonkwic, P.
Data publikacji:: 2008
Słowa kluczowe:: CAS
CAE
MATCAD
MATLAB
Computer Algebra System
computer aided engineering
MATHCAD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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

Tytuł:: The High Precision Numerical Calculation of Stieltjes Constants. Simple and Fast Algorithm
Autorzy:: Maślanka, Krzysztof
Koleżyński, Andrzej
Data publikacji:: 2022
Słowa kluczowe:: Riemann zeta function
Stieltjes constants
experimental mathematics
PARI/GP computer algebra system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Platforma Moodle wspomagana systemem algebry komputerowej
Autorzy:: Kucharska, Magdalena
Perl, Monika
Data publikacji:: 2020
Słowa kluczowe:: e-learning
platforma Moodle
STACK
system algebry komputerowej
Moodle platform
computer algebra system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: MATHEMATICA AT ECONOMICS SERVICE (Mathematica na uslugach ekonomii)
Autorzy:: Zawadzki Henryk
Tematy:: COMPUTER ALGEBRA SYSTEMS
DELAY DIFFERENTIA EQUATIONS
KALECK'S BUSINESS CYCLE MODEL
MATHEMATICA
ECONOMICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Using Modern Technology to Teach Precalculus
Autorzy:: Rys, P.
Zdráhal, T.
Data publikacji:: 2000/2001
Słowa kluczowe:: analiza matematyczna
nauczanie
technologia nowoczesna
algebra komputerowa
mathematical analysis
education
modern technologies
computer algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: On the Computational Complexity of Bongartz’s Algorithm
Autorzy:: Mróz, A.
Data publikacji:: 2013
Słowa kluczowe:: algorithm
computational complexity
computer algebra
GAP
module
common direct summand
Gaussian elimination
decomposition
isomorphism problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Symbolic computation of variational symmetries in optimal control
Autorzy:: Gouveia, P. D.
Torres, D. F.
Rocha, E. A.
Data publikacji:: 2006
Słowa kluczowe:: sterowanie optymalne
variational symmetries
gauge term
nonconservative forces
computer algebra systems
Noether's theorem
first integrals
optimal control; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Symbolic computation of variational symmetries in optimal control
Autorzy:: Gouveia, P. D.
Torres, D. F.
Rocha, E. A.
Data publikacji:: 2006
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: sterowanie optymalne
variational symmetries
gauge term
nonconservative forces
computer algebra systems
Noether's theorem
first integrals
optimal control; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Symbolic tensor calculus : functional and dynamic approach
Zastosowania programowania funkcyjnego i dynamicznego do symbolicznego rachunku tensorowego
Autorzy:: Golda, Zdzisław
Czaja, Wojciech
Woszczyna, Andrzej
Plaszczyk, Piotr
Data publikacji:: 2015
Słowa kluczowe:: programowanie funkcyjne
symbolic tensor calculus
programowanie dynamiczne
dynamic programming
Mathematica
Wolfram Language
symboliczny rachunek tensorowy
functional programming
algebra komputerowa
computer algebra; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Symbolic tensor calculus - functional and dynamic approach
Autorzy:: Woszczyna, A.
Plaszczyk, P.
Czaja, W.
Golda, Z. A.
Data publikacji:: 2015
Słowa kluczowe:: computer algebra
symbolic tensor calculus
functional programming
dynamic programming
Mathematica
Wolfram Language
algebra komputerowa
symboliczny rachunek tensorowy
programowanie funkcyjne
programowanie dynamiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Using a CAS to visualize some images of lines mapped via the harmonic cross-ratio
Wizualizacja obrazów prostych w pewnym przekształceniu realizowanym za pomocą dwustosunku korzystająca z systemu algebry komputerowej
Autorzy:: Korczak, E.
Marlewski, A.
Data publikacji:: 2012
Wydawca:: Polskie Towarzystwo Geometrii i Grafiki Inżynierskiej
Tematy:: projective geometry
cross-ratio
conics
bisecant
visualization
computer algebra system
geometria rzutowa
dwustosunek czwórki punktów
krzywe
wizualizacja
system algebry komputerowej; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Zastosowanie komputerowego rachunku symbolicznego do zagadnień zginania belek
Autorzy:: Hałat, W.
Data publikacji:: 2007
Słowa kluczowe:: pakiety CAS
rachunek symboliczny CAS
zginanie belek
reakcje
momenty zginające
siły tnące
kąty ugięcia
linia ugięcia
CAS packages
symbolic calculations
beam bending
reactions
bending moment
transversal forces
bending angles
bending profile line; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Application of Computer Mathematical Tools in University Training of Computer Science and Mathematics Pre-service Teachers
Autorzy:: Naboka, Olha
Proshkin, Volodymyr
Semenikhina, Olena
Data publikacji:: 2020-12-29
Wydawca:: University of Silesia in Katowice, Poland
Słowa kluczowe:: computer algebra system
pre-service teacher of computer science
university education
dynamic geometry software
pre-service teacher of mathematics
computer mathematical tools; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Using a CAS to visualize some images of lines mapped via the harmonic cross-ratio
Autorzy:: Korczak, E.
Marlewski, A.
Data publikacji:: 2012
Słowa kluczowe:: projective geometry
cross-ratio
conics
bisecant
visualization
computer algebra system
geometria rzutowa
dwustosunek czterech punktów
krzywe
wizualizacja
system algebry komputerowej; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Application of Computer Mathematical Tools in University Training of Computer Science and Mathematics Pre-service Teachers
Autorzy:: Proshkin, Volodymyr
Semenikhina, Olena
Naboka, Olha
Współwytwórcy:: Makarenko Sumy State Pedagogical University, Ukraine
Donbas State Pedagogical University
Borys Grinchenko Kyiv University, Ukraine
Data publikacji:: 2020-12-29
Wydawca:: University of Silesia in Katowice, Poland
Słowa kluczowe:: computer mathematical tools
computer algebra system
pre-service teacher of mathematics
university education
dynamic geometry software
pre-service teacher of computer science; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Mathematica System and Its Application in the Research and Education
Autorzy:: Chichurin, A.
Data publikacji:: 2011
Słowa kluczowe:: computer algebra systems
applications
examples from cosmic dynamics
weather research
educational example
zastosowanie systemów komputerowych
modele dynamiki kosmicznej
matematyczne modelowanie pogody
zastosowanie edukacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Modelowanie procesów estymacji przepływów w sieciach
Autorzy:: Pilipchuk, L.
Pilipchuk, V.
Data publikacji:: 2017
Słowa kluczowe:: sieć
modelowanie matematyczne
technologie dekompozycji
rozrzedzony system
rzędy
system algebry komputerowej Mathematica
network
mathematical modeling
decomposition technology
sparse system
rank
mathematica computer algebra system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Methods and tools of development of interactive teaching materials on the computer mechanics
Autorzy:: Taranchuk, V.
Zhuravkov, M.
Data publikacji:: 2016
Słowa kluczowe:: interactive educational resources
Mathematica computer algebra system
Computable Document Format
CDF
computer graphics
interaktywne zasoby edukacyjne
system algebry komputerowej Mathematica
elektroniczny format dokumentu
grafika komputerowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Computational Methods with Symbolic Computation Systems
Autorzy:: Krowiak, A.
Palej, R.
Struk, R.
Data publikacji:: 2004
Słowa kluczowe:: symbolic computation
computer algebra
engineering systems analysis
engineering systems simulation
engineering systems design
obliczenia symboliczne
algebra komputerowa
analiza systemów inżynierskich
symulacja systemów inżynierskich
projektowanie systemów inżynierskich; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Reaction-diffusion problems with Random parameters using the generalized stochastic finite difference method
Autorzy:: Kamiński, M.
Data publikacji:: 2011
Słowa kluczowe:: reakcja-dyfuzja
system algebry komputerowej
stochastyczna metoda elementów skończonych
uogólniona metoda perturbacji stochastycznej
reaction-diffusion problem
computer algebra system
stochastic finite difference method
generalized stochastic perturbation technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Semirings in Operations Research and Computer Science: More Algebra
Autorzy:: Rudeanu, S.
Vaida, D.
Data publikacji:: 2004
Słowa kluczowe:: semiring
optimal path problem
fuzzy modelling
partial additive semantics
process algebras
complete existential theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Using Groebner bases in combinatorics
Zastosowanie baz Grobnera w kombinatoryce
Autorzy:: Reszka, Paulina
Słowa kluczowe:: Combinatorics, Groebner bases, computer algebra, graphs, polynomials, polynomial equations, ideal, algorithms, graph coloring, Hamiltonian graph
Kombinatoryka, bazy Gröbnera, algebra komputerowa, grafy, wielomiany, równania wielomianowe, ideał, algorytmy, kolorowanie grafu, grafy Hamiltonowskie; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Application of Computer Mathematical Tools in University Training of Computer Science and Mathematics Pre-service Teachers
Zastosowanie komputerowych instrumentów matematycznych w przygotowaniu przyszłych nauczycieli informatyki i matematyki na uniwersytetach
Autorzy:: Semenikhina, Olena
Proshkin, Volodymyr
Naboka, Olha
Data publikacji:: 2020-12-29
Wydawca:: Wydawnictwo Uniwersytetu Śląskiego
Tematy:: komputerowe narzędzia matematyczne
dynamiczne oprogramowanie geometryczne
systemy algebry komputerowej
przyszły nauczyciel informatyki
przyszły nauczyciel matematyki
Edukacja na Uniwersytecie
computer mathematical tools
dynamic geometry software
computer algebra system
pre-service teacher of mathematics
pre-service teacher of computer science
university education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: The integrated computer complex of an estimation and adapting of digital geological models
Autorzy:: Taranchuk, V.
Data publikacji:: 2017
Słowa kluczowe:: cyfrowy model geologiczny
rozproszony zbiór punktów pomiarowych
przybliżenie pola cyfrowego
system algebry komputerowej Mathematica
geoinformacyjny system Surfer
interaktywna wizualizacja graficzna
digital geological model
scattered set of points
approximating digital field
computer algebra system Mathematica
geographic information system Surfer
interactive graphics visualization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Вычислительные методы линейной алгебры в компютерном оформлении
Numerical methods of linear algebra in computer formulation.
Autorzy:: Фаддеева, В. Н.
Data publikacji:: 1984
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: The problem of identifiability and distinguishability of mathematical models in drug research
Problem identyfikowalności i odróżnialności modeli matematycznych w badaniach nad lekiem
Autorzy:: Hanak, Patrycja
Słowa kluczowe:: pharmacokinetics, modelling, pharmacokinetic models, compartment models, pharmacokinetic–pharmacodynamic models, physiological models, PK/PD, PBPK, linear and nonlinear models, models identifiability, structural identifiability, models distinguishability, differential equations, Laplace transform, computer algebra systems
farmakokinetyka, modelowanie, modele farmakokinetyczne, modele kompartmentowe, modele farmakokinetyczno-farmakodynamiczne, modele fizjologiczne, PK/PD, PBPK, modele liniowe i nieliniowe, identyfikowalność modeli, identyfikowalność strukturalna, rozróżnialność modeli, równania różniczkowe, transformata Laplace'a, systemy algebry komputerowej; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Maurer Computers with Single-Thread Control
Autorzy:: Bergstra, J.A.
Middelburg, C.A.
Data publikacji:: 2007
Słowa kluczowe:: Maurer computer
thread algebra
stored thread
execution
control thread
program algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Matrix profile for DDoS attacks detection
Autorzy:: Alotaibi, Faisal
Lisitsa, Alexei
Data publikacji:: 2021
Słowa kluczowe:: computer networks security
matrix algebra
time series
bezpieczeństwo sieci komputerowych
algebra macierzowa
szereg czasowy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Applications of Algebra in Logic and Computer Science – the Past and the Future
Autorzy:: Grygiel, Joanna
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: conference
algebra
logic
applications; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Robust sliding mode control of multivariable time-delay systems
Autorzy:: Jafarov, E.M.
Data publikacji:: 2003
Słowa kluczowe:: control equipment
stabilization
perturbation techniques
matrix algebra
computer simulation
linear systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: On pattern recognition algorithms in multi-level system with knowledge representation
Autorzy:: Szala, M.
Data publikacji:: 2003
Słowa kluczowe:: pattern recognition
algorithms
computer software
probability distributions
statistical methods
algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

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

Tytuł:: Intuitionistic Fuzzy Transportation Problem by Zero Point Method
Autorzy:: Traneva, Velichka
Tranev, Stoyan
Data publikacji:: 2020
Słowa kluczowe:: fuzzy set theory
matrix algebra
transportation
teoria zbiorów rozmytych
algebra macierzowa
transport; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

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

Tytuł:: Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures
Autorzy:: Fibich, Christian
Tauner, Stefan
Rössler, Peter
Horauer, Martin
Data publikacji:: 2020
Słowa kluczowe:: embedded system
linear algebra
BLAS
benchmark
ARM
systemy wbudowane
program
algebra liniowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Intuitionistic Fuzzy Hamiltonian Cycle by Index Matrices
Autorzy:: Traneva, Velichka
Tranev, Stoyan
Data publikacji:: 2020
Słowa kluczowe:: fuzzy set theory
graph theory
matrix algebra
teoria zbiorów rozmytych
teoria grafów
algebra macierzowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Fuzzy querying with the use of interval-valued fuzzy sets
Autorzy:: Myszkorowski, K.
Superson, I.
Data publikacji:: 2013
Słowa kluczowe:: zbiory rozmyte
bazy danych
algebra relacyjna
język zapytań
fuzzy sets
databases
relational algebra
query languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Computing Duals of Finite Gödel Algebras
Autorzy:: Codara, Pietro
Maurina, Gabriele
Valota, Diego
Data publikacji:: 2020
Słowa kluczowe:: computer science
algebra
finite element analysis
computational efficiency
information systems
informatyka
analiza elementów skończonych
wydajność obliczeniowa
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Implementation and evaluation of medical imaging techniques based on conformal geometric algebra
Autorzy:: Franchini, Silvia
Gentile, Antonio
Vassallo, Giorgio
Vitabile, Salvatore
Data publikacji:: 2020
Słowa kluczowe:: medical image segmentation
medical image registration
computational geometry
Clifford algebra
conformal geometric algebra
segmentacja obrazu
rejestracja obrazu medycznego
geometria obliczeniowa
algebra Clifforda; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: FSP and FLTL framework for specification and verification of middle-agents
Autorzy:: Bădică, A.
Bădică, C.
Data publikacji:: 2011
Słowa kluczowe:: system wieloagentowy
algebra procesów
specyfikacja formalna
multi-agent system
interaction protocol
process algebra
formal specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Similarity analysis in medical image databases
Autorzy:: Rumiński, J.
Data publikacji:: 1999
Słowa kluczowe:: image retrieval
image analysis
descriptors
query algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Generation of Gray codes through the rough identity-summand graph of filters of a rough bi-Heyting algebra
Autorzy:: Praba, Bashyam
Anto Freeda, Lourdusamy Packiammal
Data publikacji:: 2025
Słowa kluczowe:: Heyting algebra
identity summand graph
complete bipartite graph
Gray code
algebra Heytinga
graf dwudzielny
kod Graya; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: The computer network topologies designs and the coherent graphs algebra
Autorzy:: L. Krivoi, Sergiy
Hajder, Mirosław
Dymora, Paweł
Mazurek, Mirosław
Data publikacji:: 2006
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Effect of Criteria Range on the Similarity of Results in the COMET Method
Autorzy:: Shekhovtsov, Andrii
Więckowski, Jakub
Kizielewicz, Bartłomiej
Sałabun, Wojciech
Data publikacji:: 2021
Słowa kluczowe:: decision making
matrix algebra
characteristic objects method
podejmowanie decyzji
algebra macierzy
metoda obiektów charakterystycznych; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Controlled balanced growth of positive linear discrete-time systems
Autorzy:: Rumchev, V.G.
James, D.J.G.
Data publikacji:: 2003
Słowa kluczowe:: closed loop control systems
linear control systems
matrix algebra
problem solving
mathematical models
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: The computer network topologies designs and the coherent graphs algebra
Współwytwórcy:: Dymora, Paweł
Krivoj, Sergej Luk'ânovič
Hajder, Mirosław
Mazurek, Mirosław (informatyk)
Data publikacji:: 2006
Tematy:: Systemy informatyczne
Grafy; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Interval-Valued Intuitionistic Fuzzy Decision-Making Method using Index Matrices and Application in Outsourcing
Autorzy:: Traneva, Velichka
Tranev, Stoyan
Mavrov, Deyan
Data publikacji:: 2021
Słowa kluczowe:: decision making
fuzzy set theory
matrix algebra
operations research
outsourcing
podejmowanie decyzji
teoria zbiorów rozmytych
algebra macierzowa
badania operacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: A new efficient and flexible algorithm for the design of testable subsystems
Autorzy:: Ploix, S.
Yassine, A. A.
Flaus, J.-M.
Data publikacji:: 2010
Słowa kluczowe:: podejście strukturalne
diagnostyka uszkodzeń
algebra relacyjna
automatic test design
structural approach
fault diagnosis
analytical redundancy relations
relational algebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Extended Lie algebraic stability analysis for switched systems with continuous-time and discrete–time subsystems
Autorzy:: Zhai, G.
Xu, X.
Lin, H.
Liu, D.
Data publikacji:: 2007
Słowa kluczowe:: układ komutowany
funkcja Lapunowa
algebra Lie'go
stateczność wykładnicza
switched systems
common quadratic Lyapunov functions
Lie algebra
exponential stability
arbitrary switching
dwell time scheme; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Risky decision making in a computer card game: An information integration experiment
Autorzy:: Figner B.
Voelki N.
Tematy:: COGNITIVE ALGEBRA
INFORMATION INTEGRATION
RISK TAKING
RISKY CHOICE
RISKY DECISION MAKING
PSYCHOLOGY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Model checking processes specified in join-calculus algebra
Autorzy:: Maludziński, S.
Dobrowolski, G.
Data publikacji:: 2014
Słowa kluczowe:: join-calculus
model checking
formal methods
automatic software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: An algebraic model of the subsystem for the computer generation of elimination operation
Autorzy:: Ovsyak, V.
Ovsyak, O.
Kozelko, M.
Petrushka, J.
Data publikacji:: 2018
Słowa kluczowe:: algorithm of algebra
algebraic methods
algebraic model of operation
elimination operation
graph of subsystem
diagram of sequences; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: An algebraic model of the subsystem for the computer generation of elimination operation
Autorzy:: Ovsyak, V.
Ovsyak, O.
Kozelko, M.
Petrushka, J.
Data publikacji:: 2018
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorithm of algebra
algebraic methods
algebraic model of operation
elimination operation
graph of subsystem
diagram of sequences; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Lower Bound for the Number of 4-Element Generating Sets of Direct Products of Two Neighboring Partition Lattices
Autorzy:: Oluoch, Lilian
Al-Najafi, Amenah
Data publikacji:: 2022-10-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: partition lattice
four-element generating set
sublattice
statistics
computer program
direct product of lattices
generating partition lattices; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Towards robust predictive fault-tolerant control for a battery assembly system
Autorzy:: Seybold, L.
Witczak, M.
Majdzik, P.
Stetter, R.
Data publikacji:: 2015
Słowa kluczowe:: max-plus algebra
interval analysis
battery assembly
model predictive control
fault tolerant control
analiza interwałowa
sterowanie predykcyjne
sterowanie tolerujące uszkodzenia; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: The application of affine/interval algebra to determine the time of concrete cover damage in reinforced concrete due to corrosion
Autorzy:: Krykowski, Tomasz
Data publikacji:: 2020
Słowa kluczowe:: concrete
corrosion
FEM
cover cracking
affine number
beton
korozja
MES
pęknięcie pokrywy
liczba afiniczna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Computer algebra" wg kryterium: Wszystkie pola