Filtry
wszystkich: 5728
wybranych: 2036
-
Katalog
- Publikacje 2036 wyników po odfiltrowaniu
- Czasopisma 129 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Wydawnictwa 3 wyników po odfiltrowaniu
- Osoby 186 wyników po odfiltrowaniu
- Projekty 31 wyników po odfiltrowaniu
- Kursy Online 99 wyników po odfiltrowaniu
- Wydarzenia 21 wyników po odfiltrowaniu
- Dane Badawcze 3222 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: gender stereotypes
-
Grand Challenges on the Theory of Modeling and Simulation
PublikacjaModeling & Simulation (M&S) is used in many different fields and has made many significant contributions. As a field in its own right, there have been many advances in methodologies and technologies. In 2002 a workshop was held in Dagstuhl, Germany, to reflect on the grand challenges facing M&S. Ten years on, a series of M& S Grand Challenge activities are marking a decade of progress and are providing an opportunity to reflect...
-
Test Design Patterns for Embedded Systems,
PublikacjaTest suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing methodology we introduce test design patterns for simplifying and accelerating...
-
Systematic Test Data Generation for Embedded Software
PublikacjaSystematic Test Data Generation for Embedded Software
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublikacjaMultiple time models have been proposed for the formalization of hybrid dynamic system behavior. The superdense notion of time is a well-known time model for describing event-based systems where several events can occur simultaneously. Hyperreals provide a domain for defining the semantics of hybrid models that is elegantly aligned with first principles in physics. This paper discusses the value of both time models and shows how...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublikacjaSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...
-
From U2TP Models to Executable Tests with TTCN-3
PublikacjaThe approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3)...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublikacjaThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
Semantics for an Interdisciplinary Computation
PublikacjaSemantics for an interdisciplinary computation is becoming increasingly difficult to capture while dealing with multi-domain problems. Expertise from Computer Science, Computer Engineering, Electrical Engineering, and other disciplines merges as engineering challenges in modern systems, such as, Cyber-Physical Systems, Smart Cities, and Bionic Systems must be tackled in a methodological manner. In this paper, a paradigm for formalization...
-
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublikacjaMBD
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublikacjaHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis
PublikacjaComputational representation.
-
Preparation, characterization and antimicrobial activity of polyvinyl alcohol/gum arabic/chitosan composite films incorporated with black pepper essential oil and ginger essential oil
Publikacja -
O07 Filaggrin insufficiency renders keratinocyte-derived small extracellular vesicles capable of affecting CD1a-mediated T-cell responses and promoting allergic inflammation
PublikacjaThe association between FLG loss-of-function mutations and the development of atopic dermatitis (AD) indicates that filaggrin is critical to skin barrier function; the mutations are also linked to additional allergic manifestations, but it is unknown how the skin may influence inflammation in distant tissues. Here we investigated the impact of filaggrin insufficiency on keratinocyte-derived exosome-enriched small extracellular...
-
Preparation, characterization and antimicrobial activity of polyvinyl alcohol/gum arabic/chitosan composite films incorporated with black pepper essential oil and ginger essential oil
PublikacjaIn this study, biocomposite films based on polyvinyl alcohol (PVA), gum arabic (GA) and chitosan (CS) incorporated with BPEO and GEO were fabricated by solvent casting method. FTIR, XRD, SEM and DSC were performed with mechanical and antimicrobial properties of PVA/GA/CS films with and without BPEO and GEO. The BPEO and GEO incorporated PVA/GA/CS films were significantly inhibited the growth of Bacillus cereus, Staphylococcus aureus,...
-
Comparative Study of Machining Technology Selection to Manufacture Large-Size Components of Offshore Constructions
PublikacjaThe focus of this paper is on process planning for large parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centres. The analysis of machining heavy mechanical components used in off-shore constructions has been carried out. Setup concepts applied and operation sequences determined in related process plans underwent studies. The paper presents in particular a reasoning approach...
-
Various types of semiconductor photocatalysts modified by CdTe QDs and Pt NPs for toluene photooxidation in the gas phase under visible light
PublikacjaA novel synthesis process was used to prepare TiO2 microspheres, TiO2 P-25, SrTiO3 and KTaO3 decorated by CdTe QDs and/or Pt NPs. The effect of semiconductor matrix, presence of CdTe QDs and/or Pt NPs on the semiconductor surface as well as deposition technique of Pt NPs (photodeposition or radiolysis) on the photocatalytic activity were investigated. The as-prepared samples were characterized by X-ray powder diffractometry (XRD),...
-
Preparation and Characterization of Au/Pd Modified-TiO2 Photocatalysts for Phenol and Toluene Degradation under Visible Light—The Effect of Calcination Temperature
PublikacjaRutile loaded with Au/Pd nanoparticles was prepared using a water-in-oil microemulsion system of water/AOT/cyclohexane followed by calcination.Theeffect of calcination temperature (from350 to 700∘C) on the structure ofAu/Pd nanoparticles deposited at rutile matrix and the photocatalytic properties of Au/Pd-TiO2 was investigated in two model reactions (toluene degradation in gas phase and phenol degradation in aqueous phase). The...
-
Ultrasound assisted rapid synthesis of mefenamic acid based indole derivatives under ligand free Cu-catalysis: Their pharmacological evaluation
Publikacja -
Musical Instrument Separation Applied to Music Genre Classification . Separacja instrumentów muzycznych w zastosowaniu do rozpoznawania gatunków muzycznych
PublikacjaThis paper outlines first issues related to music genre classification and a short description of algorithms used for musical instrument separation. Also, the paper presents proposed optimization of the feature vectors used for music genre recognition. Then, the ability of decision algorithms to properly recognize music genres is discussed based on two databases. In addition, results are cited for another database with regard to...
-
The reduction of (ImH)[trans-RuIIICl4(dmso)(Im)] under physiological conditions: preferential reaction of the reduced complex with human serum albumin
Publikacja -
Erosion under turbulent slurry flow: An experimental determination of particle impact angle, impact direction, and distribution thereof by image processing
Publikacja -
Deformation of thin metal and composite sheets by using anti-buckling fixture for large deformation under tension–compression cyclic loading
Publikacja -
Microorganisms from starter and protective cultures - Occurrence of antibiotic resistance and conjugal transfer of tet genes in vitro and during food fermentation
Publikacja -
Scanning with Laser Beam over the TiO2 Nanotubes Covered with Thin Chromium Layers towards the Activation of the Material under the Visible Light
Publikacja -
In silico study on the effects of carbonyl groups on chemical equilibrium of reactions with a polar product occurring under confinement in pores of activated carbons
Publikacja -
Influence of an Electronic Structure of N-TiO2 on Its Photocatalytic Activity towards Decomposition of Acetaldehyde under UV and Fluorescent Lamps Irradiation
Publikacja -
WITHDRAWN: The kinetics of phenol decomposition under UV irradiation with and without H2O2 on TiO2, Fe-TiO2 and Fe-C-TiO2 photocatalysts
Publikacja -
Effect of the carbon coating in Fe–C–TiO2 photocatalyst on phenol decomposition under UV irradiation via photo-Fenton process
Publikacja -
Degradacja stali 9CR-1Mo pod wpływem podwyższonej temperatury. Degradation of 9Cr-1Mo steel under the influence of elevated temperature
PublikacjaBadano charakterystyczne cechy degradacji mikrostruktury i właściwości mechanicznych stali 9Cr-1Mo gat. P9 ASTM SA-335 po eksploatacji w piecu rafineryjnym w temperaturze 390-500 stopni C. Wykazano, że po 30 000 godzin wydłużenie obniżyło się o około 30%. Przyczyną spadku wydłużenia były zmiany mikrostruktury związane z umocnieniem osnowy metalicznej przez chrom oraz wynikające z kruchości odpuszczania stali. Większy spadek wydłużenia...
-
The cytoprotective role of antioxidants in mammalian cells under rapidly varying temperature, pressure and UV conditions during stratospheric balloon campaign
Publikacja -
Expression of Selected Connexin and Aquaporin Genes and Real-Time Proliferation of Porcine Endometrial Luminal Epithelial Cells in Primary Culture Model
Publikacja -
The Significance of MicroRNAs Expression in Regulation of Extracellular Matrix and Other Drug Resistant Genes in Drug Resistant Ovarian Cancer Cell Lines
Publikacja -
Amberlyst-15 catalysed synthesis of novel indole derivatives under ultrasound irradiation: Their evaluation as serotonin 5‑HT2C receptor agonists
Publikacja -
A Salp-Swarm Optimization based MPPT technique for harvesting maximum energy from PV systems under partial shading conditions
Publikacja -
Crack monitoring in concrete beams under bending using ultrasonic waves and coda wave interferometry: the effect of excitation frequency on coda
PublikacjaConcrete is one of the most widely used construction materials in the world. In recent years, various non-destructive testing (NDT) and structural health monitoring (SHM) techniques have been investigated to improve the safety and control of the current condition of concrete structures. This study focuses on micro-crack monitoring in concrete beams. The experimental analysis was carried out on concrete elements subjected to three-point...
-
Interval estimator for chlorine monitoring in drinking water distribution systems under uncertain system dynamics, inputs and state measurement errors
PublikacjaThe design of interval observer for estimation of unmeasured state variables for application to drinking water distribution systems is described in this paper. In particular, it considers the design of such observer for estimation of water quality described by free chlorine concentration. An interval observer is derived to produce robust interval bounds on the estimated water quality state variables. The stability and robustness...
-
Molecular typing of Staphylococcus aureus isolated from cows with mastitis in the east of Poland on the basis of polymorphism of genes coding protein A and coagulase
PublikacjaPolimorfizm genów kodujących białko A i koagulazę wykorzystano do badania zmienności genetycznej bakterii Staphylococcus aureus wyizolowanych z gruczołów mlekowych krów u których stwierdzono stan zapalny. W badanej grupie 82 szczepów wyróżniono 24 genotypy.
-
Evaluation of immune responses in sheep induced by DNA immunization with genes encoding GRA1, GRA4, GRA6 and GRA7 antigens of Toxoplasma gondii
PublikacjaW niniejszej pracy oszacowano odpowiedź immunologiczną owiec szczepionych domięśniowo szczepionkami DNA zawierającymi geny kodujące cztery antygeny granul o dużej gęstości (GAR1, GRA4, GRA6 oraz GRA7) Toxoplasma gondii. Wykazano, iż wykorzystanie DNA plazmidu pGRA7 indukuje znaczący poziom przeciwciał IgG-2 anty-GRA7 oraz IFN-gammma, podczas gdy iniekcja pGRA1, pGRA4 oraz pGRA6 stymuluje odpowiedź przeciwciał IgG1 z ograniczoną...
-
Softly switched robustly feasible mpc for constrained linear systems under set bounded uncertainty- LQ-MPC with IC action
PublikacjaNie jest możliwe efektywne sterowanie procesem w szerokim zakresie zmian warunków operacyjnych przy użyciu jednego uniwersalnego regulatora. W pracy zaproponowano koncepcję sposobu regulacji polegającego na przełączaniu wielu regulatorów uzależnionego od stanu operacyjnego systemu. Często twarde przełączanie regulatorów nie jest pożądane lub wręcz możliwe, alternatywą jest ich miękkie przełączanie. W pracy rozważany jest problem...
-
Pore water phosphate and ammonia below the permanent halocline in the south-eastern Baltic Sea and their benthic fluxes under anoxic conditions
Publikacja -
Identification of Powdery Mildew Blumeria graminis f. sp. tritici Resistance Genes in Selected Wheat Varieties and Development of Multiplex PCR
Publikacja -
Amberlyst-15 catalysed synthesis of novel indole derivatives under ultrasound irradiation: Their evaluation as serotonin 5‑HT2C receptor agonists
PublikacjaA series of indole based novel Schiff bases was designed as potential agonists of 5‑HT2C receptor that was supported by docking studies in silico. These compounds were synthesized via Amberlyst-15 catalysed condensation of an appropriate pyrazole based primary amine with the corresponding indole-3-aldehyde under ultrasound irradiation at ambient temperature. A number of target Schiff bases were obtained...
-
Effect of synthesis method parameters on properties and photoelectrocatalytic activity under solar irradiation of TiO2 nanotubes decorated with CdS quantum dots
PublikacjaThe growing research interest on photoelectrocatalysis has encouraged the search for new materials with high activity and the development of methods for their synthesis. The successive ionic layer adsorption and reaction (SILAR) method is an effective way to synthesize materials with photoelectrocatalytic (PEC) properties that are active under visible radiation. Therefore, studies on the impact of the parameters of the SILAR method...
-
Changes in Epigenetic Patterns Related to DNA Replication in Vicia faba Root Meristem Cells under Cadmium-Induced Stress Conditions
PublikacjaExperiments on Vicia faba root meristem cells exposed to 150 µM cadmium chloride (CdCl2) were undertaken to analyse epigenetic changes, mainly with respect to DNA replication stress. Histone modifications examined by means of immunofluorescence labeling included: (1) acetylation of histone H3 on lysine 56 (H3K56Ac), involved in transcription, S phase, and response to DNA damage during DNA biosynthesis; (2) dimethylation of histone...
-
Ti/TiO2 nanotubes sensitized PbS quantum dots as photoelectrodes applied for decomposition of anticancer drugs under simulated solar energy
PublikacjaOne of the challenges in research into photoelectrocatalytic (PEC) degradation of pollutants is finding the appropriate photoanode material, which has a significant impact on the process efficiency. Among all others, photoelectrodes based on an ordered TiO2 nanotube arrays are a promising material due to well-developed surface area and efficient charge separation. To increase the PEC activity of this material, the SILAR method was...
-
Fragility analysis of structural pounding between adjacent structures arranged in series with various alignment configurations under near‑field earthquakes
PublikacjaA major cause of local to total damages is related to structural pounding in a large number of past earthquakes. In general, these collisions take place as a result of differences in the dynamic characteristics of the colliding structures. To acquire a better perception of the behavior of structures, in this paper, three structures featuring different heights are modeled in series and with various configurations next to each other...
-
Stability analysis of nanobeams in hygrothermal environment based on a nonlocal strain gradient Timoshenko beam model under nonlinear thermal field
PublikacjaThis article is dedicated to analyzing the buckling behavior of nanobeam subjected to hygrothermal environments based on the principle of the Timoshenko beam theory. The hygroscopic environment has been considered as a linear stress field model, while the thermal environment is assumed to be a nonlinear stress field based on the Murnaghan model. The size-dependent effect of the nanobeam is captured by the nonlocal strain gradient...
-
Rotational state-changing collisions of C2H− and C2N− anions with He under interstellar and cold ion trap conditions: A computational comparison
PublikacjaWe present an extensive range of quantum calculations for the state-changing rotational dynamics involving two simple molecular anions that are expected to play some role in the evolutionary analysis of chemical networks in the interstellar environments, C2H− (X1Σ+) and C2N− (X3Σ−), but for which inelastic rates are only known for C2H−. The same systems are also of direct interest in modeling selective photo-detachment experiments...
-
FE calculations of a deterministic and statistical size effect in concrete under bending within stochastic elasto-plasticity and non-local softening
PublikacjaW artykule przedstawiony wyniki obliczeń MES deterministycznego i statystycznego efektu skali w belkach betonowych podczas zginania. Zastosowano model w ramach stochastycznej sprężysto-plastyczności i nielokalnego osłabienia. Belki były geometrycznie podobne. Wyniki porównano z modelem efektu skali Bazanta.
-
FE-analysis of spacing of localized zones in reinforced concrete bars under tension using elasto-plasticity with non-local softening
PublikacjaW artykule przedstawiono wyniki numerycznej analizy lokalizacji odkształceń w pręcie żelbetowym poddanym rozciąganiu. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i sprężysto-plastycznego modelu z nielokalnym osłabieniem. Pokazano wpływ różnych parametrów na nośność pręta i rozstaw lokalizacji.