Filtry
wszystkich: 1415
wybranych: 1087
-
Katalog
- Publikacje 1087 wyników po odfiltrowaniu
- Czasopisma 15 wyników po odfiltrowaniu
- Konferencje 2 wyników po odfiltrowaniu
- Osoby 27 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 10 wyników po odfiltrowaniu
- Wydarzenia 1 wyników po odfiltrowaniu
- Dane Badawcze 267 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: INTERSECTORAL MOBILITY
-
DC and AC Conductivity, Biosolubility and Thermal Properties of Mg-Doped Na2O–CaO–P2O5 Glasses
PublikacjaBioactive glasses have recently been extensively used to replace, regenerate, and repair hard tissues in the human body because of their ability to bond with living tissue. In this work, the effects of replacing Na2O with MgO on the electrical, biosolubility, and thermal properties of the target glass 10Na2O–60P2O5–30CaO (in mol%) were investigated. The electrical properties of the glasses were studied with the impedance spectroscopy...
-
Changes in the Global Competitiveness Index 4.0 Methodology: The Improved Approach of Competitiveness Benchmarking
PublikacjaThe Global Competitiveness Index (GCI) developed by the World Economic Forum (WEF) is used as a standard for measuring a country’s competitiveness. However, in literature, the GCI has been accused of numerous methodological flaws. Consequently, in 2018, the WEF introduced significant methodological changes. This study aims to examine whether the methodological modifications in the GCI’s structure increase its ability to capture...
-
Magnetic Signature Description of Ellipsoid-Shape Vessel Using 3D Multi-Dipole Model Fitted on Cardinal Directions
PublikacjaThe article presents a continuation of the research on the 3D multi-dipole model applied to the reproduction of magnetic signatures of ferromagnetic objects. The model structure has been modified to improve its flexibility - model parameters determined by optimization can now be located in the cuboid contour representing the object's hull. To stiffen the model, the training dataset was expanded to data collected from all four cardinal...
-
Multicopy Suppressor Analysis of Strains Lacking Cytoplasmic Peptidyl-Prolyl cis/trans Isomerases Identifies Three New PPIase Activities in Escherichia coli That Includes the DksA Transcription Factor
PublikacjaConsistent with a role in catalyzing rate-limiting step of protein folding, removal of genes encoding cytoplasmic protein folding catalysts belonging to the family of peptidyl-prolyl cis/trans isomerases (PPIs) in Escherichia coli confers conditional lethality. To address the molecular basis of the essentiality of PPIs, a multicopy suppressor approach revealed that overexpression of genes encoding chaperones (DnaK/J and GroL/S),...
-
PTD4 Peptide Increases Neural Viability in an In Vitro Model of Acute Ischemic Stroke
PublikacjaIschemic stroke is a disturbance in cerebral blood flow caused by brain tissue ischemia and hypoxia. We optimized a multifactorial in vitro model of acute ischemic stroke using rat primary neural cultures. This model was exploited to investigate the pro-viable activity of cell-penetrating peptides: arginine-rich Tat(49–57)-NH2 (R49KKRRQRRR57-amide) and its less basic analogue, PTD4 (Y47ARAAARQARA57-amide). Our model included glucose...
-
Ukrainian Market of Electrical Energy: Reforming, Financing, Innovative Investment, Efficiency Analysis, and Audit
PublikacjaThe aim of this research is to determine the influence of electrical energy market regulation reform in Ukraine on the competitive environment, the reproduction processes of financial and innovative support, and the energy efficiency of the national economy. The authors have put forward and verified the hypothesis that, under conditions of institutional maturity of the Ukrainian electrical energy market, its liberalization and...
-
The Effectiveness of Basic Resuscitation Activities Carried out by Combat Paramedics of the Police, as Exemplified by Polish Counterterrorist Units
PublikacjaThe tasks carried out by Police officers are often accompanied by dangerous situations that threaten the life and health of the people involved, the police themselves, and bystanders. It concerns especially counter-terrorism police units whose activities are aimed at terrorists and particularly dangerous criminals, and their course is violent and aggressive. In conjunction with the inability to bring civilian rescue services into...
-
Chained machine learning model for predicting load capacity and ductility of steel fiber–reinforced concrete beams
PublikacjaOne of the main issues associated with steel fiber–reinforced concrete (SFRC) beams is the ability to anticipate their flexural response. With a comprehensive grid search, several stacked models (i.e., chained, parallel) consisting of various machine learning (ML) algorithms and artificial neural networks (ANNs) were developed to predict the flexural response of SFRC beams. The flexural performance of SFRC beams under bending was...
-
Long-range, water-mediated interaction between a moderately active antifreeze protein molecule and the surface of ice
PublikacjaUsing molecular dynamics simulations, we show that a molecule of moderately active antifreeze protein (type III AFP, QAE HPLC-12 isoform) is able to interact with ice in an indirect manner. This interaction occurs between the ice binding site (IBS) of the AFP III molecule and the surface of ice, and it is mediated by liquid water which separates these surfaces. As a result, the AFP III molecule positions itself at a specific orientation...
-
Optimized photodegradation of palm oil agroindustry waste effluent using multivalent manganese–modified black titanium dioxide
PublikacjaThis article presents a methodological approach to use manganese (Mn3+Mn7+)-modified black titanium dioxide (Mn/BTiO2) as a photocatalyst to optimize and improve visible-light-driven photodegradation of treated agro-industrial effluent (TPOME). A modified wet chemical process was used to prepare BTiO2. The BTiO2 was then wet impregnated with Mn and calcined at 300 °C for 1 h to produce Mn/BTiO2. The activity of Mn/BTiO2 was investigated...
-
Evaluation of long‑term immunity and protection against T. gondii after immunization with multivalent recombinant chimeric T. gondii proteins
PublikacjaToxoplasmosis caused by the opportunistic, cosmopolitan protozoan Toxoplasma gondii is one of the most common parasitoses in the world. Although it may prove dangerous or even fatal for immunocompromised individuals, immunoprophylaxis for humans is still nonexistent. Thus, the aim of the current work was to assess the ability of two immunogenic recombinant chimeric T. gondii proteins, SAG2-GRA1-ROP1 (SGR) and SAG1-MIC1-MAG1-GRA2...
-
Novel 2-alkythio-4-chloro-N-[imino(heteroaryl)methyl]benzenesulfonamide Derivatives: Synthesis, Molecular Structure, Anticancer Activity and Metabolic Stability
PublikacjaA series of novel 2-alkythio-4-chloro-N-[imino-(heteroaryl)methyl]benzenesulfonamide derivatives, 8–24, were synthesized in the reaction of the N-(benzenesulfonyl)cyanamide potassium salts 1–7 with the appropriate mercaptoheterocycles. All the synthesized compounds were evaluated for their anticancer activity in HeLa, HCT-116 and MCF-7 cell lines. The most promising compounds, 11–13, molecular hybrids containing benzenesulfonamide...
-
Evaluation of ChatGPT Applicability to Learning Quantum Physics
PublikacjaChatGPT is an application that uses a large language model. Its purpose is to generate answers to various questions as well as provide information, help solve problems and participate in conversations on a wide range of topics. This application is also widely used by students for the purposes of learning or cheating (e.g., writing essays or programming codes). Therefore, in this contribution, we evaluate the ability of ChatGPT...
-
Evaluation of the energy efficiency of electric vehicle drivetrains under urban operating conditions
PublikacjaIn electric vehicles, as in hybrids vehicles, a very important factor affecting the energy efficiency of the powertrain is the ability to use the regenerative braking energy. Depending on the settings available in electric vehicles, the driver can choose different modes of operation: switch off the regenerative braking mode altogether, select the intensity of regenerative braking, or leave the control system in automatic mode....
-
Design and Synthesis of NTU-9/C3N4 Photocatalysts: Effects of NTU-9 Content and Composite Preparation Method
PublikacjaHybrid materials based on graphitic carbon nitride (g-C3N4) and NTU-9 metal–organic frameworks (MOF) were designed and prepared via solvothermal synthesis and calcination in air. The as-prepared photocatalysts were subsequently characterized using Brunauer–Emmett–Teller (BET) analysis, UV-Vis diffuse reflectance spectroscopy (DRS), photoluminescence (PL) emission spectroscopy, X-ray diffraction (XRD), X-ray photoelectron spectroscopy...
-
Scarabaeidae as human food – A comprehensive review
PublikacjaRising global population and sustainable protein demand have sparked interest in unique food sources. Entomophagy, or insect consumption, presents a solution and Scarab beetles, part of the Scarabaeidae family, offer a novel food option. The comprehensive review underscores their potential as human food, with strong nutrition, low environmental impact, and the ability to ease strain on conventional agriculture. Nutritional analysis...
-
Generalization of Phylogenetic Matching Metrics with Experimental Tests of Practical Advantages
PublikacjaThe ability to quantify a dissimilarity of different phylogenetic trees is required in various types of phylogenetic studies, for example, such metrics are used to assess the quality of phylogeny construction methods and to define optimization criteria in supertree building algorithms. In this article, starting from the already described concept of matching metrics, we define three new metrics for rooted phylogenetic trees. One...
-
Nanodiamonds Doped with Manganese for Applications in Magnetic Resonance Imaging
PublikacjaNanodiamonds (NDs) are emerging with great potential in biomedical applications like biomarking through fluorescence and magnetic resonance imaging (MRI), targeted drug delivery, and cancer therapy. The magnetic and optical properties of NDs could be tuned by selective doping. Therefore, we report multifunctional manganese-incorporated NDs (Mn-NDs) fabricated by Mn ion implantation. The fluorescent properties of Mn-NDs were tuned...
-
AUTOMATED SYSTEM FOR FLUCTUATION ENHANCED GAS SENSING
PublikacjaResistance gas sensors exhibit random phenomena (resistance noise) which can be utilized to improve gas sensitivity and selectivity. That new emerging technique has to be investigated to recognize optimal parameters for gas detection. It means that a measurement system has to have ability of numerous parameters adjustment (e.g., sampling frequency, heater voltage, polarization current, voltage noise amplification). That fact induced...
-
Człowiek i jego samochód - relacje w strukturach mieszkaniowych w warunkach zrównoważonego rozwoju. Zapis refleksji
PublikacjaJakość środowiska zbudowanego - przekształcanego i tworzonego dla coraz liczniejszych pokoleń mieszkańców jest przedmiotem wieloletniej i narastającej dyskusji zawodowej środowiska architektonicznego.Ludzka potrzeba samorealizacji poprzez codzienną aktywność, działalność zawodową, przyjmowane role społeczne wpływa na kształtowanie indywidualnych modeli codzienności miejskiej, na decyzje o wyborach miejsca zamieszkania, miejsca...
-
High Signal Resolution Pulse Oximetry as a Prognostic Indicator of Radiotherapy Toxicity: A Pilot Study
PublikacjaIntroduction: Radiotherapy plays a prominent role in the multidisciplinary treatment of cancers. Despite new irradiation techniques, radiation-induced cardiotoxicity remains a leading cause of morbidity and mortality. Therefore, prognostic indicators of radiotherapy toxicity are essential. This study aimed to investigate the influence of applied radiotherapy on the pulse wave recording and thereby on...
-
Zastosowanie metody studium przypadku w kształceniu menedżerów
PublikacjaKształcenie z wykorzystaniem metod rozwiązywania problemów (problem-based learning) staje się coraz bardziej popularne na wszystkich poziomach kształcenia, również w edukacji biznesowej. Przykładem takiej metody jest studium przypadku (case study). Metoda studium przypadku pozwala na rozwijanie umiejętności i kompetencji wykorzystywanych przez menedżerów w ich pracy, np. umiejętności syntezy, identyfikacji problemów, czy podejmowania...
-
Kluczowe kompetencje jako narzędzie do tworzenia nowych modeli biznesu w przedsiębiorstwach
PublikacjaKoncepcja kluczowych kompetencji wywodzi się z nurtu zasobowego, który zakłada, iż o efektywności i konkurencyjności każdego podmiotu decydują odpowiednio dobrane zasoby i umiejętności ich optymalnego wykorzystania. Model biznesu to narzędzie do realizacji strategii organizacji, które wspomaga rozwój oraz zarządzanie strategiczne w przedsiębiorstwie. Dysertacja wypełnia lukę, jaką było wskazanie na zależność pomiędzy kluczowymi...
-
Facile formation of self-organized TiO2 nanotubes in electrolyte containing ionic liquid - ethylammonium nitrate and their remarkable photocatalytic properties
PublikacjaThe oriented TiO2 nanotube arrays (NTs) are identified as a stable, active and recyclable photocatalytic surface. However, their photoactivity is strictly depended on morphology (especially length), which could be controlled by anodic oxidation parameters, including electrolyte properties. To control the morphology, were successfully synthesized a series of NTs by a novel approach where ionic liquid (IL), ethylammonium nitrate...
-
Studies on Silver Ions Releasing Processes and Mechanical Properties of Surface-Modified Titanium Alloy Implants
PublikacjaDispersed silver nanoparticles (AgNPs) on the surface of titanium alloy (Ti6Al4V) and titanium alloy modified by titania nanotube layer (Ti6Al4V/TNT) substrates were produced by the chemical vapor deposition method (CVD) using a novel precursor of the formula [Ag5(O2CC2F5)5(H2O)3]. The structure and volatile properties of this compound were determined using single crystal X-ray diffractometry, variable temperature IR spectrophotometry...
-
Preparation and photocatalytic properties of BaZrO 3 and SrZrO 3 modified with Cu 2 O/Bi 2 O 3 quantum dots
PublikacjaIn this study, we report a novel method of BaZrO3 and SrZrO3 surface modification by two different types of quantum dots (QDs, Cu2O and Bi2O3), which improved the photocatalytic performance of the obtained materials under UV-Vis light irradiation. Pristine BaZrO3 and SrZrO3 were prepared by the hydrothermal method. The deposition of Cu2O- and Bi2O3-QDs was carried out by chemical reduction. The morphology of the nanoparticles was...
-
The development of an indirect ELISA for the detection of goose parvovirus antibodies using specific VP3 subunits as the coating antigen
PublikacjaIn Poland, the leader in goose production in Europe, goose parovirus infection, or Derzsy’s disease (DD), must be reported to the veterinary administration due to the serious economic and epizootic threat to waterfowl production. Prophylactic treatment for DD includes attenuated live or inactivated vaccines. Moreover, the control of DD includes the monitoring of maternal derived antibody (MDA) levels in the offspring and antibody...
-
Modeling of medium flow processes in transportation pipelines - the synthesis of their state-space models and the analysis of the mathematical properties of the models for leak detection purposes
PublikacjaThe dissertation concerns the issue of modeling the pipeline flow process under incompressible and isothermal conditions, with a target application to the leak detection and isolation systems. First, an introduction to the model-based process diagnostics is provided, where its basic terminology, tools, and methods are described. In the following chapter, a review of the state of the art in the field of leak detection and isolation...
-
Comprehensive Enhancement of Prepolymer-Based Flexible Polyurethane Foams’ Performance by Introduction of Cost-Effective Waste-Based Ground Tire Rubber Particles
PublikacjaMaterial innovations in polyurethane (PU) foams should ideally combine performance enhancement, environmental impact limitation, and cost reduction. These goals can be achieved by applying recycled or waste-based materials without broader industrial applications, implicating their low price. Herein, from 5 to 20 parts by weight of ground tire rubber (GTR) particles originated from the recycling of postconsumer car tires were incorporated...
-
Overcoming carboxylic acid inhibition by granular consortia in high-load liquefied food waste fermentation for efficient lactate accumulation
PublikacjaGranular sludge, a self-aggregating spherical biofilm, possesses better stability compared to flocculent sludge under extreme conditions. This study compared the ability of anaerobic granular sludge (AnGS) and flocculent waste activated sludge (WAS) to convert food waste (FW) into highly-valuable optically active lactic acid (LA), a central and versatile intermediate platform molecule. Different loadings (30–60 g volatile suspended...
-
Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction
PublikacjaNowadays, 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...
-
Comprehensive Investigation of Stoichiometry–Structure–Performance Relationships in Flexible Polyurethane Foams
PublikacjaPolyurethane (PU) foams are versatile materials with a broad application range. Their performance is driven by the stoichiometry of polymerization reaction, which has been investigated in several works. However, the analysis was often limited only to selected properties and compared samples differing in apparent density, significantly influencing their performance. In the bigger picture, there is still a lack of comprehensive studies...
-
SOLUTIONS OF THE INTERMEDIATE SUPPORT STRUC- TURES OF THE NORTHERN MARMARA HIGHWAY (ISTAN- BUL’S RING ROAD) IN THE CONTEXT OF SEISMIC ACTIVITY
PublikacjaIn 2014–2018, as a result of the expansion of the city of Istanbul in Turkey, a project was imple- mented consisting of building a northern ring road, called the Northern Marmara Highway. The concept of the structural design of the ring road’s intermediate supports aims at constructing sup- ports that according to the TURKISH DLH 2008 standard must comply with the design require- ments for the three calculated earthquake insensitivity...
-
Shape-controllable synthesis of GdVO4 photocatalysts and their tunable properties in photocatalytic hydrogen generation
PublikacjaNovel visible light responsive materials for water splitting are essential for the efficient conversion of solar energy into hydrogen bond energy. Among other semiconductors, gadolinium orthovanadate has appropriate conduction and valence band edges positioned to split water molecules and a narrow band gap that allows the use of visible light for hydrogen generation. Thus, we present here that hydrogen evolution under visible light...
-
Combined anticancer therapy with imidazoacridinone analogue C‐1305 and paclitaxel in human lung and colon cancer xenografts—Modulation of tumour angiogenesis
PublikacjaThe acridanone derivative 5-dimethylaminopropylamino- 8- hydroxytriazoloacridinone (C-1305) has been described as a potent inhibitor of cancer cell growth. Its mechanism of action in in vitro conditions was attributed, among others, to its ability to bind and stabilize the microtubule network and subsequently exhibit its tumour- suppressive effects in synergy with paclitaxel (PTX). Therefore, the objective of the present study...
-
Analysis of the possibilities in railways shape assessing using GNSS mobile measurements
PublikacjaIn recent years, a dynamic development of satellite positioning techniques using both static and mobile GNSS coordinates register mode can be observed. In addition, still developing Real-time GNSS Networks, post-processing algorithms and another measurement signal analysis algorithms, make the satellite measurements increasingly used in railway industry sector. In the article the possibilities which follows from the mobile satellite...
-
Solid state versus fiber picosecond infrared lasers applied to two-photon vision tests
PublikacjaDevelopment of new microperimetric tools dedicated for imaging of early functional changes in the retina may help in the monitoring of various ocular diseases progression e.g. Age-Related Macular Degeneration. Recently described two-photon vision may be applied to microperimetric devices. Many subjects with well-known disease history could be investigated with newly developed instrumentation that tests ability of human eye to perceive...
-
Structural and spectroscopic analysis of a new family of monomeric diphosphinoboranes
PublikacjaWe present a series of amino- and aryl(diphosphino)boranes R2PB(R’’)PR’2, where R2P, R’2P = tBu2P, tBuPhP, Ph2P, Cy2P, and R’’ = iPr2N, Ph, which were obtained via the metathesis reaction of iPr2NBBr2 or PhBBr2 with selected lithium phosphides. The structures of isolated diphosphinoboranes were characterized in the solid state and in solution by means of X-ray diffraction and NMR spectroscopy, respectively. The utility of these...
-
Intelligent Knowledge-Base Model for IT Support Organization Evolution
PublikacjaThe goal of the paper is building the knowledge-based model for predicting the state of the IT support organization. These organizations, critical for development of various business sectors, are facing the problem of their transformation. It is the result of the fundamental change in the role of the IT organizations in the current economy. The complexity of the processes, the difficulty adjusting the operations and limited ability...
-
Karaś P., Kochanowicz K., Pitek M., Domański P., Obuchowski I., Tomiczek B., Liberek K.: Evolution towards simplicity in bacterial small heat shock protein system// eLife -, (2023), s.1-21
PublikacjaEvolution can tinker with multi-protein machines and replace them with simpler single-protein systems performing equivalent functions in an equally efficient manner. It is unclear how, on a molecular level, such simplification can arise. With ancestral reconstruction and biochemical analysis, we have traced the evolution of bacterial small heat shock proteins (sHsp), which help to refold proteins from aggregates using either...
-
Investigating beliefs in anti-vax conspiracy theories among medical students
PublikacjaAbstract: While the doctors’ role in immunization is essential, their lack of knowledge or vaccine hesitancy may affect their ability to communicate effectively and educate patients about vaccination, vaccine hesitancy, and vaccine conspiracy theories. This, in turn, may hinder health policy aimed at fighting infectious diseases. Vaccine hesitancy is prevalent not only among the general population but also among healthcare...
-
Fatigue and burnout in police officers: the mediating role of emotions
PublikacjaPurpose – The policing profession is associated with psychosocial hazard. Fatigue and burnout often affect police officers, and may impair the functioning of the organization and public safety. The relationship between fatigue and burnout may be modified by job-related emotions. While negative emotions have been extensively studied, the role of positive emotions at work is relatively less known. Additionally, there is insufficient...
-
Comparison of classical and modern approach of determination of highly polar compounds by High Performance Liquid Chromatography coupled with Tandem Mass Spectrometry
PublikacjaAbstract: Sugars and sugar alcohols are known as highly polar compounds. Four analytes were taken into consideration for comparison of classical and modern approach of separation of highly polar substances. Mannitol was chosen as an example of simple sugar alcohol, sucrose and lactulose as examples of disaccharides and structural isomers, raffinose as an example of complex trisaccharide. Raffinose was also used as internal standard...
-
Metabolic transformation of antitumor acridinone C-1305 but not C-1311 via selective cellular expression of UGT1A10 increases cytotoxic response: implications for clinical use.
PublikacjaThe acridinone derivates C-1305 and C-1311 are promising antitumor agents with high activity against several experimental cellular and tumor models and which are under evaluation in pre-clinical and early phase clinical trials. Recent evidence from our laboratories has indicated that both compounds were conjugated by several UGT isoforms with the most active being extrahepatic UGT1A10. The present studies were designed to test...
-
Mechanochemical Energy Transduction during the Main Rotary Step in the Synthesis Cycle of F1-ATPase
PublikacjaF1-ATPase is a highly efficient molecular motor that can synthesize ATP driven by a mechanical torque. Its ability to function reversibly in either direction requires tight mechanochemical coupling between the catalytic domain and the rotating central shaft, as well as temporal control of substrate binding and product release. Despite great efforts and significant progress, the molecular details of this synchronized and fine-tuned...
-
A fast time-frequency multi-window analysis using a tuning directional kernel
PublikacjaIn this paper, a novel approach for time-frequency analysis and detection, based on the chirplet transform and dedicated to non-stationary as well as multi-component signals, is presented. Its main purpose is the estimation of spectral energy, instantaneous frequency (IF), spectral delay (SD), and chirp rate (CR) with a high time-frequency resolution (separation ability) achieved by adaptive fitting of the transform kernel. We...
-
Tree rings as an indicator of atmospheric pollutant deposition to subalpine spruce forests in the Sudetes (Southern Poland)
PublikacjaIn spite of their moderate altitude (1000–1600m a.s.l.), the Western SudetyMountains belong to areas with the most efficient fog precipitation in Europe. Intense industrial activity in the area of windward western foothills caused an exceptional intensification of atmospheric pollutant deposition via precipitation and fog to take place since the 1950s. In the second half of the 1970s a massive spruce forest dieback began affecting...
-
Real-time simulation in non real-time environment
PublikacjaSimulation in real-time is a very useful tool because of didactical and practical benefits. Very important benefit of real-time simulation is a fact that operator’s decision can be taken into account in the same time scale as the real system would work. This enables construction of simulators, and opportunity to test control algorithms in Hardware in The Loop scheme using target industrial equipment. Professional real-time environments...
-
Molecular basis of the osmolyte effect on protein stability: a lesson from the mechanical unfolding of lysozyme
PublikacjaOsmolytes are a class of small organic molecules that shift the protein folding equilibrium. For this reason, they are accumulated by organisms under environmental stress, and find applications in biotechnology where proteins need to be stabilized or dissolved. However, despite years of research, debate continues over the exact mechanisms underpinning the stabilizing and denaturing effect of osmolytes. Here, we simulated the mechanical...
-
Automated Reasoning Based User Interface
PublikacjaMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...