Filters
total: 5770
filtered: 2063
-
Catalog
- Publications 2063 available results
- Journals 129 available results
- Conferences 1 available results
- Publishing Houses 3 available results
- People 192 available results
- Projects 31 available results
- e-Learning Courses 99 available results
- Events 21 available results
- Open Research Data 3231 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: Gender stereotypes
-
Notched concrete beams under bending - calculations of size effects within stochastic elasto-plasticity with non-local softening
PublicationW artykule przedstawiono wyniki numerycznej analizy efektów skali (efektu deterministycznego i stochastycznego) w belkach betonowych nacięciem poddanych zginaniu z uwzględnieniem lokalizacji odkształceń. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i sprężysto-plastycznego modelu z nielokalnym osłabieniem. Pokazano wpływ wielkości belek na nośność z uwzględnieniem stochastycznego rozkładu wytrzymałości na...
-
Finite element investigations of granular material behaviour during cyclic wall shearing under a constant normal stiffness condition
PublicationW artykule przedstawiono wyniki numnerycznej analizy zachowania sie materiałów granulowanych podczas cyklicznego ścinanai wzdłuz szorstkiej ściany z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego nodelu hipopalstycznego. Obliczenia wykonano dla róznych sztywności, początkowych wskaźników porowatości i sredniej średnicy ziarna. Wyniki numeryczne porównano...
-
Computational simulations of concrete behaviour under dynamic conditions using elasto-visco-plastic model with non-local softening.
PublicationW artykule przedstawiono wyniki obliczeniowych symulacji zachowania betonu w warunkach dynamicznych stosując sprężysto-lepko-plastyczny model z nielokalnym osłabieniem. Wykonano obliczenia dla ściskania jednoosiowego, rozciągania jednoosiowego i zginania. Dla dużych prędkości obciążenia uwzględniono fragmentację materiału. Wyniki porównano z doswiadczeniami.
-
Dworce na nowej drodze
PublicationArtykuł jest podsumowaniem międzynarodowej konferencji wdrożeniowej pt. "Dworzec kolejowy w strukturze miasta - nowe szanse" (Tczew/30-31.01.2006r.). Podstawowym założeniem programowym organizatorów była próba przełamania złego stereotypu, który przylgnął do polskich dworców, jako miejsc nieatrakcyjnych, brudnych i niebezpiecznych. Przyjęto, iż podobnie jak w Europie Zachodniej nasze dworce mogą stać się jednymi z najatrakcyjniejszych...
-
The Towers of Hanoi as a Cyber-Physical System Education Case Study
Publicationcps
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublicationPhD
-
Three-dimensional conceptual model for service-oriented simulation
Publicationn this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of the current simulation frameworks. In particular, the model inspects the crossover between the disciplines of modeling and simulation, service-orientation, and software/systems engineering. Finally,...
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublicationFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
Quality of Test Specification by Application of Patterns
PublicationEmbedded system and software testing requires sophisticated methods, which are nowadays frequently supported by application of test patterns. This eases the test development process and contributes to the reusability and maintainability of the test specification. However, it does not guarantee the proper level of quality and test coverage in d ifferent dimensions of the test specification. In this paper the quality of the test...
-
Technical Engine for Democratization of Modeling, Simulations, and Predictions
PublicationComputational science and engineering play a critical role in advancing both research and daily-life challenges across almost every discipline. As a society, we apply search engines, social media, and se- lected aspects of engineering to improve personal and professional growth. Recently, leveraging such aspects as behavioral model analysis, simulation, big data extraction, and human computation is gain- ing momentum. The nexus...
-
Grand Challenges on the Theory of Modeling and Simulation
PublicationModeling & 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,
PublicationTest 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
PublicationSystematic Test Data Generation for Embedded Software
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublicationMultiple 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
PublicationSystematic 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...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublicationThe 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
PublicationSemantics 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...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid 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
PublicationComputational representation.
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil
PublicationDie Entwicklung von eingebetteten Systemen im Auto mobilbereich zeichnet sich zunehmend durch steigende Komplexität der zu entwickelnden Fahrzeugfunktionen aus. Die Handhabung dieser Kompl exität wird über entsprechend mächtige Werkzeuge, welche die verschi edenen Aktivitäten des Softwareentwicklungsprozesses unterstützen, angestr ebt. Als eine Schwachstelle erweist sich dabei, dass die eingesetzten Werkzeugk etten im Automobilbereich...
-
Automotive Validation Functions for On-line Test Evaluation of Hybrid Real-time Systems
PublicationThe aim of this paper is to present the means of black-box on-line test evaluation for hybrid real-time systems. The described procedures can be used for the model-based testing process so as to improve its effectiveness. In particular, intelligent automotive validation functions are considered, which are divided into different types depending on the nature of the evaluated issue. All provided definitions are specified on the meta-model...
-
Test Execution Logging and Visualization Techniques
PublicationTraditionally, log traces of test cases ex ecution are stored in textual format and their analysis is done in a post- execution phase. Our approach bases on the concept of gr aphical presentation of te st execution which enables better analysis of log traces and also gives the opportunity to consider them on-line. In particular, we discuss the graphical symbols we chose, we pres ent the logging interface we defined a nd describe...
-
From U2TP Models to Executable Tests with TTCN-3
PublicationThe 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-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublicationMBD
-
Preparation, characterization and antimicrobial activity of polyvinyl alcohol/gum arabic/chitosan composite films incorporated with black pepper essential oil and ginger essential oil
Publication -
O07 Filaggrin insufficiency renders keratinocyte-derived small extracellular vesicles capable of affecting CD1a-mediated T-cell responses and promoting allergic inflammation
PublicationThe 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
PublicationIn 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
PublicationThe 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...
-
The New Klebsiella pneumoniae ST152 Variants with Hypermucoviscous Phenotype Isolated from Renal Transplant Recipients with Asymptomatic Bacteriuria-Genetic Characteristics by WGS.
PublicationKlebsiella pneumoniae (Kp) is one of the most important etiological factors of urinary tract infections in renal transplant (RTx) recipients. We described the antimicrobial susceptibility phenotypes and genomic features of two hypermucoviscous (HM) Kp isolates recovered from RTx recipients with asymptomatic bacteriuria (ABU). Using whole genome sequencing (WGS) data, we showed that the strains belong to the ST152 lineage with the...
-
Prediction of Early Childhood Caries Based on Single Nucleotide Polymorphisms Using Neural Networks
Publication -
Genetic Background and Antibiotic Resistance Profiles of K. pneumoniae NDM-1 Strains Isolated from UTI, ABU, and the GI Tract, from One Hospital in Poland, in Relation to Strains Nationally and Worldwide
PublicationIn recent years, there has been an observed increase in infections caused by carbapenem-resistant Klebsiella pneumonia (Kp) strains. The aim of this study was the phenotypic and genotypic analysis of eight K. pneumoniae NDM (Kp NDM) isolates, recovered in Poland during the years 2016 and 2018 from seven patients with urinary tract infections (UTIs), asymptomatic bacteriuria (ABU), or colonization of the gut. PCR melting profile...
-
Black Devils in Normandy—Identification of an Unknown Soldier Found in the Polish War Cemetery of Urville-Langannerie (France)
Publication -
Association of LBX1 Gene Methylation Level with Disease Severity in Patients with Idiopathic Scoliosis: Study on Deep Paravertebral Muscles
Publication -
Evaluating the Role of Circulating Dendritic Cells in Methimazole-Treated Pediatric Graves’ Disease Patients
Publication -
HLA-DQA1*05 Associates with Extensive Ulcerative Colitis at Diagnosis: An Observational Study in Children
Publication -
Estrogen Receptor Type 1 and Type 2 Presence in Paravertebral Skeletal Muscles: Expression Level and Relation to Phenotype in Children with Idiopathic Scoliosis
Publication -
Methylation of Estrogen Receptor 1 Gene in the Paraspinal Muscles of Girls with Idiopathic Scoliosis and Its Association with Disease Severity
Publication -
Ultrasound assisted rapid synthesis of mefenamic acid based indole derivatives under ligand free Cu-catalysis: Their pharmacological evaluation
Publication -
The cytoprotective role of antioxidants in mammalian cells under rapidly varying temperature, pressure and UV conditions during stratospheric balloon campaign
Publication -
Crack monitoring in concrete beams under bending using ultrasonic waves and coda wave interferometry: the effect of excitation frequency on coda
PublicationConcrete 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...
-
Changes in Epigenetic Patterns Related to DNA Replication in Vicia faba Root Meristem Cells under Cadmium-Induced Stress Conditions
PublicationExperiments 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...
-
Amberlyst-15 catalysed synthesis of novel indole derivatives under ultrasound irradiation: Their evaluation as serotonin 5‑HT2C receptor agonists
PublicationA 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
PublicationThe 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...
-
Fragility analysis of structural pounding between adjacent structures arranged in series with various alignment configurations under near‑field earthquakes
PublicationA 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...
-
Expression of Selected Connexin and Aquaporin Genes and Real-Time Proliferation of Porcine Endometrial Luminal Epithelial Cells in Primary Culture Model
Publication -
The Significance of MicroRNAs Expression in Regulation of Extracellular Matrix and Other Drug Resistant Genes in Drug Resistant Ovarian Cancer Cell Lines
Publication -
Amberlyst-15 catalysed synthesis of novel indole derivatives under ultrasound irradiation: Their evaluation as serotonin 5‑HT2C receptor agonists
Publication -
A Salp-Swarm Optimization based MPPT technique for harvesting maximum energy from PV systems under partial shading conditions
Publication -
Ti/TiO2 nanotubes sensitized PbS quantum dots as photoelectrodes applied for decomposition of anticancer drugs under simulated solar energy
PublicationOne 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...