Filters
total: 1932
filtered: 1788
displaying 1000 best results Help
Search results for: DYNAMIC EXECUTION CONTEXTS
-
First-order differential equations with nonlocal boundary conditions
PublicationWe study a first-order boundary value problem subject to some boundary conditions given by Riemann-Stieltjes integrals. Using a monotone iterative method, we formulate sufficient conditions which guarantee the existence of extremal or quasi-solutions in the corresponding region bounded by upper and lower solutions of our problems. The case when a unique solution exists is also investigated. Some examples are given to illustrate...
-
Systems of boundary value problems of advanced differential equations
PublicationThis paper considers the existence of extremal solutions to systems of advanced differential equations with corresponding nonlinear boundary conditions. The monotone iterative method is applied to obtain the existence results. An example is provided for illustration.
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Positive solutions to third-order impulsive Sturm-Liouville boundary value problems with deviated arguments and one-dimensional p-Laplacian
PublicationBadane są równania różniczkowe z impulsami trzeciego rzędu z odchylonymi argumentami przy zadanych warunkach brzegowych typu Sturma-Liouvilla. Podano warunki dostateczne na istnienie dodatnich rozwiązań takich problemów stosując twierdzienie o punkcie stałym dla stożków.
-
On neutral differential equations and the monotone iterative method
PublicationThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu drugiego z całkowymi warunkami brzegowymi i z odchylonymi argumentami typu wyprzedzonego. Korzystając z tw. Avery-Petersona dla stożków, podano warunki dostateczne na istnienie trzech dodatnich rozwiazań w/w problemów. Podano przykład pokazujący iż przyjęte załozenia są spełnione.
-
Boundary value problems with advanced arguments involving upper and lower solutions in reverse order
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowo-całkowych pierwszego rzędu z argumentami wyprzedzonymi. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają rozwiązania minimalne i maksymalne w odpowiadającym obszarze ograniczonym przez rozwiązania górne i dolne. W celu uzyskania wyników zastosowano nową metodę opartą na twierdzeniu Heikkila-Lakshmikantham'a. Wyniki zilustrowano na przykładzie.
-
Monotone iterative method to second order differential equations with deviating arguments involving Stieltjes integral boundary conditions
PublicationWe use a monotone iterative method for second order differential equations with deviating arguments and boundary conditions involving Stieltjes integrals. We establish sufficient conditions which guarantee that such problems have extremal solutions in the corresponding region bounded by lower and upper solutions. We also discuss the situation when problems have coupled quasi-solutions. We illustrate our results by three examples.
-
Fractional differential equations with deviating arguments
PublicationDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
On delay differential equations with boundary conditions
PublicationPodano warunki na istnienie rozwiązania zagadnienia brzegowego typu opóźnionego, zakładając pewne warunki monotoniczności funkcji występującej po prawej stronie naszego zagadnienia. Pokazano, że dwa ciągi monotoniczne są zbieżne do rozwiązania dokładnego.
-
Optimization model of agile team’s cohesion
PublicationTeam’s cohesion is one of the most important factors of IT project execution effectiveness. Optimization of team’s cohesion gives the possibility of reducing the risk of project failure. It also allows to increase the teamwork efficiency and thus optimize time of tasks execution, increase the guarantee of maintaining the scope of the project and the chance of achieving a given level of products quality. This article presents determination...
-
Modeling and Simulation for Exploring Power/Time Trade-off of Parallel Deep Neural Network Training
PublicationIn the paper we tackle bi-objective execution time and power consumption optimization problem concerning execution of parallel applications. We propose using a discrete-event simulation environment for exploring this power/time trade-off in the form of a Pareto front. The solution is verified by a case study based on a real deep neural network training application for automatic speech recognition. A simulation lasting over 2 hours...
-
Kiedy są niezbędne rysunki warsztatowe konstrukcji stalowych
PublicationW wielu przypadkach wymagany prawnie zakres rysunkowej dokumentacji projektowej jest nie wy starczający do właściwego wykonania i montażu konstrukcji stalowych. W artykule przedstawiono sytuacje, w których wykonanie rysunków warsztatowych jest niezbędne. Ma to szczególne znaczenie w budownictwie energetycznym.
-
Using Statistical Methods to Estimate The Worst Case Response Time of Network Software Running on Indeterministic Hardware Platforms
PublicationIn this paper we investigate whether the statistical Worst Case Execution Time (WCET) estimation methods devised for embedded platforms can be successfully applied to find the Worst Case Response Time (WCRT) of a network application running on a complex hardware platform such as a contemporary commercial off-the-shelf (COTS) system. Establishing easy-to-use timing validation techniques is crucial for real-time applications and...
-
KernelHive: a new workflow-based framework for multilevel high performance computing using clusters and workstations with CPUs and GPUs
PublicationThe paper presents a new open-source framework called KernelHive for multilevel parallelization of computations among various clusters, cluster nodes, and finally, among both CPUs and GPUs for a particular application. An application is modeled as an acyclic directed graph with a possibility to run nodes in parallel and automatic expansion of nodes (called node unrolling) depending on the number of computation units available....
-
PRE-FAILURE CONDITION AND THE METHOD OF REPAIRING GLUED TIMBER ROOF BEARS
PublicationDesign documentation of glued-laminated timber roof girders is in many cases very general, does not contain details and design solutions, and the contractors do not have experience in the implementation of this type of structure. Design and execution errors, including those related to glued laminated timber roof girders, not only affect the safety and durability of the structure of the facility in which they were built in, but...
-
For Your Eyes Only – Biometric Protection of PDF Documents
PublicationThe paper introduces a concept of a digital document content encryption/decryption with facial biometric data coming from a legitimate user. Access to the document content is simple and straightforward, especially during collaborative work with mobile devices equipped with cameras. Various contexts of document exchange are presented with regard to the next generation pro-active digital documents proposed by authors. An important...
-
Contextualizing a Knowledge Base by Approximation – A Case Study
PublicationModular knowledge bases give their users opportunity to store and access knowledge at different levels of generality. In this paper we present how to organize a modular knowledge bases organized into contexts in which a user can express their knowledge in much simplified way, yet without losing its precision. The work is centered around the notion of approximation - i.e. reducing the arity of predicates used. The presentation is...
-
The Use of Liquid Crystal Thermography an Image Processing in Heat and Fluid-Flow Research
PublicationLiquid crystal thermography (LCT) have been used in many technical, industrial and biomedical applications [1]. During over 20 years it has been successfully applied in Department of Energy and Industrial Apparatus at Gdansk University of Technology for visualization of steady-state and transient temperature fields. In order to demonstrate feasibility of LCT techniques in practical heat transfer contexts, the authors have performed...
-
Energy-Aware Scheduling for High-Performance Computing Systems: A Survey
PublicationHigh-performance computing (HPC), according to its name, is traditionally oriented toward performance, especially the execution time and scalability of the computations. However, due to the high cost and environmental issues, energy consumption has already become a very important factor that needs to be considered. The paper presents a survey of energy-aware scheduling methods used in a modern HPC environment, starting with the...
-
Comparison and Analysis of Service Selection Algorithms
PublicationIn Service Oriented Architecture, applications are developed by integration of existing services in order to reduce development cost and time. The approach, however, requires algorithms that select appropriate services out of available, alternative ones. The selection process may consider both optimalization requirements, such as maximalization of performance, and constraint requirements, such minimal security or maximum development...
-
Performance and Power-Aware Modeling of MPI Applications for Cluster Computing
PublicationThe paper presents modeling of performance and power consumption when running parallel applications on modern cluster-based systems. The model includes basic so-called blocks representing either computations or communication. The latter includes both point-to-point and collective communication. Real measurements were performed using MPI applications and routines run on three different clusters with both Infiniband and Gigabit Ethernet...
-
Application of theory of semi-Markov processes to determining distribution of probabilistic process of marine accidents resulting from colission of ships
PublicationIn this paper is presented possible application of the theory of semi-Markov processes to elaborating an eight-state model of the process of occurrence of serviceability state and unserviceability states of sea-going ships making critical manoeuvres during their entering and leaving the ports. In the analysis it was taken into account that sea-going ships are in service for a very long time t (t → ∞). The model was elaborated to...
-
Prioritising national healthcare service issues from free text feedback – A computational text analysis & predictive modelling approach
PublicationPatient experience surveys have become a key source of evidence for supporting decision-making and continuous quality improvement within healthcare services. To harness free-text feedback collected as part of these surveys for additional insights, text analytics methods are increasingly employed when the data collected is not amenable to traditional qualitative analysis due to volume. However, while text analytics techniques offer...
-
Holistic collision avoidance decision support system for watchkeeping deck officers
PublicationThe paper presents a 3-stage synthesis-based Decision Support System for watchkeeping deck officers. Its functional scope covers conflict detection, maneuver selection, and maneuver execution, all phases supplemented by collision alerts. First, a customized elliptic ship domain is used for checking if both OS and TS will have enough free space. A survey-based navigators’ declarative OS arena is then used to determine the time at...
-
Analyzing energy/performance trade-offs with power capping for parallel applications on modern multi and many core processors
PublicationIn the paper we present extensive results from analyzing energy/performance trade-offs with power capping observed on four different modern CPUs, for three different parallel applications such as 2D heat distribution, numerical integration and Fast Fourier Transform. The CPU tested represent both multi-core type CPUs such as Intel⃝R Xeon⃝R E5, desktop and mobile i7 as well as many-core Intel⃝R Xeon PhiTM x200 but also server, desktop...
-
Improving the Performance of Ontological Querying by using a Contextual Approach
PublicationIn the paper we present the results of experiment we performed to determine whether a contextual approach may be used to increase the performance of querying a knowledge base. For the experiments we have used a unique setting where we put much effort in developing a contextual and a non-contextual ontology which are as much close counterparts as possible. To achieve this we created a contextual version...
-
Contextual ontology for tonality assessment
Publicationclassification tasks. The discussion focuses on two important research hypotheses: (1) whether it is possible to construct such an ontology from a corpus of textual document, and (2) whether it is possible and beneficial to use inferencing from this ontology to support the process of sentiment classification. To support the first hypothesis we present a method of extraction of hierarchy of contexts from a set of textual documents...
-
Auto-tuning methodology for configuration and application parameters of hybrid CPU + GPU parallel systems based on expert knowledge
PublicationAuto-tuning of configuration and application param- eters allows to achieve significant performance gains in many contemporary compute-intensive applications. Feasible search spaces of parameters tend to become too big to allow for exhaustive search in the auto-tuning process. Expert knowledge about the utilized computing systems becomes useful to prune the search space and new methodologies are needed in the face of emerging heterogeneous...
-
Checkpointing of Parallel MPI Applications using MPI One-sided API with Support for Byte-addressable Non-volatile RAM
PublicationThe increasing size of computational clusters results in an increasing probability of failures, which in turn requires application checkpointing in order to survive those failures. Traditional checkpointing requires data to be copied from application memory into persistent storage medium, which increases application execution time as it is usually done in a separate step. In this paper we propose to use emerging byte-addressable...
-
Network-aware Data Prefetching Optimization of Computations in a Heterogeneous HPC Framework
PublicationRapid development of diverse computer architectures and hardware accelerators caused that designing parallel systems faces new problems resulting from their heterogeneity. Our implementation of a parallel system called KernelHive allows to efficiently run applications in a heterogeneous environment consisting of multiple collections of nodes with different types of computing devices. The execution engine of the system is open for...
-
Efficient parallel implementation of crowd simulation using a hybrid CPU+GPU high performance computing system
PublicationIn the paper we present a modern efficient parallel OpenMP+CUDA implementation of crowd simulation for hybrid CPU+GPU systems and demonstrate its higher performance over CPU-only and GPU-only implementations for several problem sizes including 10 000, 50 000, 100 000, 500 000 and 1 000 000 agents. We show how performance varies for various tile sizes and what CPU–GPU load balancing settings shall be preferred for various domain...
-
Performance Assessment of Using Docker for Selected MPI Applications in a Parallel Environment Based on Commodity Hardware
PublicationIn the paper, we perform detailed performance analysis of three parallel MPI applications run in a parallel environment based on commodity hardware, using Docker and bare-metal configurations. The testbed applications are representative of the most typical parallel processing paradigms: master–slave, geometric Single Program Multiple Data (SPMD) as well as divide-and-conquer and feature characteristic computational and communication...
-
Zachowania przedsiębiorcze a otoczenie instytucjonalne - mechanizmy
PublicationIn this paper the ways in which entrepreneurial behaviour is manifested in insti-tutional contexts of different quality is presented. Taken the assumption of Baumol that the supply of entrepreneurs in each economy is constant, and that there are changes in the share of productive and unproductive entrepreneurship in this supply, it is emphasized that the quality of institutional framework determines the outco-mes of entrepreneurship...
-
Document Agents with the Intelligent Negotiations Capability
PublicationThe paper focus is on augmenting proactive document-agents with built -in intelligence to enable them to recognize execution context provided by devices visited durning the business process, and to reach collaboration agreement despite of their conflicting requirements. We propose a solution based on neural networks to improve simple multi-issue negotiation between the document and the device, practically with no excessive cost...
-
Fiasko projektu inwestycyjnego spowodowane błędami rozpoznania stanu technicznego obiektu i wykonanej dokumentacji projektowej
PublicationRealizacja przedsięwzięć inwestycyjnych w istniejących obiektach budowlanych związana jest z koniecznością wykonania rzetelnej weryfikacji ich aktualnego stanu technicznego, użytych materiałów, wprowadzonych zmian oraz uszkodzeń powstałych w czasie eksploatacji. Pozyskane informacje są podstawą do podejmowania decyzji zarówno technicznych, jak i ekonomicznych związanych z planami inwestycyjnymi. Błędy popełnione przez inżynierów...
-
Review and comparison of smoothing algorithms for one-dimensional data noise reduction
PublicationThe paper considers the choice of parameters of smoothing algorithms for data denoising. The impact of the window size on smoothing accuracy was analyzed. The parameters of denoising filters were selected with respect to the meansquare error between the computed linear regression and the noisy signal. Finally, we have compared mean, median, SavitzkyGolay, Kalman and Gaussian filter algorithms for the data from the digital sensor....
-
Exploring music listening patterns: an online survey
PublicationAn online survey was carried out to explore how respondents listen to music recordings. It was anticipated that the listener’s preferences would be influenced by various factors, such as age, music genre, the contexts in which they listen, and their favored methods of music consumption. Consequently, the data were collected to analyze these relationships. The survey, structured as a web application, encompassed 23 questions,...
-
Analysis of 2D Feature Spaces for Deep Learning-based Speech Recognition
Publicationconvolutional neural network (CNN) which is a class of deep, feed-forward artificial neural network. We decided to analyze audio signal feature maps, namely spectrograms, linear and Mel-scale cepstrograms, and chromagrams. The choice was made upon the fact that CNN performs well in 2D data-oriented processing contexts. Feature maps were employed in the Lithuanian word recognition task. The spectral analysis led to the highest word...
-
An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis paper investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organizational culture results in better mistake management and thus better organizational learning, (2) Effective organizational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader's behavior must align for the best learning effects....
-
An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis paper investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organizational culture results in better mistake management and thus better organizational learning, (2) Effective organizational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader’s behavior must align for the best learning effects....
-
Computational Simulation of the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis chapter investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organisational culture results in better mistake management and thus better organisational learning, (2) Effective organisational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader’s behavior must align for the best learning...
-
Multi-agent large-scale parallel crowd simulation with NVRAM-based distributed cache
PublicationThis paper presents the architecture, main components and performance results for a parallel and modu-lar agent-based environment aimed at crowd simulation. The environment allows to simulate thousandsor more agents on maps of square kilometers or more, features a modular design and incorporates non-volatile RAM (NVRAM) with a fail-safe mode that can be activated to allow to continue computationsfrom a recently analyzed state in...
-
Complementary oriented allocation algorithm for cloud computing
PublicationNowadays cloud computing is one of the most popular processing models. More and more different kinds of workloads have been migrated to clouds. This trend obliges the community to design algorithms which could optimize the usage of cloud resources and be more effiient and effective. The paper proposes a new model of workload allocation which bases on the complementarity relation and analyzes it. An example of a case of use is shown...
-
The parallel environment for endoscopic image analysis
PublicationThe jPVM-oriented environment to support high performance computing required for the Endoscopy Recommender System (ERS) is defined. SPMD model of image matching is considered and its two implementations are proposed: Lexicographical Searching Algorithm (LSA) and Gradient Serching Algorithm (GSA). Three classes of experiments are considered and the relative degree of similarity and execution time of each algorithm are analysed....
-
From Sequential to Parallel Implementation of NLP Using the Actor Model
PublicationThe article focuses on presenting methods allowing easy parallelization of an existing, sequential Natural Language Processing (NLP) application within a multi-core system. The actor-based solution implemented with the Akka framework has been applied and compared to an application based on Task Parallel Library (TPL) and to the original sequential application. Architectures, data and control flows are described along with execution...
-
Employees’ self-expansion as a mediator between perceived work conditions and work engagement and productive behaviors
PublicationThere has been increasing scientific interest in the relationships between self-perception and group identity development processes as well as the behavioural implications of these processes in organizational contexts. Recently, the concept of workplace self-expansion has been introduced to work and organizational psychology. That is, the self-expanding characteristics of work and the workplace have been related to job satisfaction...
-
Public Perception of Digital Contact Tracing App and Implications for Technology Acceptance and Use Models
PublicationGovernments are increasingly adopting digital contact tracing applications (DCT) as a key component of their response to the COVID-19 pandemic. However, governments are struggling to achieve widespread adoption of DCT necessary for obtaining the expected individual and public benefits associated with its use. Consequently, studies on DCT have focused on the barriers to DCT adoption in different contexts and possible ways of overcoming...
-
Potrzeby osób z niepełnosprawnością a budżet obywatelski. Wyniki ankiety opinii wśród społeczności warszawskiego Muranowa
PublicationThe participatory budget in Warsaw is a form of citizen involvement in city planning. The projects submitted in the budget concern, among other things, the physical transformation of space, organizing events integrating the community, and educational programs. Each of the above categories may determine the inclusion of people with disabilities in society. Social inclusion in the perspective of city change is an interesting and...
-
Quantitative Storytelling in the Making of a Composite Indicator
PublicationThe reasons for and against composite indicators are briefly reviewed, as well as the available theories for their construction. After noting the strong normative dimension of these measures—which ultimately aim to ‘tell a story’, e.g. to promote the social discovery of a particular phenomenon, we inquire whether a less partisan use of a composite indicator can be proposed by allowing more latitude in the framing of its construction....