Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 391 matches
- 2024
- Ramil I. Nugmanov:
PaCh (Packed Chemicals): Computationally Effective Binary Format for Chemical Structure Encoding. J. Chem. Inf. Model. 64(8): 3173-3179 (2024) - Shitao Li, Minjia Shi:
Characterization and Classification of Binary Linear Codes With Various Hull Dimensions From an Improved Mass Formula. IEEE Trans. Inf. Theory 70(5): 3357-3372 (2024) - Rafael Dutra, Rahul Gopinath, Andreas Zeller:
FormatFuzzer: Effective Fuzzing of Binary File Formats. ACM Trans. Softw. Eng. Methodol. 33(2): 53:1-53:29 (2024) - 2023
- Ali Mestrah:
Identification de modèles sous forme de représentation d'état pour les systèmes à sortie binaire. (Model identification as state representation for binary output systems). Normandy University, Caen, France, 2023 - Ankur, Pramod Kumar Kewat:
Binary self-dual codes and Jacobi forms over a totally real subfield of ${\mathbb {Q}}(\zeta _8)$. Appl. Algebra Eng. Commun. Comput. 34(3): 377-392 (2023) - Kazuma Fuchimoto, Shin-ichi Minato, Maomi Ueno:
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams. IEEE Access 11: 112804-112813 (2023) - Stepan Holub, Martin Raska:
Binary codes that do not preserve primitivity. Arch. Formal Proofs 2023 (2023) - Bahram Alidaee, Haibo Wang, Lutfu S. Sua:
An Efficient Closed-Form Formula for Evaluating r-Flip Moves in Quadratic Unconstrained Binary Optimization. Algorithms 16(12): 557 (2023) - Sadeque Hamdan, Oualid Jouini, Ali Cheaitou, Zied Jemaï, Tobias Andersson Granberg:
On the binary formulation of air traffic flow management problems. Ann. Oper. Res. 321(1): 267-279 (2023) - Konrad Höffner, Tim Baccaert:
hdt-rs: A Rust library for the Header Dictionary Triples binary RDF compression format. J. Open Source Softw. 8(86): 5114 (2023) - Ryan Burdett, Michael Haythorpe, Alex Newcombe:
Binary programming formulations for the upper domination problem. Math. Methods Oper. Res. 98(2): 155-168 (2023) - Jitendra Kumar, Yukio Miyasaka, Asutosh Srivastava, Masahiro Fujita:
Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1365-1378 (2023) - Madhan Thirumoorthi, Alexander J. Leigh, Moslem Heidarpur, Mohammed A. S. Khalid, Mitra Mirhassani:
Novel Formulations of M-Term Overlap-Free Karatsuba Binary Polynomial Multipliers and Their Hardware Implementations. IEEE Trans. Very Large Scale Integr. Syst. 31(10): 1509-1522 (2023) - Neda Maleki, Arslan Musaddiq, David Mozart, Tobias Olsson, Mustafa Omareen, Fredrik Ahlgren:
DeltaBin: An Efficient Binary Data Format for Low Power IoT Devices. CITS 2023: 1-5 - Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran:
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. FormaliSE 2023: 7-17 - Jared Chandler, Adam Wick, Kathleen Fisher:
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. NDSS 2023 - Nasim Sobhani, Kinshuk Sengupta, Sarah Jane Delany:
Measuring Gender Bias in Natural Language Processing: Incorporating Gender-Neutral Linguistic Forms for Non-Binary Gender Identities in Abusive Speech Detection. RANLP 2023: 1121-1131 - Piotr Wasilewski, Janusz Kacprzyk, Slawomir Zadrozny:
Reduction of Binary Attributes: Rough Set Theory Versus Formal Concept Analysis. IJCRS 2023: 46-61 - Haegeon Jeong, Kyungtae Kang, Jinsung An:
Hot-patching Platform for Executable and Linkable Format Binary Application for System Resilience. SAC 2023: 1301-1304 - Alexander Senier:
Tutorial: The End of Binary Protocol Parser Vulnerabilities : Using RecordFlux and SPARK to implement formally-verified binary formats and communication protocols. SecDev 2023: 5-6 - Daniel Engel, Freek Verbeek, Binoy Ravindran:
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP 2023: 3-20 - Wouter Lemoine, Maarten Wijnants:
Progressive Network Streaming of Textured Meshes in the Binary glTF 2.0 Format. Web3D 2023: 7:1-7:11 - Alberto Del Pia, Aida Khajavirad:
The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization. CoRR abs/2309.08693 (2023) - Franek Stark, Shubham Vyas, Georg Schildbach, Frank Kirchner:
Linear Model Predictive Control for a planar free-floating platform: A comparison of binary input constraint formulations. CoRR abs/2312.10788 (2023) - Thomas Pornin:
Faster Complete Formulas for the GLS254 Binary Curve. IACR Cryptol. ePrint Arch. 2023: 1688 (2023) - 2022
- Camille Le Bon:
Analyse et optimisation dynamiques de programmes au format binaire pour la cybersécurité. (Dynamic binary analysis and optimization for cybersecurity). University of Rennes 1, France, 2022 - Ayberk Zeytin:
InfoMod: a visual and computational approach to Gauss' binary quadratic forms. Appl. Algebra Eng. Commun. Comput. 33(4): 437-455 (2022) - Cai-Juan Soong, Rosshairy Abd Rahman, Razamin Ramli, Mohammed Suhaimee Abd Manaf, Chek-Choon Ting:
An Evolutionary Algorithm: An Enhancement of Binary Tournament Selection for Fish Feed Formulation. Complex. 2022: 7796633:1-7796633:15 (2022) - Claus Scheiderer:
Extreme Points of Gram Spectrahedra of Binary Forms. Discret. Comput. Geom. 67(4): 1174-1190 (2022) - Maggie Bao, Cole Powers, Marek A. Perkowski:
Quantum Machine Learning, Logic Minimization, and Circuit Design by Optimizing Ternary-Input Binary-Output Kronecker Reed-Muller Forms. FLAP 9(3): 733-780 (2022)
skipping 361 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-10 05:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint