Filtry
wszystkich: 1399
-
Katalog
- Publikacje 994 wyników po odfiltrowaniu
- Czasopisma 13 wyników po odfiltrowaniu
- Konferencje 2 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 70 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Kursy Online 29 wyników po odfiltrowaniu
- Wydarzenia 18 wyników po odfiltrowaniu
- Dane Badawcze 268 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: BIBLIOTEKA .NET FRAMEWORK
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Towards automating repairs of IT systems
PublikacjaThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...
-
Extraction of information from born-digital PDF documents for reproducible research
PublikacjaBorn-digital PDF electronic documents might reasonably be expected to preserve useful data units of their source originals that suffice to produce executable papers for reproducible research. Unfortunately, developers of authoring tools may adopt arbitrary PDF generation strategies, producing a plethora of internal data representations. Such common information units as text paragraphs, tables, function graphs and flow diagrams,...
-
The hydrodynamic pressure field of the ship Zodiak, measurements and calculations
PublikacjaThe article presents the results of measurements of the slowly changing hydrodynamic pressure field HPF generated by the movement of the ship, Zodiak, in the Bay of Gdansk. The measurement results have been obtained in the framework of the program of the work in Siramis, under the auspices of the European Defence Administration of the EU, by the research team of the Naval Academy in Gdynia. The measurement results were compared with...
-
Particle Shape Effect on Macroscopic Behaviour of Underground Structures: Numerical and Experimental Study
PublikacjaAbstract: The mechanical performance of underground flexible structures such as buried pipes or culverts made of plastics depend not only on the properties of the structure, but also on the material surrounding it. Flexible drains can deflect by 30% with the joints staying tight, or even invert. Large deformations of the structure are difficult to model in the framework of Finite Element Method, but straightforward in Discrete...
-
Supporting the development of clusters in Poland - dillemas faced by public policy
PublikacjaClusters have proved to be an important source of competitiveness for the economic development of regions within the European Union. In recent years many countries in the EU and throughout the world have launched policies aimed at supporting the development of clusters. There are many examples of good practices in the field of cluster policy, but there is no single model that can be applied in all countries and regions. This paper...
-
AC-DC-DC Converter for Small Power Energy Storage Systems
PublikacjaThe energy transformation driven by the development of renewable energy sources has become a reality for all power grid users. Prosumer energy, primarily utilizing photovoltaic installations, is one of the fastest-growing market segments. The advancement of technology, a decrease in electrochemical energy storage prices, and changes in the legal framework governing energy billing for grid-fed power have led to a growing interest...
-
Accurate Post-processing of Spatially-Separated Antenna Measurements Realized in Non-Anechoic Environments
PublikacjaAntenna far-field performance is normally evaluated in expensive laboratories that maintain strict control over the propagation environment. Alternatively, the responses can be measured in non-anechoic conditions and then refined to extract the information on the structure field-related behavior. Here, a framework for correction of antenna measurements performed in non-anechoic test site has been proposed. The method involves automatic...
-
Miniaturization-Oriented Design of Spline-Parameterized UWB Antenna for In-Door Positioning Applications
PublikacjaDesign of ultra-wideband antennas for in-door localization applications is a challenging task. It involves development of geometry that maintains appropriate balance between the size and performance. In this work, a topologically-flexible monopole has been generated using a stratified framework which embeds a gradient-based trust-region (TR) optimization algorithm in a meta-loop that gradually increases the structure dimensionality....
-
Development and tuning of irregular divide-and-conquer applications in DAMPVM/DAC
PublikacjaThis work presents implementations and tuning experiences with parallel irregular applications developed using the object oriented framework DAM-PVM/DAC. It is implemented on top of DAMPVM and provides automatic partitioning of irregular divide-and-conquer (DAC) applications at runtime and dynamic mapping to processors taking into account their speeds and even loads by other user processes. New implementations of parallel applications...
-
Aplikacje i środowiska kontekstowe: Aplikacje internetowe na platformie Eclipse
PublikacjaPrzedstawiono problematykę tworzenia aplikacji internetowych na platformie Eclipse. Został omówiony standard OSGi, który jest podstawą działania i implementacji Eclipse oraz aspekty OSGi związane z komunikacją internetową. Przedstawiono istniejace frameworki w środowisku Eclipse, które umożliwiają rozwój aplikacji internetowych. Głównymi kierunkami rozwoju frameworków są: IDE do wytwarzania aplikacji oraz integracja platformy Eclipse...
-
Student model representation for pedagogical virtual mentors
PublikacjaThe paper concerns technological aspects of virtual mentors construction, especially concentrating on the student model representation. The article distinguishes several types of information that is gathered by the pedagogical agents and other educational platforms, including student knowledge model, student progress tracking, interaction process patterns and learner preferences. A set of technologies used for the student model...
-
“Don’t call it work”: An interpretative phenomenological analysis of volunteer firefighting in young adults based on the volunteer process model
PublikacjaThe number of people engaging in volunteer firefighting is on the decline. It is important to understand what factors on a personal and social level and from the three stages of the volunteer process model: antecedents, experiences and consequences, might be linked to starting and sustaining such engagement. To address this problem, a qualitative, interview-based study was performed on a sample of 10 volunteer firefighters from...
-
Fully Separated Flow Control Using DBD Plasma Actuators Located at the Leading Edge of an Airfoil
PublikacjaIn the framework of the PLASMAERO European project, experiments were conducted to investigate the authority of surface DBD plasma actuators to alter a fully separated flow around an airfoil in order to improve its aerodynamic performances in its natural stall regime. In this paper, unsteady excitation control is more specifically investigated. The key control parameter studied here is the burst frequency which periodically imposes...
-
Robustness of quantum-randomness expansion protocols in the presence of noise
PublikacjaIn this paper we investigate properties of several randomness generation protocols in the device independent framework. Using Bell-type inequalities it is possible to certify that the numbers generated by an untrusted device are indeed random. We present a selection of certificates which guarantee two bits of randomness for each run of the experiment in the noiseless case and require the parties to share a maximally entangled state....
-
What is in a name: Defining “high entropy” oxides
PublikacjaABSTRACT High entropy oxides are emerging as an exciting new avenue to design highly tailored functional behaviors that have no traditional counterparts. Study and application of these materials are bringing together scientists and engineers from physics, chemistry, and materials science. The diversity of each of these disciplines comes with perspectives and jargon that may be confusing to those outside of the individual fields,...
-
Cost-efficient simulation-driven design of compact impedance matching transformers
PublikacjaIn this paper, an algorithmic framework for cost-efficient design optimization of miniaturized impedance matching transformers has been presented. Our approach exploits a bottom-up design that involves translating the overall design specifications for the circuit at hand to its elementary building blocks (here, compact microstrip resonant cells, CMRCs), as well as fast surrogate-assisted optimization of the cells followed by simulation-based...
-
Inline Microwave Filters With N+1 Transmission Zeros Generated by Frequency-Variant Couplings: Coupling-Matrix-Based Synthesis and Design
PublikacjaA general coupling-matrix-based synthesis methodology for inline Nth-order microwave bandpass filters (BPFs) with frequency-variant reactive-type couplings that generate N+1 transmission zeros (TZs) is presented in this brief. The proposed approach exploits the formulation of the synthesis problem as three inverse nonlinear eigenvalue problems (INEVPs) so that the coupling matrix is built from their sets of eigenvalues. For this...
-
A Comprehensive Experimental and Theoretical Study on the[{(η5-C5H5)2Zr[P(µ-PNEt2)2P(NEt2)2P]}2O Crystalline System
PublikacjaThe structure of tetraphosphetane zirconium complex C52H100N8OP10Zr21 was determined by single crystal X-ray diffraction analysis. The crystal belongs to the monoclinic system, space group P21/c, with a = 19.6452(14), b = 17.8701(12), c = 20.7963(14)Å, α = γ = 90°, β = 112.953(7)°, V = 6722.7(8)Å3, Z = 4. The electronic structure of the organometallic complex has been characterized within the framework of Quantum Chemical Topology....
-
Interline power flow controller - properties and control strategy in dynamic states
PublikacjaHigh-power electronic converter topologies, in such forms as Unified Power Flow Controllers (UPFC), Static Compensators (STATCOM) and Interline Power Flow Controllers (IPFC), have been used to enhance and optimize the use of transmission facilities, under the concept of a flexible ac transmission system (FACTS). In Europe, the anticipated proliferation of distributed-generation (DG) in the near future, driven by governmental initiatives...
-
Adaptation of Architectural Heritage in the Era of Climate Change. Torpedo Platform in Babie Doły
PublikacjaThe paper provides original insight into the problem of adap¬tation of historical objects in the era of climate change. It conveys a message that in times of climate crisis, there is a need to go beyond an anthropocentric perspective, specifically, that architec¬ture should not only be designed for people, but should also provide a framework for nature. As well as shaping spaces for human beings, the architect is also responsible...
-
Choosing the Right Cybersecurity Solution: A Review of Selection and Evaluation Criteria
PublikacjaInformation technologies evolve continuously reaching pioneering areas that bring in new cybersecurity challenges. Security engineering needs to keep pace with the advancing cyberthreats by providing innovative solutions. At the same time, the foundations that include security and risk assessment methodologies should remain stable. Experts are offered with an extensive portfolio of solutions and an informed choice of a particular...
-
Accelerated Re-Design of Antenna Structures Using Sensitivity-Based Inverse Surrogates
PublikacjaThe paper proposes a novel framework for accelerated re-design (dimension scaling) of antenna structures using inverse surrogates. The major contribution of the work is a sensitivity-based model identification procedure, which permits a significant reduction of the number of reference designs required to render the surrogate. Rigorous formulation of the approach is supplemented by its comprehensive numerical validation using a...
-
Novel 1,2,4-Oxadiazole Derivatives in Drug Discovery
PublikacjaAbstract: Five-membered 1,2,4-oxadiazole heterocyclic ring has received considerable attention because of its unique bioisosteric properties and an unusually wide spectrum of biological activities. Thus, it is a perfect framework for the novel drug development. After a century since the 1,2,4-oxadiazole have been discovered, the uncommon potential attracted medicinal chemists’ attention, leading to the discovery of a few presently...
-
WHAT DRIVES CROSS-COUNTRY DIFFERENCES IN EXPORT VARIETY? A BILATERAL PANEL APPROACH
PublikacjaA worldwide event like the 2020 Coronavirus outbreak can only reinforce the interest in modelling trade diversification as a key factor in countries’ vulnerability to external shocks. This paper adopts a detailed relative framework to study the determinants of product-level export variety in a large bilateral panel of developing and developed economies (16,770 country pairs in the period 1988–2014). We find that country pairs characterized...
-
The CDIO model in architectural education and research by design
PublikacjaArchitectural education has always been related to experimentation: that is, defining concepts, drawing sketches, working on models, then testing and modifying them. This activity mirrors the CDIO learning methods and objectives. Despite this, research studies into the applicability of the CDIO model in architectural curricula are scarce. In the discipline of architecture, hands-on experiences are associated not only with one of...
-
Enhancing women’s engagement in economic activities through information and communication technology deployment: evidence from Central–Eastern European countries
PublikacjaThis study takes a macro perspective to examine the associations between the economic deployment of information and communication technology (ICT), women’s labor market participation, and economic growth in Central–Eastern European countries between 1990 and 2017. We use data extracted from World Bank Development Indicators, World Development Reports, and the World Telecommunication/ICT Indicators Database. Our methodological framework...
-
On Effective Bending Stiffness of a Laminate Nanoplate Considering Steigmann–Ogden Surface Elasticity
PublikacjaAs at the nanoscale the surface-to-volume ratio may be comparable with any characteristic length, while the material properties may essentially depend on surface/interface energy properties. In order to get effective material properties at the nanoscale, one can use various generalized models of continuum. In particular, within the framework of continuum mechanics, the surface elasticity is applied to the modelling of surface-related...
-
OPTIMISING RIG DESIGN FOR SAILING YACHTS WITH EVOLUTIONARY MULTIOBJECTIVE ALGORITHM
PublikacjaThe paper presents a framework for optimising a sailing yacht rig using Multi-objective Evolutionary Algorithms and for filtering obtained solutions by means of a Multi-criteria Decision Making method. A Bermuda sloop with discontinuous rig is taken under consideration as a model rig configuration. It has been decomposed into its elements and described by a set of control parameters to form a responsive model which can be used...
-
The role of low-energy electrons in the charging process of LISA test masses
PublikacjaThe estimate of the total electron yield is fundamental for our understanding of the test-mass charging associated with cosmic rays in the Laser Interferometer Space Antenna (LISA) Pathfinder mission and in the forthcoming gravitational wave observatory LISA. To unveil the role of low energy electrons in this process owing to galactic and solar energetic particle events, in this work we study the interaction of keV and sub-keV...
-
Morse decompositions for a two-dimensional discrete neuron model (low resolution)
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper “Topological-numerical analysis of a two-dimensional discrete neuron model” by Paweł Pilarczyk, Justyna Signerska-Rynkowska and Grzegorz Graff. A preprint of this paper is available at https://doi.org/10.48550/arXiv.2209.03443.
-
Morse decompositions for a two-dimensional discrete neuron model (limited range)
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper “Topological-numerical analysis of a two-dimensional discrete neuron model” by Paweł Pilarczyk, Justyna Signerska-Rynkowska and Grzegorz Graff. A preprint of this paper is available at https://doi.org/10.48550/arXiv.2209.03443.
-
Morse decompositions for a two-dimensional discrete neuron model (full range)
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper “Topological-numerical analysis of a two-dimensional discrete neuron model” by Paweł Pilarczyk, Justyna Signerska-Rynkowska and Grzegorz Graff. A preprint of this paper is available at https://doi.org/10.48550/arXiv.2209.03443.
-
Dominik Jasiński dr
OsobyDr Dominik Jasiński jest absolwentem międzynarodowych studiów doktoranckich ukończonych w Wielkiej Brytanii na wydziale Warwick Manufacturing Group wchodzącego w skład University of Warwick. Stopień doktora nauk technicznych otrzymał w roku 2019 w zakresie zrównoważonych materiałów (w tym odnawialnych) oraz zrównoważonej produkcji. Projekt realizowany przez niego w ramach studiów doktoranckich, sponsorowany przez EPSRC oraz firmę...
-
Protection System Design of Induction Motor for Industries
PublikacjaThe fundamental and durable structures of induction motor, as well as their low manufacturing cost, make them popular components in a wide range of current applications. Providing a safety net for employees is a must-have for businesses. This project’s motivation for improvement is to provide industrial motors, lift motors, pumps, and so on with safety. An induction motor’s primary goal is to protect it from problems, such as...
-
Protection System Design of Induction Motor for Industries
PublikacjaThe fundamental and durable structures of induction motor, as well as their low manufacturing cost, make them popular components in a wide range of current applications. Providing a safety net for employees is a must-have for businesses. This project’s motivation for improvement is to provide industrial motors, lift motors, pumps, and so on with safety. An induction motor’s primary goal is to protect it from problems, such as...
-
Sewage sludge co-pyrolysis with agricultural/forest residues: A comparative life-cycle assessment
PublikacjaThis study aims to determine the sustainability and energy efficiency of co-pyrolysis scenarios as treatment processes for municipal sewage sludge through a life cycle assessment (LCA). In addition, sensitivity and energy recovery analyses are conducted to determine the possible methods for optimizing the co-pyrolysis process from a circular bioeconomy perspective. Corncob and wood residue have been selected as potential co-feed...
-
Globalized Knowledge-Based Simulation-Driven Antenna Miniaturization Using Domain-Confined Surrogates and Dimensionality Reduction
PublikacjaDesign of contemporary antenna systems encounters multifold challenges, one of which is a limited size. Compact antennas are indispensable for the new fields of application such as inter-net of things or 5G/6G mobile communication. Still, miniaturization generally undermines elec-trical and field performance. When attempted through numerical optimization, it turns into a constrained problem with costly constraints requiring electromagnetic...
-
Social benefits valuation of hosting non-mega sporting events
PublikacjaPurpose In the study, an attempt was made to estimate the social benefits resulting from three non-mega sporting events organized in Ergo Arena located on the border of two cities in Poland. By attributing a value to intangible social benefits, the intangible effect was determined and compared to the expenditure incurred in the construction of Ergo Arena Hall. Design/methodology/approach In order to value social intangible effects...
-
HYGRO-MAGNETIC VIBRATION OF THE SINGLE-WALLED CARBON NANOTUBE WITH NONLINEAR TEMPERATURE DISTRIBUTION BASED ON A MODIFIED BEAM THEORY AND NONLOCAL STRAIN GRADIENT MODEL
PublikacjaIn this study, vibration analysis of single-walled carbon nanotube (SWCNT) has been carried out by using a refined beam theory, namely one variable shear deformation beam theory. This approach has one variable lesser than a contractual shear deformation theory such as first-order shear deformation theory (FSDT) and acts like classical beam approach but with considering shear deformations. The SWCNT has been placed in an axial or...
-
Underground Water Level Prediction in Remote Sensing Images Using Improved Hydro Index Value with Ensemble Classifier
PublikacjaThe economic sustainability of aquifers across the world relies on accurate and rapid estimates of groundwater storage changes, but this becomes difficult due to the absence of insitu groundwater surveys in most areas. By closing the water balance, hydrologic remote sensing measures offer a possible method for quantifying changes in groundwater storage. However, it is uncertain to what extent remote sensing data can provide an...
-
Vident-lab: a dataset for multi-task video processing of phantom dental scenes
Dane BadawczeWe introduce a new, asymmetrically annotated dataset of natural teeth in phantom scenes for multi-task video processing: restoration, teeth segmentation, and inter-frame homography estimation. Pairs of frames were acquired with a beam splitter. The dataset constitutes a low-quality frame, its high-quality counterpart, a teeth segmentation mask, and...
-
ZRÓŻNICOWANIE KORZYŚCI EKONOMICZNYCH Z ZAANGAŻOWANIA CZYNNIKA PRACY
PublikacjaZróżnicowane ujęcie znaczenia pracy stwarza możliwości szerokiego spojrzenia na korzyści jakie daje jej posiadanie, wykorzystanie. Korzyści indywidualne mogą wynikać z osiągania przez pracobiorców dochodów z tytułu świadczenia pracy, zaspakajania swoich potrzeb i możliwości samorealizacji czy rozwoju. Natomiast zaangażowanie zasobów pracy przez przedsiębiorstwa może generować zyski i sprzyjać ich dalszemu rozwojowi. Praca wykorzystana...
-
Rapid design closure of linear microstrip antenna array apertures using response features
PublikacjaA simple yet reliable approach to a rapid design closure of linear antenna array apertures at the electromagnetic (EM)-simulation level is proposed. Our methodology exploits an underlying array factor (AF) model suitably corrected by means of characteristic points (angles and levels) of the radiation pattern of the EM model of the antenna array aperture. This conveniently allows for controlling both the side lobe levels...
-
Expedited Design Closure of Antennas By Means Of Trust-Region-Based Adaptive Response Scaling
PublikacjaIn the letter, a reliable procedure for expedited design optimization of antenna structures by means of trust-region adaptive response scaling (TR-ARS) is proposed. The presented approach exploits two-level electromagnetic (EM) simulation models. A predicted high-fidelity model response is obtained by applying nonlinear frequency and amplitude correction to the low-fidelity model. The surrogate created this way is iteratively rebuilt...
-
Runtime Visualization of Application Progress and Monitoring of a GPU-enabled Parallel Environment
PublikacjaThe paper presents design, implementation and real life uses of a visualization subsystem for a distributed framework for parallelization of workflow-based computations among clusters with nodes that feature both CPUs and GPUs. Firstly, the proposed system presents a graphical view of the infrastructure with clusters, nodes and compute devices along with parameters and runtime graphs of load, memory available, fan speeds etc. Secondly,...
-
Numerical analysis of chip removing system operation in circular sawing machine using CFD software
PublikacjaPaper presents the analysis of the results of numerical simulations of the air flow process of wood chips removing system in the circular sawing machine. The attention is focused on the upper cover and bottom shelter of the chip removing system. Within the framework of the work a systematic numerical modeling of the air flow distribution in the cover and shelter during operation of the selected rotational speed of saw blade with...
-
2-D constitutive equations for orthotropic Cosserat type laminated shells in finite element analysis
PublikacjaWe propose 2-D Cosserat type orthotropic constitutive equations for laminated shells for the purpose of initial failure estimation in a laminate layer. We use nonlinear 6-parameter shell theory with asymmetric membrane strain measures and Cosserat kinematics as the framework. This theory is specially dedicated to the analysis of irregular shells, inter alia, with orthogonal intersections, since it takes into account the drilling...
-
Crowdsourcing-Based Evaluation of Automatic References Between WordNet and Wikipedia
PublikacjaThe paper presents an approach to build references (also called mappings) between WordNet and Wikipedia. We propose four algorithms used for automatic construction of the references. Then, based on an aggregation algorithm, we produce an initial set of mappings that has been evaluated in a cooperative way. For that purpose, we implement a system for the distribution of evaluation tasks, that have been solved by the user community....
-
Review of the Complexity of Managing Big Data of the Internet of Things
PublikacjaTere is a growing awareness that the complexity of managing Big Data is one of the main challenges in the developing feld of the Internet of Tings (IoT). Complexity arises from several aspects of the Big Data life cycle, such as gathering data, storing them onto cloud servers, cleaning and integrating the data, a process involving the last advances in ontologies, such as Extensible Markup Language (XML) and Resource Description...