Search
Filters
total: 402
filtered: 363
Search results for: ARGUMENT TEMPLATES
-
Wartości dziedzictwa techniki jako zbiór argumentów na rzecz jego zachowania dla przyszłych pokoleń
PublicationZaprezentowano tzw. zrównoważoną ochronę zabytków, do której realizacji niezbędna jest odpowiednia metoda ich waloryzacji. Koncepcja metodyczna uwzględnia zasady rozwoju zrównoważonego i posługuje się dwoma zestawami zdefiniowanych kryteriów, z których jako kulturowe omówiono kryteria tożsamości, autentyczności i unikatowości oraz zarysowano problematykę kryteriów społeczno-ekonomicnzych. Wskazano znaczenie zabytku techniki jako...
-
Mikroprocesorowy miernik impedancji pętli zwarciowej eliminujący wpływ odkształcenia napięcia przez regulację argumentu obciążenia pomiarowego. - [przedruk rek nr 128902]
PublicationW artykule przedstawiono problematykę pomiaru impedancji pętli zwarciowej w sieciach o napięciu odkształconym. Zaproponowano metodę pomiaru impedancji pętli eliminującą wpływ odkształcenia napięcia i zbudowano mikroprocesorowy miernik, który ją wykorzystuje. W mierniku zastosowano impedancyjne obciążenie pomiarowe o stałej wartości modułu i regulowanym automatycznie argumencie. Przy zrównaniu argumentu impedancji obciążenia pomiarowego...
-
Social Entrepreneurship Avenues for the Field Development through Research Paradigm Intersection Discussion
PublicationThe aim of this paper is to identify and provide key arguments for employing integrative approach in the choice of research paradigm for studying social entrepreneurship phenomenon. The fact that social entrepreneurship as a field of research is at its preliminary stage, serves as argument and gives freedom in the discussion of the choice of employing a research paradigm. The author does so through identifying commonalities and...
-
Nowa metoda pomiaru parametrów sieci elektroenergetycznych przy wykorzystaniu impedancyjnego obciążenia pomiarowego z regulowanym argumentem
PublicationW pracy przedstawiono problematykę pomiaru impedancji obwodu zwarciowego i jego składowych elementów w sieciach elektroenergetycznych, gdzie krzywa napięcia w miejscu pomiaru może być odkształcona. W rozprawie doktorskiej przeprowadzono analizę wpływu wyższych harmonicznych zawartych w napięciu sieci na błędy pomiaru impedancji obwodu przy stosowaniu różnych metod i przyrządów. Z przeprowadzonej analizy wynika, że wpływ odkształcenia...
-
Na3PO4 assistant dispersion of nano-CaCO3 template to enhance electrochemical interface: N/O/P co-doped porous carbon hybrids towards high-performance flexible supercapacitors
Publication -
Green synthesis and application of GO nanoparticles to augment growth parameters and yield in mungbean (Vigna radiata L.)
Publication -
Numerical methods for nonlinear first-order partial differential equations with deviated variables
PublicationKlasyczne rozwiązania zagadnień początkowych dla nieliniowych równań cząstkowych z odchylonym argumentem aproksymowano za pomocą rozwiązań układów quasiliniowych równań różnicowych określonych na piramidzie Haara. Podano warunek dostateczny zbieżności metody. Stabilność schematu różnicowego wykazano metodą porównawczą. Przedstawiono metodę rozwiązywania nieliniowych równań różniczkowych cząstkowych z odchylonym argumentem bazującą...
-
Behavior Based Complete Coverage Task of Unknown Area by an Autonomous Mobile Robot SCORPION with Static Obstacles in Environment
PublicationIn the paper the behavior based control system of an autonomous mobile robot SCORPION is presented to execute the one of the most difficult navigation task, which is the complete coverage task of unknown area with static obstacles in the environment. The main principle assumed to design control system was that the robot should cover all area only once, if it possible, to optimize the length of path and energy consumption. All commercial...
-
Existence and uniqueness for neutral equations with state dependent delays
PublicationW pracy w celu wykazania istnienia i jednoznaczności rozwiązania równania została zaprezentowana metoda porównawcza.
-
Synthesis and polymerisation techniques of molecularly imprinted polymers
PublicationMolecularly Imprinted Polymers (MIPs) are materials that has been processed using the molecular imprinting technique which permit to obtain well-defined three-dimensional cavities, with affinity to a template molecule, in the polymer matrix. Technology involves three strategies, i.e., covalent, non-covalent and semi-covalent approach, but the most popular is non-covalent approach. The most important components for the synthesis...
-
Caratheodory solutions to quasi-linear hyperbolic systems of partial differential equations with state dependent delays
PublicationW pracy udowodniono twierdzenie o istnieniu i jednoznaczności rozwiązań oraz o ich ciągłej zależności od warunków początkowych dla układów równań różniczkowych cząstkowych z opóźnionym argumentem, zależnym od funkcji niewiadomej. Posłużono się metodą bicharakterystyk a istnienia dowiedziono stosując twierdzenie Banacha o punkcie stałym.
-
Sprawiedliwość agrarna Thomasa Paine’a i narodziny dyskursu egalitarnego
PublicationThomas Paine napisał Sprawiedliwość agrarną we Francji w roku 1796 w szczycie posttermidoriańskiego zamętu, krótko po wprowadzeniu Konstytucji Roku III. W swoim ostatnim wielkim pamflecie domaga się opodatkowania wielkich właścicieli ziemskich i pomoc biednym oraz wywłaszczonym. Artykuł krótko omawia propozycję Paine i analizuje jego strukturę argumentacyjną. Stawiam w niej tezę, że Paine nie do końca świadomie przechodzi od dowodu...
-
Shape-Based Pose Estimation of Robotic Surgical Instruments
PublicationWe describe a detector of robotic instrument parts in image-guided surgery. The detector consists of a huge ensemble of scale-variant and pose-dedicated, rigid appearance templates. The templates, which are equipped with pose-related keypoints and segmentation masks, allow for explicit pose estimation and segmentation of multiple end-effectors as well as fine-grained non-maximum suppression. We train the templates by grouping examples...
-
Global Complex Roots and Poles Finding Algorithm in C × R Domain
PublicationAn algorithm to find the roots and poles of a complex function depending on two arguments (one complex and one real) is proposed. Such problems are common in many fields of science for instance in electromagnetism, acoustics, stability analyses, spectroscopy, optics, and elementary particle physics. The proposed technique belongs to the class of global algorithms, gives a full picture of solutions in a fixed region ⊂ C × R and...
-
Sprawiedliwość agrarna
Publicationprawiedliwość agrarna została napisana z intencją zreformowania stosunków społeczno-politycznych. Tekst opiera się na założeniu wywodzącym się z tradycji prawnonaturalnej, które brzmi, iż pierwotnie każdy był współwłaścicielem powierzchni Ziemi. Powstanie prywatnej własności ziemskiej (czyli, eo ipso, wywłaszczenie większości ludzi) należy zakwalifikować jako akt bezprawia, kumulujący się w historycznie nawarstwionych nierównościach...
-
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublicationW pracy zostało udowodnione twierdzenie o istnieniu i jednoznaczności rozwiązań dla zagadnień początkowo-brzegowych z cząstkowym równaniem różniczkowo-funkcyjnym z opóźnionym argumentem zależnym od funkcji niewiadomej. Użyto metody bicharakterystyk. Jednoznaczność rozwiązań wykazano metodą porównawczą, istnienie - metodą ciągów przybliżeń.
-
Localization of impulsive disturbances in archive audio signals using predictive matched filtering
PublicationThe problem of elimination of impulsive disturbances from archive audio signals is considered and its new solution, called predictive matched filtering, is proposed. The new approach is based on the observation that a large percentage of noise pulses corrupting archive audio recordings have highly repetitive shapes that match several typical “patterns”, called click templates. To localize noise pulses, click templates can be correlated...
-
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
PublicationAssurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Larger assurance cases are usually divided into modules to manage the complexity and distribute the work. Each of the modules is developed to address specific goals allocated to the specific objects i.e. components of the...
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
Modeling protein structures with the coarse-grained UNRES force field in the CASP14 experiment
PublicationThe UNited RESidue (UNRES) force field was tested in the 14th Community Wide Experiment on the Critical Assessment of Techniques for Protein Structure Prediction (CASP14), in which larger oligomeric and multimeric targets were present compared to previous editions. Three prediction modes were tested (i) ab initio (the UNRES group), (ii) contact-assisted (the UNRES- contact group), and (iii) template-assisted (the UNRES-template...
-
Towards Safety Case Integration with Hazard Analysis for Medical Devices
PublicationSafety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...
-
Methodology of Constructing and Analyzing the Hierarchical Contextually-Oriented Corpora
PublicationMethodology of Constructing and Analyzing the Hierarchical structure of the Contextually-Oriented Corpora was developed. The methodology contains the following steps: Contextual Component of the Corpora’s Structure Building; Text Analysis of the Contextually-Oriented Hierarchical Corpus. Main contribution of this study is the following: hierarchical structure of the Corpus provides advanced possibilities for identification of the...
-
Bounded solutions of odd nonautonomous ODE
PublicationBorsuk-Ulam type argument is used in order to prove exstence of nontrivial bounded solutions to some nonautonomous differential euations which are odd with respect to the spatial variable. A Poincare compactification trick is also applied.
-
Application of the numerical-analytic method for systems of differential equations with parameter
PublicationThe numerical-analytic method is applied to systems of differential equations with parameter under the assumption that the corresponding functions satisfy the Lipschitz conditions in matrix notation. We also obtain several existence results for problems with deviations of an argument
-
The structural face of competition, cooperation and coopetition inside business networks
Publication -
Adam Smith´s political economy in Poland. Review of the problem
PublicationArtykuł omawia recepcję twórczości ekonomicznej Adama Smitha (1723-1790) w Polsce od końca XVIII w. do czasów najnowszych.
-
New product practices and performance of German appliances companies
PublicationArtykuł prezentuje wyniki badań odnośnie stosowanych praktyk i wyników uzyskiwanych w rozwoju nowych produktów. Badania dotyczyły niemieckich producentów sprzętu gospodarstwa domowego, zaś podstawową metodą gromadzenie danych była ankieta pocztowa. Rezultaty badań wskazują, że wysokie wyniki rozwoju nowych produktów uzyskują producenci, którzy stosują: strategię pioniera, badania koncepcji, przegląd koncepcji, plan marketingowy...
-
HOW TO ASSESS THE MATURITY OF SMALL AND MEDIUM-SIZED ENTERPRISES TO LEAN SIX SIGMA PROJECTS
PublicationThis article describes the considerations for the implementation of the Lean Six Sigma (LSS) methodology in small and medium-sized enterprises. Pilot research was conducted in Polish and French SMEs (nine Polish and nine French enterprises from the service and production sectors) referring to the context of the implementation and application of the Lean Six Sigma concept. The studies led to the identification of the motives, needs,...
-
More freedom – more investments. The relationship between the extent of fiscal autonomy with respect to own revenues and investment expenditures of Polish communes and cities with county rights
PublicationThe purpose of this study was to investigate the relationship between own revenues characterized by different levels of fiscal autonomy and investment expenditures of selected local government entities in Poland. Accordingly, the following research hypothesis was formulated: there is a relationship between the type of own revenue identified with respect to fiscal autonomy and the size of investment expenditures. Revenues characterized...
-
THE INFLUENCE OF INTERPERSONAL MOTIVATION ON POLISH CONSUMERS’ ONLINE BRAND-RELATED ACTIVITY
PublicationThe development of social media has a substantial impact on the surge of social engagement of Internet users. It is particularly prominent in the domain of content creation and content sharing. Such communication may contain various references to different products brands and companies. Internet users may refer to them explicitly or brands may be present in the background only. Therefore, it is pivotal for managers and researchers...
-
Positive solutions to Sturm–Liouville problems with non-local boundary conditions
PublicationIn this paper, the existence of at least three non-negative solutions to non-local boundary-value problems for second-order differential equations with deviating arguments α and ζ is investigated. Sufficient conditions, which guarantee the existence of positive solutions, are obtained using the Avery–Peterson theorem. We discuss our problem for both advanced and delayed arguments. An example is added to illustrate the results.
-
Recombinant !ermostable AP Exonuclease from Thermoanaerobacter tengcongensis: Cloning, Expression, Purification, Properties and PCR Application
PublicationApurinic/apyrimidinic (AP) sites in DNA are considered to be highly mutagenic and must be corrected to preserve genetic integrity, especially at high temperatures. !e gene encoding a homologue of AP exonuclease was cloned from the thermophilic anaerobic bacterium Thermoanaerobacter tengcongensis and transformed into Escherichia coli. The protein product showed high identity (80%) to human Ape1 nuclease, whereas to E. coli exonuclease...
-
Data Analysis in Bridge of Data
PublicationThe chapter presents the data analysis aspects of the Bridge of Data project. The software framework used, Jupyter, and its configuration are presented. The solution’s architecture, including the TRYTON supercomputer as the underlying infrastructure, is described. The use case templates provided by the Stat-reducer application are presented, including data analysis related to spatial points’ cloud-, audio- and wind-related research.
-
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...
-
Assurance Case Patterns On-line Catalogue
PublicationAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Homoclinic solutions for a class of autonomous second order Hamiltonian systems with a superquadratic potential
PublicationW niniejszej pracy udowodniliśmy istnienie nietrywialnego rozwiązania homoklinicznego dla autonomicznych układów Hamiltona drugiego rzędu z nadkwadratowym potencjałem. Orbitę homokliniczną otrzymaliśmy jako słabą granicę ciągu punktów prawie krytycznych, stosując zasadę minimaks do odpowiedniego funkcjonału akcji oraz prosty argument typu ''concentration-compactness''.
-
Przenośny analizator impedancji z detektorem fazoczułym
PublicationW artykule przedstawiono prototyp analizatora impedancji, w którym zastosowano dwa mikrosystemy AD5933 do wydzielania składowych ortogonalnych sygnałów pomiarowych w zakresie częstotliwości od 0,01 Hz do 1 kHz i detektory fazoczułe dla częstotliwości z przedziału 1 kHz ÷ 100 kHz. Przyjęte rozwiązanie pozwoliło wyeliminować błędy pomiaru argumentu impedancji wprowadzane przez AD5933 w górnym zakresie częstotliwości. Uzyskany błąd...
-
Recent advancements in molecularly imprinted polymers for the removal of heavy metal ions and dyes
PublicationContamination set off by highly toxic metal ions and dyes is a big threat to the environment and living beings. Various industries like metal plating, mining, pesticides, battery manufacturing, and dyeing release metal ions and toxic dyes directly into the water. It is necessary to remove these toxic substances from the environment. Molecular imprinting technology (MIT) got a lot of attention in the last two decades because of...
-
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
PublicationThe paper introduces the AgileSafe method of selecting agile practices for software development projects that are constrained by assurance requirements resulting from safety and/or security related standards. Such requirements are represented by argumentation templates which explain how the evidence collected during agile practices implementation will support the conformity with the requirements. Application of the method is demonstrated...
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
A Self-Adaptive Complex Root Tracing Algorithm for the Analysis of Propagation and Radiation Problem
PublicationAn improved complex root tracing algorithm for radiation and propagation issues is proposed. The approach is based on a self-adaptive discretization of Cauchy’s argument principle for a C × R space and requires a reduced number of function calls in comparison to other procedures presented in the literature. A few different examples concerning propagation and radiation problems have been considered to verify the validity and efficiency...
-
Similarity Measures for Face Images: An Experimental Study
PublicationThis work describes experiments aimed at finding a straightforward but effective way of comparing face images.We discuss properties of the basic concepts, such as the Euclidean, cosine and correlation metrics, test the simplest version of elastic templates, and compare these solutions with distances based on texture descriptors (Local Ternary Patterns). The influence of selected image processing methods (e.g. bilateral ltering)...
-
Discovering interactions between applications with log analysis
PublicationApplication logs record the behavior of a system during its runtime and their analysis can provide useful information. In this article, we propose a method of automated log analysis to discover interactions taking place between applications in an enterprise. We believe that such an automated approach can greatly support enterprise architects in building an up-to-date view of a governed system in a modern, fast-paced development...
-
Efficient Complex Root Tracing Algorithm for Propagation and Radiation Problems
PublicationAn efficient complex root tracing algorithm for propagation and radiation problems is presented. The proposed approach is based on a discretization of Cauchy’s Argument Principle and its generalization to the C × R space. Moreover, an engagement of the tracing process with a global root finding algorithm recently presented in the literature is performed. In order to confirm a validity and efficiency of the proposed technique, a...
-
Dziwaczne i osobliwe. Zjawiska wokół książki Marka Fishera
PublicationIn my review, I discuss the Polish translation of Mark Fisher’s The weird and the eerie, published by Słowo/obraz terytoria. Originally released in December 2016, Fisher’s collection of thirteen essays explores cul-tural texts by figures like Howard P. Lovecraft, David Lynch and Joy Division. Fisher employs a theoretical framework heavily influenced by post-Lacanian, post-Derridean and Deleuzean concepts. The translation, of...
-
A New Approach to Stability Evaluation of Digital Filters
PublicationIn this paper, a new numerical method of evaluating digital filter stability is presented. This approach is based on novel root-finding algorithms at the complex plane using the Delaunay triangulation and Cauchy's Argument Principle. The presented algorithm locates unstable zeros of the characteristic equation with their multiplicities. The proposed method is generic and can be applied to a vast range of systems. Verification of...
-
An extension of the method of quasilinearization
PublicationMetodę kwazilinearyzacji zastosowano do problemów początkowych gdy prawą stronę zagadnienia można przedstawić za pomocą nieliniowej funkcji "rozszerzenia", zakładając o niej pewną regularność. Pokazano, że odpowiednio skonstruowane ciągi monotoniczne są zbieżne kwadratowo do rozwiązania problemu. Praca uogólnia odpowiednie wyniki, gdy prawa strona jest sumą funkcji wklęsłych i wypukłych ze względu na ostatni argument.
-
Projektowanie kontrolek ActiveX za pomocą ATL
PublicationW 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.
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublicationA 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...
-
KOALA Graph Theory Internet Service
PublicationKOALA 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...