UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 1.197

Sortiert nach

PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received Symbols

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 2023, p.94-98

2023

Link zum Volltext
IEEE_Xplore

Evaluation and Symbol Classification of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping with Linear Mixture Model

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 2023, p.99-104

2023

Link zum Volltext
IEEE_Xplore

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving

Automated Reasoning, p.330-345

Link zum Volltext

Verfügbarkeit prüfen

Proving More Observational Equivalences with ProVerif

Principles of Security and Trust, p.226-246

Link zum Volltext

Verfügbarkeit prüfen

A Transcription Is All You Need: Learning to Align Through Attention

Document Analysis and Recognition – ICDAR 2021 Workshops, p.141-146

Link zum Volltext

Verfügbarkeit prüfen

A Low-Power 20Gb/s 196GHz BPSK Wireless Transmitter with Energy Efficiency FoM of 0.15pJ/bit/cm

2023 IEEE Custom Integrated Circuits Conference (CICC), 2023, p.1-2

2023

Link zum Volltext
IEEE_Xplore

Satisfiability Modulo Theories: An Appetizer

Formal Methods: Foundations and Applications, p.23-36

Link zum Volltext

Verfügbarkeit prüfen

Real-time Machine Learning for Symbol Detection in MIMO-OFDM Systems

IEEE INFOCOM 2022 - IEEE Conference on Computer Communications, 2022, p.2068-2077

2022

Link zum Volltext
IEEE_Xplore

6.7 A 128Gb/s PAM-4 Transmitter with Programmable-Width Pulse Generator and Pattern-Dependent Pre-Emphasis in 28nm CMOS

2023 IEEE International Solid- State Circuits Conference (ISSCC), 2023, p.120-122

2023

Link zum Volltext
IEEE_Xplore

Finding Finite Models in Multi-sorted First-Order Logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341

2016

Link zum Volltext

Verfügbarkeit prüfen

Learning Register Automata with Fresh Value Generation

Theoretical Aspects of Computing - ICTAC 2015, p.165-183

Link zum Volltext

Verfügbarkeit prüfen

A 20Gb/s QPSK Receiver with Mixed-Signal Carrier, Timing, and Data Recovery Using 3-bit ADCs

2024 IEEE Custom Integrated Circuits Conference (CICC), 2024, p.1-2

2024

Link zum Volltext
IEEE_Xplore

31.3 A 950ns 0.5-to-5.5V 5G NR RF PA Supply Modulator with Floating Capacitor Control for Symbol Power Tracking

2024 IEEE International Solid-State Circuits Conference (ISSCC), 2024, Vol.67, p.500-502

2024

Link zum Volltext
IEEE_Xplore

2.6 A 131mW 6.4Gbps 256×32 Multi-User MIMO OTFS Detector for Next-Gen Communication Systems

2024 IEEE International Solid-State Circuits Conference (ISSCC), 2024, Vol.67, p.46-48

2024

Link zum Volltext
IEEE_Xplore

Blind Doppler Estimation for MPSK-Based Electromagnetic Interferences

2023 57th Asilomar Conference on Signals, Systems, and Computers, 2023, p.1719-1723

2023

Link zum Volltext
IEEE_Xplore

User Requirements Regarding Information Included in Audio-Tactile Maps for Individuals with Blindness

Computers Helping People with Special Needs, p.168-175

Link zum Volltext

Verfügbarkeit prüfen

LigBee: Symbol-Level Cross-Technology Communication from LoRa to ZigBee

IEEE INFOCOM 2023 - IEEE Conference on Computer Communications, 2023, p.1-10

2023

Link zum Volltext
IEEE_Xplore

5G NR RF PA Supply Modulator Supporting 179ns 0.5-to-5.5V Symbol Power Tracking and Envelope Tracking

2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), 2023, p.1-2

2023

Link zum Volltext
IEEE_Xplore

SubScatter: Subcarrier-Level OFDM Backscatter

IEEE INFOCOM 2023 - IEEE Conference on Computer Communications, 2023, p.1-10

2023

Link zum Volltext
IEEE_Xplore

