Search results for: Programming - Bridge of Knowledge

Search

Search results for: Programming

Filters

total: 328
filtered: 187

clear all filters


Chosen catalog filters

  • Category

  • Year

  • Options

clear Chosen catalog filters disabled

Search results for: Programming

  • Process layout planning and optimised product range selection in manufacture of wooden construction sets

    Publication

    - Maderas-Ciencia y Tecnologia - Year 2019

    This 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...

    Full text available to download

  • Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines: Complexity and Algorithms

    Publication

    - ARTIFICIAL INTELLIGENCE - Year 2022

    In 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:...

    Full text to download in external service

  • The Multiplatform Environment for Simulation and Features Estimation of Mixed-Signal Devices

    Publication

    - Year 2019

    The 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...

  • High performance super-twisting sliding mode control for a maritime autonomous surface ship (MASS) using ADP-Based adaptive gains and time delay estimation

    Publication

    This 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...

  • Fault detection in electronic circuits using test buses

    Publication

    - Year 2009

    A 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

    This 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...

    Full text available to download

  • Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications

    The 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,...

    Full text available to download

  • Probabilistic assessment of SMRFs with infill masonry walls incorporating nonlinear soil-structure interaction

    Infill 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)....

    Full text available to download

  • Hybrid no-signaling-quantum correlations

    Publication

    - NEW JOURNAL OF PHYSICS - Year 2022

    Fundamental 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...

    Full text available to download

  • Fundamentals of Data-Driven Surrogate Modeling

    Publication

    The 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...

    Full text to download in external service

  • Long Distance Geographically Distributed InfiniBand Based Computing

    Publication

    - Supercomputing Frontiers and Innovations - Year 2020

    Collaboration 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...

    Full text available to download

  • Deep Learning Optimization for Edge Devices: Analysis of Training Quantization Parameters

    Publication

    - Year 2019

    This 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...

    Full text available to download

  • ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS

    Publication

    - QUANTUM INFORMATION & COMPUTATION - Year 2015

    It 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...

    Full text to download in external service

  • Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario

    Publication

    - NEW JOURNAL OF PHYSICS - Year 2023

    One 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...

    Full text available to download

  • Optimum number of actuators to minimize the cross-sectional area of prestressable cable and truss structures

    Publication

    This 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...

    Full text to download in external service

  • thestats: An Open-Data R Package for Exploring Turkish Higher Education Statistics

    Publication

    - Yuksekogretim Dergisi - Year 2023

    There 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...

    Full text available to download

  • Evaluation of ChatGPT Applicability to Learning Quantum Physics

    Publication

    - Year 2023

    ChatGPT 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...

    Full text to download in external service

  • Social media for e-learning of citizens in smart city

    Publication

    - Year 2018

    The 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...

    Full text to download in external service

  • Metaheuristic algorithms for optimization of resilient overlay computing systems

    Publication
    • K. Walkowiak
    • W. Charewicz
    • M. Donajski
    • J. Rak

    - Logic journal of the IGPL - Year 2014

    The 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...

    Full text to download in external service

  • Compressive Sensing Approach to Harmonics Detection in the Ship Electrical Network

    Publication

    - SENSORS - Year 2020

    The 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...

    Full text available to download

  • Enhancing seismic performance of rigid and semi-rigid connections equipped with SMA bolts incorporating nonlinear soil-structure interaction

    Publication

    Nowadays, 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...

    Full text to download in external service

  • The Comparison of the Web GIS Applications Relevant for 4D Models Sharing

    Publication

    - Year 2019

    The 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...

  • Entanglement of genuinely entangled subspaces and states: Exact, approximate, and numerical results

    Publication

    - PHYSICAL REVIEW A - Year 2019

    Genuinely 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,...

    Full text available to download

  • Application of mechanistic and data-driven models for nitrogen removal in wastewater treatment systems

    Publication

    - Year 2022

    In 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...

    Full text available to download

  • Integrating Art into Places in Transition - Rose Kennedy Greenway in Boston as a Case Study

    Among 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...

    Full text available to download

  • Automated Reasoning Based User Interface

    Publication

    - EXPERT SYSTEMS WITH APPLICATIONS - Year 2017

    Motivation: 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...

    Full text to download in external service

  • Two-phase optimizing approach to design assessments of long distance heat transportation for CHP systems

    Cogeneration 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...

    Full text to download in external service

  • Architektura przyjazna seniorom w Polsce XXI wieku. Kształtowanie przestrzeni zamieszkania, pracy i rozrywki

    Publication

    Polska, 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...

  • Investigating an Optimal Computational Strategy to Retrofit Buildings with Implementing Viscous Dampers

    Publication

    - Year 2022

    Civil 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)...

    Full text to download in external service

  • Yade-open DEM: an open-source software using a discrete element methodto simulate granular material

    Publication

    - ENGINEERING COMPUTATIONS - Year 2008

    Purpose - 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...

    Full text available to download

  • Nieliniowa statyka 6-parametrowych powłok sprężysto plastycznych. Efektywne obliczenia MES

    Publication

    - Year 2021

    Głó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....

    Full text to download in external service

  • Radar with rotary head

    Publication
    • K. Zubiel

    - Year 2018

    Nowadays 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...

    Full text available to download

  • 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

    Publication
    • J. Lakerveld
    • C. Woods
    • A. Hebestreit
    • H. Brenner
    • M. Flechtner-Mors
    • J. M. Harrington
    • C. B. Kamphuis
    • M. Laxy
    • A. Luszczynska
    • M. Mazzocchi... and 10 others

    - FOOD POLICY - Year 2020

    Non-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...

    Full text available to download

  • Scheduling of compatible jobs on parallel machines

    Publication

    - Year 2021

    The 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

    The 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....

    Full text available to download

  • Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic

    Publication

    - Year 2010

    The 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...

    Full text to download in external service

  • The Conference Report of Why R? Turkey 2022: The First R Conference with Call For Papers in Turkey

    Publication
    • M. Cavus
    • O. Aydin
    • O. Evkaya
    • D. Turfan
    • F. Karadag
    • O. Ozdemir
    • U. Dar
    • D. Bezer

    - R Journal - Year 2022

    Why 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...

    Full text available to download