Wyniki wyszukiwania dla: SYSTEM MEMORY
-
Time versus space trade-offs for randezvous in trees
PublikacjaTwo identical (anonymous) mobile agents start from arbitrary nodes of an unknown tree and have to meet at some node. Agents move in synchronous rounds: in each round an agent can either stay at the current node or move to one of its neighbors. We consider deterministic algorithms for this rendezvous task. The main result of this paper is a tight trade-off between the optimal time of completing rendezvous and the size of memory...
-
Unsupervised machine-learning classification of electrophysiologically active electrodes during human cognitive task performance
PublikacjaIdentification of active electrodes that record task-relevant neurophysiological activity is needed for clinical and industrial applications as well as for investigating brain functions. We developed an unsupervised, fully automated approach to classify active electrodes showing event-related intracranial EEG (iEEG) responses from 115 patients performing a free recall verbal memory task. Our approach employed new interpretable...
-
Context Search Algorithm for Lexical Knowledge Acquisition
PublikacjaA Context Search algorithm used for lexical knowledge acquisition is presented. Knowledge representation based on psycholinguistic theories of cognitive processes allows for implementation of a computational model of semantic memory in the form of semantic network. A knowledge acquisition using supervised dialog templates have been performed in a word game designed to guess the concept a human user is thinking about. The game,...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_004)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_005)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0010)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_002)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0012)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_008)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_003)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_007)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_006)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0011)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_009)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0017)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0021)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0020)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0019)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0024)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Invasive electrophysiological patient recordings from the human brain during memory tasks with pupilometry (MC_0023)
Dane BadawczeData comprise intracranial EEG (iEEG) brain activity, including electrocorticography (ECoG) signals, recorded from over 100 electrodes implanted in one patient throughout various brain regions. These iEEG signals were recorded in epilepsy patients undergoing invasive monitoring and localization of seizures when they were performing a battery of four...
-
Using LSTM networks to predict engine condition on large scale data processing framework
PublikacjaAs the Internet of Things technology is developing rapidly, companies have an ability to observe the health of engine components and constructed systems through collecting signals from sensors. According to output of IoT sensors, companies can build systems to predict the conditions of components. Practically the components are required to be maintained or replaced before the end of life in performing their assigned task. Predicting...
-
Gaining knowledge through experience: developing decisional DNA applications in robotics
PublikacjaOmówiono nowatorskie podejscie do zastosowania wiedzy opartej na doświadczeniu i budowie decyzyjnego DNA w obszarach związanych z robotyką.In this article, we explore an approach that integrates Decisional DNA, a domain-independent, flexible, and standard knowledge representation structure, with robots in order to test the usability and suitability of this novel knowledge representation structure. Core issues in using this Decisional...
-
Hybridized Space-Vector Pulsewidth Modulation for Multiphase Two-Level Voltage Source Inverter
PublikacjaIn space vector pulsewidth modulation (SVPWM) algorithms for multiphase two-level voltage source inverters (VSI), the components of active vectors in all orthogonal spaces have to be calculated within the processor and stored in its memory. These necessitate intensive computational efforts of the processor and large memory space. This article presents a hybridized SVPWM for multiphase two-level VSI. In this algorithm, elements...
-
Parallelization of large vector similarity computations in a hybrid CPU+GPU environment
PublikacjaThe paper presents design, implementation and tuning of a hybrid parallel OpenMP+CUDA code for computation of similarity between pairs of a large number of multidimensional vectors. The problem has a wide range of applications, and consequently its optimization is of high importance, especially on currently widespread hybrid CPU+GPU systems targeted in the paper. The following are presented and tested for computation of all vector...
-
Smaller Representation of Finite State Automata
PublikacjaThis paper is a follow-up to Jan Daciuk's experiments on space-effcient finite state automata representation that can be used directly for traversals in main memory. We investigate several techniques of reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve a gain of around 20-30%...
-
Dilemmas of Identity in Contemporary Cities. The City of Gdansk as an Example
PublikacjaThe article is aimed to answer the question how, depending on the historical heritage, the collective memory, the physical space of the city and their images were shaped, through the politics of memory. All known cultures and languages distinguish the ‘self’ and the ‘other’, ‘us’ and ‘them’. Neither do we know cities which wish to differ in some particular way, although they can have numerous identities. Their multitude and diversity...
-
Determining the optimal filling of the surface with a linker with Universal Force Field and Reax Force Field
Dane BadawczeThe DataSet contains the atomic slabs of diamond surfaces with ATP molecules in water. The calculated data includes different sized surfaces from 90 Angstrom^2 to 691 Angstrom^2. Structures were relaxed using the Reax Force Field method with the Limited Memory Broyden–Fletcher–Goldfarb–Shanno algorithm. Structures were calculated with a convergence...
-
Emotion Recognition
Dane BadawczeThe films presented here were recorded using so-called high-speed camera Phantom Miro. To play the movie You need the special software which can be downloaded from the web site https://www.phantomhighspeed.com/resourcesandsupport/phantomresources/pccsoftware the details of the movie are available after starting the movie in the viewer in the description...
-
Emotion Recognition
Dane BadawczeThe films presented here were recorded using so-called high-speed camera Phantom Miro. To play the movie You need the special software which can be downloaded from the web site https://www.phantomhighspeed.com/resourcesandsupport/phantomresources/pccsoftware the details of the movie are available after starting the movie in the viewer in the description...
-
The effect of cobalt addition on the corrosion behavior of near equiatomic NiTi shape memory alloy in normal saline solution, impedance and microscopic studies
Dane BadawczeThe electrochemical and corrosion (uniform and localized) behavior of a binary Ni52Ti48 shape memory alloy (SMA) and two ternary Ni52Ti48-xCox (x = 1.5 and 4.0 wt.%) SMAs were studied. Measurements were conducted in 0.9% NaCl solution at 37 oC. This dataset contains the results of electrochemical impedance spectroscopy (EIS) studies done on daily basis...
-
Smaller representation of finite state automata
PublikacjaThis paper is a follow-up to Jan Daciuk's experiments on space-efficient finite state automata representation that can be used directly for traversals in main memory (Daciuk, 2000)[4]. We investigate several techniques for reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve...
-
FDTD Method for Electromagnetic Simulations in Media Described by Time-Fractional Constitutive Relations
PublikacjaIn this paper, the finite-difference time-domain (FDTD) method is derived for electromagnetic simulations in media described by the time-fractional (TF) constitutive relations. TF Maxwell’s equations are derived based on these constitutive relations and the Grünwald–Letnikov definition of a fractional derivative. Then the FDTD algorithm, which includes memory effects and energy dissipation of the considered media, is introduced....
-
GPU-Accelerated Finite-Element Matrix Generation for Lossless, Lossy, and Tensor Media [EM Programmer's Notebook]
PublikacjaThis paper presents an optimization approach for limiting memory requirements and enhancing the performance of GPU-accelerated finite-element matrix generation applied in the implementation of the higher-order finite-element method (FEM). It emphasizes the details of the implementation of the matrix-generation algorithm for the simulation of electromagnetic wave propagation in lossless, lossy, and tensor media. Moreover, the impact...
-
An Approximation of the Zero Error Capacity by a Greedy Algorithm
PublikacjaWe present a greedy algorithm that determines a lower bound on the zero error capacity. The algorithm has many new advantages, e.g., it does not store a whole product graph in a computer memory and it uses the so-called distributions in all dimensions to get a better approximation of the zero error capacity. We also show an additional application of our algorithm.
-
An Approximation of the Zero Error Capacity by a Greedy Algorithm.
PublikacjaWe present a greedy algorithm that determines a lower bound on the zero error capacity. The algorithm has many new advantages, e.g., it does not store a whole product graph in a computer memory and it uses the so-called distributions in all dimensions to get a better approximation of the zero error capacity. We also show an additional application of our algorithm.
-
On zero-error codes produced by greedy algorithms
PublikacjaWe present two greedy algorithms that determine zero-error codes and lower bounds on the zero-error capacity. These algorithms have many advantages, e.g., they do not store a whole product graph in a computer memory and they use the so-called distributions in all dimensions to get better approximations of the zero-error capacity. We also show an additional application of our algorithms.
-
Grant Monbusho Rządu Japońskiego Grant Monbusho Rządu Japońskiego, Application of shape memory alloy to improve the seismic performance of bridges
ProjektyProjekt realizowany w Uniwersytet Tokijski zgodnie z porozumieniem . z dnia 1997-05-01
-
Tuning a Hybrid GPU-CPU V-Cycle Multilevel Preconditioner for Solving Large Real and Complex Systems of FEM Equations
PublikacjaThis letter presents techniques for tuning an accelerated preconditioned conjugate gradient solver with a multilevel preconditioner. The solver is optimized for a fast solution of sparse systems of equations arising in computational electromagnetics in a finite element method using higher-order elements. The goal of the tuning is to increase the throughput while at the same time reducing the memory requirements in order to allow...
-
Identification of nonstationary processes using noncausal bidirectional lattice filtering
PublikacjaThe problem of off-line identification of a nonstationary autoregressive process with a time-varying order and a time-varying degree of nonstationarity is considered and solved using the parallel estimation approach. The proposed parallel estimation scheme is made up of several bidirectional (noncausal) exponentially weighted lattice algorithms with different estimation memory and order settings. It is shown that optimization of...
-
A Task-Scheduling Approach for Efficient Sparse Symmetric Matrix-Vector Multiplication on a GPU
PublikacjaIn this paper, a task-scheduling approach to efficiently calculating sparse symmetric matrix-vector products and designed to run on Graphics Processing Units (GPUs) is presented. The main premise is that, for many sparse symmetric matrices occurring in common applications, it is possible to obtain significant reductions in memory usage and improvements in performance when the matrix is prepared in certain ways prior to computation....
-
Morse decompositions for a population model with harvesting. Case Ha-Se: Harvesting adults only, equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Morse decompositions for a population model with harvesting. Case He-S1: Equal harvesting of juveniles and adults, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Morse decompositions for a population model with harvesting. Case Ha-S1: Harvesting adults only, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Morse decompositions for a population model with harvesting. Case He-Se: Equal harvesting and equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Morse decompositions for a population model with harvesting. Case Hj-Se: Harvesting juveniles only, equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Morse decompositions for a population model with harvesting. Case Hj-S1: Harvesting juveniles only, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Continuation classes for a population model with harvesting. Case He-S1: Equal harvesting of juveniles and adults, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Continuation classes for a population model with harvesting. Case Ha-S1: Harvesting adults only, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Continuation classes for a population model with harvesting. Case He-Se: Equal harvesting and equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Continuation classes for a population model with harvesting. Case Hj-S1: Harvesting juveniles only, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.