Filters








4,383 Hits in 1.1 sec

An undecidability result for AGh

Stéphanie Delaune
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]

Michał Ptaszyński and Gniewosz Leliwa and Mateusz Piech and Aleksander Smywiński-Pohl
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

Ryszard Tadeusiewicz
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

Monika Chuchro, Andrzej Leśniak
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

Łukasz Krzyżowski, Agnieszka Sikora, Dorota Świerczek
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

Mohammad Reza Soltan Agh, Zuriati Ahmad Zukarnain, Ali Mamat, Hishamuddin Zainuddin
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

Mykhaylo Melnyk, Lviv Polytechnic National University, Andrіy Kernyskyy, Jaroslaw Rubacha, Tadeusz Kamisinski, Lviv Polytechnic National University, AGH University of Science and Technolog, AGH University of Science and Technology
2019 Computer systems and network  
Подано розроблене у системі Labview програмне забезпечення для автоматизації процесу розрахунку опору потокові повітря пористих матеріалів. Підхід полягає в автоматизованому збиранні та опрацюванні інформації із давача тиску та витратоміра. Розроблене програмне забезпечення дало змогу автоматизувати процес визначення коефіцієнтів звукопоглинання пористих матеріалів методом продування потоком повітря. Програмне забезпечення дає змогу виконувати аналіз даних у режимі реального часу.
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.
doi:10.23939/sisn2019.02.052 fatcat:ezwaulfqlvhrpavnlqcdkrplzu

Empowering Science through Computing, Preface for ICCS 2012

Hesham Ali, Yong Shi, Deepak Khazanchi, Michael Lees, G. Dick van Albada, Jack Dongarra, Peter M.A. Sloot
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

A. Neamaty, B. Agheli, R. Darzi
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

Tadeusz Niezgoda, Ewelina Małek, Danuta Miedzińska
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

Vassil Alexandrov, Michael Lees, Valeria Krzhizhanovskaya, Jack Dongarra, Peter M.A. Sloot
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

Kazimierz Twardowski, Joanna Lewandowska-Śmierzchalska, Joanna Przybyłowicz
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

Rafał Wiśniowski, Krzysztof Skrzypaszek, Piotr Kiebzak, Maciej Kański
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

Maciej Lorenc, Witold Warowny
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

Ûrij Vasûčkov, Marina Fedorova
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