Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
A General Framework for Sequential Grammars with Control Mechanisms
Descriptional Complexity of Formal Systems, 2019, Vol.11612, p.1-34
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
P Systems with Toxic Objects
Membrane Computing, p.99-125
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Control Mechanisms for Array Grammars on Cayley Grids
Machines, Computations, and Universality, 2018, Vol.10881, p.1-33
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
In Vitro Anti-arthritic Activity
Pharmacological Assays of Plant-Based Natural Products, 2016, Vol.71, p.123-127
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems
Membrane Computing, p.86-98
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Formal Methods, p.648-656
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
P Systems with Anti-Matter
Membrane Computing, p.66-85
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Minimizing Multimodular Functions and Allocating Capacity in Bike-Sharing Systems
Integer Programming and Combinatorial Optimization, 2017, Vol.10328, p.186-198
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Prescribed Teams of Rules Working on Several Objects
Machines, Computations, and Universality, 2022, Vol.13419, p.27-41
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A General Framework for Regulated Rewriting Based on the Applicability of Rules
Computation, Cooperation, and Life, p.35-53
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Red–Green P Automata
Membrane Computing, p.139-157
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Energy–Controlled P Systems
Lecture notes in computer science, 2003, Vol.2597, p.247-260
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
P Systems with Activation and Blocking of Rules
Unconventional Computation and Natural Computation, 2018, Vol.10867, p.1-15
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Thread-Modular Verification for Shared-Memory Programs
Lecture notes in computer science, 2002, p.262-277
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
RedCard: Redundant Check Elimination for Dynamic Race Detectors
ECOOP 2013 – Object-Oriented Programming, p.255-280
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Polarizationless P Systems with One Active Membrane
Membrane Computing, p.51-62
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Type Inference Against Races
Lecture notes in computer science, 2004, p.116-132
2004
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Transition and Halting Modes in (Tissue) P Systems
Membrane Computing, p.18-29
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Membrane Systems Using Noncooperative Rules with Unconditional Halting
Membrane Computing, p.129-136
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
P Systems with Activated/Prohibited Membrane Channels
Lecture notes in computer science, 2003, Vol.2597, p.261-269
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Sustainability-Oriented Business Model Assessment—A Conceptual Foundation
Analytics, Innovation, and Excellence-Driven Enterprise Sustainability, 2017, p.169-206
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
P Systems without Priorities Are Computationally Universal
Lecture notes in computer science, 2003, Vol.2597, p.400-409
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Membrane Systems with Symport/Antiport Rules: Universality Results
Lecture notes in computer science, 2003, Vol.2597, p.270-287
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Sequential P Systems with Unit Rules and Energy Assigned to Membranes
Machines, Computations, and Universality, p.200-210
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Programming Languages and Systems, p.394-409
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 2.276
Suche als RSS-Feed
Aktive Filter
SpracheJapanisch
ThemaBusiness Strategy
ThemaComputer Science, Information Systems
PublikationsformBuchkapitel
ThemaScience & Technology
Suchergebnisse filtern
Filter anzeigen