Search
Filters
total: 345
filtered: 198
Search results for: programming
-
Device-independent quantum key distribution based on measurement inputs
PublicationWe provide an analysis of a family of device-independent quantum key distribution (QKD) protocols that has the following features. (a) The bits used for the secret key do not come from the results of the measurements on an entangled state but from the choices of settings. (b) Instead of a single security parameter (a violation of some Bell inequality) a set of them is used to estimate the level of trust in the secrecy of the key....
-
EASY ACCESS TOOL FOR SMALL INTERFERING RNA (siRNA) DATA
PublicationFor many decades it was an accepted dogma of molecular genetics that the expression of genes is a “one-way-road” leading only in one direction from DNA to RNA to proteins. Recent discoveries in modern molecular genetics have challenged this dogma showing that specific RNA molecules play a central role in controlling the activity of genes by changing the structure of DNA sequences, targeting other RNAs for degradation or blocking...
-
Dependable Integration of Medical Image Recognition Components
PublicationComputer driven medical image recognition may support medical doctors in the diagnosis process, but requires high dependability considering potential consequences of incorrect results. The paper presentsa system that improves dependability of medical image recognition by integration of results from redundant components. The components implement alternative recognition algorithms of diseases in thefield of gastrointestinal endoscopy....
-
The mechanisms of technological innovation in SMEs: a Bayesian Network Analysis of EU regional policy impact on Polish firms.
PublicationWe study the underlying mechanisms of technological innovation in SMEs in the context of ex-post evaluation of European Union’s regional policy. Our aim is to explain the observed change in firms’ innovativeness after receiving EU support for technological investment. To do so, we take an approach that is novel in innovation studies: a Bayesian Network Analysis to assess the effectiveness of EU policy instrument for technological...
-
Process layout planning and optimised product range selection in manufacture of wooden construction sets
PublicationThis paper introduces a systematic deterministic framework for planning and the analysis of facility layouts aimed at manufacturing a variety of parts, as components of specific end products. The essence of the proposed approach lies in the decomposition of a traditional job-shop into layout modules of generic material flow patterns, that inherently yields improved efficiency of the entire system. It entails the use of a relevant...
-
Studies of the separation performance of silanized silica gel for simulated distillation
PublicationWe present the results of investigations of the chromatographic (sorptive) properties of silanized silica gel as a stationary phase for gas chromatography used for simulated distillation. Commercially available silanized sorbent (particle diameter range 63–200 m, average pore size 60 Å) was sieved to obtain the 80–100 mesh fraction (180–150 m). The obtained results revealed that silanized silica gel allows the complete separation...
-
Applications of semi-definite optimization in quantum information protocols
PublicationThis work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information sci- ence. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter...
-
Prediction of fracture toughness in fibre-reinforced concrete, mortar, and rocks using various Machine learning techniques
PublicationMachine Learning (ML) method is widely used in engineering applications such as fracture mechanics. In this study, twenty different ML algorithms were employed and compared for the prediction of the fracture toughness and fracture load in modes I, II, and mixed-mode (I-II) of various materials, including fibre-reinforced concrete, cement mortar, sandstone, white travertine, marble, and granite. A set of 401 specimens of “Brazilian...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines: Complexity and Algorithms
PublicationIn this paper, the problem of scheduling on parallel machines with a presence of incompatibilities between jobs is considered. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. The paper provides several results concerning schedules, optimal or approximate with respect to the two most popular criteria of optimality:...
-
Fault detection in electronic circuits using test buses
PublicationA survey of test buses designed for diagnostics of digital and analog electronic circuits is presented: the IEEE 1149.1 bus for digital circuits, the IEEE 1149.4 bus for mixed-signal and the IEEE 1149.6 bus for AC coupled complex digital circuits. Each bus is presented with its structure, solution of key elements, particularly boundary registers and a set of test instructions. Diagnosis with the use of the described buses is...
-
High performance super-twisting sliding mode control for a maritime autonomous surface ship (MASS) using ADP-Based adaptive gains and time delay estimation
PublicationThis research addresses two kinds of problems related to optimal trajectory tracking of a Maritime Autonomous Surface Ship (MASS): those caused by the time-varying external disturbances including winds, waves and ocean currents as well as those resulting from inherent dynamical uncertainties. As the paper shows, an accurate and robust optimal controller can successfully deal with both issues. An improved Optimal Adaptive Super-Twisting...
-
High performance super-twisting sliding mode control for a maritime autonomous surface ship (MASS) using ADP-Based adaptive gains and time delay estimation
PublicationThis research addresses two kinds of problems related to optimal trajectory tracking of a Maritime Autonomous Surface Ship (MASS): those caused by the time-varying external disturbances including winds, waves and ocean currents as well as those resulting from inherent dynamical uncertainties. As the paper shows, an accurate and robust optimal controller can successfully deal with both issues. An improved Optimal Adaptive Super-Twisting...
-
Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications
PublicationThe aim of this paper is to evaluate performance of new CUDA mechanisms—unified memory and dynamic parallelism for real parallel applications compared to standard CUDA API versions. In order to gain insight into performance of these mechanisms, we decided to implement three applications with control and data flow typical of SPMD, geometric SPMD and divide-and-conquer schemes, which were then used for tests and experiments. Specifically,...
-
The Multiplatform Environment for Simulation and Features Estimation of Mixed-Signal Devices
PublicationThe use of simulation laboratories is gaining popularity in thedomains of engineering programs. However, the experience in teaching showsthat the simulation itself is not very effective in didactic processes. Teachingprocesses in thefield of specialist subjects, designed for students of technicaluniversities, should be based on direct operations performed by the student onreal devices. At the same time, at the later stages of didactic...
-
Fundamentals of Data-Driven Surrogate Modeling
PublicationThe primary topic of the book is surrogate modeling and surrogate-based design of high-frequency structures. The purpose of the first two chapters is to provide the reader with an overview of the two most important classes of modeling methods, data-driven (or approx-imation), as well as physics-based ones. These are covered in Chap-ters 1 and 2, respectively. The remaining parts of the book give an exposition of the specific aspects...
-
Optimum number of actuators to minimize the cross-sectional area of prestressable cable and truss structures
PublicationThis paper describes a new computational method for determining the optimum number of actuators to design the optimal and economic cross-sectional area of pin-jointed assemblies based on the conventional force method. The most active members are selected to be prestressed to redistribute stress in the whole structure, resulting in regulating the internal force of bars that face high stress. Reducing stress in critical members allows...
-
Probabilistic assessment of SMRFs with infill masonry walls incorporating nonlinear soil-structure interaction
PublicationInfill Masonry Walls (IMWs) are used in the perimeter of a building to separate the inner and outer space. IMWs may affect the lateral behavior of buildings, while they are different from those partition walls that separate two inner spaces. This study focused on the seismic vulnerability assessment of Steel Moment-Resisting Frames (SMRFs) assuming different placement of IMWs incorporating nonlinear Soil-Structure Interaction (SSI)....
-
Theoretical modelling of efficient fire safety water networks by certified domination
PublicationThis paper explores a new way of designing water supply networks for fire safety using ideas from graph theory, focusing on a method called certified domination. Ensuring a good water supply is crucial for fire safety in communities, this study looks at the rules and problems in Poland for how much water is needed to fight fires in different areas and how this can be achieved at a lowest possible cost. We present a way to plan...
-
Evaluation of ChatGPT Applicability to Learning Quantum Physics
PublicationChatGPT 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...
-
Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
PublicationOne of the striking properties of quantum mechanics is the occurrence of the Bell-type non-locality. They are a fundamental feature of the theory that allows two parties that share an entangled quantum system to observe correlations stronger than possible in classical physics. In addition to their theoretical significance, non-local correlations have practical applications, such as device-independent randomness generation, providing...
-
Metaheuristic algorithms for optimization of resilient overlay computing systems
PublicationThe idea of distributed computing systems has been gaining much interest in recent years owing to the growing amount of data to be processed for both industrial and academic purposes. However, similar to other systems, also distributed computing systems are vulnerable to failures. Due to strict QoS requirements, survivability guarantees are necessary for provisioning of uninterrupted service. In this article, we focus on reliability...
-
ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS
PublicationIt has been recently shown, that some of the tripartite boxes admittin g bilocal decom- position, lead to non-locality under wiring operation applied to t wo of the subsystems [R. Gallego et al. Physical Review Letters 109 , 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of bo xes closed un- der wirings, we introduce multipartite monotones which are count erparts of bipartite ones...
-
Long Distance Geographically Distributed InfiniBand Based Computing
PublicationCollaboration between multiple computing centres, referred as federated computing is becom- ing important pillar of High Performance Computing (HPC) and will be one of its key components in the future. To test technical possibilities of future collaboration using 100 Gb optic fiber link (Connection was 900 km in length with 9 ms RTT time) we prepared two scenarios of operation. In the first one, Interdisciplinary Centre for Mathematical...
-
Deep Learning Optimization for Edge Devices: Analysis of Training Quantization Parameters
PublicationThis paper focuses on convolution neural network quantization problem. The quantization has a distinct stage of data conversion from floating-point into integer-point numbers. In general, the process of quantization is associated with the reduction of the matrix dimension via limited precision of the numbers. However, the training and inference stages of deep learning neural network are limited by the space of the memory and a...
-
Hybrid no-signaling-quantum correlations
PublicationFundamental investigations in non-locality have shown that while the no-signaling principle alone is not sufficient to single out the set of quantum non-local correlations, local quantum mechanics and no-signaling together exactly reproduce the set of quantum correlations in the two-party Bell scenario. Here, we introduce and study an intermediate hybrid no-signaling quantum set of non-local correlations that we term HNSQ in the...
-
thestats: An Open-Data R Package for Exploring Turkish Higher Education Statistics
PublicationThere are open datasets available for official statistics, finance, education, and a variety of other domains. The open datasets are published by third-party vendors as well as official authorities. For example, The Turkish Higher Education Council maintains a web portal dedicated to higher education in Türkiye. Detailed datasets about universities, faculties, and departments can be obtained from the portal. Using the data provided...
-
Social media for e-learning of citizens in smart city
PublicationThe rapid development of social media can be applied for citizens’ e-learning in a smart city. Big cities have to cope with several open issues like a growing population or a traffic congestion. Especially, a home and public space is supposed to be used in more efficient way. Sustainable homes and buildings can be planned with using some modern techniques. Even currently, there is a huge problem with a lack of key resources like...
-
Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction
PublicationNowadays, 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...
-
The Comparison of the Web GIS Applications Relevant for 4D Models Sharing
PublicationThe paper presents results of the project: Cultural Heritage Through Time (CHT 2, http://cht2-project.eu) realized accomplished within the framework of the “Joint Programming Initiative in Cultural Heritage” JPI-CH (http://www.jpi-culturalheritage.eu) by an international consortium: Politecnico di Milano (IT), Newcastle University (UK), Salamanca University (ES), and Stanislaw Staszic Scientific Association SSSA (a non-profit...
-
Application of mechanistic and data-driven models for nitrogen removal in wastewater treatment systems
PublicationIn this dissertation, the application of mechanistic and data-driven models in nitrogen removal systems including nitrification and deammonification processes was evaluated. In particular, the influential parameters on the activity of the Nitrospira activity were assessed using response surface methodology (RSM). Various long-term biomass washout experiments were operated in two parallel sequencing batch reactor (SBR) with a different...
-
Compressive Sensing Approach to Harmonics Detection in the Ship Electrical Network
PublicationThe contribution of this paper is to show the opportunities for using the compressive sensing (CS) technique for detecting harmonics in a frequency sparse signal. The signal in a ship’s electrical network, polluted by harmonic distortions, can be modeled as a superposition of a small number of sinusoids and the discrete Fourier transform (DFT) basis forms its sparse domain. According to the theory of CS, a signal may be reconstructed...
-
Entanglement of genuinely entangled subspaces and states: Exact, approximate, and numerical results
PublicationGenuinely entangled subspaces (GESs) are those subspaces of multipartite Hilbert spaces that consist only of genuinely multiparty entangled pure states. They are natural generalizations of the well-known notion of completely entangled subspaces, which by definition are void of fully product vectors. Entangled subspaces are an important tool of quantum information theory as they directly lead to constructions of entangled states,...
-
Two-phase optimizing approach to design assessments of long distance heat transportation for CHP systems
PublicationCogeneration or Combined Heat and Power (CHP) for power plants is a method of putting to use waste heat which would be otherwise released to the environment. This allows the increase in thermodynamic efficiency of the plant and can be a source of environmental friendly heat for District Heating (DH). In the paper CHP for Nuclear Power Plant (NPP) is analyzed with the focus on heat transportation. A method for effectivity and feasibility...
-
Automated Reasoning Based User Interface
PublicationMotivation: 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...
-
Integrating Art into Places in Transition - Rose Kennedy Greenway in Boston as a Case Study
PublicationAmong the many projects realized in public spaces, some are truly unique – and these are the ones that build the identity of a place. The aim of this paper is to examine how integrating art and cultural strategies into public space can enhance and reinforce the sense of a place. Particular attention is devoted to urban spaces that we call “places in transition”, where public art improves the city’s imaginative capacity, enlivens...
-
Optymalizacja zasobów chmury obliczeniowej z wykorzystaniem inteligentnych agentów w zdalnym nauczaniu
PublicationRozprawa dotyczy optymalizacji zasobów chmury obliczeniowej, w której zastosowano inteligentne agenty w zdalnym nauczaniu. Zagadnienie jest istotne w edukacji, gdzie wykorzystuje się nowoczesne technologie, takie jak Internet Rzeczy, rozszerzoną i wirtualną rzeczywistość oraz deep learning w środowisku chmury obliczeniowej. Zagadnienie jest istotne również w sytuacji, gdy pandemia wymusza stosowanie zdalnego nauczania na dużą skalę...
-
Investigating an Optimal Computational Strategy to Retrofit Buildings with Implementing Viscous Dampers
PublicationCivil engineering structures may seriously suffer from different damage states re-sult of earthquakes. Nowadays, retrofitting the existing buildings is a serious need among designers. Two important factors of required performance level and cost of retrofitting play a crucial role in the retrofitting approach. In this study, a new optimal computational strategy to retrofit structures by implementing linear Viscous Dampers (VDs)...
-
Yade-open DEM: an open-source software using a discrete element methodto simulate granular material
PublicationPurpose - YADE-OPEN DEM is an open source software based on the Discrete Element Method which uses object oriented programming techniques. The paper describes the softwarearchitecture.Design/methodology/approach - The DEM chosen uses position, orientation, velocity and angular velocity as independent variables of simulated particles which are subject to explicit leapfrog time-integration scheme (Lagrangian method). The three-dimensional...
-
Advancing electrochemical impedance analysis through innovations in the distribution of relaxation times method
PublicationElectrochemical impedance spectroscopy (EIS) is widely used in electrochemistry, energy sciences, biology, and beyond. Analyzing EIS data is crucial, but it often poses challenges because of the numerous possible equivalent circuit models, the need for accurate analytical models, the difficulties of nonlinear regression, and the necessity of managing large datasets within a unified framework. To overcome these challenges, non-parametric...
-
Integration of electric vehicle into smart grid: a meta heuristic algorithm for energy management between V2G and G2V
PublicationRecently, Electric Vehicles (EV) have been providing fast response and substantial progress in the power generation model. Further, EVs are exploited as adaptable Energy Storage Systems (ESSs) and show a promising performance in ancillary service markets to increase the demand of Smart Grid (SG) integration. The expansion of Vehicle-to-Grid concept has created an extra power source when renewable energy sources are not available....
-
Architektura przyjazna seniorom w Polsce XXI wieku. Kształtowanie przestrzeni zamieszkania, pracy i rozrywki
PublicationPolska, podobnie jak wiele innych krajów, zmaga się obecnie z procesem starzenia społeczeństwa, który w najbliższych latach będzie przybierał na sile. Dlatego bardzo istotne jest, aby już teraz rozpocząć proces przystosowywania miast do zmieniającej się struktury społecznej, tak aby w przyszłości mogły być one miejscem, w którym ludzie starsi będą mogli swobodnie i bezpiecznie mieszkać oraz funkcjonować. W realiach polskich można...
-
Nieliniowa statyka 6-parametrowych powłok sprężysto plastycznych. Efektywne obliczenia MES
PublicationGłównym zagadnieniem omawianym w monografii jest sformułowanie sprężysto-plastycznego prawa konstytutywnego w nieliniowej 6-parametrowej teorii powłok. Wyróżnikiem tej teorii jest występujący w niej w naturalny sposób tzw. stopień 6 swobody, czyli owinięcie (drilling rotation). Podstawowe założenie pracy to przyjęcie płaskiego stanu naprężenia uogólnionego na ośrodek typu Cosseratów. Takie podejście stanowi oryginalny aspekt opracowania....
-
Radar with rotary head
PublicationNowadays usage of radars is no longer reserved only for the military purpose. It finds many applications in various areas of science and industry. It may be used in order to obtain extended information about the state of critical infrastructure, like shipyards or petrochemical plants. Furthermore, it may be applied in vision denied environments. The aim of this project...
-
Advancing the evidence base for public policies impacting on dietary behaviour, physical activity and sedentary behaviour in Europe: The Policy Evaluation Network promoting a multidisciplinary approach
PublicationNon-communicable diseases (NCDs) are the leading cause of global mortality. As the social and economic costs of NCDs have escalated, action is needed to tackle important causes of many NCD’s: low physical activity levels and unhealthy dietary behaviours. As these behaviours are driven by upstream factors, successful policy interventions are required that encourage healthy dietary behaviours, improve physical activity levels and...
-
Scheduling of compatible jobs on parallel machines
PublicationThe dissertation discusses the problems of scheduling compatible jobs on parallel machines. Some jobs are incompatible, which is modeled as a binary relation on the set of jobs; the relation is often modeled by an incompatibility graph. We consider two models of machines. The first model, more emphasized in the thesis, is a classical model of scheduling, where each machine does one job at time. The second one is a model of p-batching...
-
A new open-source software developed for numerical simulations usingdiscrete modeling methods
PublicationThe purpose of this work is to present the development of an open-source software based on a discrete description of matter applied to study the behavior of geomaterials. This software uses Object Oriented Programming techniques, and its methodology design uses three different methods, which are the Discrete Element Method (DEM) [F. Donzé, S.A. Magnier, Formulation of a three-dimensional numerical model of brittle behavior, Geophys....
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
The Conference Report of Why R? Turkey 2022: The First R Conference with Call For Papers in Turkey
PublicationWhy R? Turkey 2022 was a non-profit conference that aimed to bring Turkish R users together and encourage them to attend the R conferences. The targeted audience of the conference consisted of, data scientists, data analysts, and all R users from academia and industry. The three-day conference, which consisted of several events such as workshops, regular talks, lightning talks, short tutorials, and panels, was free of charge and...