Search
Filters
total: 5675
filtered: 3928
-
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
Chosen catalog filters
displaying 1000 best results Help
Search results for: large language models
-
Development of a Response Assessment Tool for a Floating Dock System
PublicationDocking operations of ships require a response assessment to ensure structural and personnel safety. Environmental loads and improper ballast adjustments are the main threats to the docking operations. They can cause severe structural damages and stability loss to a floating dock system which includes a floating dock and a docked vessel, even if the velocities of the dock and the vessel are very low during the docking process....
-
Methodology for Text Classification using Manually Created Corpora-based Sentiment Dictionary
PublicationThis paper presents the methodology of Textual Content Classification, which is based on a combination of algorithms: preliminary formation of a contextual framework for the texts in particular problem area; manual creation of the Hierarchical Sentiment Dictionary (HSD) on the basis of a topically-oriented Corpus; tonality texts recognition via using HSD for analysing the documents as a collection of topically completed fragments...
-
Biomechanical properties of 3D-printed bone models
PublicationBone lesions resulting from large traumas or cancer resections can be successfully treated by directly using synthetic materials or in combination with tissue engineering methods (hybrid). Synthetic or hybrid materials combined with bone tissue’s natural ability for regeneration and biological adaptation to the directions of loading, allow for full recovery of its biological functions. Increasing interest in new production methods...
-
Non-monotone graph searching models
PublicationGraph searching encompasses a variety of different models, many of which share a property that in optimal strategies fugitive can never access once searched regions. Monotonicity, as it is called, is vital in many established results in the field however its absence significantly impedes the analysis of a given problem. This survey attempts to gather non-monotone models, that are less researched in effort of summarizing the results...
-
Architectural Heritage Virtual Models in Conservation Practice
PublicationThe article presents the issues concerning architectural heritage digital models’ applications in conservation practice. These considerations are discussed in the context of the commencement of creating virtual models regarding no-longer existing historical buildings in the first half of the 1980s. Such models’ applications and possible uses are analyzed within the adopted criteria that distinguish the following model types....
-
Music Data Processing and Mining in Large Databases for Active Media
PublicationThe aim of this paper was to investigate the problem of music data processing and mining in large databases. Tests were performed on a large data-base that included approximately 30000 audio files divided into 11 classes cor-responding to music genres with different cardinalities. Every audio file was de-scribed by a 173-element feature vector. To reduce the dimensionality of data the Principal Component Analysis (PCA) with variable...
-
A method for counting people attending large public events
PublicationThe algorithm for people counting in crowded scenes, based on the idea of virtual gate which uses optical flow method is presented. The concept and practical application of the developed algorithm under real conditions is depicted. The aim of the work is to estimate the number of people passing through entrances of a large sport hall. The most challenging problem was the unpredicted behavior of people while entering the building....
-
Can Historic Interiors with Large Cubature be Turned Acoustically Correct?
PublicationHistoric interiors with large cubature, such as reception, theatrical, and concert halls, need to be renovated periodically if they are to be preserved as cultural heritage for future generations. In such cases it is necessary to maintain appropriate balance between requirements imposed by heritage conservation authorities office which are usually being given a higher priority, applicable safety regulations, and the comfort of...
-
Melody Harmonization with Interpolated Probabilistic Models
PublicationMost melody harmonization systems use the generative hidden Markov model (HMM), which model the relation between the hidden chords and the observed melody. Relations to other variables, such as the tonality or the metric structure, are handled by training multiple HMMs or are ignored. In this paper, we propose a discriminative means of combining multiple probabilistic models of various musical variables by means of model interpolation....
-
Chromatographic lipophilicity determination using large volume injections of the solvents non-miscible with the mobile phase
PublicationA new perspective in the lipophilicity evaluation through RP-HPLC is permitted by analysis of the retentionfactor (k) obtained by injecting large volumes of test samples prepared in solvents immiscible withmobile phase. The experiment is carried out on representative groups of compounds with increasedtoxicity (mycotoxins and alkaloids) and amines with important biological activity (naturally occurringmonoamine compounds and related...
-
Generation of large finite-element matrices on multiple graphics processors
PublicationThis paper presents techniques for generating very large finite-element matrices on a multicore workstation equipped with several graphics processing units (GPUs). To overcome the low memory size limitation of the GPUs, and at the same time to accelerate the generation process, we propose to generate the large sparse linear systems arising in finite-element analysis in an iterative manner on several GPUs and to use the graphics...
-
A Concept of Modeling and Optimization of Applications in Large Scale Systems
PublicationThe chapter presents the idea that includes modeling and subsequent optimization of application execution on large scale parallel and distributed systems. The model considers performance, reliability and power consumption. It should allow easy modeling of various classes of applications while reflecting key parameters of both the applications and two classes of target systems: clusters and volunteer based systems. The chapter presents...
-
A distributed system for conducting chess games in parallel
PublicationThis paper proposes a distributed and scalable cloud based system designed to play chess games in parallel. Games can be played between chess engines alone or between clusters created by combined chess engines. The system has a built-in mechanism that compares engines, based on Elo ranking which finally presents the strength of each tested approach. If an approach needs more computational power, the design of the system allows...
-
Cost-Effective and Sufficiently Precise Integration Method Adapted to the FEM Calculations of Bone Tissue
PublicationThe technique of Young’s modulus variation in the finite element is not spread in biomechanics. Our future goal is to adapt this technique to bone tissue strength calculations. The aim of this paper is to present the necessary studies of the element’s integration method that takes into account changes in material properties. For research purposes, a virtual sample with the size and distribution of mechanical properties similar...
-
Modelowanie scenariuszy negocjacyjnych w celu zwiększenia skuteczności realizacji przedsięwzięć zespołowych
PublicationNegocjacje są istotną częścią wielu przedsięwzięć ludzkich, również tych, które odbywają się w Internecie. Sposób ich przeprowadzania, czyli scenariusz negocjacji, wpływa bezpośrednio na ich wyniki. Możliwe jest zatem zaproponowanie takich środowisk pośredniczących i scenariuszy negocjacyjnych, które pozytywnie wpłyną na wynik negocjacji.W pracy zaproponowano miary jakościowe pozwalające ocenić negocjacje. Przedstawiono rozproszone...
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublicationThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
Application of the Chimney Cap as a Method of Improving the Effectiveness of Natural Ventilation in Buildings
PublicationAdequately designed natural ventilation is the cheapest and easiest way to effectively remove indoor pollutants and keep the air inside a building fresh. A prediction of the performance and effectiveness of ventilation in order to determine the design of a ventilation system can provide real and long-term cost savings. The worst time in terms of the efficiency of natural ventilation is the spring-autumn transition period [7]. In...
-
Semantic rules representation in controlled natural language in FluentEditor
PublicationThis paper presents a way of representation of semantic rules (SWRL) in controlled English in order to facilitate understanding the rules by humans interacting with a machine. This approach (implemented in FluentEditor) may be applied in many domains, where the understandability of the rules used to support a decision process is of great importance.
-
Language specific spectra generated in the human vocal tract
Publication -
Fluent Editor and Controlled Natural Language in Ontology Development
Publication -
Understanding of Dementia in the Polish Language: A Frame Semantic Approach
Publication -
„Eulerian – Eulerian” versus ,,Eulerian –Lagrangean” models of condensation
PublicationLiquid phase in the flowing vapor through stages of the steam turbine is the cause of a lot of failures. Nowadays, due to work of steam turbines at partial load, process of homogeneous and heterogeneous condensation still is current. The formation of drops of condensate under conditions other than nominal operation of turbine is a process still unknown. Engineers and designers involved in the development of power station machines...
-
Application of Web-GIS for Dissemination and 3D Visualization of Large-Volume LiDAR Data
PublicationThe increasing number of digital data sources, which allow for semi-automatic collection and storage of information regarding various aspects of life has recently granted a considerable rise in popularity to the term “Big data”. As far as geospatial data is concerned, one of the major sources of Big data are Light Detection And Ranging (LiDAR) scanners, which produce high resolution three-dimensional data on a local scale. The...
-
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...
-
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...