Filters
total: 3005
filtered: 2534
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: domain-specific language
-
On the application of magnetoelastic properties measureme nts for plastic level determination in martensitic steels
PublicationThe change in the dislocation density, induced by plastic deformation, influences strongly the magnetic domain structure inside the material. Being so, classic parameters, like the coercivity or magnetic permeability, can be a good measure of the deformation level, yet their reliable determination in a non-destructive way in industrial environment is problematic. The magnetoacoustic emission (MAE) which results from the non-180...
-
Nonreciprocal properties of elliptical ferrite coupled line junction
PublicationIn this paper the nonreciprocal properties of el-liptical ferrite coupled line (EFCL) junction are examined. In the analysis the technique combining spectral-domain approach (SDA) with coupled-mode method (CMM) is applied. The nu-merical results concerning gyromagnetic coupling coefficient of ferrite coupled lines and scattering matrix of EFCL junction are presented. The obtained results are validated with the use of commercial...
-
Rozwijanie kreatywności ucznia w procesie kształtowania umiejętności językowych. Innowacja pedagogiczna z elementami neurodydaktyki w edukacji wczesnoszkolnej
PublicationThis text is a ready-to-use pedagogical innovation program combining teaching English and classes developing creativity in early childhood education. Classes developing creativity are a unique opportunity to implement innovative solutions and ideas to develop language competencies and key competencies, which can be difficult during a standard English lesson. The...
-
Is it too late now to say we’re sorry? Examining anxiety contagion and crisis communication strategies using machine learning
PublicationIn this paper, we explore the role of perceived emotions and crisis communication strategies via organizational computer-mediated communication in predicting public anxiety, the default crisis emotion. We use a machine-learning approach to detect and predict anxiety scores in organizational crisis announcements on social media and the public’s responses to these posts. We also control for emotional and language tones in organizational...
-
HIGH LEVEL SYNTHESIS IN FPGA OF TCS/RNS CONVERTER
PublicationThe work presents the design process of the TCS/RNS (two's complement–to– residue) converter in Xilinx FPGA with the use of HLS approach. This new approach allows for the design of dedicated FPGA circuits using high level languages such as C++ language. Such approach replaces, to some extent, much more tedious design with VHDL or Verilog and facilitates the design process. The algorithm realized by the given hardware circuit is...
-
The Algorithm of Modelling and Analysis of Latent Semantic Relations: Linear Algebra vs. Probabilistic Topic Models
PublicationThis paper presents the algorithm of modelling and analysis of Latent Semantic Relations inside the argumentative type of documents collection. The novelty of the algorithm consists in using a systematic approach: in the combination of the probabilistic Latent Dirichlet Allocation (LDA) and Linear Algebra based Latent Semantic Analysis (LSA) methods; in considering each document as a complex of topics, defined on the basis of separate...
-
Long way to awareness. Architecture and Aesthetic at the crossroads
PublicationThe architectural criticism is not invited to the common analysis of the architecture together with the aesthetics. The aesthetics judges entireties whereas criticism describes the architecture from the aesthetic point of view without using common scientific language. Research areas are not located in the joint research space! The result is the ambiguity of critical judgments, the ambiguous estimation of an architectural work....
-
Modelling of the High Speed Multi-Pole Synchronous Generator for Application in More Electric Aircraft Power Systems
PublicationIn this paper different models of the synchronous generator are presented. The simulation results compared with the measurements are shown. Certain physical phenomena are included in described models for the porpoise of adequate analysis of the more electric aircraft power system. For different modelling levels, such as functional level or behavioural level, different physical phenomena have been included. Simulation results for...
-
What is in a name: Defining “high entropy” oxides
PublicationABSTRACT High entropy oxides are emerging as an exciting new avenue to design highly tailored functional behaviors that have no traditional counterparts. Study and application of these materials are bringing together scientists and engineers from physics, chemistry, and materials science. The diversity of each of these disciplines comes with perspectives and jargon that may be confusing to those outside of the individual fields,...
-
Introduction to the special issue on machine learning in acoustics
PublicationWhen we started our Call for Papers for a Special Issue on “Machine Learning in Acoustics” in the Journal of the Acoustical Society of America, our ambition was to invite papers in which machine learning was applied to all acoustics areas. They were listed, but not limited to, as follows: • Music and synthesis analysis • Music sentiment analysis • Music perception • Intelligent music recognition • Musical source separation • Singing...
-
Mispronunciation Detection in Non-Native (L2) English with Uncertainty Modeling
PublicationA common approach to the automatic detection of mispronunciation in language learning is to recognize the phonemes produced by a student and compare it to the expected pronunciation of a native speaker. This approach makes two simplifying assumptions: a) phonemes can be recognized from speech with high accuracy, b) there is a single correct way for a sentence to be pronounced. These assumptions do not always hold, which can result...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Assembly of Lipopolysaccharide in Escherichia coli Requires the Essential LapB Heat Shock Protein
PublicationHere, we describe two new heat shock proteins involved in the assembly of LPS in Escherichia coli, LapA and LapB (lipopolysaccharide assembly protein A and B). lapB mutants were identified based on an increased envelope stress response. Envelope stress responsive pathways control key steps in LPS biogenesis and respond to defects in the LPS assembly. Accordingly, the LPS content in ΔlapB or Δ(lapA lapB) mutants was elevated, with...
-
Projektowanie filtrów OTA C z kompresją wartości chwilowej przetwarzanych sygnałów
PublicationW referacie omówiono podstawowe zagadnienia związane z projektowaniem i realizacją w technologii CMOS filtrów analogowych OTA C z kompresją wartości chwilowej typu pierwiastek kwadratowy (ang. square root domain filters). Przedstawiono również wyniki pomiarów wykonanego w technologii CMOS 0.35mm (AMS) scalonego filtru 6 go rzędu z kompresją typu pierwiastek kwadratowy.
-
The Method of Finding the Optimal Spindle Speed When Milling Flexible Details
PublicationThe paper presents a new method of vibration reduction during milling of flexible details. The method consists in selecting the optimal spindle speed, based on the natural frequency of the workpiece. For this purpose, an original method was created, which is based on minimizing the work of cutting forces in the direction of the depth of cutting. The effectiveness of the method has been proved by comparing the RMS values of vibration...
-
Evaluation Criteria for Affect-Annotated Databases
PublicationIn this paper a set of comprehensive evaluation criteria for affect-annotated databases is proposed. These criteria can be used for evaluation of the quality of a database on the stage of its creation as well as for evaluation and comparison of existing databases. The usefulness of these criteria is demonstrated on several databases selected from affect computing domain. The databases contain different kind of data: video or still...
-
A new assay based on terminal restriction fragment length polymorphism of homocitrate synthase gene fragments for Candida species identification
PublicationCandida sp. have been responsible for an increasing number of infections, especially in patients with immunodeficiency. Species specific differentiation of the Candida sp. is difficult in routine diagnosis. This identification can have a highly significant association in therapy and prophylaxis. This work has shown a new application of terminal restriction fragment length polymorphism (t-RFLP) method in molecular identification...
-
Splice variants of mitofusin 2 shape the endoplasmic reticulum and tether it to mitochondria
PublicationIn eukaryotic cells, different organelles interact at membrane contact sites stabilized by tethers. Mitochondrial mitofusin 2 (MFN2) acts as a membrane tether that interacts with an unknown partner on the endoplasmic reticulum (ER). In this work, we identified the MFN2 splice variant ERMIT2 as the ER tethering partner of MFN2. Splicing of MFN2 produced ERMIT2 and ERMIN2, two ER-specific variants. ERMIN2 regulated ER morphology,...
-
Koncepcja i modelowanie silnika o wirującym tworniku oraz magneśnicy do zastosowania w napędzie miejskiego samochodu elektrycznego
PublicationW artykule zaprezentowano koncepcję, model oraz prototyp silnika z wirującym twornikiem oraz magneśnicą. Opisano historię powstania i zastosowania tego typu silników w motoryzacji. Przedstawiono nowoczesne rozwiązania konstrukcyjne i zastosowania we współczesnych samochodach elektrycznych i hybrydowych. Opracowano model silnika z wirującym twornikiem i magneśnicą oraz przedstawiono wybrane wyniki symulacji przeprowadzone w programie...
-
Complexes of silanethiolate ligands: Synthesis, structure, properties and application
PublicationThe purposeful syntheses of silanethiolate complexes started approximately in the mid-eighties of the 20th century but no summary of the synthetic efforts has been reported till now. The synthetic methods and the resulting complexes have some common features, which are emphasized throughout the review. Thereby specific difficulties during synthesis are outlined and the structures, properties and possible applications of the resulting...
-
Nonlinear electrical properties of glass-ceramics nanocomposites containing ferroelectric nanocrystallites of Bi2VO5.5
PublicationNonlinear A.C. impedance measurements were conducted in the 50BiV-50SrBAlO nanocomposite as a function of frequency, temperature and A.C. voltage. This material is ferroelectric below temperature of 730 K, and above 730 K is a good ion-conductor. For this nanocomposite a low A.C. voltage of 1 V rms is enough to observe high nonlinearities. The origin of these nonlinear effects depends on the temperature and frequency. In the high...
-
Double-diffusive natural convection energy transfer in magnetically influenced Casson fluid flow in trapezoidal enclosure with fillets
PublicationThe prime motive of this disquisition is to deal with mathematical analysis of natural convection energy transport driven by combined buoyancy effects of thermal and solutal diffusion in a trapezoidal enclosure. Casson fluid rheological constitutive model depicting attributes of viscoelastic liquids is envisioned. The influence of the inclined magnetic field governed by Lorentz field law is also considered. To raise the essence...
-
Persistent homology as a new method of the assessment of heart rate variability
PublicationHeart rate variability (hrv) is a physiological phenomenon of the variation in the length of the time interval between consecutive heartbeats. In many cases it could be an indicator of the development of pathological states. The classical approach to the analysis of hrv includes time domain methods and frequency domain methods. However, attempts are still being made to define new and more effective hrv assessment tools. Persistent...
-
Techno-economic evaluation of combined cycle gas turbine and a diabatic compressed air energy storage integration concept
PublicationMore and more operational flexibility is required from conventional power plants due to the increasing share of weather-dependent renewable energy sources (RES) generation in the power system. One way to increase power plant’s flexibility is integrating it with energy storage. The energy storage facility can be used to minimize ramping or shutdowns and therefore should lower overall generating costs and CO2 emissions. In this article,...
-
Simulation Model of IMS/NGN with Transport Stratum Based on MPLS Technology
PublicationIn the paper we continue our research on traffic modelling in the Next Generation Network (NGN) architecture, which includes the IP Multimedia Subsystem (IMS) elements. A simulation model of a single NGN domain with transport stratum based on the Multiprotocol Label Switching (MPLS) technology is proposed, which allows evaluation of mean response time of this stratum. The simulation model is applied to verify the results obtained...
-
An algorithm for enhancing macromodeling in finite element analysis of waveguide components
PublicationAn algorithm for enhancing the finite element method with local model order reduction is presented. The proposed technique can be used in fast frequency domain simulation of waveguide components and resonators. The local reduction process applied to cylindrical subregions is preceded by compression of the number of variables on its boundary. As a result,the finite element large system is converted into a very compact set of linear...
-
Hybrid technique for the analysis of circular waveguide junctions loaded with ferrite posts
PublicationThis study presents a hybrid technique for the analysis of circular waveguide junctions loaded with axially symmetrical ferrite posts of irregular shape. The method is based on a combination of the finite-difference frequency- domain technique with a mode-matching technique. The proposed approach is validated by comparing the presented results with numerical ones obtained from commercial software. The application of a cylindrical...
-
OpenGL accelerated method of the material matrix generation for FDTD simulations
PublicationThis paper presents the accelerated technique of the material matrix generation from CAD models utilized by the finite-difference time-domain (FDTD) simulators. To achieve high performance of these computations, the parallel-processing power of a graphics processing unit was employed with the use of the OpenGL library. The method was integrated with the developed FDTD solver, providing approximately five-fold speedup of the material...
-
Komputerowo wspomagana klasyfikacja wybranych sygnałów elektromiografii powierzchniowej
PublicationWykorzystywanie sygnałów elektromiografii powierzchniowej (ang. Surface Electromyography, SEMG) w procesach sterowania systemami rehabilitacyjnymi stanowi obecnie standardową procedurę. Popularność SEMG wynika z nieinwazyjności metody oraz możliwości szybkiej i precyzyjnej identyfikacji funkcji mięśniowej. W przypadku osób małoletnich proces klasyfikacji sygnałów jest utrudniony ze względu na mniejsze rozmiary i wyższą dynamikę...
-
Boundary conditions for non-residential buildings from the user’s perspective: literature review
PublicationBackground and objective: This paper aims to review the boundary conditions (B/C) in specific categories (energy, building use, and lighting) within non-residential buildings to pave the way to a better understanding of users’ requirements and needs of the built environment. For this paper, B/C are understood as unique preconditions, specific characteristics for use, determining specific features of buildings, enabling an accurate...
-
ALIS-FLP: amplified ligation selected fragment-length polymorphism method for microbial genotyping
PublicationA DNA fingerprinting method known as ALIS-FLP (amplified ligation selected fragment-length polymorphism) has been developed for selective and specific amplification of restriction fragments from TspRI restriction endonuclease digested genomic DNA. The method is similar to AFLP, but differs in that only one specific restriction enzyme (TspRI) is used. The cohesive ends of the DNA fragments are ligated with two types of oligonucleotide....
-
Propagation analysis of the point-to-point radio links operating in the band
PublicationThe theoretical possibilities of utilizing the EHF-band frequencies for point-to-point short range communications have been discussed. The most important factors that affect propagation attenuation in this band have been briefly described, as well as relevant mathematical formulas that allow for numerical analysis of these phenomena. After that, a research have been carried out in which the authors have analyzed propagation losses...
-
A Cross-Team Collaborative Evaluation of a CRM System
PublicationThis paper presents an analysis of an usability evaluation a CRM (Customer Relationship Management) performed by a team composed of external usability experts jointly with a CRM staff. The evaluation process differed from a classical scheme known from former projects, including some new elements resulting from a specific context of this study. These novel elements resulted in reshaping the role of the CRM system and considering...
-
Taxonomy of Schemes for Resilient Routing
PublicationThis chapter provides a taxonomy of schemes for resilient routing followed by a discussion of their application to contemporary architectures of communication networks. In particular, a general classification of schemes for resilient routing is first presented followed by a description of the reference schemes for IP networks. The chapter in its later part focuses on the representative techniques of resilient routing for a multi-domain...
-
Nonlinear model of a synchronous generator for analysis of more electric aircraft power systems
PublicationA nonlinear model for studying a variable-speed synchronous generator (SG) in more electric aircraft (MEA) power system has been developed. The saturation effects of the SG magnetic circuit have been considered. The model has been implemented in the Synopys/Saber simulation environment. The modelling language MAST has been used to elaborate the SG model. The model exhibit a network with the same number of external terminals/ports...
-
KQL - język dostępu do konglomeratowych baz wiedzy
PublicationJednym z kierunków rozwoju systemów informatycznych w ostatnich latach jest ewolucja systemów opartych na danych do systemów opartych na wiedzy. W ramach tego procesu są prowadzone prace między innymi nad nowymi reprezentacjami wiedzy i językami dostępu do wiedzy. Języki dostępu do baz wiedzy są w dużej mierze uzależnione od metod reprezentacji wiedzy, ponieważ operują na jej elementach. Wraz z zaproponowaniem konglomeratowej reprezentacji...
-
Review of the Complexity of Managing Big Data of the Internet of Things
PublicationTere is a growing awareness that the complexity of managing Big Data is one of the main challenges in the developing feld of the Internet of Tings (IoT). Complexity arises from several aspects of the Big Data life cycle, such as gathering data, storing them onto cloud servers, cleaning and integrating the data, a process involving the last advances in ontologies, such as Extensible Markup Language (XML) and Resource Description...
-
Modeling energy consumption of parallel applications
PublicationThe paper presents modeling and simulation of energy consumption of two types of parallel applications: geometric Single Program Multiple Data (SPMD) and divide-and-conquer (DAC). Simulation is performed in a new MERPSYS environment. Model of an application uses the Java language with extension representing message exchange between processes working in parallel. Simulation is performed by running threads representing distinct process...
-
POSITIVE PSYCHOLOGICAL CAPITAL ENHANCES THRIVING IN THE MULTICULTURAL WORK ENVIRONMENT OF MULTINATIONAL CORPORATIONS
PublicationThe aim of the paper is to examine positive psychological capital (PsyCap) as well as individual factors in the relationship with thriving in the multicultural work environment of multinational corporations (MNCs). We conducted a quantitative study on the sample of 127 individuals from subsidiaries of various MNCs located in Poland and involved in intercultural interactions. The results of cross-sectional study show that employees...
-
Nonlinear Model of Synchronous Generator for Autonomous Electrical Power Systems Analysis
PublicationThis paper presents the nonlinear lookup table model for synchronous generator (SG) analysis. The saturation effects of the SG magnetic circuit have been considered. The saturated characteristic of the SG magnetic circuit are based on the open circuit saturation curve for magnetizing inductances. The model has been implemented into the Synopsys/Saber software using the MAST modelling language. To implement the no-load voltage characteristic...
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublicationArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
A Direct Modulation for Matrix Converters based on the Onecycle Atomic operation developed in Verilog HDL.
PublicationThis paper presents a fast direct Pulse Width Modulation (PWM) algorithm for the Conventional Matrix Converters (CMC) developed in Verilog Hardware Description language (HDL). All PWM duty cycle calculations are performed in one cycle by an atomic operation designed as a digital module using FPGA basic blocks. The algorithm can be extended to any number of output phase. The improved version of the discontinuous Direct Analytic...
-
Methodology of Constructing and Analyzing the Hierarchical Contextually-Oriented Corpora
PublicationMethodology of Constructing and Analyzing the Hierarchical structure of the Contextually-Oriented Corpora was developed. The methodology contains the following steps: Contextual Component of the Corpora’s Structure Building; Text Analysis of the Contextually-Oriented Hierarchical Corpus. Main contribution of this study is the following: hierarchical structure of the Corpus provides advanced possibilities for identification of the...
-
Improving the Performance of a Graphite Foil/Polyaniline Electrode Material by a Thin PEDOT:PSS Layer for Application in Flexible, High Power Supercapacitors
PublicationIn this study, we present a novel strategy for enhancing polyaniline stability and thus obtaining an electrode material with practical application in supercapacitors. A promising (graphite foil/polyaniline/poly(3,4-ethylenedioxythiophene):poly(styrenesulfonate) GF/PANI/PEDOT:PSS) electrode material was characterized and used in the construction of a symmetric supercapacitor that provides an outstanding high power density. For this...
-
Analysis of Floodplain Inundation Using 2D Nonlinear Diffusive Wave Equation Solved with Splitting Technique
PublicationIn the paper a solution of two-dimensional (2D) nonlinear diffusive wave equation in a partially dry and wet domain is considered. The splitting technique which allows to reduce 2D problem into the sequence of one-dimensional (1D) problems is applied. The obtained 1D equations with regard to x and y are spatially discretized using the modified finite element method with the linear shape functions. The applied modification referring...
-
Closer Look at the Uncertainty Estimation in Semantic Segmentation under Distributional Shift
PublicationWhile recent computer vision algorithms achieve impressive performance on many benchmarks, they lack robustness - presented with an image from a different distribution, (e.g. weather or lighting conditions not considered during training), they may produce an erroneous prediction. Therefore, it is desired that such a model will be able to reliably predict its confidence measure. In this work, uncertainty estimation for the task...
-
Communication Model Order Reduction in Hybrid Methods Involving Generalized Impedance Matrix
PublicationA novel strategy for the efficient analysis of frequency-domain scattering electromagnetic problems in open and closed domains is presented. A fully automatic model-order reduction technique, called the enhanced reduced-basis method, is applied to increase the efficiency of the hybrid approach, which combines the finite-element and mode-matching methods. Numerical tests show that the proposed algorithm yields reliable and highly...
-
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
PublicationThe paper introduces the AgileSafe method of selecting agile practices for software development projects that are constrained by assurance requirements resulting from safety and/or security related standards. Such requirements are represented by argumentation templates which explain how the evidence collected during agile practices implementation will support the conformity with the requirements. Application of the method is demonstrated...
-
Simple Fractal Calculus from Fractal Arithmetic
PublicationNon-Newtonian calculus that starts with elementary non-Diophantine arithmetic operations of a Burgin type is applicable to all fractals whose cardinality is continuum. The resulting definitions of derivatives and integrals are simpler from what one finds in the more traditional literature of the subject, and they often work in the cases where the standard methods fail. As an illustration, we perform a Fourier transform of a real-valued...
-
A competition between two- and three-body dissociation channels in photo-double-ionization of tetrahydro-2H-pyran and 3,4-dihydro-2H-pyran molecules
PublicationVarious molecules possess structures consisting of the heterocyclic rings containing oxygen atoms. These substances often play a significant role in many different fields of chemistry, medicine, and biology. Due to a specific atomic composition and bond arrangement, many of these molecules retain unique electronic properties, which may be probed by diverse spectroscopic techniques, including those utilizing synchrotron radiation....