A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
An undecidability result for AGh
2006
Theoretical Computer Science
This allows us to conclude that σ is a solution of C(S) in I AGh . Hence we have: C(S) has a soltuion in I DY+AGh ⇔ C(S) has a soltuion in I AGh . ...
Firstly, it is obvious that if C(S) has a solution in I AGh then C(S) has also one in I DY+AGh . Conversly, let σ be a solution of C(S) in I DY+AGh . ...
doi:10.1016/j.tcs.2006.08.018
fatcat:kkmntbcdlzhdjnxar47qgobmja
Cyberbullying Detection -- Technical Report 2/2018, Department of Computer Science AGH, University of Science and Technology
[article]
2018
arXiv
pre-print
In order to keep the highest scientific standards of independence and objectivity, the process was mediated by the Department of Computer Science of AGH University of Science and Technology, who performed ...
The researchers from AGH University of Science and Technology were given access to the API. In the first experiment the original Formspring dataset with its annotation was used. ...
arXiv:1808.00926v1
fatcat:3mwhy7uusvenpovwl7zktspavi
Rozwój techniki komputerowego przetwarzania obrazów w AGH
2009
Przegląd Spawalnictwa - Welding Technology Review
development of computer vision techniques at agH University of science and technology Streszczenie Przedstawiono historię rozwoju badań związanych z komputerowym przetwarzaniem, analizą i rozpoznawaniem ...
.: Picture Languages in Automatic Radiological Palm Interpretation, International Journal of Applied Mathematics and Computer Science, vol. 15, no. 2, 2005. [4] Tadeusiewicz R., Ogiela M.R.: New Proposition ...
doi:10.26628/ps.v81i1.343
fatcat:xso5ekycdzeqvlmrn77ind44oi
Department of Geoinformatics and Applied Computer Science
2016
Geology Geophysics & Environment
INTRODUCTION The Department of Geoinformatics and Applied Computer Science is an organizational unit of the Faculty of Geology, Geophysics and Environmental Protection, AGH University of Science and Technology ...
In the first cycle of studies (BSc), over 50% of courses are from the canon of computer sciences, less than 5% are geoinformatics courses, 25% are from the general canon of technical science at AGH University ...
doi:10.7494/geol.2016.42.2.249
fatcat:hhw6oqtj5zggffmcgvrug3ldbi
"Studia Humanistyczne AGH" ["Contributions to Humanities AGH"] list of articles published in the year 2003-2013
2013
Studia Humanistyczne (Kraków. 2003)
Both the dynamic development among the representatives of various disciplines within social science and humanities, resulted disciplines: ...
, "Studia Humanistycz-
ne AGH" 1: 111-121.
Augustynek, Andrzej. 2007.
[COMPUTER HAZARDS],
"Studia Humanistyczne AGH" 1: 107-121.
Augustyniak, Ewa. 2007. ...
. , "Studia Humanistyczne AGH" 3: 77-91. , "Studia Humanistyczne AGH" 4: 183-191. Kowalik, Wojciech. 2009. ...
doi:10.7494/human.2013.12.1.103
fatcat:bosa664lfbevjjqb32ibg24lgi
A Hybrid Architecture Approach for Quantum Algorithms
2009
Journal of Computer Science
In the terms of classical computer science, you can describe this setting as a universal computer with a quantum oracle. Figure 1 shows this hybrid architecture. ...
Quantum computers are different from traditional computers based on transistors. Some computing architectures such as optical computers may use classical superposition of electromagnetic waves. ...
doi:10.3844/jcssp.2009.725.731
fatcat:vix6bpptuzef7e7ousnshds3lq
Method for determining airflow resistance of porous materials based on sound absorption coefficient
2019
Computer systems and network
Подано розроблене у системі Labview програмне забезпечення для автоматизації процесу розрахунку опору потокові повітря пористих матеріалів. Підхід полягає в автоматизованому збиранні та опрацюванні інформації із давача тиску та витратоміра. Розроблене програмне забезпечення дало змогу автоматизувати процес визначення коефіцієнтів звукопоглинання пористих матеріалів методом продування потоком повітря. Програмне забезпечення дає змогу виконувати аналіз даних у режимі реального часу.
doi:10.23939/sisn2019.02.052
fatcat:ezwaulfqlvhrpavnlqcdkrplzu
more »
... між зміною тиску і потоком повітря подано у вигляді графіка. Це дає змогу в реальному часі оцінити достовірність вимірювань. Описано процедуру та методи вимірювань. Викладено розроблений та реалізований метод визначення опору потоку повітря на основі коефіцієнтів поглинання звуку, що дало змогу порівняти результати, отримані з імпедансної трубки та лабораторної установки для визначення опору потоку повітря методом продування, порівнюючи тільки значення опору повітря, а не функцію залежності коефіцієнта поглинання від частоти. Для обчислення коефіцієнта звукопоглинання вибрано емпіричну модель Мікі, яка є модифікацією моделі Ділейні-Базлі, але, на відміну від останньої, виключає виникнення від'ємних значень коефіцієнта звукопоглинання на низьких частотах. Для перевірки методів значення опору потокову повітря визначено трьома способами: обчислено в результаті експерименту, з використанням лінійного наближення для всього набору даних й за допомогою запропонованого методу. На прикладі меламінової піни показано, що запропонований спосіб дає змогу краще зіставити регресійну пряму із експериментальними даними, а це, своєю чергою, дає можливість мінімізувати похибку вимірювання порівняно із раніше використовуваним методом. Ключові слова: імпедансна трубка, коефіцієнти звукопоглинання, опір повітряному потокові, звукопоглинальні матеріали, питомий опір повітряного потоку. Вступ Пористі матеріали часто використовують для побудови акустичних систем та звукової адаптації приміщень завдяки їхнім відмінним звукопоглинальним властивостям на середніх і високих частотах. Ці матеріали характеризуються тим, що вони мають сітку взаємопов'язаних © Melnyk Mykhaylo, Kernyskyy Andrіy, Rubacha Jaroslaw, Kamisinski Tadeusz, 2019 The article presents software developed in the Labview system to automate the process of calculating the flow resistance of porous materials. The approach is to automatically collect and process information from a pressure sensors and a flow meter. The developed software made it possible to automate the process of determining the sound absorption coefficients of porous materials by the method of blowing airflow. The software allows performing real-time data analysis. The relationship between the change in pressure and the airflow are represented with a graph. This, in turn, makes it possible to evaluate the accuracy of measurements in real time. Measurement procedure and measurement methods are described. A method of rapid determination of airflow resistance based on sound absorption coefficients was developed and implemented. This allowed comparing the results obtained from an impedance tube and a laboratory stand for determining airflow resistance by the air-blowing method, comparing only the value of air resistance but not the function of the dependence of the absorption coefficient on the frequency. For the calculation of the sound absorption coefficient, an empirical Miki model was selected, which is a modification of the Delaney-Bazley model, but, unlike the latter, excludes the appearance of negative values of the sound absorption coefficient at low frequencies. To test the methods, the values of the airflow resistance were determined in three ways: calculated as a result of the experiment, calculated using a linear approximation for the entire data set, and calculated using the proposed method. The example of melamine foam shows that the proposed method is better able to map the regression line with the experimental data which minimizes the measurement error compared to the previously used method.
Empowering Science through Computing, Preface for ICCS 2012
2012
Procedia Computer Science
The International Conference on Computational Science aims to bring together annually researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various ...
importance of and progress in computational science theory and practice. ...
Cetnarowicz, Department of Computer Science, AGH University of Science and Technology,
Krakow, Computational Approaches to Social Modeling (ChASM)
Bruno Gonçalves, Nicola Perra, Notheastern University ...
doi:10.1016/j.procs.2012.04.001
fatcat:v2h4xpt6dbgilgraq3x2apwkjy
Solving Fractional Partial Differential Equation By Using Wavelet Operational Method
2013
Journal of Mathematics and Computer Science
Agheli, R. Darzi / J. Math. ...
Agheli, R. Darzi / J. Math. ...
doi:10.22436/jmcs.07.04.01
fatcat:xrr5kse6ynfufgo3uazsxrl3zy
Carbon
2013
AGH Drilling Oil Gas
The calculations were carried out with the use of REFPROP (Reference Properties) computer code developed by National Institute of Science and Technology (NIST). ...
Although the estimates of this increase in temperature vary, depending on the models used for computation, an increasing average planetary temperature over the course of this century has been predicted ...
doi:10.7494/drill.2013.30.1.161
fatcat:ucsrtbiitrhexnj5ysucme5s2m
Computation at the Frontiers of Science, Preface for ICCS 2013
2013
Procedia Computer Science
of and progress in computational science theory and practice at the frontiers of science. ...
The International Conference on Computational Science is an annual conference that brings together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers ...
Science and CYFRONET, AGH, Krakow, Poland; Derek Groen, University College London, UK; Eric Lorenz, University of Amsterdam, The Netherlands; Bartosz Bosak, PSNC, Poznan, Poland Workshop on Computational ...
doi:10.1016/j.procs.2013.05.163
fatcat:6jfsr3um2zhwdgs7tvb72gnzzm
Present metrological standards in mathematical modeling procedures
2013
AGH Drilling Oil Gas
This is the youngest (dating back to the 1980s) and quickly developing part of computer science known as data mining [12, 13] . ...
The scientific-technical publications representing various disciplines of science differ in the classifications of models and modelings. ...
doi:10.7494/drill.2013.30.1.247
fatcat:qgez7tczwzfovdiwku73tzmuku
Wellbore trajectory impact on equivalent circulating density
2017
AGH Drilling Oil Gas
Uczelniane Wydawnictwa Naukowo-
-Dydaktyczne AGH, Kraków 2002.
[4] Science Corporation, Huston 2010.
[6] Mantle K.: The Art of Controlling Wellbore Trajectory. ...
This situation appears due to a fact that even Landmark Software takes into account various, crucial factors it still uses mathematical equations and computer science which produce "linear" results. ...
doi:10.7494/drill.2017.34.1.181
fatcat:2sfbxpj4hjgvjn57uphfqbz5ty
Apparatus to study volumetric properties of the gas hydrates
2012
AGH Drilling Oil Gas
University of Science and Technology. ...
This paper presents a comparison of selective measurement techniques used in research laboratories with details of their potential advantages and disadvantages with the current at AGH University of Science ...
doi:10.7494/drill.2012.29.3.419
fatcat:536yu3ojr5b23jpiuxwjghexzq
Synthetic gas production during underground gasification of coal seams
2015
AGH Drilling Oil Gas
AGH DRILLING, OIL, GAS Vol. Yu.F. Vasyuchkov*, M.A. ...
fire health of the coal seam [K]; T 1 -temperature in the end of length of the single coal parallelepiped l [m], [K]; sh(a·x) -hyperbolic sinus of the dimensionless expression (a·x).
32 No. 1 2015 * Science ...
doi:10.7494/drill.2015.32.1.135
fatcat:yywtyqol2fhllmxhlbdepfec5u
« Previous
Showing results 1 — 15 out of 4,383 results