The TPTP Typed First-Order Form with Arithmetic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7180, p.406-419

2012

Link zum Volltext

Verfügbarkeit prüfen

On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning

2023 IEEE Symposium on Security and Privacy (SP), 2023, p.293-310

2023

Link zum Volltext
IEEE_Xplore

A Comparative Study of Phoneme- and Word-Based Learning of English Words Presented to the Skin

Haptics: Science, Technology, and Applications, p.623-635

Link zum Volltext

Verfügbarkeit prüfen

On Solving Universally Quantified Horn Clauses

Static Analysis, p.105-125

Link zum Volltext

Verfügbarkeit prüfen

Dynamical Linking of Positive and Negative Sentences to Goal-Oriented Robot Behavior by Hierarchical RNN

Artificial Neural Networks and Machine Learning – ICANN 2016, p.339-346

Link zum Volltext

Verfügbarkeit prüfen

Learning Generative Structure Prior for Blind Text Image Super-resolution

2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.10103-10113

2023

Link zum Volltext
IEEE_Xplore

1 – 25 von 1.197

Suche als RSS-Feed

Aktive Filter

KollektionSAGE Complete A-Z List

PublikationsformNewsletter-Artikel

KollektionIngenta

PublikationsformTagungsberichte

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(1.103)
Mit Volltextzugriff
(1.194)

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(934)
Technology
(908)
Computer Science
(863)
Computer Science, Theory & Methods
(606)
Exact Sciences And Technology
(574)
Applied Sciences
(565)
Computer Science; Control Theory; Systems
(543)
Computer Science, Artificial Intelligence
(378)
Function Symbol
(290)
Theoretical Computing
(260)
Predicate Symbol
(258)
Artificial Intelligence
(213)
Software
(168)
Computer Science, Software Engineering
(157)
Mathematics
(142)
Computer Science, Information Systems
(141)
Physical Sciences
(120)
Logic Program
(108)
Mathematics, Applied
(101)
Engineering
(97)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(9)

Menü

Weitere Dienste

Einstellungen

PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received Symbols

Evaluation and Symbol Classification of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping with Linear Mixture Model

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving

Proving More Observational Equivalences with ProVerif

A Transcription Is All You Need: Learning to Align Through Attention

A Low-Power 20Gb/s 196GHz BPSK Wireless Transmitter with Energy Efficiency FoM of 0.15pJ/bit/cm

Satisfiability Modulo Theories: An Appetizer

Real-time Machine Learning for Symbol Detection in MIMO-OFDM Systems

6.7 A 128Gb/s PAM-4 Transmitter with Programmable-Width Pulse Generator and Pattern-Dependent Pre-Emphasis in 28nm CMOS

Finding Finite Models in Multi-sorted First-Order Logic

Learning Register Automata with Fresh Value Generation

A 20Gb/s QPSK Receiver with Mixed-Signal Carrier, Timing, and Data Recovery Using 3-bit ADCs

31.3 A 950ns 0.5-to-5.5V 5G NR RF PA Supply Modulator with Floating Capacitor Control for Symbol Power Tracking

2.6 A 131mW 6.4Gbps 256×32 Multi-User MIMO OTFS Detector for Next-Gen Communication Systems

Blind Doppler Estimation for MPSK-Based Electromagnetic Interferences

User Requirements Regarding Information Included in Audio-Tactile Maps for Individuals with Blindness

LigBee: Symbol-Level Cross-Technology Communication from LoRa to ZigBee

5G NR RF PA Supply Modulator Supporting 179ns 0.5-to-5.5V Symbol Power Tracking and Envelope Tracking

SubScatter: Subcarrier-Level OFDM Backscatter

The TPTP Typed First-Order Form with Arithmetic

On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning

A Comparative Study of Phoneme- and Word-Based Learning of English Words Presented to the Skin

On Solving Universally Quantified Horn Clauses

Dynamical Linking of Positive and Negative Sentences to Goal-Oriented Robot Behavior by Hierarchical RNN

Learning Generative Structure Prior for Blind Text Image Super-resolution

Aktive Filter

Suchergebnisse filtern