Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Rudy, J." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 23
Tytuł:
Turing machine approach to runtime software adaptation
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/952943.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
runtime change
dynamic modification
computability theory
turing machines
Opis:
In this paper, the problem of applying changes to software at runtime is considered. The computability theory is used in order to develop a more general and programming-language-independent model of computation with support for runtime changes. Various types of runtime changes were defined in terms of computable functions and Turing machines. The properties of such functions and machines were used to prove that arbitrary runtime changes on Turing machines are impossible in general cases. A method of Turing machine decomposition into subtasks was presented and runtime changes were defined through transformations of the subtask graph. Requirements for the possible changes were considered with regard to the possibility of subtask execution during such changes. Finally, a runtime change model of computation was defined by extension of the Universal Turing Machine.
Źródło:
Computer Science; 2014, 15 (3); 293-310
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/305728.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computability theory
models of computation
Turing machine
runtime code changes
Opis:
In this paper, a dynamic model of computation based on the Universal Turing Machine is proposed. This model is capable of applying runtime code modifications for 3-symbol deterministic Turing Machines at runtime and requires a decomposition of the simulated machine into parts called subtasks. The algorithm for performing runtime changes is considered, and the ability to apply runtime changes is studied through computer simulations. Theoretical properties of the proposed model, including computational power as well as time and space complexity, are studied and proven. Connections between the proposed model and Oracle Machines are discussed. Moreover, a possible method of implementation in real-life systems is proposed.
Źródło:
Computer Science; 2016, 17 (2); 187-224
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Lifelogging system based on averaged Hidden Markov Models: dangerous activities recognition for caregiver support
Autorzy:
Postawka, A.
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/305668.pdf
Data publikacji:
2018
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
lifelogging
abnormal human activity recognition
machine vision
Microsoft Kinect
Hidden Markov Models
Opis:
In this paper, a prototype lifelogging system for monitoring people with cognitive disabilities and elderly people as well as a method for the automatic detection of dangerous activities are presented. The system allows for the remote monitoring of observed people via an Internet website and respects the privacy of the people by displaying their silhouettes instead of their actual images. The application allows for the viewing of both real-time and historical data. The lifelogging data (skeleton coordinates) needed for posture and activity recognition are acquired using Microsoft Kinect 2.0. Several activities are marked as potentially dangerous and generate alarms sent to caregivers upon detection. Recognition models are developed using Averaged Hidden Markov Models with multiple learning sequences. Action recognition includes methods for dierentiating between normal and potentially dangerous activities (e.g., self-aggressive autistic behavior) using the same motion trajectory. Some activity recognition examples and results are presented.
Źródło:
Computer Science; 2018, 19 (3); 257-278
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Online scheduling for a Testing-as-a-Service system
Autorzy:
Rudy, J.
Smutnicki, C.
Powiązania:
https://bibliotekanauki.pl/articles/200221.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
discrete optimization
online scheduling
cloud computing
Testing-as-a-Service
Opis:
The problem of performing software tests using Testing-as-a-Service cloud environment is considered and formulated as an~online cluster scheduling on parallel machines with total flowtime criterion. A mathematical model is proposed. Several properties of the problem, including solution feasibility and connection to the classic scheduling on parallel machines are discussed. A family of algorithms based on a new priority rule called the Smallest Remaining Load (SRL) is proposed. We prove that algorithms from that family are not competitive relative to each other. Computer experiment using real-life data indicated that the SRL algorithm using the longest job sub-strategy is the best in performance. This algorithm is then compared with the Simulated Annealing metaheuristic. Results indicate that the metaheuristic rarely outperforms the SRL algorithm, obtaining worse results most of the time, which is counter-intuitive for a metaheuristic. Finally, we test the accuracy of prediction of processing times of jobs. The results indicate high (91.4%) accuracy for predicting processing times of test cases and even higher (98.7%) for prediction of remaining load of test suites. Results also show that schedules obtained through prediction are stable (coefficient of variation is 0.2–3.7%) and do not affect most of the algorithms (around 1% difference in flowtime), proving the considered problem is semi-clairvoyant. For the Largest Remaining Load rule, the predicted values tend to perform better than the actual values. The use of predicted values affects the SRL algorithm the most (up to 15% flowtime increase), but it still outperforms other algorithms.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2020, 68, 4; 869-882
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Very Fast Non-Dominated Sorting
Autorzy:
Smutnicki, C.
Rudy, J.
Żelazny, D.
Powiązania:
https://bibliotekanauki.pl/articles/375948.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
parallel algorithms
Pareto sorting
computational complexity
GPU computing
multiple criteria decision analysis
NSGA-II
Opis:
A new and very efficient parallel algorithm for the Fast Non-dominated Sorting of Pareto fronts is proposed. By decreasing its computational complexity, the application of the proposed method allows us to increase the speedup of the best up to now Fast and Elitist Multi-Objective Genetic Algorithm (NSGA-II) more than two orders of magnitude. Formal proofs of time complexities of basic as well as improved versions of the procedure are presented. The provided experimental results fully confirm theoretical findings.
Źródło:
Decision Making in Manufacturing and Services; 2014, 8, 1-2; 13-23
1896-8325
2300-7087
Pojawia się w:
Decision Making in Manufacturing and Services
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multi-Criteria 3-Dimension Bin Packing Problem
Autorzy:
Kacprzak, Ł.
Rudy, J.
Żelazny, D.
Powiązania:
https://bibliotekanauki.pl/articles/409522.pdf
Data publikacji:
2015
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
bin packing problem
multi-criteria
genetic algorithm
simulated annealing
discrete optimization
Pareto efficiency
Opis:
In this paper a multi-criteria approach to the 3-dimensions bin packing problem is considered. The chosen maximization criteria are the number and the total volume of the boxes loaded into the container. Existing solution representation and decoding method are applied to the problem. Next, two metaheuristic algorithms, namely simulated annealing and genetic algorithm are developed using the TOPSIS method for solution evaluation. Both algorithms are then used to obtain approximations of the Pareto front for a set of benchmarks from the literature. Despite the fact that both criteria work in favor of each other, we managed to obtain multiple solutions in many cases, proving that lesser number of boxes can lead to better utilization of the container volume and vice versa. We also observed, that the genetic algorithms performs slightly better in our test both in the terms of hyper-volume indicator and number of non-dominated solutions.
Źródło:
Research in Logistics & Production; 2015, 5, 1; 85-94
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality traits and physicochemical characteristics of pork from crossbreds depending on age
Cechy jakościowe tusz i właściwości fizykochemiczne mięsa mieszańców świń w zależności od wieku
Autorzy:
Rudy, M.
Zin, J.
Powiązania:
https://bibliotekanauki.pl/articles/2197636.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
pig
crossbred pig
pork quality
pig meat
physicochemical characteristics
animal age
carcass
fattener
chemical composition
physicochemical property
sensory property
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2007, 25, 1; 101-107
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Impact of the technological conditions of plane surface machining on a triangular milling cutter on the residual hysteresis of the movement axis of the machine
Autorzy:
Stejskal, T.
Kráľ, J.
Rudy, V.
Melko, J.
Rjabušin, A.
Pavliková, L.
Powiązania:
https://bibliotekanauki.pl/articles/957896.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
machine tools
laser interferometer
hysteresis
Opis:
The paper deals with the possibilities of measuring the residual displacement or hysteresis on the lateral direction of the movement forces caused by the cutting forces of the machining. A special adjustment of laser interferometry assemblies was used for measurement. The measurement results indicate that the positioning accuracy in addition to the cutting forces also influences the position of the displaced moving substances and the temperature. The complex effect of these parameters is greatly dependent on the design of the machine.
Źródło:
Advances in Science and Technology. Research Journal; 2017, 11, 3; 240-245
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The usefulness of briquettes and pellets from selected plant materials for energy purposes
Przydatnosc brykietu i peletu z wybranych materialow roslinnych na cele energetyczne
Autorzy:
Kowalczyk, J.
Zarajczyk, J.
Sobczak, P.
Mazur, J.
Rudy, S.
Cycan, D.
Winiarczyk, M.
Jadwisienczak, K.
Zalewska, K.
Powiązania:
https://bibliotekanauki.pl/articles/793415.pdf
Data publikacji:
2012
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
briquette
pellet
plant material
wheat straw
rye straw
maize straw
energy purpose
energetics
calorific value
combustion heat
statistical analysis
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2012, 12, 2
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Acquisition and economic use of geothermal energy
Pozyskiwanie i gospodarcze wykorzystanie energii geotermalnej
Autorzy:
Polak, R.
Dziki, D.
Krzykowski, A.
Rudy, S.
Serwatka, Z.
Tomilo, J.
Powiązania:
https://bibliotekanauki.pl/articles/793519.pdf
Data publikacji:
2013
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
geothermal energy
renewable energy source
climate change
mitigation
implementation
thermal energy
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2013, 13, 1
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantum Control of Motional States of Neutral Atoms: Exploiting the External Degrees of Freedom
Autorzy:
Bigelow, N. P.
Chałupczak, W.
Ejnisman, R.
Pu, H.
Rudy, P.
Shaffer, J.
Powiązania:
https://bibliotekanauki.pl/articles/1968501.pdf
Data publikacji:
1998-01
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
03.75.Fi
32.80.Pj
42.50.Dv
Opis:
As research in quantum optics has advanced, so too has our ability to precisely tailor the quantum state of a system. Indeed, techniques for quantum state preparation have become sufficiently advanced that an entire subfield has appeared which has been given the name "quantum control". Parallel to these advances have been other striking developments in quantum optics, in particular, laser cooling and trapping of neutral atoms. In this paper we describe some of the recent advancements in laser cooling, particularly in our laboratories, and point out that laser cooling and trapping is also realizing an important form of quantum control. In laser cooling, instead of exercising control over the internal quantum state of an atom or molecule or a laser field, we are instead controlling a complementary set of degrees of freedom: those of the external coordinates of the atom.
Źródło:
Acta Physica Polonica A; 1998, 93, 1; 11-29
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The effect of pressure on the compaction parameters of oakwood sawdust enhanced with a binder
Wpływ ciśnienia na efektywność zagęszczania trocin dębowych z dodatkiem lepiszcza
Autorzy:
Kulig, R.
Skonecki, S.
Lysiak, G.
Laskowski, J.
Rudy, S.
Krzykowski, A.
Nadulski, R.
Powiązania:
https://bibliotekanauki.pl/articles/792211.pdf
Data publikacji:
2013
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
compaction parameter
pressure
binder material
calcium lignosulphonate
sawdust
oak wood
biomass
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2013, 13, 1
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hit Time and Hit Position Reconstruction in the J-PET Detector Based on a Library of Averaged Model Signals
Autorzy:
Moskal, P.
Sharma, N.
Silarski, M.
Bednarski, T.
Białas, P.
Bułka, J.
Czerwiński, E.
Gajos, A.
Kamińska, D.
Kapłon, L.
Kochanowski, A.
Korcyl, G.
Kowal, J.
Kowalski, P.
Kozik, T.
Krzemień, W.
Kubicz, E.
Niedźwiecki, Sz.
Pałka, M.
Raczyński, L.
Rudy, Z.
Rundel, O.
Salabura, P.
Słomski, A.
Smyrski, J.
Strzelecki, A.
Wieczorek, A.
Wiślicki, W.
Wochlik, I.
Zieliński, M.
Zoń, N.
Powiązania:
https://bibliotekanauki.pl/articles/1402622.pdf
Data publikacji:
2015-05
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
87.57.uk
07.05.Kf
Opis:
In this article we present a novel method of hit time and hit position reconstruction in long scintillator detectors. We take advantage of the fact that for this kind of detectors amplitude and shape of registered signals depend strongly on the position where particle hits the detector. The reconstruction is based on determination of the degree of similarity between measured and averaged signals stored in a library for a set of well-defined positions along the scintillator. Preliminary results of validation of the introduced method with experimental data obtained by means of the double strip prototype of the J-PET detector are presented.
Źródło:
Acta Physica Polonica A; 2015, 127, 5; 1495-1499
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multiple Scattering and Accidental Coincidences in the J-PET Detector Simulated Using GATE Package
Autorzy:
Kowalski, P.
Moskal, P.
Wiślicki, W.
Raczyński, L.
Bednarski, T.
Białas, P.
Bułka, J.
Czerwiński, E.
Gajos, A.
Gruntowski, A.
Kamińska, D.
Kapłon, Ł.
Kochanowski, A.
Korcyl, G.
Kowal, J.
Kozik, T.
Krzemień, W.
Kubicz, E.
Niedźwiecki, Sz.
Pałka, M.
Rudy, Z.
Salabura, P.
Sharma, N.
Silarski, M.
Słomski, A.
Smyrski, J.
Strzelecki, A.
Wieczorek, A.
Wochlik, I.
Zieliński, M.
Zoń, N.
Powiązania:
https://bibliotekanauki.pl/articles/1402625.pdf
Data publikacji:
2015-05
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
29.40.Mc
87.57.uk
87.10.Rt
34.50.-s
Opis:
Novel positron emission tomography system, based on plastic scintillators, is developed by the J-PET collaboration. In order to optimize geometrical configuration of built device, advanced computer simulations are performed. Detailed study is presented of background given by accidental coincidences and multiple scattering of gamma quanta.
Źródło:
Acta Physica Polonica A; 2015, 127, 5; 1505-1512
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 23

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies