„Compositional“

Suchergebnisse

3.162 Treffer

• Direct Foundations for Compositional Programming
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Open Algebraic Path Problem
  Master, Jade 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
  Schubert, Philipp Dominik ; Hermann, Ben ; Bodden, Eric 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded-Deducibility Security (Invited Paper)
  Popescu, Andrei ; Bauereiss, Thomas ; Lammich, Peter 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Modelling of Network Games
  Di Lavore, Elena ; Hedges, Jules ; Sobociński, Paweł 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structural, Compositional and Corrosion Characterization of Ni–W Thin Films
  Ajay Kumar Singh ; Saini, Himanshu ; Khatri, Manvendra Singh
• Compositional processing in the recognition of Chinese compounds: Behavioural and computational studies
  Hsieh, Cheng-Yu ; Marelli, Marco ; Rastle, Kathleen
• Association between daily movement behaviors and optimal physical fitness of university students: a compositional data analysis
  Li, Jiayu ; Lin, Zhendiao ; Zou, Mengting ; Feng, Xin ; Liu, Yuanyue
• A Verified and Compositional Translation of LTL to Deterministic Rabin Automata
  Brunner, Julian ; Seidl, Benedikt ; Sickert, Salomon 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Verified Compositional Algorithm for AI Planning
  Abdulaziz, Mohammad ; Gretton, Charles ; Norrish, Michael 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Consistency Models with Global Operation Sequencing and their Composition
  Gotsman, Alexey ; Burckhardt, Sebastian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Consistently-Detecting Monitors
  Francalanza, Adrian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
  Farzan, Azadeh ; Kincaid, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Weak Metrics for Group Key Update
  Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Precongruence Formats with Lookahead through Modal Decomposition
  Fokkink, Wan ; van Glabbeek, Rob J. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A compositional analysis of native and decellularized porcine nasal septum cartilage
  Tluczynski, Katharina ; Breiter, Roman 2022 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Effects of controlled microwave heat treatment on the compositional attributes, antioxidant potential, and anti-nutritional components of apricot kernel flour
  Sheikh, Mohd Aaqib ; Ubaid, Mohammad ; Ahmed, Naseer ; Gul, Mohd Khalid
• 24-Hour Movement Behavior and Health-Related Physical Fitness in College Students: A Compositional Data Analysis
  Yang, Qiushi ; Wang, Junli ; Bai, Jianfei
• Study of compositional and luminescence properties of calcite in lapis lazuli for provenance investigations of archaeological findings
  Magalini, Marta ; Guidorzi, Laura ; Re, Alessandro ; Marabotto, Miriana ; Borghi, Alessandro ; Gallo, Paolo ; Vidale, Massimo ; La Torre, Leonardo ; Campostrini, Matteo ; Lemasson, Quentin ; Pichon, Laurent ; Moignard, Brice ; Pacheco, Claire ; Couture, Pierre ; Palitsin, Vladimir ; Lo Giudice, Alessandro
• Custom Hypergraph Categories via Generalized Relations
  Marsden, Dan ; Genovese, Fabrizio 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik