Filters
total: 23455
filtered: 2552
-
Catalog
- Publications 2552 available results
- Journals 248 available results
- Publishing Houses 1 available results
- People 182 available results
- Inventions 6 available results
- Projects 31 available results
- Research Teams 7 available results
- e-Learning Courses 107 available results
- Events 29 available results
- Open Research Data 20292 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: ovarian cancer
-
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...
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublicationThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
The Towers of Hanoi as a Cyber-Physical System Education Case Study
Publicationcps
-
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,...
-
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...
-
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...
-
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...
-
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...
-
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)...
-
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...
-
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublicationMBD
-
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.
-
Inline Waveguide Filter With Transmission Zeros Using a Modified-T-Shaped-Post Coupling Inverter
PublicationThis letter reports the design techniques for a class 2 of inline waveguide bandpass filters with sharp-rejection capabil3 ities at the lower stopband based on a novel nonlinear-frequency4 variant-coupling (NFVC) structure. The proposed NFVC consists 5 of a modified-T-shaped metallic post (MTP) that is placed at the 6 center of the waveguide broad wall with its open arms lying 7 along the waveguide width. The engineered NFVC structure 8...
-
Dynamic F-free Coloring of Graphs
PublicationA problem of graph F-free coloring consists in partitioning the vertex set of a graph such that none of the resulting sets induces a graph containing a fixed graph F as an induced subgraph. In this paper we consider dynamic F-free coloring in which, similarly as in online coloring, the graph to be colored is not known in advance; it is gradually revealed to the coloring algorithm that has to color each vertex upon request as well...
-
HDAC Inhibitors: Innovative Strategies for Their Design and Applications
PublicationHistone deacetylases (HDACs) are a large family of epigenetic metalloenzymes that are involved in gene transcription and regulation, cell proliferation, differentiation, migration, and death, as well as angiogenesis. Particularly, disorders of the HDACs expression are linked to the development of many types of cancer and neurodegenerative diseases, making them interesting molecular targets for the design of new efficient drugs...
-
Analiza i badania transformatora hybrydowego z przekształtnikiem AC/DC/AC współdziałającym z przełącznikiem zaczepów
PublicationRozprawa dotyczy badań nad układem transformatora hybrydowego, który oprócz możliwości regulacji ciągłej napięcia za pomocą przekształtnika energoelektronicznego, posiada układ regulacji skokowej w postaci przełącznika zaczepów. Badane urządzenie przeznaczone jest do stabilizacji napięcia w dystrybucyjnej sieci niskiego napięcia. Dzięki skoordynowanej pracy układów (ciągłego i skokowego) uzyskana zostaje tzw. Wielostrefowa Regulacja...
-
STEADY STATE VISUALLY EVOKED POTENTIALS FOR BRAIN COMPUTER INTERFACE
PublicationAn experiment conducted to validate a possibility of use a single active electrode EEG device for detecting Steady State Visually Evoked Potentials (SSVEP) is shown. A LED stimulator was applied to stimulate patients with two different frequencies - 13 Hz and 17 Hz. First, EEG signals were recorded and pre-processed using MATLAB software. In the next step recordings were analysed and classified employing the WEKA software. As indicated...
-
EXPERIMENTAL ANALYSIS OF CONNECTION BETWEEN OBJECT-ORIENTED METRICS AND SOFTWARE CHANGEABILITY
PublicationFor the purpose of video surveillance software quality assessment in this work the ISO/IEC-9126 norm was used with a particular focus on maintainability of the software system. The paper presents a study on the connection between software metrics derived from the static analysis of the source code and changeability of the video surveillance software system. It is shown that meeting requirements of software quality metrics may result...
-
Praktyczne wykorzystanie modelu iso-9126 oraz narzędzi wspomagających proces testowania przy ocenie jakości oprogramowania
Publicationdokument opisuje wykorzystanie modelu jakości oprogramowania iso-9126 do oceny jakości aplikacji do rozpoznawania osób i zdarzeń, przygotowanej w ramach unijnego projektu mayday euro 2012. zawiera przegląd wykorzystanych technik oraz narzędzi i sposób ich użycia przy ocenie jakości w zakresie funkcjonalności, niezawodności oraz łatwości utrzymania oprogramowania.
-
Novel anticancer strategy aimed at targeting shelterin complexes by the induction of structural changes in telomeric DNA: hitting two birds with one stone.
PublicationThe ends of chromosomes in mammals are composed of telomeric DNA containing TTAGGG repeats, which bind specific proteins called shelterins. This telomeric DNA together with shelterins form a cap that protects the ends of chromosomes from being recognized as sites of DNA damage and from chromosomal fusions. Many very successful antitumor drugs used in the treatment of cancer patients bind to DNA, some of them with a prominent sequence...
-
CANE PRUNING INTENSITY OF VINE AS A SUBSTANTIAL FACTOR INFLUENCING PHYSICO-CHEMICAL ATTRIBUTES OF BERRIES CULTIVAR ‘REGENT’
Publication -
Synthesis and steroid sulfatase inhibitory activities of N-alkanoyl tyramine phosphates and thiophosphates
PublicationA series of phosphate and thiophosphate analogs based on the frameworks of N-alkanoyl tyramines have been synthesized and biologically evaluated. Their binding modes have been modeled using docking techniques. The inhibitory effects of the synthesized compounds were tested on STS isolated from the human placenta as well as the MCF-7, MDA-MB-231 and SkBr3 cancer cell lines. Most of the new STS inhibitors possessed potent activity...
-
Evaluation and cellular responses of modulators of TRF1/TRF2 protein’s function as potential anticancer drugs interfering with telomeric shelterin’s function
PublicationA number of proteins that interact with telomeres have been identified in human cells, indicating the high plasticity of human nucleoprotein complex organization. The most important complex is the "shelterin" complex, which consists of six proteins: TRF1, TRF2, TIN2, POT1, TPP1. The TRF1 and TRF2 directly bind to telomeric double-stranded DNA and the TIN2 protein. The TIN2 protein also binds to the TPP1 protein, stabilizing the...
-
Creating a radiological database for automatic liver segmentation using artificial intelligence.
PublicationImaging in medicine is an irreplaceable stage in the diagnosis and treatment of cancer. The subsequent therapeutic effect depends on the quality of the imaging tests performed. In recent years we have been observing the evolution of 2D to 3D imaging for many medical fields, including oncological surgery. The aim of the study is to present a method of selection of radiological imaging tests for learning neural networks.
-
Efficiency of Biomass Energy used for Heating Purposes in a Residential Building in Comparison with other Energy Sources
PublicationThis paper discusses the results of analyses investigating the energy efficiency of biomass in comparison with other popular energy carriers used for heating, ventilation and water heating in residential buildings. The compared energy sources were lignite, natural gas, heating oil and electricity produced by conventional and integrated power generation plants. The most efficient variant relying on biomass and the least efficient...
-
Longitudinal drug synergy assessment using convolutional neural network image-decoding of glioblastoma single-spheroid cultures
PublicationAbstract Background In recent years, drug combinations have become increasingly popular to improve therapeutic outcomes in various diseases, including difficult to cure cancers such as the brain cancer glioblastoma. Assessing the interaction between drugs over time is critical for predicting drug combination effectiveness and minimizing the risk of therapy resistance. However, as viability readouts of drug combination experiments...
-
Comprehensive Review of Fluorescence Applications in Gynecology
PublicationSince the introduction of indocyanine green (ICG) as a fluorophore in near-infrared imaging, fluorescence visualization has become an essential tool in many fields of surgery. In the field of gynecology, recent new applications have been proposed and found their place in clinical practice. Different applications in gynecology were investigated, subcategorized, and overviewed concerning surgical applications and available dyes....
-
Evaluation of Health Hazard Due to Emission of Volatile Organic Compounds from Various Processing Units of Wastewater Treatment Plant
PublicationThe paper describes an attempt at health risk assessment and odour concentration determination in the most important units of a wastewater treatment plant. The cancer risk (CR) and hazard index (HI) parameters in selected measurement locations were calculated based on the results of chromatographic analyses (GCxGC-TOF-MS) and the United States Environmental Protection Agency (US EPA) guidelines. No exceedance of the CR and HI acceptable...
-
Anticarcinogenic and antioxidant activities of leaves and flowers hydroalcoholic extracts of Nerium oleander L.: PCA analysis and phytochemical content by FTIR spectroscopy
PublicationAims: The aim of this work is the evaluation the anticarcinogenic effect on HT29 cancer cells lines and antioxidant effect of three extracts from different morphological parts (leaves (LE), pink flowers (PFE) and white flowers (WFE)) of Nerium oleander lin. Methods: This research provides the anticarcinogenic activity of extracts from N. oleander white flowers. Principal Component Analysis (PCA) was applied to estimate the relationship...
-
Stardust - Investigation of Microbes in the Stratosphere
PublicationThe stratospheric microbiome has been investigated several times using the methods of classical microbiology. In this experiment, we have combined them with some novel approaches including whole- metagenome amplification, Maldi TOF mass spectrometry and Sanger DNA sequencing. The results of the experiment may provide the scientists with knowledge about the mechanisms of survivability of microorganisms in stratospheric conditions...
-
Muramyl dipeptide-based analogs as potential anticancer compounds: Strategies to improve selectivity, biocompatibility, and efficiency
PublicationAccording to the WHO, cancer is the second leading cause of death in the world. This is an important global problem and a major challenge for researchers who have been trying to find an effective anticancer therapy. A large number of newly discovered compounds do not exert selective cytotoxic activity against tumorigenic cells and have too many side effects. Therefore, research on muramyl dipeptide (MDP) analogs has attracted interest...
-
In Vitro and In Vivo Imaging-Based Evaluation of Doxorubicin Anticancer Treatment in Combination with the Herbal Medicine Black Cohosh
PublicationAs a substitution for hormone replacement therapy, many breast cancer patients use black cohosh (BC) extracts in combination with doxorubicin (DOX)-based chemotherapy. In this study, we evaluated the viability and survival of BC- and DOX-treated MCF-7 cells. A preclinical model of MCF-7 xenografts was used to determine the influence of BC and DOX administration on tumor growth and metabolism. The number of apoptotic cells after...
-
Young Shoots of White and Red Headed Cabbages Like Novel Sources of Glucosinolates as Well as Antioxidative Substances
PublicationMost literature data indicate that the diet rich in plant products reduces the risk of developing chronic non-communicable diseases and cancer. Brassica vegetables are almost exclusively synthesizing glucosinolates. Glucosinolates are higher in sprouts than in mature plants, being related to the activity of the specific myrosinase involved in the degradation of glucosinolates during developmental stages. This study compares the...
-
Toward Mechanosynthesis of diamondoid structures: III. Quantum-chemical study of silylene molecule and silicon atom transfer mechanism from caped SWCNT tip to the reaction center on a hydrogenated Si(111) surface
PublicationOpublikowana wcześniej (Modelling Simul. Mater. Sci. Eng., Vol. 7, 1999, pp. 43-58) strategia mechanosyntezy struktur krzemu na uwodornionej płaszczyźnie Si(111) została poszerzona poprzez uwzględnienie ostrza w postaci zamkniętej SWCNT jako urządzenia kontrolującego położenie cząsteczki sililenu oraz atomu krzemu.
-
Future of medicine: personalized oncology
PublicationUnderstanding genetic and epigenetic mechanisms of tumorigenesis allows identifying many vital mutations affected the formation of various malignancies. This led to the discovery of a new therapeutic approach, based on molecular mechanisms in the world of medicine, which is called personalized medicine (PM). This review aims to outline the state of the art of the personalized medicine in treatment, taking into account anti-cancer...
-
Transcriptomic Effects of Estrogen Starvation and Induction in the MCF7 Cells. The Meta-analysis of Microarray Results
PublicationEstrogen is one of the most important signaling molecules which targets a number of genes. Estrogen levels regulate cell proliferation and a plethora of metabolic processes, which may interfere with a range of medical conditions and drug metabolism. The MCF7 breast cancer cell line, expressing the estrogen receptor α, is a well-studied model of cellular answer to estrogen. The aim of this study was to characterize transcriptomic...
-
Fracture Surface Topography Parameters for S235JR Steel Adhesive Joints After Fatigue Shear Testing
PublicationThis paper presents the experimental results of a study investigating the effect of holes and notches made on the overlap ends on the strength of adhesive joints. Single-lap joints made of S235JR steel sheets bonded with Araldite 2024-2 epoxy adhesive were tested. For comparative reasons, static shear strength tests and high-cycle fatigue strength tests were performed. Adhesive-filled joints having three holes, each with a diameter...
-
Anticancer and antimicrobial properties of novel η6-p-cymene ruthenium(ii) complexes containing a N,S-type ligand, their structural and theoretical characterization
PublicationRuthenium(II) complexes are lately of great scientific interest due to their chemotherapeutic potential asanticancer and antimicrobial agents. Here we present the synthesis of new pyrazole carbothioamidederivatives and their four arene–ruthenium complexes. The title compounds were characterized with theapplication of IR, NMR, mass spectrometry, elemental analysis and X-ray diffraction. Additionally, for newcomplexes DFT calculations...
-
2D MXene nanocomposites: electrochemical and biomedical applications
PublicationIn recent years, key questions about the interaction of 2D MXene nanomaterials in electrochemical and biomedical applications have been raised. Most research has focused on clarifying the exclusive properties of the materials; however, only limited reports have described the biomedical applications of 2D nanomaterials. 2D MXenes are monolayer atomic nanosheets resulting from MAX phase ceramics. The hydrophilic properties, metallic...
-
Consensus conference: Implementing treatment recommendations on yttrium-90 immunotherapy in clinical practice – Report of a European workshop
Publication -
Common variants of DNA repair genes and malignant melanoma
Publication -
Novel TG‐FGFR1 and TRIM33‐NTRK1 transcript fusions in papillary thyroid carcinoma
Publication -
Glioma cells showing IDH1 mutation cannot be propagated in standard cell culture conditions
Publication -
Photodynamic therapy with 5-aminolevulinic acid and diamino acid derivatives of protoporphyrin IX reduces papillomas in mice without eliminating transformation into squamous cell carcinoma of the skin
Publication