Filters
total: 2452
-
Catalog
- Publications 1887 available results
- Journals 214 available results
- Conferences 104 available results
- Publishing Houses 1 available results
- People 68 available results
- Projects 2 available results
- e-Learning Courses 30 available results
- Events 2 available results
- Open Research Data 144 available results
displaying 1000 best results Help
Search results for: APPROXIMATIVE COMPUTATION
-
ACM Conference on Economics and Computation
Conferences -
Adolfo Poma
PeopleI am the group leader of the computational modelling of biomolecules divison at the institute of Fundamental Technological Research Polish Academy of Sciences in Poland. My group was hosted between 2021-2022 by International Centre for Research on Innovative Bio-based Materials (ICRI-BioM). In 2008, I got a Master degree in computational physics from the State University of Campinas, Brazil. Then I moved to Germany and under the...
-
Michał Małafiejski dr hab. inż.
PeopleMichał Małafiejski was born in 1975. He received the M.Sc. in computer science (in 1999). He received the Ph.D. in computer science in 2002 and habilitation in the same area in 2014. He works as associate professor in Department of Algorithms and Modelling of Systems. He is the author or coauthor of many papers related to theoretrical computer science. Main area of his research is the design of efficient algorithms and the analysis...
-
Conley-Morse graphs for a non-linear Leslie population model with 2 varying parameters
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "A database schema for the analysis of global dynamics of multiparameter systems" by Z. Arai, W. Kalies, H. Kokubu, K. Mischaikow, H. Oka, P. Pilarczyk, published in SIAM Journal on Applied Dynamical Systems (SIADS),...
-
Conley-Morse graphs for a non-linear Leslie population model with 3 varying parameters
Open Research DataThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "A database schema for the analysis of global dynamics of multiparameter systems" by Z. Arai, W. Kalies, H. Kokubu, K. Mischaikow, H. Oka, P. Pilarczyk, published in SIAM Journal on Applied Dynamical Systems (SIADS),...
-
Genetic and Evolutionary Computations
Conferences -
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
PublicationIn this paper we consider a problem of job scheduling on parallel machines with a presence of incompatibilities between jobs. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. Our research stems from the works of Bodlaender, Jansen, and Woeginger (1994) and Bodlaender and Jansen (1993). In particular, we pursue the...
-
Hybridization of the FDTD method with use of the discrete Green's function
PublicationIn this contribution, a hybrid technique is presented which combines the finite-difference time-domain (FDTD) method and the discrete Green's function (DGF) formulation of this method. FDTD is a powerful technique for the analysis of complex penetrable objects but its application is not efficient when the computational domain includes many free-space cells. Therefore, the hybrid method was developed which is applicable to complex...
-
Recurrence scheme for FDTD-compatible discrete Green's function derived based on properties of Gauss hypergeometric function
PublicationIn this paper, the formulation of one-dimensional FDTD (Finite-difference time-domain)-compatible discrete Green's function (DGF) is derived based on the Gauss hypergeometric function (GHF). The properties of GHF make it possible to derive the recurrence scheme only in the time domain for the DGF generation. Furthermore, this recurrence scheme is valid for any stable time-step size and can be implemented using standard numerical...
-
Robust procedure for flow coefficient calculation. W: Recent advances in simulation, computational methods and soft computing. Ed. W. Nikos, E. Ma-torakis. New York: WSEAS Press**2002 s. 152-155, 5 rys. bibliogr. 7 poz. Krzepka procedura obliczania współczynnika przepływu.
PublicationW pracy przedstawiono efektywne i szybkie metody obliczania współczynnikaprzepływu powietrza na podstawie znanych: stosunku ciśnień statycznych i oporności dźwiekowej (patrz norma ISO6358).
-
FPGA implementation of the multiplication operation in multiple-precision arithmetic
PublicationAlthough standard 32/64-bit arithmetic is sufficient to solve most of the scientific-computing problems, there are still problems that require higher numerical precision. Multiple-precision arithmetic (MPA) libraries are software tools for emulation of computations in a user-defined precision. However, availability of a reconfigurable cards based on field-programmable gate arrays (FPGAs) in computing systems allows one to implement...
-
Marcin Potrykus dr inż.
PeopleA graduate of the Faculty of Management and Economics at the Gdańsk University of Technology. Since 2008, he has been employed as an Assistant at the Department of Finance at the Faculty of Management and Economics of the Gdańsk University of Technology. In 2015, he defended (in the discipline of economics) his doctoral dissertation entitled "Alternative investments - profitability and risk". Since 2016, he has been employed as...
-
RANS-based design optimization of dual-rotor wind turbines
PublicationPurpose An improvement in the energy efficiency of wind turbines can be achieved using dual rotors. Because of complex flow physics, the design of dual-rotor wind turbines (DRWTs) requires repetitive evaluations of computationally expensive partial differential equation (PDE) simulation models. Approaches for solving design optimization of DRWTs constrained by PDE simulations are investigated. The purpose of this study is to determine...
-
Data on solutions of Hes1 system
Open Research DataHes1 protein (hairy and enhancer of split 1) belongs to the helix-loop-helix (bHLH) family of transcription proteins, i.e. DNA-binding proteins in the promoter region or in another region where regulation of transcription processes occurs. The database collects data on solutions of the Hes1 systems with multiple binding sites and the dimer formation...
-
Michał Lech dr inż.
PeopleMichał Lech was born in Gdynia in 1983. In 2007 he graduated from the faculty of Electronics, Telecommunications and Informatics of Gdansk University of Technology. In June 2013, he received his Ph.D. degree. The subject of the dissertation was: “A Method and Algorithms for Controlling the Sound Mixing Processes by Hand Gestures Recognized Using Computer Vision”. The main focus of the thesis was the bias of audio perception caused...
-
Optimization of Data Assignment for Parallel Processing in a Hybrid Heterogeneous Environment Using Integer Linear Programming
PublicationIn the paper we investigate a practical approach to application of integer linear programming for optimization of data assignment to compute units in a multi-level heterogeneous environment with various compute devices, including CPUs, GPUs and Intel Xeon Phis. The model considers an application that processes a large number of data chunks in parallel on various compute units and takes into account computations, communication including...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublicationThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
Low-Cost Multi-Objective Optimization Yagi-Uda Antenna in Multi-Dimensional Parameter Space
PublicationA surrogate-based technique for fast multi-objective optimization of a multi-parameter planar Yagi-Uda antenna structure is presented. The proposed method utilizes response surface approximation (RSA) models constructed using training samples obtained from evaluation of the low-fidelity antenna model. Utilization of the RSA models allowsfor fast determination of the best possible trade-offs between conflicting objectives in multi-objective...
-
Efficient Multi-Fidelity Design Optimization of Microwave Filters Using Adjoint Sensitivity
PublicationA simple and robust algorithm for computationally efficient design optimiza-tion of microwave filters is presented. Our approach exploits a trust-region (TR)-based algorithm that utilizes linear approximation of the filter response obtained using adjoint sensitivity. The algorithm is sequentially executed on a family of electromagnetic (EM)-simulated models of different fidelities, starting from a coarse-discretization one, and...
-
Reduced-cost surrogate modelling of compact microwave components by two-level kriging interpolation
PublicationFull-wave electromagnetic (EM) analysis is a versatile tool for evaluating the performance of high-frequency components. Its potential drawback is its high computational cost, inhibiting the execution of EM-driven tasks requiring massive simulations. The applicability of equivalent network models is limited owing to the topological complexity of compact microstrip components because of EM cross-coupling effects. Development of...
-
On the existence of homoclinic type solutions of inhomogenous Lagrangian systems
PublicationWe study the existence of homoclinic type solutions for a class of inhomogenous Lagrangian systems with a potential satisfying the Ambrosetti-Rabinowitz superquadratic growth condition and a square integrable forcing term. A homoclinic type solution is obtained as a limit of periodic solutions of an approximative sequence of second order differential equations.
-
PROPERTIES OF ONE DIMENSIONAL OPEN-CHANNEL STEADY FLOW EQUATIONS
PublicationIn this paper properties of discrete forms of one dimensional steady gradually varied flow equations are discussed. Such forms of flow equations are obtained as a result of approximation of their differential forms, which is required to solve them numerically. For such purpose explicit or implicit numerical approximation schemes for ordinary differential equations can be applied. It turns out that dependently on the chosen approximation...
-
Design-Oriented Two-Stage Surrogate Modeling of Miniaturized Microstrip Circuits with Dimensionality Reduction
PublicationContemporary microwave design heavily relies on full-wave electromagnetic (EM) simulation tools. This is especially the case for miniaturized devices where EM cross-coupling effects cannot be adequately accounted for using equivalent network models. Unfortunately, EM analysis incurs considerable computational expenses, which becomes a bottleneck whenever multiple evaluations are required. Common simulation-based design tasks include...
-
Low-Cost Modeling of Microwave Components by Means of Two-Stage Inverse/Forward Surrogates and Domain Confinement
PublicationFull-wave electromagnetic (EM) analysis is one of the most important tools in the design of modern microwave components and systems. EM simulation permits reliable evaluation of circuits at the presence of cross-coupling effects or substrate anisotropy, as well as for accounting for interactions with the immediate environment. However, repetitive analyses required by EM-driven procedures, such as parametric optimization or statistical...
-
Preconditioners with Low Memory Requirements for Higher-Order Finite-Element Method Applied to Solving Maxwell’s Equations on Multicore CPUs and GPUs
PublicationThis paper discusses two fast implementations of the conjugate gradient iterative method using a hierarchical multilevel preconditioner to solve the complex-valued, sparse systems obtained using the higher order finite-element method applied to the solution of the time-harmonic Maxwell equations. In the first implementation, denoted PCG-V, a classical V-cycle is applied and the system of equations on the lowest level is solved...
-
Impact of Low Switching-to-Fundamental Frequency Ratio on Predictive Current Control of PMSM: A simulation study
PublicationPredictive current control algorithms for permanent magnet synchronous (PMSM) drives rely on an assumption that within short intervals motor currents can be approximated with linear functions. This approximation may result either from discretizing the motor model or from simplifications applied to the continuous-time model. As the linear current approximation has been recognized as inaccurate in case when the drive operates with...
-
Improved magnitude estimation of complex numbers using alpha max and beta min algorithm
PublicationThe paper presents an improved algorithm for calculating the magnitude of complex numbers. This problem, which is a special case of square rooting, occurs for example, in FFT processors and complex FIR filters. The proposed method of magnitude calculation makes use of the modified alpha max and beta min algorithm. The improved version of the algorithm allows to control the maximum magnitude approximation error by using an adequate...
-
Fluid Mechanics, W/C, EaPE (Dezhou), sem.5, zimowy 23/24 (PG_00059698)
e-Learning CoursesObjective of the subject is to supply the student with the theoretical and practical knowledge, enabling him to solve engineering computational and experimental problems related to fluid mechanics.
-
Numerical Issues and Approximated Models for the Diagnosis of Transmission Pipelines
PublicationThe chapter concerns numerical issues encountered when the pipeline flow process is modeled as a discrete-time state-space model. In particular, issues related to computational complexity and computability are discussed, i.e., simulation feasibility which is connected to the notions of singularity and stability of the model. These properties are critical if a diagnostic system is based on a discrete mathematical model of the flow...
-
Neural Network-Based Sequential Global Sensitivity Analysis Algorithm
PublicationPerforming global sensitivity analysis (GSA) can be challenging due to the combined effect of the high computational cost, but it is also essential for engineering decision making. To reduce this cost, surrogate modeling such as neural networks (NNs) are used to replace the expensive simulation model in the GSA process, which introduces the additional challenge of finding the minimum number of training data samples required to...
-
Comparison of simplified sum-over-state expressions to calculate resonance Raman intensities including Franck-Condon and Herzberg-Teller effects
PublicationSum-over-state (SOS) expressions to simulate absorption spectroscopy and resonance Raman (RR) scattering including Franck-Condon (FC) and Herzberg-Teller (HT) effects are described. Starting from the general SOS method, several simplified SOS formulae are derived. In particular, within the so-called independent mode displaced harmonic oscillator model, it is shown that including the vibronic structure in the absorption and RR spectra...
-
Jacek Krenz dr hab. inż. arch.
PeopleJacek Krenz, born in 1948 in Poznań, Poland, is an academic architect and painter. He is a professor at Gdańsk University of Technology, Faculty of Architecture, taught also at University of Fine Arts in Poznań – both in Poland – and at Universidade da Beira Interior in Covilhã, Portugal. Charter member of The Polish Watercolour Society. He is a co-founder of the Wdzydze Artists’ Village in Kaszuby, Poland, where he works in his...
-
Impact of trajectory simplification methods on modeling carbon dioxide emissions from ships
PublicationModels of ship fuel consumption and emissions play an essential role in estimating global shipping’s greenhouse gas emissions. They are also widely used for verification of reported CO2 emissions for systems like EU MRV (Monitoring, Reporting and Verification) or IMO DCS (Data Collection System). Such models achieve high accuracy using historical spatiotemporal information about each ship from AIS data. However, this approach requires substantial...
-
Sawing Processes as a Way of Determining Fracture Toughness and Shear Yield Stresses of Wood
PublicationA new computational model, based on fracture mechanics, was used to determine cutting forces. Unlike traditional computing methods, which depend on many coefficients reflecting the machining of solid wood, the new model uses two main parameters: fracture toughness and shear yield stresses. The aim of this study was to apply this new method to determine these parameters for the tooth cutting edge principal positions and longitudinal...
-
A Simplistic Downlink Channel Estimation Method for NB-IoT
PublicationThis paper presents a downlink channel estimation method intended for a Narrowband Internet of Things (NB-IoT) access link. Due to its low computational complexity, this method is well suited for energy-efficient IoT devices, still providing acceptable reception quality in terms of signal-to-noise (SNR) performance. This paper describes the physical layer of NB-IoT within the scope of channel estimation, and also reviews existing...
-
Barbara Klaudel
People -
IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology
Conferences -
Analysis of Floodplain Inundation Using 2D Nonlinear Diffusive Wave Equation Solved with Splitting Technique
PublicationIn the paper a solution of two-dimensional (2D) nonlinear diffusive wave equation in a partially dry and wet domain is considered. The splitting technique which allows to reduce 2D problem into the sequence of one-dimensional (1D) problems is applied. The obtained 1D equations with regard to x and y are spatially discretized using the modified finite element method with the linear shape functions. The applied modification referring...
-
Active Kriging-based conjugate first-order reliability method for highly efficient structural reliability analysis using resample strategy
PublicationEfficient structural reliability analysis method is crucial to solving reliability analysis of complex structural problems. High-computational cost and low-failure probability problems greatly limit the efficiency in structural reliability analysis problems, causing the safety and reliability of the structure to be questioned. In this work, a highly efficient structural reliability analysis method coupling active Kriging algorithm...
-
Discrete Models: Combinatorics, Computation and Geometry
Conferences -
Workshop on Logic, Language, Information and Computation
Conferences -
International Symposium on Symbolic and Algebraic Computation
Conferences -
DIMACS Workshop on Intrinsic Complexity of Computation
Conferences -
International Conference on Advanced Communications and Computation
Conferences -
Symposium of Asian Association for Algorithms and Computation
Conferences -
Conference on Theory and Applications of Models of Computation
Conferences -
AAAI Conference on Human Computation and Crowdsourcing
Conferences -
International Conference and Workshop on Algorithms and Computation
Conferences -
International Conference on Applications of Evolutionary Computation
Conferences -
Fast collaborative graph exploration
PublicationWe study the following scenario of online graph exploration. A team of k agents is initially located at a distinguished vertex r of an undirected graph. At every time step, each agent can traverse an edge of the graph. All vertices have unique identifiers, and upon entering a vertex, an agent obtains the list of identifiers of all its neighbors. We ask how many time steps are required to complete exploration, i.e., to make sure...