Filtry
wszystkich: 678
-
Katalog
Wyniki wyszukiwania dla: SEMI-DEFINITE PROGRAMMING
-
International Conference on Algebraic and Logic Programming
Konferencje -
International Symposium on Functional and Logic Programming
Konferencje -
Workshop on Programming Languages and Operating Systems
Konferencje -
European Conference on Object-Oriented Programming
Konferencje -
Workshop on Multiparadigm Programming with OO Languages
Konferencje -
Conference on Integer Programming and Combinatorial Optimization
Konferencje -
International Colloquium on Automata Languages and Programming
Konferencje -
ASIAN Symposium on Programming Languages and Systems
Konferencje -
Bio‑derived polyurethanes obtained by non‑isocyanate route using polyol‑based bis(cyclic carbonate)s—studies on thermal decomposition behavior
PublikacjaNon-isocyanate polyurethanes (NIPUs) constitute one of the most prospective groups of eco-friendly materials based on their phosgene-free synthesis pathway. Moreover, one of the steps of their obtaining includes the use of carbon dioxide (CO 2 ), which allows for the promotion of the development of carbon dioxide capture and storage technologies. In this work, non- isocyanate polyurethanes were obtained via three-step synthesis...
-
The AFM topographic measurements of the surface heterogeneity of iron hexacyanoferrate on a steel surface
Dane BadawczeMeasurements in semi-contact mode. NTEGRA Prima (NT-MDT) device. NSG 01 probe.
-
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.
-
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.
-
Computational Approaches to Modeling Artificial Emotion – An Overview of the Proposed Solutions
PublikacjaCybernetic approach to modeling artificial emotion through the use of different theories of psychology is considered in this paper, presenting a review of twelve proposed solutions: ActAffAct, FLAME, EMA, ParleE, FearNot!, FAtiMA, WASABI, Cathexis, KARO, MAMID, FCM, and xEmotion. The main motivation for this study is founded on the hypothesis that emotions can play a definite utility role of scheduling variables in the construction...
-
Linear Pantographic Sheets: Existence and Uniqueness of Weak Solutions
Publikacjawe address the well-posedness of the planar linearized equilibrium problem for homogenized pantographic lattices. To do so: (i) we introduce a class of subsets of anisotropic Sobolev’s space as the most suitable energy space E relative to assigned boundary conditions; (ii) we prove that the considered strain energy density is coercive and positive definite in E ; (iii) we prove that the set of placements for which the strain...
-
Numerical analysis of elastic wave propagation in unbounded structures
PublikacjaThe main objective of this paper is to show the effectiveness and usefulness of the concept of an absorbing layer with increasing damping (ALID) in numerical investigations of elastic wave propagation in unbounded engineering structures. This has been achieved by the authors by a careful investigation of three different types of structures characterised by gradually increasing geometrical and mathematical description complexities....
-
Model energetyczny łożysk ślizgowych silników spalinowych o zapłonie samoczynnym w aspekcie diagnostyki. XXIV Międzynarodowe Sympozjum Siłowni Okrętowych.
PublikacjaPrzedstawiono zagadnienie tworzenia modelu energetycznego łożysk ślizgowych silników o zapłonie samoczynnym z uwzględnieniem diagnostyki. Wykazano przydatność procesu semi-markowskiego jako modelu zmian stanów technicznych łożysk ślizgowych.
-
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...
-
Micoroalgae bloom detected in Southern Baltic Sea on 25.07.2014
Dane BadawczeThe GeoTIFF image presents detected microalgae bloom observed in the Baltic Sea on 25.07.2014. The image has been obtained from the raw AVHRR sensor bands 1 (0.58-0.68 μm) and 2 (0.725-1.0 μm). The resulting single-band raster has been masked to remove all pixels outside of the Baltic Sea region. Pixel values between -0.2 and -0.23 depict progressively...
-
Energetyczny aspekt diagnostyki maszyn
PublikacjaW artykule przedstawiono interpretację wartościującą działania, które jest tu rozpatrywane jako wielkość fizyczna o jednostce miary, nazwanej dżulosekundą. Przedstawiono oryginalną metodę analizy i oceny działania maszyn w ujęciu energetycznym dla potrzeb diagnostycznych. Do uzasadnienia przydatności tak rozumianego działania zastosowano jednorodny proces Poissona i proces semi-Markowa. Procesy te umożliwiły skonstruowanie modelu...
-
Very accurate time propagation of coupled Schrödinger equations for femto- and attosecond physics and chemistry, with C++ source code
PublikacjaIn this article, I present a very fast and high-precision (up to 33 decimal places) C++ implementation of the semi-global time propagation algorithm for a system of coupled Schrödinger equations with a time-dependent Hamiltonian. It can be used to describe time-dependent processes in molecular systems after excitation by femto- and attosecond laser pulses. It also works with an arbitrary user supplied Hamiltonian and can be used...
-
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.
-
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...
-
Smoothed transition curve for railways
PublikacjaThe work draws attention to the existing situation in the area of transition curves used in the geometric layouts of the railway track. Difficulties in the practical implementation and maintenance of very small horizontal ordinates of the transition curve and the ordinates of the gradient due to cant in the initial section, appearing on smooth transition curves, were indicated. The main reason for this situation was the excessive...
-
Features of load and wear of main propulsion devices on sea-going ships with piston combustion engines and their impact on changes in technical states of the systems
PublikacjaThe paper presents the specificity of operation of propulsion systems of seagoing ships which causes the need to control the load on them, especially on their engines called main engines. The characteristics of the load on the propulsion systems, especially on the main engines as well as on the shaft lines and propellers driven by the engines, along with the process of wear in tribological joints (sliding tribological systems)...
-
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...
-
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)...
-
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,...
-
An Analysis of Scattering from Ferrite Post of Arbitrary Convex Cross Section with the Use of Field Matching Method
PublikacjaA problem of electromagnetic wave scattering from ferrite post is presented. The post is assumed to be located in closed areas as waveguide junction, or in open area illuminated by a plane wave. The object is of arbitrary convex cross section and the method of analysis is semi-analytical, based on the direct field matching technique.
-
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...
-
Fundamentals of thermodynamics and heat transfer, W/C, GTM (WCh), sem.04, zimowy 23/24 (PG_00048767)
Kursy OnlineTable of contents presented on the course: Basic terms.The first law of thermodynamics for closed and open systems.The properties of perfect, semi-perfect and real gases.Gas rights. Thermal and caloric state equation.Thermodynamic transformations of a perfect gas.Gaseous thermodynamic cycles. The second law of thermodynamics.Steam and steam cycles.Basics of heat exchange.
-
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...
-
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.
-
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 -
Silicon microcantilever with impedance sensor
Dane BadawczeThe issue of microelectromechanical systems (MEMS) [1] has been enjoying popularity and interest since the 90s of the 20th century. Microcells are one of the simplest devices of this type, but they can be widely used in sensors. There are reports on the possibility of using this type of sensors in the context of such important issues as diagnostics...
-
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...
-
Generative Process Planning with Reasoning based on Geometrical Product Specification
PublikacjaThe focus of this paper is on computer aided process planning for parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centers for parts shaping and grinding machines for finishing. It presents in particular a decision making scheme for setup determination as a part of generative process planning. The planning procedurę consists of two stages. The first stage is associated with...
-
A CONCEPT OF DETERMINING THE RELATION BETWEEN LOAD AND WEAR OF TRIBOLOGICAL SYSTEMS OF SHIP MAIN SELF-IGNITION ENGINES BY USING PROBABILISTIC APPROACH PROBABILISTIC APPROACH
PublikacjaThis paper presents a proposal of simultaneous consideration of load and wear associated with it , of tribological systems of ship main engines (intended for ship propulsion) . Based on results of investigations it was assumed that both the load Q (i.e. a cause of wear ) and the wear Z (i.e. an effect of load occurrence) considered in a given time t(0 ≤ t ≤ t) are random variables Qt and Zt, respectively. There was characterized...