Search
Filters
total: 5675
-
Catalog
- Publications 3928 available results
- Journals 246 available results
- Conferences 40 available results
- Publishing Houses 1 available results
- People 119 available results
- Projects 3 available results
- e-Learning Courses 92 available results
- Events 4 available results
- Open Research Data 1242 available results
displaying 1000 best results Help
Search results for: large language models
-
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...
-
Smooth Particle Hydrodynamics (SPH) approach in simulating large penetration into soil
PublicationA study of Smooth Particle Hydrodynamics (SPH) approach for predicting large soil deformation is presented. Theoretical basics of SPH method, including the equations governing, discussion of the importance of smoothing function length, contact formulation, boundary treatment and finally utilization in hydrocodes simulations are presented. An application of SPH to a real case of large penetrations (crater creating) into soil caused...
-
Differential models versus neural models in optimisation
PublicationW pracy porównano zastosowanie modeli różniczkowych i modeli neuronowych dla celów optymalizacji.
-
Symbolic multibody models for digital-twin applications
PublicationSymbolic generation of multibody systems equations of motion appeared in the 1980s. In addition to their computational advantage over their numerical counterparts, symbolic models can be very easily and straightforwardly interfaced with a wide range of software environments and hardware devices. These two features place this approach in a pole position to participate and intervene in the design of digital twins for systems such...
-
A large family of filled skutterudites stabilized by electron count
PublicationThe Zintl concept is important in solid-state chemistry to explain how some compounds that combine electropositive and main group elements can be stable at formulas that at their simplest level do not make any sense. The electronegative elements in such compounds form a polyatomic electron-accepting molecule inside the solid, a ‘polyanion’, that fills its available energy states with electrons from the electropositive elements...
-
Improving the Survivability of Carrier Networks to Large-Scale Disasters
PublicationThis chapter is dedicated to the description of methods aiming to improve the survivability of carrier networks to large-scale disasters. First, a disaster classification and associated risk analysis is described, and the disaster-aware submarine fibre-optic cable deployment is addressed aiming to minimize the expected costs in case of natural disasters. Then, the chapter addresses the improvement of the network connectivity resilience...
-
Flow Process Models for Pipeline Diagnosis
PublicationThis chapter examines the problem of modeling and parameterization of the transmission pipeline flow process. First, the base model for discrete time is presented, which is a reference for other developed models. Then, the diagonal approximation (AMDA) method is proposed, in which the tridiagonal sub-matrices of the recombination matrix are approximated by their diagonal counterparts, which allows for a simple determination of...
-
COMPARISON OF TWO MODELS OF CONDENSATION
PublicationIn the low-pressure part of steam turbine, the state path usually crosses the saturation line in penultimate stages. At least last two stages of this part of turbines operate in two –phase region. The liquid phase in this region in mainly created in the process of homogeneous and heterogeneous condensation. Several observations confirm however, that condensation often occurs earlier than it is predicted by theory i.e. before the...
-
Efficient knowledge-based optimization of expensive computational models using adaptive response correction
PublicationComputer simulation has become an indispensable tool in engineering design as they allow an accurate evaluation of the system performance. This is critical in order to carry out the design process in a reliable manner without costly prototyping and physical measurements. However, high-fidelity computer simulations are computationally expensive. This turns to be a fundamental bottleneck when it comes to design automation using numerical...
-
Remarks on steam condensation modeling related to steam turbine large output
PublicationIn the paper numerical simulations have been performed to predict the performance of the diferent steam models. All of the considered models of steam condensation have been validated on the base of benchmark experiment employing expansion in nozzle and next on the low pressure part of the steam turbine equipped with the so-called Baumann stage. For numerical analysis three models have been finally used - the ideal steam model without...
-
A Review of Hyperelastic Constitutive Models for Dielectric Elastomers
PublicationDielectric elastomers are smart materials that are essential components in soft systems and structures. The core element of a dielectric elastomer is soft matter, which is mainly rubber-like and elastomeric. These soft materials show a nonlinear behaviour and have a nonlinear strain-stress curve. The best candidates for modelling the nonlinear behaviour of such materials are hyperelastic strain energy functions. Hyperelastic functions...
-
A review on analytical models of brushless permanent magnet machines
PublicationThis study provides an in-depth investigation of the use of analytical and numerical methods in analyzing electrical machines. Although numerical models such as the finite-element method (FEM) can handle complex geometries and saturation effects, they have significant computational burdens, are time-consuming, and are inflexible when it comes to changing machine geometries or input values. Analytical models based on magnetic equivalent...
-
Diagnostic Models and Estimators for LDI in Transmission Pipelines
PublicationThis article considers and compares four analytical models of the pipeline flow process for leak detection and location tasks. The synthesis of these models is briefly outlined. Next, the methodology for generating data and diagnosing pipes is described, as well as experimental settings, assumptions and implemented scenarios. Finally, the quality of model-based diagnostic estimators has been evaluated for their bias, standard deviations...
-
The role of traditional architectural models in the first stages of education.
PublicationThe oldest architectural models discovered by scientists date from the Middle Ages, while models or 1:1 scale prototypes were used in ancient times. Architectural miniatures quickly evolved into an indispensable tool for designers that enabled them to creatively express their thoughts and ideas. Mock-ups became a way of helping a designer communicate a concept, and their educational value was also recognised. The method of modelling,...
-
Hydrological responses to large-scale changes in land cover of river watershed: Review
PublicationDespite many studies on the hydrological responses to forest cover changes in micro and mesoscale watersheds, the hydrological responses to forest cover alterations and associated mechanisms through the large spatial scale of the river watershed have not been comprehensively perceived. This paper thus reviews a wide range of available scientific evidence concerning the impacts exerted by the forest removal on precipitation, water...
-
Mathematical Models in Design Process of Ship Bow Thrusters
PublicationThe paper describes an application of simulation models for computer-aided design of ship bow thrusters. Generation of simulation models of ship bow thruster requires development and verifying of mathematical models of system component elements. Using the results of simulation the expert system is able to determine, that the rules of classification societies are met. Design procedures and mathematical models are part of an expert...
-
Mathematical Models in Design Process of Ship Bow Thrusters
PublicationThe presentation is about an application of simulation models for computer-aided design of ship bow thrusters. Generation of simulation models of ship bow thruster requires development and verifying of mathematical models of system component elements. Using the results of simulation the expert system is able to determine, that the rules of classification societies are met. Design procedures and mathematical models are part of an...
-
Rust QA: question answering dataset for "The Rust Programming Language" in SQuAD 2.0 format
Open Research DataRust QA is a dataset for training and evaluating QA systems. The dataset consists of 1068 questions to "The Rust Programming Language" book (https://doc.rust-lang.org/stable/book/) with the answers provided as text spans from the book. The dataset is released in SQuAD 2.0 format.
-
Asking Data in a Controlled Way with Ask Data Anything NQL
PublicationWhile to collect data, it is necessary to store it, to understand its structure it is necessary to do data-mining. Business Intelligence (BI) enables us to make intelligent, data-driven decisions by the mean of a set of tools that allows the creation of a potentially unlimited number of machine-generated, data-driven reports, which are calculated by a machine as a response to queries specified by humans. Natural Query Languages...
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublicationArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...
-
Contactless hearing aid designed for infants
PublicationIt is a well known fact that language development through home intervention for a hearing-impaired infant should start in the early months of a newborn baby's life. The aim of this paper is to present a concept of a contactless digital hearing aid designed especially for infants. In contrast to all typical wearable hearing aid solutions (ITC, ITE, BTE), the proposed device is mounted in the infant's bed with any parts of its set-up...
-
University Students’ Research on Artificial Intelligence and Knowledge Management. A Review and Report of Multi-case Studies
PublicationLeading technologies are very attractive for students preparing their theses as the completion of their studies. Such an orientation of students connected with professional experiences seems to be a crucial motivator in the research in the management and business areas where these technologies condition the development of professional activities. The goal of the paper is the analysis of students’ thesis topics defended in the last...
-
Aktywności stymulujące refleksję w nauczaniu języka pisanego w wirtualnej klasie
PublicationThe paper aims to show how to engage students attending an online language course in various activities which by stimulating reflection enhance the learning process and result in better learning outcomes. By blending cognitivist, constructivist, constructionist and behavioural ideas, course developers and tutors can produce materials and use methods which satisfy the varied needs of adults who want to improve their writing skills....
-
Method of lines for physiologically structured models with diffusion
PublicationWe deal with a size-structured model with diffusion. Partial differential equations are approximated by a large system of ordinary differential equations. Due to a maximum principle for this approximation method its solutions preserve positivity and boundedness. We formulate theorems on stability of the method of lines and provide suitable numerical experiments.
-
Genre-Based Music Language Modeling with Latent Hierarchical Pitman-Yor Process Allocation
PublicationIn this work we present a new Bayesian topic model: latent hierarchical Pitman-Yor process allocation (LHPYA), which uses hierarchical Pitman-Yor pr ocess priors for both word and topic distributions, and generalizes a few of the existing topic models, including the latent Dirichlet allocation (LDA), the bi- gram topic model and the hierarchical Pitman-Yor topic model. Using such priors allows for integration of -grams with a topic...
-
Multi-agent large-scale parallel crowd simulation
PublicationThis paper presents design, implementation and performance results of a new modular, parallel, agent-based and large scale crowd simulation environment. A parallel application, implemented with C and MPI, was implemented and run in this parallel environment for simulation and visualization of an evacuation scenario at Gdansk University of Technology, Poland and further in the area of districts of Gdansk. The application uses a...
-
On existence and uniqueness of weak solutions for linear pantographic beam lattices models
PublicationIn this paper, we discuss well-posedness of the boundary-value problems arising in some “gradientincomplete” strain-gradient elasticity models, which appear in the study of homogenized models for a large class ofmetamaterials whosemicrostructures can be regarded as beam lattices constrained with internal pivots. We use the attribute “gradient-incomplete” strain-gradient elasticity for a model in which the considered strain energy...
-
Overview of new product development strategies and models
PublicationMotivation: The motivation for the overview presented in this article is to provide a starting point for considering whether existing new product development methodology and its level of detail allows product teams to develop high-quality and business-effective product concepts. Aim: The aim of this article is recognise the current state of research into new product development methodology and to present the strategies and models...
-
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
PublicationThe 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...
-
Strength analysis of a large-size supporting structure for an offshore wind turbine
PublicationThe offshore wind power industry is the branch of electric energy production from renewable sources which is most intensively developed in EU countries. At present, there is a tendency to install larger-power wind turbines at larger distances from the seashore, on relatively deep waters. Consequently, technological solutions for new supporting structures intended for deeper water regions are undergoing rapid development now. Various...
-
Towards a method for detecting large roll motions suitable for oceangoing ships
PublicationThe concept of autonomous merchant ships is quite recent. The increasing interest in autonomous vessels is nowadays calling for smart technologies that are supposed to replace the human actions on board. This involves troublesome issues related to ship safety. In the future, decision-making processes that are conventionally performed by human beings on board ship will be moved ashore to the control centre and maybe even completely...
-
Intelligent Decision Forest Models for Customer Churn Prediction
PublicationCustomer churn is a critical issue impacting enterprises and organizations, particularly in the emerging and highly competitive telecommunications industry. It is important to researchers and industry analysts interested in projecting customer behavior to separate churn from non‐churn consumers. The fundamental incentive is a firm’s intent desire to keep current consumers, along with the exorbitant expense of gaining new ones....
-
Comparative testing of numerical models of river ice jams
PublicationIce processes in general, and ice jams in particular, play a dominant role in the hydrologic regime of Canadian rivers, often causing extreme floods and affecting the life cycle of many aquatic, terrestrial, and avian species. Various numerical models have been developed to help simulate the formation and consequences of these very dynamic and often destructive jam events. To test and compare the performance of existing models,...
-
Rothe’s method for physiologically structured models with diffusion
PublicationWe consider structured population models with diffusion and dynamic boundary conditions. The respective approximation, called Rothe’s method, produces positive and exponentially bounded solutions. Its solutions converge to the exact solution of the original PDE.
-
Integrate-and-fire models with an almost periodic input function
PublicationWe investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and μ-almost periodic functions. Special attention is paid to the properties of the firing map and its displacement, which give information about the spiking behavior of the considered system. We provide conditions under which such maps are well-defined and are uniformly continuous. We show that the LIF models with Stepanov almost periodic...
-
Large deformation finite element analysis of undrained pile installation
PublicationIn this paper, a numerical undrained analysis of pile jacking into the subsoil using Abaqus software suit has been presented. Two different approaches, including traditional Finite Element Method (FEM) and Arbitrary Lagrangian–Eulerian (ALE) formulation, were tested. In the first method, the soil was modelled as a two-phase medium and effective stress analysis was performed. In the second one (ALE), a single-phase medium was assumed...
-
DBpedia and YAGO Based System for Answering Questions in Natural Language
PublicationIn this paper we propose a method for answering class 1 and class 2 questions (out of 5 classes defined by Moldovan for TREC conference) based on DBpedia and YAGO. Our method is based on generating dependency trees for the query. In the dependency tree we look for paths leading from the root to the named entity of interest. These paths (referenced further as fibers) are candidates for representation of actual user intention. The...
-
Modularized Knowledge Bases Using Contexts, Conglomerates and a Query Language
PublicationArtykuł prezentuje nowatorskie podejście do projektowania i budowy baz wiedzy, zorientowane na wyróżnianie kontekstów i ich implementację za pomocą semantycznych modułów wiedzy zwanych konglomeratami.
-
Wieloznaczność w języku i tekście [Ambiguity in language and text]
Publication -
LANGUAGE AS A MODERATOR OF MEMORY-RELATED PROCESSES IN CHILDREN WITH DEVELOPMENTAL DYSLEXIA
Publication -
Automatic prosodic modification in a Text-To-Speech synthesizer of Polish language
PublicationPrzedstawiono system syntezy mowy polskiej z funkcją automatycznej modyfikacji prozodii wypowiedzi. Opisane zostały metody automatycznego wyznaczania akcentu i intonacji wypowiedzi. Przedstawiono zastosowanie algorytmów przetwarzania sygnału mowy w procesie kształtowania prozodii. Omówiono wpływ zastosowanych modyfikacji na naturalność brzmienia syntezowanego sygnału. Zastosowana metoda oparta jest na algorytmie TD-PSOLA. Opracowany...
-
Application of virtual reality modeling language for 3D seafloor imaging.
PublicationW artykule przedstawiono koncepcję wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim w zastosowaniu do danych pochodzących z systemów hydroakustycznych. W szczególności zaprezentowano technikę tworzenia trójwymiarowych scen przeznaczonych do szerokiego udostępniania w sieci Internet.
-
Submerged object imaging using virtual reality modeling language.
PublicationArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości w archeologii podwodnej. Przedstawiono propozycję wizualizacji objektów znajdujących się na dnie morskim, a w szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
Some Aspects in the Model of a Wire Antenna by Using the Mathcad Language
PublicationW artykule omówiono możliwość modelowania anteny prętowej przy wykorzystaniu programu Mathcad. Przedstawiono sposób rozwiązywania równania różniczkowo-całkowego na przykładzie równania Pocklingtona. Artykuł zawiera szczegółowy opis modelu, uzyskane wyniki obliczeniowe i wnioski na temat użyteczności metody i problemów związanych ze zbieżnością zastosowanych algorytmów numerycznych.
-
Aleksandra Parteka dr hab. inż.
PeopleAbout me: I am an associate professor and head of doctoral studies at the Faculty of Management and Economics, Gdansk University of Technology (GdanskTech, Poland). I got my MSc degree in Economics from Gdansk University of Technology (2003) and Universita’ Politecnica delle Marche (2005), as well as MA degree in Contemporary European Studies from Sussex University (2006, with distinction). I received my PhD in Economics...
-
Application of the finite element methods in long-term simulation of the multi-physics systems with large transient response differences
PublicationApplication of the Finite Element Method (FEM) and the Multibody Dynamics Method allows analyzing of complex physical systems. Complexity of the system could be related both to the geometry and the physical description of phenomenon. The metod is the excellent tool for analyzing statics or dynamics of the mechanical systems, and permits tracking of Multi Body System (MBS) transient response for the long-term simulations and application...
-
Finite-difference time-domain analyses of active cloaking for electrically-large objects
PublicationInvisibility cloaking devices constitute a unique and potentially disruptive technology, but only if they can work over broad bandwidths for electrically-large objects. So far, the only known scheme that allows for broadband scattering cancellation from an electrically-large object is based on an active implementation where electric and magnetic sources are deployed over a surface surrounding the object, but whose ‘switching on’...
-
Identification of models and signals robust to occasional outliers
PublicationIn this paper estimation algorithms derived in the sense of the least sum of absolute errors are considered for the purpose of identification of models and signals. In particular, off-line and approximate on-line estimation schemes discussed in the work are aimed at both assessing the coefficients of discrete-time stationary models and tracking the evolution of time-variant characteristics of monitored signals. What is interesting,...
-
Identification of models and signals robust to occasional outliers
PublicationIn this paper estimation algorithms derived in the sense of the least sum of absolute errors are considered for the purpose of identification of models and signals. In particular, off-line and approximate on-line estimation schemes discussed in the work are aimed at both assessing the coefficients of discrete-time stationary models and tracking the evolution of time-variant characteristics of monitored signals. What is interesting,...
-
Dynamic Bankruptcy Prediction Models for European Enterprises
PublicationThis manuscript is devoted to the issue of forecasting corporate bankruptcy. Determining a firm’s bankruptcy risk is one of the most interesting topics for investors and decision-makers. The aim of the paper is to develop and to evaluate dynamic bankruptcy prediction models for European enterprises. To conduct this objective, four forecasting models are developed with the use of four different methods—fuzzy sets, recurrent and...