Wyszukiwarka
Filtry
wszystkich: 409
wybranych: 370
Wyniki wyszukiwania dla: ARGUMENT TEMPLATES
-
KOALA Graph Theory Internet Service
PublikacjaKOALA has been created with the idea of C++ library templates, implementing a broad set of procedures in the fields of algorithmic graph theory and network problems in discreate optimization. During the C2NIWA project, a library has been greatly ectended, the code refactored and enclosed with the internet service available in the public repository of thr project. Today it contains interconnected educational materials in the form...
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublikacjaA new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...
-
Projektowanie kontrolek ActiveX za pomocą ATL
PublikacjaW artykule przedstawiono zasady projektowania komponentów ActiveX z wykorzystaniem szablonów Active Template Library. Opisano narzędzie wspomagające edycję kodu: kreator ATL COM AppWizard oraz kreator ATL Object Wizard. Porównano zalety i wady podejścia bazującego na szablonach ATL względem podejścia wykorzystującego klasy MFC.
-
Ultrasound assisted synthesis of 3-alkynyl substituted 2-chloroquinoxaline derivatives: Their in silico assessment as potential ligands for N-protein of SARS-CoV-2
PublikacjaIn view of recent global pandemic the 3-alkynyl substituted 2-chloroquinoxaline framework has been explored as a potential template for the design of molecules targeting COVID-19. Initial in silico studies of representative compounds to assess their binding affinities via docking into the N-terminal RNA-binding domain (NTD) of N-protein of SARS-CoV-2 prompted further study of these molecules. Thus building of a small library of...
-
Successive Iterative Method for Higher-Order Fractional Differential Equations Involving Stieltjes Integral Boundary Conditions
PublikacjaIn this paper, the existence of positive solutions to fractional differential equations with delayed arguments and Stieltjes integral boundary conditions is discussed. The convergence of successive iterative method of solving such problems is investigated. This allows us to improve some recent works. Some numerical examples illustrate the results.
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublikacjaStandards Conformity Framework (SCF) presented in this paper encompasses methods and tools whichprovide support for application of standards and other normative documents. The approach taken focuses ondevelopment, assessment and maintenance of an electronic document which demonstrates conformity. Sucha document contains an argument structure developed in accordance with the Trust-IT methodology. Thepaper discusses details of the...
-
A Loophole of All ‘Loophole-Free’ Bell-Type Theorems
PublikacjaBell’s theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the Einstein–Rosen–Podolsky argument occurs if there exists an ‘element of reality’ but nevertheless addition of complementary results is impossible because they are represented by elements from different...
-
Moralny aspekt niewidzialnej ręki w interpretacji Petera Koslowskiego
PublikacjaArtykuł zawiera analizę mechanizmów niewidzialnej ręki we współczesnej gospodarczej. Przytoczone i przeanalizowane są argumenty niemieckiego teoretyka P. Koslowskiego na rzecz konieczności reinterpretacji tradycyjnej teorii równowagi rynkowej w duchu powiązania jej ze wspólnym dobrem.
-
Prediction of protein assemblies, the next frontier: The CASP14‐CAPRI experiment
PublikacjaWe present the results for CAPRI Round 50, the 4th joint CASP-CAPRI protein assembly prediction challenge. The Round comprised a total of 12 targets, including 6 dimers, 3 trimers, and 3 higher-order oligomers. Four of these were easy targets, for which good structural templates were available either for the full assembly, or for the main interfaces (of the higher-order oligomers). Eight were difficult targets for which only distantly...
-
Nauki o jakości - ich miejsce i znaczenie w klasyfikacji dziedzin i dyscyplin naukowych oraz praktyce gospodarczej
PublikacjaW artykule przedstawiono ważne w kontekście trwającej obecnie dyskusji dotyczącej nowego wykazu dziedzin i dyscyplin naukowych, akcentowane w środowisku polskich badaczy zajmujących się problematyką jakości, argumenty i uwarunkowania uzasadniające potrzebę wyodrębnienia nauk o jakości.
-
Molecular modeling and evaluation of novel dibenzopyrrole derivatives as telomerase inhibitors and potential drug for cancer therapy
PublikacjaDuring previous years, many studies on synthesis, as well as on anti-tumor, anti-inflammatory and anti-bacterial activities of the pyrazole derivatives have been described. Certain pyrazole derivatives exhibit important pharmacological activities and have proved to be useful template in drug research. Considering importance of pyrazole template, in current work the series of novel inhibitors were designed by replacing central...
-
In silico assessment and sonochemical synthesis of 2-alkynyl 3-chloropyrazines as prospective ligands for SARS-CoV-2
PublikacjaThe recent global pandemic caused by COVID-19 has triggered an intense effort worldwide towards the development of an effective cure for this disease. In our effort we have explored the 2-alkynyl substituted 3-chloropyrazine framework as a potential template for the design of molecules for this purpose. Our strategy was supported by the in silico studies of representative compounds to assess their binding affinities via docking...
-
Fuzyjne polimerazy DNA – otrzymywanie, charakterystyka i zastosowanie
PublikacjaObecnie reakcje PCR (ang. Polymerase Chain Reaction) wykazują bardzo szerokie zastosowanie w diagnostyce medycznej, biologii molekularnej czy inżynierii genetycznej. Efektywność tych reakcji rozumiana jako wydajność i wierność przeprowadzonej amplifikacji jest nieodłącznie związana ze stosowaną polimerazą DNA i warunkami prowadzenia reakcji PCR. Aby sprostać wymaganiom stawianym przez nowoczesne metody diagnostyczne oraz współczesną...
-
L'Italie. Gagner à tout prix. L'industrie de l'armenent italien pendant la Grande Guerre
PublikacjaThe chapter outlines the economic and technological transformations of the Italian armament industry during the First World War
-
Context Search Algorithm for Lexical Knowledge Acquisition
PublikacjaA Context Search algorithm used for lexical knowledge acquisition is presented. Knowledge representation based on psycholinguistic theories of cognitive processes allows for implementation of a computational model of semantic memory in the form of semantic network. A knowledge acquisition using supervised dialog templates have been performed in a word game designed to guess the concept a human user is thinking about. The game,...
-
A simple modification to improve the accuracy of methylation-sensitive restriction enzyme quantitative polymerase chain reaction
PublikacjaDNA digestion with endonucleases sensitive to CpG methylation such as HpaII followed by polymerase chain reaction (PCR) quantitation is commonly used in molecular studies as a simple and inexpensive solution for assessment of region-specific DNA methylation. We observed that the results of such analyses were highly overestimated if mock-digested samples were applied as the reference.We determined DNA methylation levels in several...
-
Standard Compliance Framework for effective requirements communication
PublikacjaStandard Compliance Framework (SCF) is a framework, which supports application of standards at the stages of achieving, assessing and maintaining the compliance. It uses Trust Case language to develop argument structures demonstrating compliance with standards. The paper presents how SCF is applied to increase effectiveness of requirements communication. Relevant mechanisms of the framework are thoroughly described referring to...
-
Road safety analysis in Poland using time-series modelling techniques
PublikacjaA number of international studies argue that there is a correlation between the number of traffic fatalities and the degree of public activity. The studies use the unemployment rate to support that argument. As unemployment grows miles travelled fall, a factor known to affect road safety. This relationship seems to be true for Poland, as well. The model presented in the paper is intended to prove it. It is a structural time-series local...
-
Application of a hash function to discourage MAC-layer misbehaviour in wireless LANs.
PublikacjaProtokoły przypadkowego wielodostępu w warstwie MAC bezprzewodowych sieci lokalnych wykorzystują algorytm odkładania transmisji o losowo wybrany odcinek czasu. Odstępstwo od losowego wyboru czasu odłożenia może zapewnić stacji niesprawiedliwie duży udział w paśmie sieci. W pracy przedstawiono protokół dostępu przeciwdziałający tego rodzaju zachowaniom, oparty na zastosowaniu funkcji mieszającej. Jako argument funkcji przyjmuje...
-
Is database a necessary tool in research? Some historical facts
PublikacjaAutorzy rozważają argumenty za i przeciw używaniu baz danych w badaniach naukowych, a w szczególności w inżynierii. Wnioski z rozważań są jednoznaczne - bazy danych są dziś koniecznością, autorzy podają przykłady zastosowań i pomysły na nowe wdrożenia systemów bazodanowych
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublikacjaBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
Assessment of risks introduced to safety critical software by agile practices - a software engineer's perspective
PublikacjaIn this article we investigate the problem of applying agile practices into safety-critical projects.The goal of our research is to investigate potential benefits from introducing agile practicesinto safety-critical environment and to present a solution providing for balancing agileapproach with more disciplined assurance techniques, bringing the best of the two worlds together.In the article we present the supporting ideas such...
-
Positive solutions to advanced fractional differential equations with nonlocal boundary conditions
PublikacjaWe study the existence of positive solutions for a class of higher order fractional differential equations with advanced arguments and boundary value problems involving Stieltjes integral conditions. The fixed point theorem due to Avery-Peterson is used to obtain sufficient conditions for the existence of multiple positive solutions. Certain of our results improve on recent work in the literature.
-
Morphology Regulation Mechanism and Enhancement of Photocatalytic Performance of BiOX (X = Cl, Br, I) via Mannitol-Assisted Synthesis
PublikacjaBiOX (X = Cl, Br, I) photocatalysts with dominant (110) facets were synthesized via a mannitol-assisted solvothermal method. This is the first report on the exposed (110) facets-, size-, and defects-controlled synthesis of BiOX achieved by solvothermal synthesis with mannitol. This polyol alcohol acted simultaneously as a solvent, capping agent, and/or soft template. The mannitol concentration on the new photocatalysts morphology...
-
TensorHive: Management of Exclusive GPU Access for Distributed Machine Learning Workloads
PublikacjaTensorHive is a tool for organizing work of research and engineering teams that use servers with GPUs for machine learning workloads. In a comprehensive web interface, it supports reservation of GPUs for exclusive usage, hardware monitoring, as well as configuring, executing and queuing distributed computational jobs. Focusing on easy installation and simple configuration, the tool automatically detects the available computing...
-
Validation of Services Supporting Healthcare Standards Conformance
PublikacjaThe paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...
-
Implicit difference functional inequalities and applications
PublikacjaKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
Existence results to delay fractional differential equations with nonlinear boundary conditions
PublikacjaPraca dotyczy problemów brzegowych dla ułamkowych równań różniczkowych z opóźnionym argumentem. Podano warunki dostateczne na istnienie rozwiązań ekstremalnych takich zagadnień.
-
Interface circuit for impedance sensors using two specialized single-chip microsystems
PublikacjaW artykule przedstawiono obwód interfejsu przeznaczony do pomiaru parametrów impedancyjnych czujników lub celek pomiarowych instalowanych na obiektach technicznych. Umożliwia on pomiar modułu i argumentu impedancji w zakresie 10ohm
-
Homoclinic orbits for a class of singular second order Hamiltonian systems in ℝ3
PublikacjaWe consider a conservative second order Hamiltonian system \ddot{q}+ ∇V(q)=0 in R3 with a potential V having a global maximum at the origin and a line l ∩ {0} = ∅ as a set of singular points. Under a certain compactness condition on V at infinity and a strong force condition at singular points we study, by the use of variational methods and geometrical arguments, the existence of homoclinic solutions of the system.
-
Surgical tool tracking by on-line selection of structural correlation filters
PublikacjaIn visual tracking of surgical instruments, correlation filtering finds the best candidate with maximal correlation peak. However, most trackers only consider capturing target appearance but not target structure. In this paper we propose surgical instrument tracking approach that integrates prior knowledge related to rotation of both shaft and tool tips. To this end, we employ rigid parts mixtures model of an instrument. The rigidly...
-
Two families of infinitely many homoclinics for singular strong force Hamiltonian systems
PublikacjaWe are concerned with a planar autonomous Hamiltonian system with a potential possessing a single well of infinite depth at a point X and a unique strict global maximum 0 at a point A. Under a strong force condition around the singularity X, via minimization of an action integral and using a shadowing chain lemma together with simple geometrical arguments, we prove the existence of infinitely many geometrically distinct homoclinic...
-
Udział gmin w rozwoju przedsiębiorczości
PublikacjaW artykule podjęto próbę scharakteryzowania oraz usestematyzowania najistotniejszych zagadnień i argumentów pojawiaj acych ssssie w dyskusji wokół modelu wssspierania rozwoju przedsiębiorczości w Polsce
-
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublikacjaMetodą bicharakterystyk i metodą nierówności całkowych dowodzi się istnienia uogólnionych rozwiązań układów równań różniczkowo-funkcyjnych cząstkowych z odchylonym argumentem zależnym od funkcji niewiadomej.
-
Insightful Analysis of Phenomena Arising at the Metal|Polymer Interphase of Au-Ti Based Non-Enzymatic Glucose Sensitive Electrodes Covered by Nafion
PublikacjaThis paper focuses on the examination of glucose oxidation processes at an electrode material composed of gold nanoparticles embedded in a titanium template. Three dierent conditions were investigated: the chloride content in the electrolyte, its ionic conductivity and the presence of a Nafion coating. The impact of the provided environment on the oxidation reaction was evaluated by cyclic voltammetry (CV) and electrochemical impedance...
-
Proces zmiany sprzedawcy energii elektrycznej w Polsce dla odbiorcy w gospodarstwie domowym
PublikacjaW publikacji przedstawiono proces zmiany sprzedawcy energii elektrycznej dla odbiorcy w gospodarstwie domowym, prowadzony w detalicznym segmencie rynku energii. Szczególny nacisk położono na proces bazujący na generalnej umowie dystrybucji dla usługi kompleksowej. Odniesiono się do wszystkich, istotnych regulacji mających zastosowanie do poruszanych kwestii, ze szczególnym uwzględnieniem zapisów instrukcji ruchu i eksploatacji...
-
Agent System for Managing Distributed Mobile Interactive Documents in Knowledge-Based Organizations
PublikacjaThe MIND architecture of distributed mobile interactive document is a new processing model defined to facilitate obtaining a proper solution in knowledge processes carried out by knowledge-based organizations. Such organizations have an established structure that defines document templates and knowledge process. The aim of the MIND architecture is to change the static document to mobile agents, which are designed to implement the...
-
Analiza i badanie wpływu wybranych wyższych harmonicznych na działanie wyłączników różnicowoprądowych typu AC i A
PublikacjaPrądy przy zwarciach doziemnych w obwodach z pośrednimi przemiennikami częstotliwości lub innymi przekształtnikami mogą być silnie odkształcone. Wyższe harmoniczne w prądzie różnicowym znacząco wpływają na działanie wyłączników różnicowoprądowych. W artykule przedstawiono analizę teoretyczną i wyniki badań wpływu wybranych wyższych harmonicznych prądu różnicowego na rzeczywisty prąd różnicowy zadziałania wyłączników różnicowoprądowych...
-
Numerical Test for Stability Evaluation of Discrete-Time Systems
PublikacjaIn this paper, a new numerical test for stability evaluation of discrete-time systems is presented. It is based on modern root-finding techniques at the complex plane employing the Delaunay triangulation and Cauchy's Argument Principle. The method evaluates if a system is stable and returns possible values and multiplicities of unstable zeros of the characteristic equation. For state-space discrete-time models, the developed test...
-
Global Complex Roots and Poles Finding Algorithm Based on Phase Analysis for Propagation and Radiation Problems
PublikacjaA flexible and effective algorithm for complex roots and poles finding is presented. A wide class of analytic functions can be analyzed, and any arbitrarily shaped search region can be considered. The method is very simple and intuitive. It is based on sampling a function at the nodes of a regular mesh, and on the analysis of the function phase. As a result, a set of candidate regions is created and then the roots/poles are verified...
-
Magnetic-field-induced electric quadrupole moments for relativistic hydrogenlike atoms: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublikacjaWe consider a Dirac one-electron atom placed in a weak, static, uniform magnetic field. We show that, to the first order in the strength of the external field, the only electric multipole moments, which are induced by the perturbation in the atom, are those of an even order. Using the Sturmian expansion of the generalized Dirac-Coulomb Green function we derive a closed-form expression for the electric quadrupole moment induced...
-
Almost homoclinic solutions for a certain class of mixed type functional differential equations
PublikacjaW pracy opisano pewną metodę aproksymacyjną szukania rozwiązań prawie homoklinicznych dla równań różniczkowo funkcyjnych z opóźnionym i przyśpieszonym argumentem. Podano również przykłady zastosowań tej metody.
-
Błędy wyznaczania charakterystyk częstotliwościowych impedancji uzwojeń magnesów nadprzewodzących
PublikacjaW artykule przedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu i oprogramowanie, a także dokonano podstawowej analizy metrologicznej określając na podstawie badań symulacyjnych błędy wyznaczania modułu i argumentu poszukiwanej impedancji. Pokazano również przykładowe wyniki uzyskane przy użyciu omawianego...
-
An Approach to Trust Case Development
PublikacjaIn the paper we present an approach to the architectural trust case development for DRIVE, the IT infrastructure supporting the processes of drugs distribution and application. The objectives of DRIVE included safer and cheaper drugs distribution and application. A trust case represents an argument supporting the trustworthiness of the system. It is decomposed into claims that postulate some trust related properties. Claims differ...
-
Second-order Stark effect and polarizability of a relativistic two-dimensional hydrogenlike atom in the ground state
PublikacjaThe second-order Stark effect for a planar Dirac one-electron atom in the ground state is analyzed within the framework of the Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian series expansion of the generalized Dirac-Coulomb Green's function. A closed-form analytical expression for the static dipole polarizability of that system is found. The formula involves the generalized hypergeometric function ${}_{3}F_{2}$...
-
Multimodal Genetic Algorithm with Phase Analysis to Solve Complex Equations of Electromagnetic Analysis
PublikacjaIn this contribution, a new genetic-algorithm-based method of finding roots and poles of a complex function of a complex variable is presented. The algorithm employs the phase analysis of the function to explore the complex plane with the use of the genetic algorithm. Hence, the candidate regions of root and pole occurrences are selected and verified with the use of discrete Cauchy's argument principle. The algorithm is evaluated...
-
The influence of compensate coils on own ship magnetic field
PublikacjaA ferromagnetic object placed in the earth magnetic field causes a local disturbance in this field distribution. The field distribution disturbance is a function of many arguments like the dimensoins and shape of the object, its ferromagnetic properties ande its positon in relation to the earth magnetic field. in order to minimize the influence of this disturbance one places compensate coils on the ship. Some chosen results of...
-
Advanced differential equations with nonlinear boundary conditions.
PublikacjaBadano problemy istnienia rozwiązań dla równań różniczkowych z nielinowymi warunkami brzegowymi. Podano też warunki dostateczne na istnienie rozwiązań ekstremalnych. Przedmiotem badań były również nierówności różniczkowe z wyprzedzonym argumentem.
-
Improvement of Task Management with Process Models in Small and Medium Software Companies
PublikacjaSmall and medium software companies exhibit many special features that give reason for a dedicated approach to process improvement. They often cannot afford implementing maturity models or quality standards both in terms of time and money. Instead, they expect simpler solutions that can allow to run projects in more systematic and repeatable way, increase quality and knowledge management. In this paper, we present a method focused...
-
Fusion of DNA-binding domain of Pyrococcus furiosus ligase with TaqStoffel DNA polymerase as a useful tool in PCR with difficult targets
PublikacjaThe DNA coding sequence of TaqStoffel polymer- ase was fused with the DNA-binding domain of Pyrococcus furiosus ligase. The resulting novel recombinant gene was cloned and expressed in E. coli. The recombinant enzyme was purified and its enzymatic features were studied. The fusion protein (PfuDBDlig-TaqS) was found to have enhanced processivity as a result of the conversion of the Taq DNA polymerase from a relatively low processive...