Filters
total: 3586
filtered: 2774
displaying 1000 best results Help
Search results for: proof-number search
-
Modelling gene expression of a self-regulating protein
PublicationWe analyze a model of gene transcription and protein synthesis. We take into account the number of sites on the protein’s promoter at which the protein’s dimers can bind blocking transcription of protein mRNA.
-
Non-isolating 2-bondage in graphs
PublicationA 2-dominating set of a graph G=(V,E) is a set D of vertices of G such that every vertex of V(G)D has at least two neighbors in D. The 2-domination number of a graph G, denoted by gamma_2(G), is the minimum cardinality of a 2-dominating set of G. The non-isolating 2-bondage number of G, denoted by b_2'(G), is the minimum cardinality among all sets of edges E' subseteq E such that delta(G-E') >= 1 and gamma_2(G-E') > gamma_2(G)....
-
Multi-fidelity EM simulations and constrained surrogate modelling for low-cost multi-objective design optimisation of antennas
PublicationIn this study, a technique for low-cost multi-objective design optimisation of antenna structures has been proposed. The proposed approach is an enhancement of a recently reported surrogate-assisted technique exploiting variable-fidelity electromagnetic (EM) simulations and auxiliary kriging interpolation surrogate, the latter utilised to produce the initial approximation of the Pareto set. A bottleneck of the procedure for higher-dimensional...
-
Non-isolating bondage in graphs
PublicationA dominating set of a graph $G = (V,E)$ is a set $D$ of vertices of $G$ such that every vertex of $V(G) \setminus D$ has a neighbor in $D$. The domination number of a graph $G$, denoted by $\gamma(G)$, is the minimum cardinality of a dominating set of $G$. The non-isolating bondage number of $G$, denoted by $b'(G)$, is the minimum cardinality among all sets of edges $E' \subseteq E$ such that $\delta(G-E') \ge 1$ and $\gamma(G-E')...
-
Analysing the Residential Market Using Self-Organizing Map
PublicationAlthough the residential property market has strong connections with various sectors, such as construction, logistics, and investment, it works through different dynamics than other markets; thus, it can be analysed from various perspectives. Researchers and investors are mostly interested in price trends, the impact of external factors on residential property prices, and price prediction. When analysing price trends, it is beneficial...
-
Self-Adaptive Mesh Generator for Global Complex Roots and Poles Finding Algorithm
PublicationIn any global method of searching for roots and poles, increasing the number of samples increases the chances of finding them precisely in a given area. However, the global complex roots and poles finding algorithm (GRPF) (as one of the few) has direct control over the accuracy of the results. In addition, this algorithm has a simple condition for finding all roots and poles in a given area: it only requires a sufficiently dense...
-
Recent advances in traffic optimisation: systematic literature review of modern models, methods and algorithms
PublicationOver the past few decades, the increasing number of vehicles and imperfect road traffic management have been sources of congestion in cities and reasons for deteriorating health of its inhabitants. With the help of computer simulations, transport engineers optimise and improve the capacity of city streets. However, with an enormous number of possible simulation types, it is difficult to grasp valuable, innovative solutions which...
-
Bipartite theory of graphs: outer-independent domination
PublicationLet $G = (V,E)$ be a bipartite graph with partite sets $X$ and $Y$. Two vertices of $X$ are $X$-adjacent if they have a common neighbor in $Y$, and they are $X$-independent otherwise. A subset $D \subseteq X$ is an $X$-outer-independent dominating set of $G$ if every vertex of $X \setminus D$ has an $X$-neighbor in $D$, and all vertices of $X \setminus D$ are pairwise $X$-independent. The $X$-outer-independent domination number...
-
Reliability Analysis of Sea Cliff Slope Stability by Point Estimate Method
PublicationThe paper presents a reliability analysis of a sea cliff slope. The cliff, located in Jastrzębia Góra, is characterised by a complicated geological structure. Although currently stable, it is in fact close to the limit state. The objective of this paper is to present the point estimate method (PEM) of determining the mean value and standard deviation of the safety factor of the slope. Assuming its normal distribution, these statistical...
-
An inclination in Thermal Energy Using Nanoparticles with Casson Liquid Past an Expanding Porous Surface
PublicationPhysical aspects of inclined MHD nanofluid towards a stretching sheet embedded in a porous medium are visualized. Two types of nanoparticles are used named as copper and alumna dioxide with water as base fluid. Similarity transformations are used to convert the partial differential equations into the set of ordinary differential equation. Closed solutions are found to examine the velocity and the temperature profiles. It is examined...
-
Reliability Analysis of Sea Cliff Slope Stability by Point Estimate Method
PublicationThe paper presents a reliability analysis of a sea cliff slope. The cliff, located in Jastrzębia Góra, is characterised by a complicated geological structure. Although currently stable, it is in fact close to the limit state. The objective of this paper is to present the point estimate method (PEM) of determining the mean value and standard deviation of the safety factor of the slope. Assuming its normal distribution, these statistical...
-
Domestic Wastewater Treatment
PublicationSSF systems are usually applied at the 2nd stage of domestic wastewater treatment, after mechanical treatment. The number of such installations working at the moment in Europe is estimated to be 100,000. In Germany about 10,000 systems are in operation.
-
Searching for innovation knowledge: insight into KIBS companies
PublicationPurpose – The paper analyzes the patterns of research of “innovation knowledge” (i.e. knowledge that can result in introducing innovations in the company that can be observed in KIBS (Knowledge-Intensive Business Services) companies. Particularly, it identifies and classifies the possible approaches adopted by companies on the basis of two dimensions: the intensity/proactivity of search efforts, and the source primarily used. Design/methodology/approach...
-
Low-Cost and Precise Automated Re-Design of Antenna Structures Using Interleaved Geometry Scaling and Gradient-Based Optimization
PublicationDesign of contemporary antennas is an intricate endeavor involving multiple stages, among others, tuning of geometry parameters. In particular, re-designing antennas to different operating frequencies, makes parametric optimization imperative to ensure the best achievable system performance. If the center frequency at the current design is distant from the target one, local tuning methods generally fail, whereas global algorithms...
-
Cleaner energy for sustainable future using hybrid photovoltaics-thermoelectric generators system under non-static conditions using machine learning based control technique
PublicationIn addition to the load demand, the temperature difference between the hot and cold sides of the thermoelectric generator (TEG) module determines the output power for thermoelectric generator systems. Maximum power point tracking (MPPT) control is needed to track the optimal global power point as operating conditions change. The growing use of electricity and the decline in the use of fossil fuels have sparked interest in photovoltaic-TEG...
-
Woda jako element przyrodniczy w przestrzeni zamieszkiwania. Ideowe formy architektoniczne
PublicationMożna obecnie zaobserwować nasilające się zjawisko pozamiejskich migracji. Sprzyja im dogodność warunków zamieszkiwania poza miastem. Pojezierze Kaszubskie to obszar, gdzie powstaje wiele pozamiejskich, czasowo zamieszkiwanych domów. Często lokowane są one pobliżu jezior i rzek. Wydaje się, że woda stanowi szczególny walor tych miejsc. Nawiązywane poprzez nią relacje i poczucie współuczestnictwa skłoniły do poszukiwania szczególnych...
-
Novel structure and design of enhanced-bandwidth hybrid quadrature patch coupler
PublicationA novel structure and design optimization procedure of an enhanced-bandwidth hybrid quadrature patch coupler is proposed. Improved performance of the circuit has been obtained by parameterizing the coupler sections using splines, which introduces additional degrees of freedom. Due to computational complexity of the parameter adjustment problem, a sequential design procedure is applied. In each iteration, a selected number of spline...
-
Dynamics of mechanical model of implant-tissue system in ventral hernia repair
PublicationThe paper deals with a finite element modelling of implants in the problem of ventral hernia repair. The synthetic mesh implanted in the abdomen during surgery is here modelled as a membrane structure. Thesystem undergoes the internal abdominal pressure that occurs during the postoperative cough, the load identified in the literature as the main cause of the connection failure and hernia recurrence. The model can be used to estimate...
-
Akaike's final prediction error criterion revisited
PublicationWhen local identification of a nonstationary ARX system is carried out, two important decisions must be taken. First, one should decide upon the number of estimated parameters, i.e., on the model order. Second, one should choose the appropriate estimation bandwidth, related to the (effective) number of input-output data samples that will be used for identification/ tracking purposes. Failure to make the right decisions results...
-
Unicyclic graphs with equal total and total outer-connected domination numbers
PublicationLet G = (V,E) be a graph without an isolated vertex. A set D ⊆ V (G) is a total dominating set if D is dominating and the in- duced subgraph G[D] does not contain an isolated vertex. The total domination number of G is the minimum cardinality of a total domi- nating set of G. A set D ⊆ V (G) is a total outer–connected dominating set if D is total dominating and the induced subgraph G[V (G)−D] is a connected graph. The total outer–connected...
-
Application of ANN and PCA to two-phase flow evaluation using radioisotopes
PublicationIn the two-phase flow measurements a method involving the absorption of gamma radiation can be applied among others. Analysis of the signals from the scintillation probes can be used to determine the number of flow parameters and to recognize flow structure. Three types of flow regimes as plug, bubble, and transitional plug – bubble flows were considered in this work. The article shows how features of the signals in the time and...
-
Maximum transportation growth in energy and solute particles in Prandtl martial across a vertical 3D-heated surface: Simulations achieved using by finite element approach
PublicationThe goal of this study is to determine the maximum energy and solute particles' transportation growth in a 3D-heated region of Prandtl martial through a dynamic magnetic field. The effects of this field on the properties of solvent molecules and heat conduction are studied. A correctly stated functional method and a finite element approach are comparable to a certain type of differential equations. In order demonstrate the effects...
-
Effect of Tube Bundle Arrangement on the Performance of PCM Heat Storage Units
PublicationThe results of comprehensive study on charging and discharging of latent heat storage systems (LHSS) are presented. The multi tube shell-and-tube unit with a variable layouts of the tube bundles are examined. Two tube arrangements – in-line and staggered are tested. A variable number of tubes and different tube positions in a bundle are investigated. Moreover, two pitch ratios are studied. Three commercially available substances...
-
Poszukiwanie układów obiektów architektonicznych zgodnych z uwarunkowaniami przyrodniczymi Pojezierza Kaszubskiego. Studium autorskie
PublicationStudium docelowych form zamieszkiwania oparto o obserwacje przyrodnicze i próbę ich kulturowej transpozycji poprzez działania artystyczne. Metaforyczne wyobrażenia form zamieszkiwania prezentowane w wielu wariantach ukazują jej adaptowalność do różnorodnych, unikalnych uwarunkowań przyrodniczych. Kontekst stanowi zarówno inspirację jak i zadanie problemowe, na które odpowiedzią jest konkretna forma układu, spasowana do swojego...
-
Analysis of Reasons of Accidents Between Cyclists and Public Transport Vehicles in Cities
PublicationIn European cities, a bicycle is now or is systematically becoming an equal means of transport. Unfortunately, the growth of bicycle traffic is associated with an increase in the number of accidents involving cyclists. Some of these accidents, are events with cyclists and public transport vehicles - and therefore means of transport, which together are to constitute a serious alternative to a car. Although the share of these kind...
-
Blue applicability grade index (BAGI) and software: a new tool for the evaluation of method practicality
PublicationIn this work, blue applicability grade index (BAGI) is proposed as a new metric tool for evaluating the practicality of an analytical method. BAGI can be considered complementary to the well-established green metrics, and it is mainly focused on the practical aspects of White Analytical Chemistry. This tool evaluates ten main attributes including the type of analysis, the number of analytes that are simultaneously determined, the...
-
A New Approach to the PWM Modulation for the Multiphase Matrix Converters Supplying Loads with Open-End Winding.
PublicationThis article presents three variants of the Pulse Width Modulation (PWM) for the Double Square Multiphase type Conventional Matrix Converters (DSM-CMC) supplying loads with the open-end winding. The first variant of PWM offers the ability to obtain zero value of the common-mode voltage at the load's terminals and applies only six switches within the modulation period. The second proposal archives for less Total Harmonic Distortion...
-
Artificial intelligence models in prediction of response to cardiac resynchronization therapy: a systematic review
PublicationThe aim of the presented review is to summarize the literature data on the accuracy and clinical applicability of artificial intelligence (AI) models as a valuable alternative to the current guidelines in predicting cardiac resynchronization therapy (CRT) response and phenotyping of patients eligible for CRT implantation. This systematic review was performed...
-
Optimized Computational Intelligence Model for Estimating the Flexural Behavior of Composite Shear Walls
PublicationThis article presents a novel approach to estimate the flexural capacity of reinforced concrete-filled composite plate shear walls using an optimized computational intelligence model. The proposed model was developed and validated based on 47 laboratory data points and the Transit Search (TS) optimization algorithm. Using 80% of the experimental dataset, the optimized model was selected by determining the unknown coefficients of...
-
A Machine Learning Approach for Estimating Overtime Allocation in Software Development Projects
PublicationOvertime planning in software projects has traditionally been approached with search-based multi-objective optimization algorithms. However, the explicit solutions produced by these algorithms often lack applicability and acceptance in the software industry due to their disregard for project managers' intuitive knowledge. This study presents a machine learning model that learns the preferred overtime allocation patterns from solutions...
-
The newly developed multipurpose ROV or an integrated mine hunting system
PublicationA modular mine hunting ROV concept is presented. The design is based on experience gained during 15 years of exploitation of the Ukwial ROV and development of Gluptak single shot mine hunting systems. The design goal was to multiply capabilities of the Ukwial without increasing weight and dimensional envelope. The vehicle is composed around powerful propulsion system that gives the system basic PVDS capability and mine disposal...
-
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...
-
A Meta-Analysis of Pulse Arrival Time Based Blood Pressure Estimation
PublicationThe paper presents a preliminary meta-analysis of the sample correlation between pulse arrival time (PAT) and blood pressure (BP). The aim of the study was to verify sample correlation coefficient between PAT and BP using an affine model BP = a · P AT + b for systolic and diastolic blood pressure. The databases included in the search were the IEEE Xplore Digital Library, Springer Link and Google Scholar. Only papers from 2005 to...
-
Removal of BTEX Compounds From Waste Gases; Destruction and Recovery Techniques
PublicationThe tendency for BTEX compounds (benzene, toluene, ethylbenzene, xylenes) to spread into all compartments of the environment together with their influence on both ecosystem and human health means that the emission of thesecompounds into the air is becoming the matter of worldwide concern. The legal regulations introduced by the European Union governing the assessment and management of air quality obliges member states to systematically...
-
Client-server Approach in the Navigation System for the Blind
PublicationThe article presents the client‐server approach in the navigation system for the blind ‐ “Voice Maps”. The authors were among the main creators of the prototype and currently the commercialization phase is being finished. In the implemented prototype only exemplary, limited spatial data were used, therefore they could be stored and analysed (for path-finding process) in the mobile device’s memory without any difficulties. The...
-
The Method of Multi-criteria Analysis to Support the Decision on Load or Micro-generation Connection to a Low- or Medium-voltage Power Grid
PublicationThis paper presents a method that supports the decision in terms on selecting the best option of a load connection to a low- or medium-voltage power distribution grid, and of a micro-generation source connection to a low-voltage grid. The method is based on the search for the option with the lowest aggregate assessment measure, which is the weighted average of partial assessment measures determined for each of eight considered...
-
INFORMATION ABOUT DYNAMICS OF THE SEA SURFACE AS A MEANS TO IMPROVE SAFETY OF THE UNMANNED VESSEL AT SEA
PublicationOne of the fundamental states of the sea surface is its heave. Despite of years of the intense scientific inquiry, no clear understanding of the influence of this aspect on the dynamics of the sea environment has emerged. The separation of two nearby fluid elements which one may observed for example as a free floating of small objects on the sea surface (rescuers on the rough sea or small research vessels) is caused by the interaction...
-
Evolutionary Planning of Safe Ship Tracks in Restricted Visibility
PublicationThe paper presents the continuation of the author's research on ship track planning by means of Evolutionary Algorithms (EA). The presented method uses EA to search for an optimal set of safe tracks for all ships involved in an encounter. Until now the method assumed good visibility – compliance with standard rules of the Convention on the International Regulations for Preventing Collisions at Sea (COLREGS, 1972). However, in restricted...
-
Automatic Rhythm Retrieval from Musical Files
PublicationThis paper presents a comparison of the effectiveness of two computational intelligence approaches applied to the task of retrieving rhythmic structure from musical files. The method proposed by the authors of this paper generates rhythmic levels first, and then uses these levels to compose rhythmic hypotheses. Three phases: creating periods, creating simplified hypotheses and creating full hypotheses are examined within this study....
-
Bridging theory and practice in postgraduate education on development and planning: Gdynia Urban Summer Schools 2016-2018
PublicationIn this article, the authors discuss results achieved by the Gdynia Urban Summer School (GUSS) organised annually (between 2016 and 2018) in Gdynia, Poland. The GUSS was meant for young practitioners from various professions such as urban and regional planning, urban design, architecture, civil engineering and transport planning. The objective was to give workshop participantspractical interdisciplinary...
-
Rapid multi-objective design of integrated on-chip inductors by means of Pareto front exploration and design extrapolation
PublicationIdentification of the best trade-offs between conflicting design objectives allows for making educated design decisions as well as assessing suitability of a given component or circuit for a specific application. In case of inductors, the typical objectives include maximization of the quality factor and minimization of the layout area, as well as maintaining a required inductance at a given operating frequency. This work demonstrates...
-
Green Analytical Chemistry: Summary of Existing Knowledge and Future Trends
PublicationAnalysis of recent publications in green analytical chemistry shows the current trends and future needs in this area. The main issues are related with search for cheaper, more efficient, more accurate, greener and miniaturized alternatives. Miniaturization is perhaps, the most notable current trend in analytical chemistry. Rapid developments and improvements in instrumentation have led to impressive range of benchtop technology...
-
Sound engineering as our commitment to its creators in Poland
PublicationSound engineering is an interdisciplinary and rapidly expanding domain. It covers many aspects, such as sound perception, studio and sound mastering technology, music information retrieval including content-based search systems and automatic music transcription frameworks, sound synthesis, sound restoration, electroacoustics, and other ones constituting multimedia technology. Moreover, machine learning methods applied to the topics...
-
A Reduction Method for Bathymetric Datasets that Preserves True Coastal Water Geodata
PublicationWater areas occupy over 70 percent of the Earth’s surface and are constantly subject to research and analysis. Often, hydrographic remote sensors are used for such research, which allow for the collection of information on the shape of the water area bottom and the objects located on it. Information about the quality and reliability of the depth data is important, especially during coastal modelling. In-shore areas are liable...
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublicationAn assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...
-
Enhancement of the Magnetoresistance in the Mobility‐Engineered Compensated Metal Pt 5 P 2
PublicationThe magnetoresistance (MR) in nonmagnetic materials continues to be a fertile research area in materials science. The search for giant, positive MR has been limited to a rather small window of materials such as high-mobility semimetals in single-crystalline form. Here, the observation of a very large positive MR in metallic Pt5P2 in polycrystalline form is reported. The observations reveal that improvement of the crystallinity...
-
Exploring Relationships Between Data in Enterprise Information Systems by Analysis of Log Contents
PublicationEnterprise systems are inherently complex and maintaining their full, up-to-date overview poses a serious challenge to the enterprise architects’ teams. This problem encourages the search for automated means of discovering knowledge about such systems. An important aspect of this knowledge is understanding the data that are processed by applications and their relationships. In our previous work, we used application logs of an enterprise...
-
Pareto Ranking Bisection Algorithm for EM-Driven Multi-Objective Design of Antennas in Highly-Dimensional Parameter Spaces
PublicationA deterministic technique for fast surrogate-assisted multi-objective design optimization of antennas in highly-dimensional parameters spaces has been discussed. In this two-stage approach, the initial approximation of the Pareto set representing the best compromise between conflicting objectives is obtained using a bisection algorithm which finds new Pareto-optimal designs by dividing the line segments interconnecting previously...
-
NbIr 2 B 2 and TaIr 2 B 2 – New Low Symmetry Noncentrosymmetric Superconductors with Strong Spin–Orbit Coupling
PublicationSuperconductivity was first observed more than a century ago, but the search for new superconducting materials remains a challenge. The Cooper pairs in superconductors are ideal embodiments of quantum entanglement. Thus, novel superconductors can be critical for both learning about electronic systems in condensed matter and for possible application in future quantum technologies. Here two previously unreported materials, NbIr2B2...
-
Frequency-Based Regularization for Improved Reliability Optimization of Antenna Structures
PublicationThe paper proposes a modified formulation of antenna parameter tuning problem. The main ingredient of the presented approach is a frequency-based regularization. It allows for smoothening the functional landscape of the assumed cost function, defined to encode the prescribed design specifications. The regularization is implemented as a special penalty term complementing the primary objective and enforcing the alignment of the antenna...