Pawel Pawlowski

Daniel Skurt

J. Philos. Log., April, 2024

2023

Logic of informal provability with truth values.

[BibT_eX]

[DOI]

Rafal Urbaniak

Log. J. IGPL, January, 2023

Height of Valuations in Non-deterministic Semantics for Modal Logic.

[BibT_eX]

[DOI]

FLAP, 2023

Analog, Programmable Switched Capacitor FIR Filter Based on Rotator Architecture Implemented in CMOS Technology.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2023

How to combine issues related to autonomous vehicles - a proposal with a literature review.

[BibT_eX]

[DOI]

Julian Balcerek

Proceedings of the Signal Processing: Algorithms, 2023

2022

Modular non-deterministic semantics for T, TB, S4, S5 and more.

[BibT_eX]

[DOI]

Elio La Rosa

J. Log. Comput., 2022

Precise 3D vision based measurements of gear wheels.

[BibT_eX]

[DOI]

Piotr Góral

Proceedings of the Signal Processing: Algorithms, 2022

Vision system for automatic recognition of selected road users.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2022

Vision system for automatic recognition of Polish historic vehicles.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2022

2021

Highly Efficient Lossless Coding for High Dynamic Range Red, Clear, Clear, Clear Image Sensors.

[BibT_eX]

[DOI]

Sensors, 2021

Non-deterministic Logic of Informal Provability has no Finite Characterization.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

2020

Tuning of Classifiers to Speed-Up Detection of Pedestrians in Infrared Images.

[BibT_eX]

[DOI]

Sensors, 2020

Visualization techniques to support CCTV operators of smart city services.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2020

Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations.

[BibT_eX]

[DOI]

Logica Universalis, 2020

Improved pedestrian detection by adjustment of segmented ROI in thermal night vision.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2020

Switched-capacitor finite impulse response rotator filter.

[BibT_eX]

[DOI]

Rafal Dlugosz

Proceedings of the Signal Processing: Algorithms, 2020

Classification of road surfaces using convolutional neural network.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2020

2019

Efficient HDR tone-mapping for ADAS applications.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2019

Detection of defective products using stereovision.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2019

Scalable multidimensional relations between features of calls to emergency services.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2019

2018

Many-Valued Logic of Informal Provability: a non-Deterministic Strategy.

[BibT_eX]

[DOI]

Rafal Urbaniak

Rev. Symb. Log., 2018

Proof systems for BAT consequence relations.

[BibT_eX]

[DOI]

Log. J. IGPL, 2018

Programmable, switched-capacitor finite impulse response filter realized in CMOS technology for education purposes.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2018

Selection and tests of lossless and lossy video codecs for advanced driver-assistance systems.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2018

Automatic recognition of image details using stereovision and 2D algorithms.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2018

Reflow Oven for Heating and Soldering SMD and BGA Components.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference "Mixed Design of Integrated Circuits and System", 2018

2017

Efficient pedestrian detection with enhanced object segmentation in far IR night vision.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2017

Classification of emergency phone conversations with artificial neural network.

[BibT_eX]

[DOI]

Julian Balcerek

Proceedings of the Signal Processing: Algorithms, 2017

2016

Multi-branch classifiers for pedestrian detection from infrared night and day images.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2016

2015

Pedestrian detection in low resolution night vision images.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2015

Relations between features for automatic recognition of abnormal cases in emergency telephone call systems.

[BibT_eX]

[DOI]

Proceedings of the Signal Processing: Algorithms, 2015

2012

Modeling of cylindrical scene in CCTV systems with motorized camera.

[BibT_eX]

[DOI]

Proceedings of the 2012 Picture Coding Symposium, 2012

2011

Multicriteria Metadata Mechanisms for Fast and Reliable Searching of People Using Databases with Unreliable Records.

[BibT_eX]

[DOI]

Julian Balcerek

Proceedings of the Multimedia Communications, Services and Security, 2011

People recognition and tracking methods for control of viewpoint in CCTV systems.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Circuit Theory and Design, 2011

Software defined radio - design and implementation of complete platform.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2007

Extended precision accumulation of floating-point data for digital signal generation and processing.

[BibT_eX]

[DOI]

Proceedings of the 15th European Signal Processing Conference, 2007

Proposal of VLIW Architecture for Application Specific Processors with Built-in-Self-Repair Facility via Variable Accuracy Arithmetic.

[BibT_eX]

[DOI]

Mario Schölzel

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007

Benchmark problems of Signal Processing and Control for Testing Emergent Architectures and Programming Techniques of DSP's, FASIC's, and PLD's.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Computer Information Systems and Industrial Management Applications, 2007

2006

Integrated CMOS GSM baseband channel selecting filters realized using switched capacitor finite impulse response technique.

[BibT_eX]

[DOI]

Rafal Dlugosz

Microelectron. Reliab., 2006

2005

Finite impulse response filter banks realized using switched capacitor technique.

[BibT_eX]

[DOI]

Rafal Dlugosz