Filtry
wszystkich: 1825
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: INTEGER LINEAR PROGRAMMING
-
Design of Cost-Efficient Optical Fronthaul for 5G/6G Networks: An Optimization Perspective
PublikacjaCurrently, 5G and the forthcoming 6G mobile communication systems are the most promising cellular generations expected to beat the growing hunger for bandwidth and enable the fully connected world presented by the Internet of Everything (IoE). The cloud radio access network (CRAN) has been proposed as a promising architecture for meeting the needs and goals of 5G/6G (5G and beyond) networks. Nevertheless, the provisioning of cost-efficient...
-
Acceleration of the discrete Green's function computations
PublikacjaResults of the acceleration of the 3-D discrete Green's function (DGF) computations on the multicore processor are presented. The code was developed in the multiple precision arithmetic with use of the OpenMP parallel programming interface. As a result, the speedup factor of three orders of magnitude compared to the previous implementation was obtained thus applicability of the DGF in FDTD simulations was significantly improved.
-
Supramolecular junctions of the PDA tetramers
Dane BadawczeIn this dataset, a set of polydopamine (PDA) supramolecular junctions with linear and cyclic tetramers in different oxidation states (indolequinone , IQ or dihydroxyindole, DHI) in the scattering region are investigated. Electronic structure of the supramolecular junction with cyclic and linear PDA tetramers, including Electron density maps for the...
-
Electrochemical measurements of borophene functionalized with nickel(II) oxide (NiO)
Dane BadawczeThis dataset contains linear sweep voltammetry (LSV) and chronopotentiometry (CP) technique results for borophene functionalized with nickel(II) oxide (NiO) and reference samples: ruthenium(IV) oxide (RuO2), nickel(II) oxide (NiO) and pristine borophene. Linear sweep voltammetry (LSV) results show the oxygen evolution reaction permormance of the obtained...
-
ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS
PublikacjaIt has been recently shown, that some of the tripartite boxes admittin g bilocal decom- position, lead to non-locality under wiring operation applied to t wo of the subsystems [R. Gallego et al. Physical Review Letters 109 , 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of bo xes closed un- der wirings, we introduce multipartite monotones which are count erparts of bipartite ones...
-
Optimal backbone coloring of split graphs with matching backbones
PublikacjaFor a graph G with a given subgraph H, the backbone coloring is defined as the mapping c: V(G) -> N+ such that |c(u)-c(v)| >= 2 for each edge uv \in E(H) and |c(u)-c(v)| >= 1 for each edge uv \in E(G). The backbone chromatic number BBC(G;H) is the smallest integer k such that there exists a backbone coloring with max c(V(G)) = k. In this paper, we present the algorithm for the backbone coloring of split graphs with matching backbone.
-
Polyhedral Ramsey Numbers
PublikacjaGiven two polygons or polyhedrons P1 and P2, we can transform these figures to graphs G1 and G2, respectively. The polyhedral Ramsey number Rp(G1,G2) is the smallest integer n such that every graph, which represents polyhedron on n vertices either contains a copy of G1 or its complement contains a copy of G2. Using a computer search together with some theoretical results we have established some polyhedral Ramsey numbers, for example...
-
Generalized Dold sequences on partially-ordered sets
PublikacjaDold sequences constitute an important class of integer sequences that play an important role in combinatorics, number theory, topology and dynamical systems. We generalize the notion of Dold sequence for the case of partially ordered sets and describe their properties. In particular we give two alternative descriptions of generalized Dold sequences: by some class of elementary sequences as well as by different...
-
Applicability of Emotion Recognition and Induction Methods to Study the Behavior of Programmers
PublikacjaRecent studies in the field of software engineering have shown that positive emotions can increase and negative emotions decrease the productivity of programmers. In the field of affective computing, many methods and tools to recognize the emotions of computer users were proposed. However, it has not been verified yet which of them can be used to monitor the emotional states of software developers. The paper describes a study carried...
-
The Rayleigh model of the multipath fading channel
Dane BadawczeThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Rayleigh fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
The α-µ model of the multipath fading channel
Dane BadawczeThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The envelope of the α-µ fading process is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Connections between Mutually Unbiased Bases and Quantum Random Access Codes
PublikacjaWe present a new quantum communication complexity protocol, the promise--Quantum Random Access Code, which allows us to introduce a new measure of unbiasedness for bases of Hilbert spaces. The proposed measure possesses a clear operational meaning and can be used to investigate whether a specific number of mutually unbiased bases exist in a given dimension by employing Semi--Definite Programming techniques.
-
Modeling of textural anisotropy in granular materials with micro-polar hypoplasticity
PublikacjaW artykule przedstawiono wyniki numerycznej wpływu anizotropii strukturalnej w materiałach granulowanych na powstawanie lokalizacji odkształceń. Obliczenia wykonano dla ściskania w płaskim stanie odkształcenia stosując metodę elementów skończonych na bazie mikropolarnego prawa hipoplastycznego. Wpływ anizotropii modelowano stosując skorelowane pola początkowego wskaźnika porowatości.
-
Finite elements based on a first-order shear deformation moderate rotation shell theory with applications to the analysis of composite structures
Publikacja -
Shell with random geometric imperfections simulation-based approach
PublikacjaPrzedstawiono analizę powłok z losowymi imperfekcjami. Zastosowano nieliniowe geometrycznie i materiałowo modele. Geometryczne imperfekcje opisano za pomocą pojedynczych zmiennych oraz pól losowych. Wykorzystano metodę Monte Carlo i metodę elementów skończonych. Zbadano wpływ różnych rozkładów prawdopodobieństwa imperfekcji geometrycznych na probabilistyczny rozkład nośności granicznej powłok. Zastosowane rozkłady ekstremalne imperfekcji...
-
Large rotations in first-order shear deformation FE analysis of laminated shells
PublikacjaAbstrakt: Teoria powłok o skończonych obrotach w ramach modelu ścinania pierwszego rzędu stanowi podstawę zaprezentowanego w pracy algorytmu MES statycznej, geometrycznie nieliniowej analizy konstrukcji warstwowych. Szczególną uwagę zwrócono na właściwy opis skończonych obrotów przy zastosowaniu kątów Eulera oraz procedurę uaktualniania parametrów obrotowych. Przedstawiono sformułowanie przyrostowe w stacjonarnym opisie Lagrange´a....
-
Krystyna Dziubich mgr inż.
Osoby1996 r ukończone jednolite dzienne studia magisterskie na WETI, kierunek Informatyka; Specjalność: Informatyczne zarządzanie przedsiębiorstwem (WETI); 1996-2005 zatrudnienie z przemyśle, w zawodzie informatyk jako specjalista analityk w Departamencie Rozwoju Systemów Zarządzania; od roku 2005 - asystent, a następnie wykładowca PG WETI KASK; Wieloletnie zaangażowanie w opracowywanie i prowadzenie zajęć dydaktycznych na Studiach...
-
Data for systematic review on interversions reducing car use
Dane BadawczeThis dataset contains search strategies, bibliographic information and data synthesis performed for a systematic literature review to provide a comprehensive and unbiased summary of the available evidence concerning car use-reducing interventions employed and their effectiveness. ‘Intervention’, for this study purposes, is defined as “any policy, program,...
-
International Conference on Managed Programming Languages and Runtimes (was ManLang and previously Principles and Practice of Programming in Java: PPPJ)
Konferencje -
Analysis of the impact of AOP on source code quality: Paradox of aspect-oriented separation of concerns
PublikacjaAlmost four decades ago, Parnas advocated modularity for the sake of changeability, independent development, and comprehensibility. The recipe for modularization is to define a clean interface, hide an implementation detail, keep low coupling and high cohesion. Although modules have taken many forms over the years from functions and procedures to classes, no form has been capable of expressing so-called crosscutting concerns in...
-
DevEmo—Software Developers’ Facial Expression Dataset
PublikacjaThe COVID-19 pandemic has increased the relevance of remote activities and digital tools for education, work, and other aspects of daily life. This reality has highlighted the need for emotion recognition technology to better understand the emotions of computer users and provide support in remote environments. Emotion recognition can play a critical role in improving the remote experience and ensuring that individuals are able...
-
Kacper Radziszewski mgr inż. arch.
OsobyW 2016 roku ukończył studia magisterskie na Wydziale Architektury Politechniki Gdańskiej.Architekt. Współorganizator oraz prowadzący warsztaty badawcze z zakresu architektury parametrycznej oraz nowoczesnych metod fabrykacji m.in. na wydziale Architektury Politechniki Gdańskiej, w Sopockiej Szkole Wyższej, na wydziale Architektury Politechniki w Bratysławie, wydziale Architektury Politechniki w Białymstoku oraz podczas międzynarodowych...
-
Introduction to Numerical Simulation
Kursy OnlineCourse description: This interdisciplinary course provides an introduction to computational techniques for the simulation of a broad range of engineering and physical systems. Concepts and methods discussed are widely illustrated by applications drawn from electrical, mechanical, and chemical engineering. Topics include: mathematical formulations of simulation problems; sparse direct and iterative linear system solution techniques,...
-
The lognormal model of the multipath fading channel
Dane BadawczeThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The lognormal fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Implementing Integrated Territorial Investments
PublikacjaThe chapter presents the first experiences related to the implementation of the Integrated Territorial Investment (ITI). In the case of the Pomeranian region in Poland, this process was associated with the creation of a broad partnership and bottom-up approach to the development strategy programming for Urban Functional Areas. In this paper, we try to assess the effectiveness of this process, by defining its strong points and bottlenecks,...
-
Application development for Android, iOS and BlackBerry mobile platforms
PublikacjaMobile devices, along with dedicated operating systems, have become a substantial and rising trend in software development. Computer industry has significantly changed in order to fulfil the needs of this new segment of the market. Authors have participated in projects, which involved programming on Android, iOS and BlackBerry operating systems. In this paper the most popular mobile platforms (and multiplatform Unity3D environment)...
-
The Snow Team Problem
PublikacjaWe study several problems of clearing subgraphs by mobile agents in digraphs. The agents can move only along directed walks of a digraph and, depending on the variant, their initial positions may be pre-specified. In general, for a given subset~$\cS$ of vertices of a digraph $D$ and a positive integer $k$, the objective is to determine whether there is a subgraph $H=(\cV_H,\cA_H)$ of $D$ such that (a) $\cS \subseteq \cV_H$, (b)...
-
Urban regeneration in urban functional areas in Poland as an instrument of implementation of the EU Cohesion Policy
PublikacjaThis study examines the role of urban regeneration policies in planning and governance within urban functional areas (UFAs) in Poland, in the context of the EU Cohesion Policy (CP). The empirical part of this study is based on comparing the approaches adopted in two Polish regions: Pomerania and Silesia. We describe the first successes but also the bottlenecks of the process, from negotiations and programming up to the implementation...
-
Compressive Sensing Approach to Harmonics Detection in the Ship Electrical Network
PublikacjaThe contribution of this paper is to show the opportunities for using the compressive sensing (CS) technique for detecting harmonics in a frequency sparse signal. The signal in a ship’s electrical network, polluted by harmonic distortions, can be modeled as a superposition of a small number of sinusoids and the discrete Fourier transform (DFT) basis forms its sparse domain. According to the theory of CS, a signal may be reconstructed...
-
FPGA implementation of the multiplication operation in multiple-precision arithmetic
PublikacjaAlthough 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...
-
IP Core of Coprocessor for Multiple-Precision-Arithmetic Computations
PublikacjaIn this paper, we present an IP core of coprocessor supporting computations requiring integer multiple-precision arithmetic (MPA). Whilst standard 32/64-bit arithmetic is sufficient to solve many computing problems, there are still applications that require higher numerical precision. Hence, the purpose of the developed coprocessor is to support and offload central processing unit (CPU) in such computations. The developed digital...
-
Workshop on Algorithmic Aspects of Advanced Programming Languages
Konferencje -
International Workshop on Logic Programming and Multi-Agents
Konferencje -
International Conference on Generative Programming and Component Engineering
Konferencje -
Architectural Support for Programming Languages and Operating Systems
Konferencje -
Workshop on Declarative Programming in the Context of OO Languages
Konferencje -
International Conference on Mathematical Foundations of Programming Semantics
Konferencje -
International Conference on Principles and Practice of Constraint Programming
Konferencje -
International Workshop on Functional and Constraint Logic Programming
Konferencje -
International Conference on Principles and Practice of Declarative Programming
Konferencje -
IEEE Conference on Open Architecture and Network Programming
Konferencje -
ACM-SIGACT Symposium on Principles of Programming Languages
Konferencje -
An facile Fortran-95 algorithm to simulate complex instabilities in three-dimensional hyperbolic systems
Dane BadawczeIt is well know that the simulation of fractional systems is a difficult task from all points of view. In particular, the computer implementation of numerical algorithms to simulate fractional systems of partial differential equations in three dimensions is a hard task which has no been solved satisfactorily. Here, we provide a Fortran-95 code to solve...
-
TOTAL DOMINATION MULTISUBDIVISION NUMBER OF A GRAPH
PublikacjaThe domination multisubdivision number of a nonempty graph G was defined in [3] as the minimum positive integer k such that there exists an edge which must be subdivided k times to increase the domination number of G. Similarly we define the total domination multisubdivision number msd_t (G) of a graph G and we show that for any connected graph G of order at least two, msd_t (G) ≤ 3. We show that for trees the total domination...
-
Multi-level Virtualization and Its Impact on System Performance in Cloud Computing
PublikacjaThe results of benchmarking tests of multi-level virtualized environments are presented. There is analysed the performance impact of hardware virtualization, container-type isolation and programming level abstraction. The comparison is made on the basis of a proposed score metric that allows you to compare different aspects of performance. There is general performance (CPU and memory), networking, disk operations and application-like...
-
Stereoscopy in Graphics APIs for CAVE Applications
PublikacjaThe paper compares the advantages and disadvantages of a variety of Graphics Application Programming Interfaces (APIs) from the perspective of obtaining stereoscopy in applications written for a CAVE virtual reality environment. A number of problems have been diagnosed and an attempt has been made to solve them using OpenGL, DirectX 11 and 12, Vulkan, as well as the Unity Engine which can internally use DirectX, OpenGL and Vulkan,...
-
Uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych
PublikacjaW pracy omówiono uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych ze szczególnym uwzględnieniem sieci neuronowych do predykcji finansowych oraz szacowania ratingu przedsiębiorstw. Oprócz sieci neuronowych, istotną rolę w przygotowaniu i testowaniu informatycznych systemów finansowych może pełnić programowanie genetyczne. Z tego powodu omówiono uczenie maszynowe w aplikacjach konstruowanych...
-
The Suzuki model of the multipath fading channel
Dane BadawczeThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Suzuki fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Employing Blended E-Learning to Improve Rate of Assignments Handing-In
PublikacjaIt has been observed that students hand in homework assignments at a notably low rate in introductory C programming course. A survey has revealed that the real issue was not student learning but instructor work organization. Based on survey results, the physical course has been complemented with an e-learning component to guide the homework process. Assignment handing-in rate significantly improved, as e-learning allowed the homework...
-
Towards an efficient multi-stage Riemann solver for nuclear physics simulations
PublikacjaRelativistic numerical hydrodynamics is an important tool in high energy nuclear science. However, such simulations are extremely demanding in terms of computing power. This paper focuses on improving the speed of solving the Riemann problem with the MUSTA-FORCE algorithm by employing the CUDA parallel programming model. We also propose a new approach to 3D finite difference algorithms, which employ a GPU that uses surface memory....