„network programming“

Suchergebnisse

8.178 Treffer

• Deep Cybersecurity: A Comprehensive Overview from Neural Network and Deep Learning Perspective
  Sarker, Iqbal H.
• Mobile Deep Learning: Exploring Deep Neural Network for Predicting Context-Aware Smartphone Usage
  Sarker, Iqbal H. ; Abushark, Yoosef B. ; Khan, Asif Irshad ; Alam, Md Mottahir ; Nowrozy, Raza
• A Coupled Reconfiguration Mechanism for Single-Stranded DNA Strand Displacement Systems
  Johnson, Hope Amber ; Condon, Anne 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming
  Popovic, Louis ; Côté, Alain ; Gaha, Mohamed ; Nguewouo, Franklin ; Cappart, Quentin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DUELMIPs: Optimizing SDN Functionality and Security
  Curry, Timothy ; De Pace, Gabriel ; Fuller, Benjamin ; Michel, Laurent ; Sun, Yan (Lindsay) 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems
  De Albuquerque Silva, Iryna ; Carle, Thomas ; Gauffriau, Adrien ; Pagetti, Claire 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reactamole: Functional Reactive Molecular Programming
  Klinge, Titus H. ; Lathrop, James I. ; Osera, Peter-Michael ; Rogers, Allison 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Properties of Thermodynamic Binding Networks: An Integer Programming Approach
  Haley, David ; Doty, David 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Treewidth-Based Algorithms for the Small Parsimony Problem on Networks
  Scornavacca, Celine ; Weller, Mathias 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
  Kamina, Tetsuo ; Aotani, Tomoyuki ; Masuhara, Hidehiko 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks
  Lathrop, James I. ; Lutz, Jack H. ; Lutz, Robyn R. ; Potter, Hugh D. ; Riley, Matthew R. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks
  Vasic, Marko ; Soloveichik, David ; Khurshid, Sarfraz 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks
  Johnson, Robert F. ; Qian, Lulu 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• BAT.jl: A Julia-Based Tool for Bayesian Inference
  Schulz, Oliver ; Beaujean, Frederik ; Caldwell, Allen ; Grunwald, Cornelius ; Hafych, Vasyl ; Kröninger, Kevin ; Cagnina, Salvatore La ; Röhrig, Lars ; Shtembari, Lolian
• Predicting the Evolution of Communities with Online Inductive Logic Programming
  Athanasopoulos, George ; Paliouras, George ; Vogiatzis, Dimitrios ; Tzortzis, Grigorios ; Katzouris, Nikos 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Distance-Bounded Network Design Through Distributed Convex Programming
  Dinitz, Michael ; Nazari, Yasamin 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Undecidable Problems for Probabilistic Network Programming
  Kahn, David M. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Airline Network Revenue Management by Multistage Stochastic Programming
  Möller, Andris ; Römisch, Werner ; Weber, Klaus 2006 Humboldt-Universität zu Berlin
• WNetKAT: A Weighted SDN Programming and Verification Language
  Larsen, Kim G. ; Schmid, Stefan ; Xue, Bingtian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Applications of Automata and Concurrency Theory in Networks (Invited Paper)
  Silva, Alexandra 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik