Filters
total: 2415
displaying 1000 best results Help
Search results for: SEMI-MARKOV PROCESSES
-
Sharp bounds for the complexity of semi-equitable coloring of cubic and subcubic graphs
PublicationIn this paper we consider the complexity of semi-equitable k-coloring of the vertices of a cubic or subcubic graph. We show that, given n-vertex subcubic graph G, a semi-equitable k-coloring of G is NP-hard if s >= 7n/20 and polynomially solvable if s <= 7n/21, where s is the size of maximum color class of the coloring.
-
Tight bounds on the complexity of semi-equitable coloring of cubic and subcubic graphs
PublicationWe consider the complexity of semi-equitable k-coloring, k>3, of the vertices of a cubic or subcubic graph G. In particular, we show that, given a n-vertex subcubic graph G, it is NP-complete to obtain a semi-equitable k-coloring of G whose non-equitable color class is of size s if s>n/3, and it is polynomially solvable if s, n/3.
-
Applications of semi-definite optimization in quantum information protocols
PublicationThis work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information sci- ence. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter...
-
Equitable and semi-equitable coloring of cubic graphs and its application in batch scheduling
PublicationIn the paper we consider the problems of equitable and semi-equitable coloring of vertices of cubic graphs. We show that in contrast to the equitable coloring, which is easy, the problem of semi-equitable coloring is NP- complete within a broad spectrum of graph parameters. This affects the complexity of batch scheduling of unit-length jobs with cubic incompatibility graph on three uniform processors to minimize...
-
Equivalence of equicontinuity concepts for Markov operators derived from a Schur-like property for spaces of measures
PublicationVarious equicontinuity properties for families of Markov operators have been – and still are – used in the study of existence and uniqueness of invariant probability for these operators, and of asymptotic stability. We prove a general result on equivalence of equicontinuity concepts. It allows comparing results in the literature and switching from one view on equicontinuity to another, which is technically convenient in proofs....
-
On residualities in the set of Markov operators on C1
PublicationDowodzi się, że zbiór operatorów Markowa na klasie Schattena 1, które są mieszające w normie, jest normowo gęsty, otwarty. Natomiast w topologii mocno operatorowej operatory Markowa mocno mieszające są zbiorem I kategorii.
-
Application of optical microsphere in fiber optic sensors for measurement of electrochemical processes
Open Research Datainvestigation of the electrochemical processes using micro-sphere fiber-optic sensor with a zinc oxide (ZnO) coating applied by Atomic Layer Deposition method (ALD). The measurements were performed in 1M KNO3 during a decomposition of Bisphenol-A
-
Bio-based semi-aromatic polyesters for coating applications
PublicationLinear and branched bio-based semi-aromatic (co)polyesters were evaluated as resins for solvent-basedand powder coatings. Dimethyl-2,5-furandicarboxylate (DMF), 2,3-butanediol and various multifunc-tional comonomers were used to synthesize amorphous hydroxyl-end-capped (co)polyesters. The resinswere cross-linked using the -caprolactam blocked trimer of isophorone diisocyanate. Both the solvent-based and powder coatings proved to...
-
Structural design and sensitivity analysis of semi-rigid pavement of a motorway
PublicationThis paper presents application of mechanistic-empirical methods in design of semi-rigid pavement for a section of a motorway in Poland. The stage construction was assumed. Three fatigue criteria were applied in the design. For asphalt fatigue cracking and subgrade soil the criteria from the Asphalt Institute (USA) were applied. For fatigue cracking of cement stabilized bases the Dempsey (USA) and De Beer (South Africa) criteria...
-
Strong mixing Markov semigroups on C1 are meager
PublicationDowodzi się, że zbiór tych półgrup operatorów Markowa na klasie Schattena C1, dla których w mocnej topologii operatorowej T(t) jest zbieżne do operatora Markowa Q, gdzie Q jest 1-wymiarową projekcją, jest zbiorem rzadkim w zbiorze wszystkich półgrup Markowa.
-
Average Size of a Suffix Tree for Markov Sources
PublicationWe study a suffix tree built from a sequence generated by a Markovian source. Such sources are more realistic probabilistic models for text generation, data compression, molecular applications, and so forth. We prove that the average size of such a suffix tree is asymptotically equivalent to the average size of a trie built over n independentsequences from the same Markovian source. This equivalenceis only known for memoryless...
-
Structural Design and Sensitivity Analysis of Semi-Rigid Pavement of a Motorway
PublicationThis paper presents application of mechanistic-empirical methods in design of semi-rigid pavement for a section of a motorway in Poland. The stage construction was assumed. Three fatigue criteria were applied in the design. For asphalt fatigue cracking and subgrade soil the criteria from the Asphalt Institute (1981) were applied. For fatigue cracking of cement stabilized bases the Dempsey (1984) and De Beer (1992) criteria were...
-
BEHAVIOURAL PROCESSES
Journals -
Discourse Processes
Journals -
Ecological Processes
Journals -
Special Issue on “Advanced Liquid Waste and Gas Waste Treatment Processes”
PublicationThe editorial contains a short review of the content of the Special Issue on waste gas and liquid streams treatment strategies.
-
Experimentally feasible semi-device-independent certification of four-outcome positive-operator-valued measurements
PublicationRecently the quantum information science community devoted a lot of attention to the theoretical and practical aspects of generalized measurements, the formalism of all possible quantum operations leading to acquisition of classical information. On the other hand, due to imperfections present in quantum devices, and limited thrust to them, a trend of formulating quantum information tasks in a semi-device-independent manner emerged....
-
Hidden Markov Models for Visual Processing of Marketing Leaflets
Publication -
On the mixing property and the ergodic principle for nonhomogeneous Markov chains
PublicationW pracy rozważane są różne typy zachowania granicznego nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym. Badana jest struktura geometryczna zbioru łańcuchów Markowa w normowej i mocnej topologii operatorowej.
-
The surface of a fragment of the structure of an integrated circuit in the semi-contact mode.
Open Research DataThe surface of a fragment of the structure of an integrated circuit. Topographic measurements in the semi-contact mode. NTEGRA Prima (NT-MDT) device. NSG 01 probe.
-
Concrete temperature measurements of cubic specimens cured under isothermal and semi-adiabatic conditions
Open Research DataThe DataSet contains temperature measurements of concrete cubes (150 x 150 x 150 mm) cured under isothermal and semi-adiabatic conditions. The specimens were moulded from six types of concrete mixtures produced in the laboratory conditions. Mix #1: Portland cement CEM I 42.5R and gravel aggregate, mix #2: CEM I 42.5R and basalt aggregate, mix#3: Portland-composite...
-
Ocena przydatności stosowania komory semi-bezechowej w przyczepie badawczej SLIPSONIC służącej do pomiarów hałasu opon.
PublicationOmówiono sposoby pomiaru odbić dźwięku oraz izolacyjności komory semi-bezechowej zastosowanej w przyczepie SLIPSONIC. Przedstawiono wyniki badań wykazujących jednoznacznie konieczność stosowania komór semi-bezechowych w przyczepach do badania hałasu opon.
-
Grzegorz Boczkaj dr hab. inż.
People -
Towards More Realistic Probabilistic Models for Data Structures: The External Path Length in Tries under the Markov Model
PublicationTries are among the most versatile and widely used data structures on words. They are pertinent to the (internal) structure of (stored) words and several splitting procedures used in diverse contexts ranging from document taxonomy to IP addresses lookup, from data compression (i.e., Lempel- Ziv'77 scheme) to dynamic hashing, from partial-match queries to speech recognition, from leader election algorithms to distributed hashing...
-
Implementing Change Management Processes in an Enterprise
PublicationThis work demonstrates how to implement change management processes in a company, based on the suitability of IBM software.
-
Balancing energy processes in turbine engines
PublicationThe article discusses the issue of balancing energy processes in turbine engines in operation in aeronautic and PDULQHSURSXOVLRQV\VWHPVZLWKWKHDLPWRDQDO\VHDQGHYDOXDWH EDVLFRSHUDWLQJSDUDPHWHUV7KH¿UVWSDUWSUHVHQWV the problem of enormous amounts of energy needed for driving fans and compressors of the largest contemporary turbofan engines commonly used in long-distance aviation. The amounts of the transmitted power and the effect RIÀRZSDUDPHWHUVDQGFRQVWUXFWLRQDOSURSHUWLHVRIWKHHQJLQHV RQWKHLUSHUIRUPDQFHDQGUHDOHI¿FLHQF\DUH evaluated....
-
Metrisability of managing of stream-systemic processes
PublicationTo achieve the planned goal, in order to properly describe the manufacturing system management, six process stream functions were introduced. Non-dimensional flows of these functions in time can be empirically defined during the manufacturing process. They are interpreted as non-dimensional expenses. Maximum values for these functions in properly-managed processes equal one. Also, a global management function was introduced, being...
-
Increased Certification of Semi-device Independent Random Numbers using Many Inputs and More Postprocessing
PublicationQuantum communication with systems of dimension larger than two provides advantages in information processing tasks. Examples include higher rates of key distribution and random number generation. The main disadvantage of using such multi-dimensional quantum systems is the increased complexity of the experimental setup. Here, we analyze a not-so-obvious problem: the relation between randomness certification and computational requirements...
-
Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction
PublicationNowadays, using smart connections can improve the performance of buildings with some recentering features that are from the superelastic behavior of Shape Memory Alloys (SMAs). It seems that there is different rigidity between the designed connection and the real one in Steel Moment-Resisting Frames (SMRFs), which can be considered as a problematic issue due to the importance of connections in seismic performance assessment. This...
-
A Surveillance Of Dynamic Processes in Selected Mechatronic Systems
PublicationThe paper concerns development of original method of optimal control at energy performance index and its application to dynamic processes surveillance of some mechatronic systems. The latter concerns chatter vibration surveillance during highspeed slender milling of rigid details, as well as motion control of two-wheeled mobile platform. Results of on-line computer simulations and real performance on the target objects reflect...
-
Synthesis and characterisation of polyurethane elastomers with semi-products obtained from polyurethane recycling
PublicationIn this work polyurethane elastomers were synthesised by using different mixtures of a petrochemical and glycerolysate polyols and 4,4-diphenylmethane diisocyanate (MDI). Glycerolysate polyol was produced from polyurethane foam decomposition using crude glycerine as a decomposition agent. The structure and thermal properties of obtained semi-product were similar to the polyol used in the synthesis of original foam. Glycerolysate...
-
Automation of Technological Processes 2024
e-Learning CoursesKurs do wykładu i seminarium z przedmiotu "Automation of Technological Process", II stopień studiów, sem. letni 2024
-
Automation of Business Processes- acitve
e-Learning Courses -
Automation of Technological Processes 2023
e-Learning CoursesKurs do wykładu i seminarium z przedmiotu "Automation of Technological Process", II stopień studiów, sem. letni 2023
-
Automation of Business Processes (2024)
e-Learning Courses -
Testing and sampling devices for monitoring volatile and semi-volatile organic compounds in indoor air
PublicationAdults spend most of their time in enclosed spaces (e.g., apartment, office and public buildings). According to research conducted by scientists, air quality indoors is much worse than the ambient air quality outdoors. Hazardous chemicals found in air indoors can adversely affect the functioning of the human body and cause many respiratory and circulatory diseases. Harmful chemical compounds (mainly volatile organic compounds and...
-
Issues of Measuring the Course of Batch Production Processes
PublicationIn order to meet demands induced by development of manufacturing processes and production systems, new criteria and indicators that would allow a multiple aspect and realistic rating of batch production process courses are necessary. The objective of this paper is to present the correlation between production processes measurement, its rating and production control, basing on case study analysis from production enterprise. A new...
-
Investigation of educational processes with affective computing methods
PublicationThis paper concerns the monitoring of educational processes with the use of new technologies for the recognition of human emotions. This paper summarizes results from three experiments, aimed at the validation of applying emotion recognition to e-learning. An analysis of the experiments’ executions provides an evaluation of the emotion elicitation methods used to monitor learners. The comparison of affect recognition algorithms...
-
Cavitation-Based Processes for Water and Wastewater Treatment
PublicationCavitation based on advanced oxidation processes (Cav-AOPs) is interesting alternatives for already implemented wastewater treatment technologies. Destructive and strongly undesirable phenomena in the industry, i.e., cavitation, revealed to be useful in a positive manner as a source of energy for chemical reactions. During the implosion of cavitation bubbles, focused energy and resulting high temperature and pressure allows to...
-
Ecology and Conservation of Steppes and Semi-Natural Grasslands
Publication -
Investigations of transverse stability of semi-displacement ships
PublicationPrzedstawiono wyniki eksperymentalnych badań modelowych poprzecznej stateczności jednostek półślizgowych, których celem było określenie wpływu prędkości oraz parametrów kształtu kadłuba na stateczność poprzeczną. Na podstawie wyników badań opracowano algorytmy, uwzględniające zmiany ramienia prostującego w funkcji prędkości, kąta przechyłu i parametrów geometrycznych kadłuba które mogą być wykorzystane do oceny stateczności poprzecznej...
-
A semi-empirical model for flow boiling heat transfer with account of the reduced pressure effect
PublicationIn the present study the attention was focused on the influence of reduced pressure on the predictions of heat transfer during flow boiling at the extensive range of pressures. The results of calculations were to test the sensitivity of the in-house flow boiling model with respect to the selection of the appropriate two-phase flow multiplier, which is one of the distinctive elements of that model. For this purpose a few two-phase...
-
An experimental study of high-hydrogen welding processes
PublicationThis paper presents investigation results of determination of the diffusible hydrogen content in deposited metal obtained by means of two most often used methods-the glycerin method and the mercury method. Relation has been defined between results of those methods in the area characteristic of low-hydrogen as well as high-hydrogen welding processes. Relations available in the literature do not include the diffusible hydrogen content...
-
Automatics and control of technical processes
e-Learning Courses -
Ontologically Aided Rule Model for the Implementation of ITIL Processes
PublicationThe implementation of ITIL processes in IT organizations can be seen as a set of interdependent projects. The sequence of the ITIL implementation relies on such parameters as scope, depth, the capability of processes and the maturity of the organization. These factors can form common patterns of ITIL implementation that might be expressed as rules. Also-to semantically reinforce such a model in its predictiveness and replicativeness-the...
-
Quantum-correlation breaking channels, broadcasting scenarios, and finite Markov chains
PublicationOne of the classical results concerning quantum channels is the characterization of entanglementbreakingchannels [M. Horodecki et al., Rev. Math. Phys 15, 629 (2003)]. We address the questionwhether there exists a similar characterization on the level of quantum correlations which may gobeyond entanglement. The answer is fully affirmative in the case of breaking quantum correlationsdown to the, so called, QC (Quantum-Classical)...
-
On Noncausal Identification of Nonstationary Multivariate Autoregressive Processes
PublicationThe problem of identification of nonstationary multivariate autoregressive processes using noncausal local estimation schemes is considered and a new approach to joint selection of the model order and the estimation bandwidth is proposed. The new selection rule, based on evaluation of pseudoprediction errors, is compared with the previously proposed one, based on the modified Akaike’s final prediction error criterion.
-
Modelling processes for Polish civil aviation market
PublicationThe present , paper is the first step in research of Polish civil aviation market, focusing on the area of civil, legacy airlines. First, the market is described with its players, current conditions and its main problems. Next, the tools which are currently used for the prognosis processes are presented. Finally, the idea of a new model (fuzzy model) for the process of prognosis is presented.
-
Business processes implementation using agent systems
PublicationThis paper will show that some complex and repetitive actions performed in a company can be modelled for the sake of optimization and automaton. It is achieved by connecting business processes management and agent paradigms. Moreover it shows that organization structure can be mapped to distributed multi agent system. Finally it states that interorganization communication can be automated on the same basis as intra-organization...
-
Model of an Integration Bus of Data and Ontologies of Smart Cities Processes
PublicationThis paper presents a model of an integration bus used in the design of Smart Cities system architectures. The model of such a bus becomes necessary when designing high-level architectures, within which the silo processes of the organization should be seen from the perspective of its ontology. For such a bus to be used by any city, a generic solution was proposed which can be implemented as a whole or in part depending on the requirements...