Wyszukiwarka
Wyniki wyszukiwania dla: PROBABILITY &COMPUTING
-
METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY
Czasopisma -
COMBINATORICS PROBABILITY & COMPUTING
Czasopisma -
A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence
PublikacjaWe resolve a conjecture proposed by D.E. Knuth concerning a recurrence arising in the satisfiability problem. Knuth's recurrence resembles recurrences arising in the analysis of tries, in particular PATRICIA tries, and asymmetric leader election. We solve Knuth's recurrence exactly and asymptotically, using analytic techniques such as the Mellin transform and analytic depoissonization.
-
Jerzy Konorski dr hab. inż.
OsobyJerzy Konorski otrzymał tytuł mgr inż. telekomunikacji na Poitechnice Gdańskiej, zaś stopień doktora n.t. w dyscyplinie informatyka w Instytucie Podstaw Informatyki PAN. W r. 2007 obronił rozprawę habilitacyjną na Wydziale Elektroniki, Telekomnikacji i Informatyki PG. Jest autorem ponad 150 publikacji naukowych, prowadził projekty naukowo-badawcze finansowane ze środków Komitetu Badań Naukowych, UE, US Air Force Office of Scientific...
-
Quality Modeling in Grid and Volunteer-Computing Systems
PublikacjaA model of computational quality in large-scale computing systems was presented in the previous chapter of this book. This model describes three quality attributes: performance, reliability and energy efficiency. We assumed that all processes in the system are incessantly ready to perform calculations and that communication between the processes occurs immediately. These assumptions are not true for grid and volunteer computing...
-
Machine Learning Algorithm-Based Tool and Digital Framework for Substituting Daylight Simulations In Early- Stage Architectural Design Evaluation
PublikacjaThe aim of this paper is to examine the new method of obtaining the simulation-based results using backpropagation of errors artificial neural networks. The primary motivation to conduct the research was to determine an alternative, more efficient and less timeconsuming method which would serve to achieve the results of daylight simulations. Three daylight metrics: Daylight Factor, Daylight Autonomy and Daylight Glare Probability have...
-
International Conference on Probability, Statistics and Operational Research
Konferencje -
Minimizing Distribution and Data Loading Overheads in Parallel Training of DNN Acoustic Models with Frequent Parameter Averaging
PublikacjaIn the paper we investigate the performance of parallel deep neural network training with parameter averaging for acoustic modeling in Kaldi, a popular automatic speech recognition toolkit. We describe experiments based on training a recurrent neural network with 4 layers of 800 LSTM hidden states on a 100-hour corpora of annotated Polish speech data. We propose a MPI-based modification of the training program which minimizes the...
-
Harmony Search to Self-Configuration of Fault-Tolerant Grids for Big Data
PublikacjaIn this paper, harmony search algorithms have been proposed to self-configuration of fault-tolerant grids for big data processing. Some tasks related to big data processing have been considered. Moreover, two criteria have been applied to evaluate quality of grids. The first criterion is a probability that all tasks meet their deadlines and the second one is grid reliability. Furthermore, some intelligent agents based on harmony...