• 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.

found 38 matches

• 2020
• 
  Electa Alice Appadurai, Mahabaleswara Ram Bhatt, Geetha Dundesh Devanagavi:
  Semi Fragile Audio Crypto-Watermarking based on Sparse Sampling with Partially Decomposed Haar Matrix Structure. Acta Cybern. 24(4): 679-697 (2020)
• 
  Ekaterina Auer, Julia Kersten, Andreas Rauh:
  Preface. Acta Cybern. 24(3): 265-266 (2020)
• 
  Sonam Chhikara, Rajeev Kumar:
  An Information Theoretic Image Steganalysis for LSB Steganography. Acta Cybern. 24(4): 593-612 (2020)
• 
  Hani Dbouk, Steffen Schön:
  Reliable Bounding Zones and Inconsistency Measures for GPS Positioning using Geometrical Constraints. Acta Cybern. 24(3): 573-591 (2020)
• 
  László Hajdu, Attila Tóth, Miklós Krész:
  Graph Coloring based Heuristic for Crew Rostering. Acta Cybern. 24(4): 643-661 (2020)
• 
  Vesa Halava, Tero Harju:
  On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem. Acta Cybern. 24(4): 613-623 (2020)
• 
  Sultan Abdul Hasib, Hussain Md Abu Nyeem:
  Pixel Grouping of Digital Images for Reversible Data Hiding. Acta Cybern. 24(4): 663-678 (2020)
• 
  Luc Jaulin, Fabrice Le Bars:
  Characterizing Sliding Surfaces of Cyber-Physical Systems. Acta Cybern. 24(3): 431-448 (2020)
• 
  Kristine John, Andreas Rauh, Martin Bruschewski, Sven Grundmann:
  Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows. Acta Cybern. 24(3): 343-372 (2020)
• 
  Ide-Flore Kenmogne, Vincent Drevelle, Éric Marchand:
  Cooperative Localization of Drones by using Interval Methods. Acta Cybern. 24(3): 557-572 (2020)
• 
  Julia Kersten, Andreas Rauh, Harald Aschemann:
  Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers. Acta Cybern. 24(3): 467-491 (2020)
• 
  Georgy V. Kostin:
  Verified Solution to Optimal Control Problems of Elastic Rod Motion Based on the Ritz Method. Acta Cybern. 24(3): 393-408 (2020)
• 
  Wolfram Luther, Ekaterina Auer, Benjamin Weyers:
  Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. Acta Cybern. 24(3): 287-314 (2020)
• 
  Nacim Meslem, John J. Martinez:
  Interval Predictors for a Class of Uncertain Discrete-Time Systems. Acta Cybern. 24(3): 493-508 (2020)
• 
  Eugenio Moggi, Walid Taha, Johan Thunberg:
  Sound Over-Approximation of Probabilities. Acta Cybern. 24(3): 269-285 (2020)
• 
  Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
  Optimal Switching Instants for the Control of Hybrid Systems. Acta Cybern. 24(3): 449-465 (2020)
• 
  Gábor Péter Nagy, Sabira El Khalfaoui:
  Estimating the Dimension of the Subfield Subcodes of Hermitian Codes. Acta Cybern. 24(4): 625-641 (2020)
• 
  John D. Pryce, Nedialko S. Nedialkov:
  Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving. Acta Cybern. 24(3): 315-341 (2020)
• 
  Andreas Rauh, Julia Kersten:
  From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers. Acta Cybern. 24(3): 509-537 (2020)
• 
  Klaus Röbenack, Rick Voßwinkel:
  Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem. Acta Cybern. 24(3): 409-427 (2020)
• 
  Jonathan Wunderlich, Michael Plum:
  Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems. Acta Cybern. 24(3): 373-391 (2020)
• 
  Chaima Zammali, Jeremy Van Gorp, Tarek Raïssi:
  On Interval Observer Design for Continuous-Time LPV Switched Systems. Acta Cybern. 24(3): 539-555 (2020)
• 2019
• 
  Sándor Bácsi, Gergely Mezei:
  Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages. Acta Cybern. 24(1): 5-16 (2019)
• 
  Csaba Bálint, Gábor Valasek, Lajos Gergó:
  Operations on Signed Distance Functions. Acta Cybern. 24(1): 17-28 (2019)
• 
  Dénes Bartha:
  Reconstruction of Rooted Directed Trees. Acta Cybern. 24(2): 249-262 (2019)
• 
  József Dombi, Tamás Jónás:
  An Elementary Proof of the General Poincaré Formula for λ-additive Measures. Acta Cybern. 24(2): 173-185 (2019)
• 
  Tjalling Gelsema:
  The Logic of Aggregated Data. Acta Cybern. 24(2): 211-248 (2019)
• 
  Péter Hudoba, Péter Burcsi:
  Multi Party Computation Motivated by the Birthday Problem. Acta Cybern. 24(1): 29-41 (2019)
• 
  György Kalmár, Alexandra Büki, Gabriella Kékesi, Gyöngyi Horváth, László G. Nyúl:
  Automating, Analyzing and Improving Pupillometry with Machine Learning Algorithms. Acta Cybern. 24(2): 197-209 (2019)
• 
  Attila Kertész:
  Preface. Acta Cybern. 24(1): 1-3 (2019)

skipping 8 more matches