Search
Filters
total: 285
filtered: 241
-
Catalog
Chosen catalog filters
Search results for: CONP-COMPLETENESS
-
Completeness and Consistency of the System Requirement Specification
PublicationAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
NP-completeness of convex and weakly convex domiating set decision problems.
PublicationLiczby dominowania wypukłego i słabo wypukłego są nowymi rodzajami liczb dominowania. W tym artykule pokazujemy, że problemy decyzyjne dominowania wypukłegi i słabo wypukłego są NP-zupełne w przypadku grafów dwudzielnych oraz split grafów. Posługując się zmodyfikowanym algorytmem Washalla możemy w czasie wielomianowym określić, czy dany podzbiór wierzchołków grafu jest spójny bądź słabo spójny.
-
The influence of a cone-in-cone insert on flow pattern and wall pressure in a full-scale silo
PublicationArtykuł opisuje przeprowadzone badania przepływów silosowych i naporu materiałów sypkich podczas napełniania i opróżniania silosu o średnicy 2.5 m wyposażonego we wkładkę "stożek w stożku''. Badania przeprowadzane były w Instytucie Badawczym Tel-Tek w Norwegii. Materiałem użytym był suchy piasek. Napór na ścianę mierzony był bezpośrednio za pomocą 10 czujników wbudowanych w ścianę. Badania eksperymentalne pokazały duży wpływ wkładki...
-
Con l’introduzione
PublicationNata nel 1953 con l’obiettivo di portare l’Italia tra le nazioni avanzate anche in campo energetico, Eni rappresenta una delle principali imprese ad aver influenzato l’innovazione economica del Paese. La sua storia, legata a doppio filo alla figura di Enrico Mattei, consente di seguirne le traiettorie di sviluppo e le strategie di internazionalizzazione, nel quadro di un contesto in continua evoluzione. Questo volume ripercorre...
-
Free vibration of truncated-cone columns
Publication -
Roundup – pros and cons of super herbicide
Publication -
Size effect in centrifuge cone penetration tests
PublicationOkreślenie efektu skali w badaniu wciskania stożka w zagęszczonych piaskach kwarcowych na podstawie badań modelowych w wirówce geotechnicznej. Badania przeprowadzono na dwóch piaskach kwarcowych przy przyśpieszeniach od 30g do 100g. Analizowano efekt skali związany ze stosunkiem średnicy modelu (mini-stożka) do średniej średnicy ziaren oraz wpływem poziomu naprężenia na opór stożka. Wpływ poziomu naprężenia powoduje powstanie geometrycznego...
-
2D inverse solution for cone-shaped centrifugal compressor
PublicationWprowadzono stożkowy układ współrzędnych dla opisania obszaru wirnika sprężarki promieniowej. W takim układzie został sformułowany problem odwrotny. Oznacza to, że dla założonej jednej rodziny powierzchni prądu (S1) w formie powierzchni stożkowych druga rodzina (S2) jest znajdywana w drodze rozwiązania układu równań zachowania. Pokazano w jaki sposób rozwiązanie zależy od warunków brzegowych. Przedstawiona metoda jest przydatna...
-
First natural transverse frequency of truncated cone and wedge beams
Publication -
Digital Innovations and Smart Solutions for Society And Economy: Pros and Cons
PublicationRecent developments in artificial intelligence (AI) may involve significant potential threats to personal data privacy, national security, and social and economic stability. AI-based solutions are often promoted as “intelligent” or “smart” because they are autonomous in optimizing various processes. Be-cause they can modify their behavior without human supervision by analyzing data from the environ-ment, AI-based systems may be...
-
Chemical insight into pros and cons of coffees from different regions
PublicationThe main aim of this work was to study the chemical composition of eighteen ground coffees from different countries and continents with regard to the content of hazardous substances as radioactive elements (40K, 226Ra, 228Ra, 234U, 238U and 137Cs), metals, including heavy metals, aluminum and some microelements (V, Cr, Mn, Fe, Co, Ni, Cu, Zn) as well as substances that have a positive effect on human health and well-being (polyphenols,...
-
Numerical simulation of axisymmetric valve operation for different outer cone angle
Publication -
Modelling of the finite amplitude waves interaction problem inside truncated cone.
PublicationModel matematyczny zjawiska oddziaływania fal o dużej amplitudzie dla przetwornika kołowego zbudowanego w oparciu o równanie KZK. Rozwiązania zagadnienia poszukiwano wewnątrz stożka ściętego. Do rozwiązania zagadnienia zastosowano metodę różnic skończonych. Podano przykładowe wyniki badań numerycznych.
-
A New Classification of the Morphology of Complete Ponticulus Posticus on Cone Beam Computed Tomography
Publication -
Lipidation of Temporin-1CEb Derivatives as a Tool for Activity Improvement, Pros and Cons of the Approach
Publication -
Experimental investigation of the flow pattern and wall pressure distribution in a silo with double-cone insert
PublicationArtykuł opisuje przeprowadzone badania przepływów silosowych i naporu materiałów sypkich podczas napełniania i opróżniania silosu o średnicy 2.5 m wyposażonego we wkładkę "podwójny stożek". Badania przeprowadzane były w Instytucie Badawczym Tel-Tek w Norwegii. Materiałem użytym był suchy piasek. Napór na ścianę mierzony był bezpośrednio za pomocą 10 czujników wbudowanych w ścianę. Badania eksperymentalne pokazały duży wpływ wkładki...
-
Free Vibration of Cantilever Bars Having a Shape of Solid and Hollow Curvilinear Truncated Cone
Publication -
Heat exchange enhancement of jet impingement cooling with the novel humped-cone heat sink
PublicationJet impingement cooling technology is applicable to control temperature of devices, where very high heat flux is generated within a small area. This paper is about the improvement of the jet impingement cooling efficiency by the heat sink geometry modification. Two reference cases were sourced from the literature – flat heat sink and modified one with cone in the jet stagnation region. Such a change improves cooling capability...
-
Wpływ optymalnego zasilania parownika na współczynnik COP urządzenia chłodniczego
PublicationZastosowanie nowoczesnego zaworu rozprężnego umożliwia znaczne podniesienie sezonowego współczynnika efektywności urządzenia chłodniczego. Optymalne rozwiązanie polega na takim skomponowaniu pozostałych elementów układu chłodniczego, aby zawór ten mógł współpracować z całością jak najefektywniej. Mowa tu o wyborze wymienników mikrokanałowych zamiast klasycznych płytowych czy lamelowych oraz nowoczesnego typu sprężarki spiralnej....
-
Endodontic Treatment Outcomes in Cone Beam Computed Tomography Images—Assessment of the Diagnostic Accuracy of AI
Publication -
Solitary median maxillary central incisor syndrome: cone beam computed tomography illustrated review
Publication -
Noncentrosymmetric superconductor with a bulk three-dimensional Dirac cone gapped by strong spin-orbit coupling
PublicationThe layered, noncentrosymmetric heavy element PbTaSe2 is found to be superconducting. We report its electronic properties accompanied by electronic-structure calculations. Specific heat, electrical resistivity, and magnetic-susceptibility measurements indicate that PbTaSe2 is a moderately coupled, type-IIBCSsuperconductor (Tc = 3.72 K, Ginzburg–Landau parameter κ = 17) with an electron-phonon coupling constant of λep = 0.74. Electronic-structure...
-
Numerical Modeling of Cone Penetration Test in Slightly Overconsolidated Clay with Arbitrary Lagrangian-Eulerian Formulation
PublicationIn this paper the results of the cone penetration test (CPT) modeling with the arbitrary Lagrangian-Eulerian (ALE) formulation provided by Abaqus software package have been presented. The study compares the cone resistance and sleeve friction obtained in numerical analysis with values measured in soundings performed in the uniform layer of clayey soil in the Koszalin area. The clay layer was found to be slightly overconsolidated...
-
Artificial Intelligence-Assisted Segmentation of a Falx Cerebri Calcification on Cone-Beam Computed Tomography: A Case Report
Publication -
The pros and cons of integrated care implementation in Central and Eastern Europe – a perspective from 9 CEE countries
Publication -
The diagnostic accuracy of cone beam computed tomography in detecting temporomandibular joint bony disorders: a systematic review
Publication -
Effect of the Concentration of Hop Cone Extract on the Antibacterial, Physico-Chemical and Functional Properties of Adhesive Toilet Cleaners
Publication -
Use of hop cone extract obtained under supercritical CO2 conditions for producing antibacterial all-purpose cleaners
Publication -
Soft Tissue Retraction Maneuver in Cone Beam Computed Tomography Prior to Crown-Lengthening Procedure—A Technical Note
PublicationBackground: An accurate determination of the biological width and the relationship of the cemento-enamel junction with the border of the alveolar bone is crucial during a clinical crown-lengthening (CCL) procedure. The aim of this study was to present a technical note about the retraction techniques in cone beam computed tomography (CBCT) prior to CCL, highlighting the significant enhancement in procedural accuracy and predictability...
-
Multiple solutions of indefinite elliptic systems via a Galerkin-type Con- ley index theory
PublicationW pracy wykazano prawdziwość hipotezy Angenenta i van der Vorsta dotyczącąilości rozwiązań pewnego układu eliptycznego. Liczbę rozwiazań szacuje się zdołu przy pomocy niezmiennika topologicznego zwanego uogólnionym indeksemMorse`a. W dowodzie stosuje sie niezmienniczy index Conleya w przestrzeniachHilberta.
-
Mixed electronic-ionic conductivity in transition metal oxide glasses con-taining alkaline ions
PublicationOpisano właściwości elektryczne szkieł z tlenkami metali przejściowych zawierających jony metali alkalicznych. Szczególną uwagę zwrócono na typowe zmiany przewodnictwa występujące przy domieszkowaniu tego typu szkieł jonami metali alkalicznych. Porównano przewodnictwo elektryczne szkieł fosforanowo-żelazowych zawierających jony sodu z przewodnictwem szkieł bizmutowo-miedziowych.
-
Artificial intelligence versus semi-automatic segmentation of the inferior alveolar canal on cone-beam computed tomography scans: A pilot study
Publication -
The effect of impacted third molars on second molar external root resorption, a cross-sectional cone beam computed tomography study
PublicationBackground: Third molars have the highest prevalence of impaction in teeth and can cause pathological damage on the adjacent second molars. This study aims to evaluate the effects of factors related to impacted third molars on external root resorption (ERR) in adjacent second molars using cone-beam computed tomography (CBCT). Material and Methods: In CBCTs, the effect of impacted third molars on the root surface of adjacent second...
-
The Influence of Slice Thickness, Sharpness, and Contrast Adjustments on Inferior Alveolar Canal Segmentation on Cone-Beam Computed Tomography Scans: A Retrospective Study
Publication -
Discussion of “Axisymmetric Simulations of Cone Penetration in Saturated Clay” by Diane M. Moug, Ross W. Boulanger, Jason T. DeJong, and Robert A. Jaeger
PublicationN/A
-
On Computational Aspects of Greedy Partitioning of Graphs
PublicationIn this paper we consider a problem of graph P-coloring consisting in partitioning the vertex set of a graph such that each of the resulting sets induces a graph in a given additive, hereditary class of graphs P. We focus on partitions generated by the greedy algorithm. In particular, we show that given a graph G and an integer k deciding if the greedy algorithm outputs a P-coloring with a least k colors is NP-complete for an infinite...
-
Computational aspects of greedy partitioning of graphs
PublicationIn this paper we consider a variant of graph partitioning consisting in partitioning the vertex set of a graph into the minimum number of sets such that each of them induces a graph in hereditary class of graphs P (the problem is also known as P-coloring). We focus on the computational complexity of several problems related to greedy partitioning. In particular, we show that given a graph G and an integer k deciding if the greedy...
-
Passing from requirements specification to class model using application domain ontology
PublicationThe quality of a classic software engineering process depends on the completeness of project documents and on the inter-phase consistency. In this paper, a method for passing from the requirement specification to the class model is proposed. First, a developer browses the text of the requirements, extracts the word sequences, and places them as terms into the glossary. Next, the internal ontology logic for the glossary needs to...
-
The CON−H…+NH2 Blue-Shifting H-Bond Stabilizing Effect on Z Secondary Amides and Cyclic System Conformational Rearrangement through an Alkylamine-Chain Migration Pathway
PublicationThe paper is focusing on the amide linkage exceptional properties and usage of chemistry (conformational rearrangement, geometrical stereoisomers, spectroscopic blue shift phenomenon, protonation and deprotonation reactions, synthetic scope, and mechanistic implications). Hydrogen-bond-stabilized acylation reactions of a diamine with thioamides or nitriles reveal how substituents influence both the outcome of stereoselectivity...
-
Lower Rim Substitutedp-tert-Butyl-Calix[4]arene. Part 15. Pb(II)-Ion-Selective Electrodes Based onp-tert-Butyl-calix[4]arene Thioamides
Publication -
Tight bounds on global edge and complete alliances in trees
PublicationIn the talk the authors present some tight upper bounds on global edge alliance number and global complete alliance number of trees. Moreover, we present our NP-completeness results from [8] for global edge alliances and global complete alliances on subcubic bipartite graphs without pendant vertices. We discuss also polynomial time exact algorithms for finding the minimum global edge alliance on trees [7] and complete alliance...
-
“Piglia il bastone e battila molto bene… allora battila, non con animo irato, ma per zelo e carità dell’anima sua.” La violenza domestica secondo alcune testimonianze medievali
Publication -
Global edge alliances in graphs
PublicationIn the paper we introduce and study a new problem of finding a minimum global edge alliance in a graph which is related to the global defensive alliance (Haynes et al., 2013; Hedetniemi, 2004) and the global defensive set (Lewoń et al., 2016). We proved the NP-completeness of the global edge alliance problem for subcubic graphs and we constructed polynomial time algorithms for trees. We found the exact values of the size of the...
-
Searching by heterogeneous agents
PublicationIn this work we introduce and study a pursuit-evasion game in which the search is performed by heterogeneous entities. We incorporate heterogeneity into the classical edge search problem by considering edge-labeled graphs: once a search strategy initially assigns labels to the searchers, each searcher can be only present on an edge of its own label. We prove that this problem is not monotone even for trees and we give instances...
-
Searching by Heterogeneous Agents
PublicationIn this work we introduce and study a pursuit-evasion game in which the search is performed by heterogeneous entities. We incorporate heterogeneity into the classical edge search problem by considering edge-labeled graphs. In such setting a searcher, once a search strategy initially decides on the label of the searcher, can be present on an edge only if the label of the searcher and the label of the edge are the same. We prove...
-
Fractionation and origin of dissolved and colloidal organic nitrogen in BNR plant effluent
PublicationThe characteristics of effluent dissolved and colloidal organic nitrogen (DON and CON) as well as their origin, fate and biodegradability in wastewater treatment plants and receiving waters were identified as the major issues that limit the ability to achieve low total N in the effluent. This study presents the results of a comprehensive survey, which was conducted in eight biological nutrient removal (BNR) WWTPs in northern Poland....
-
Peculiarities associated with testing polyetheretherketone (PEEK) in a model rolling contact
PublicationPolyetheretherketone (PEEK) was investigated using a modified version of the four-ball tester in which the upper forth ball was replaced by a cone in such a way that kinematics of the four-ball configuration were fully preserved. Rotation of the cone enforced orbiting and rolling of the ceramic balls around the polymer cup. The results produced some unexpected peculiarities in the wear of ceramic balls which, in principle, should...
-
A dual-control strategy based on electrode material and electrolyte optimization to construct an asymmetric supercapacitor with high energy density
PublicationMetal-organic frames (MOFs) are regarded as excellent candidates for supercapacitors that have attracted much attention because of their diversity, adjustability and porosity. However, both poor structural stability in aqueous alkaline electrolytes and the low electrical conductivity of MOF materials constrain their practical implementation in supercapacitors. In this study, bimetallic CoNi-MOF were synthesized to enhance the electrical...
-
Discussion of “CPT Evaluation of Yield Stress Profiles in Soils” by Shehab S. Agaiby and Paul W. Mayne
PublicationVeryfication of the procedure to estimate overconsolidation ratio in sands using the results of mini-cone penetration tests in centrifuge.
-
Strength parameters of deltaic soils determined with CPTU, DMT and FVT
PublicationThis paper presents the results of soil investigation in soft, normally consolidated organic soil in the estuary of Vistula river. The analysis concerns clayey mud and peat layers interbedded with loose to medium-dense sands. Several Cone Penetration Tests with pore water measurement (CPTU), Dilatometer Tests (DMT) and Field Vane Tests (FVT) were performed on the testing site. The cone factor Nkt was estimated using the results...