„programming“

Suchergebnisse

10.000+ Treffer

• Model checking parameterized asynchronous shared-memory systems
  Durand-Gasselin, Antoine ; Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak
• SEPAL: Schema Enhanced Programming for Linked Data
  Scheglmann, Stefan ; Leinberger, Martin ; Gottron, Thomas ; Staab, Steffen ; Lämmel, Ralf
• Author Correction: Optimizing ternary hybrid nanofluids using neural networks, gene expression programming, and multi-objective particle swarm optimization: a computational intelligence strategy
  Hai, Tao ; Basem, Ali ; Alizadeh, As’ad ; Singh, Pradeep Kumar ; Rajab, Husam ; Maatki, Chemseddine ; Becheikh, Nidhal ; Kolsi, Lioua ; Singh, Narinderjit Singh Sawaran ; Maleki, H.
• Concavity and efficient points of discrete distributions in probabilistic programming
  Dentcheva, Darinka ; Prékopa, András ; Ruszczynski, Andrzej
• Shaping the future energy markets with hybrid multimicrogrids by sequential least squares programming
  Fracas, Paolo ; Camarda, Kyle V. ; Zondervan, Edwin
• 50 Years of Integer Programming 1958-2008 – From the Early Years to the State-of-the-Art
  Jünger, Michael ; Liebling, Thomas M. ; Naddef, Denis ; Nemhauser, George L. ; Pulleyblank, William R. ; Reinelt, Gerhard ; Rinaldi, Giovanni ; Wolsey, Laurence A. 2009 Springer Berlin Heidelberg
• Data Science für alle: Grundlagen der Datenprogrammierung – Ein Data-Science-Kurs für alle Studierenden der TU Berlin
  Abedjan, Ziawasch ; Anuth, Hagen ; Esmailoghli, Mahdi ; Mahdavi Lahijani, Mohammad ; Neutatz, Felix ; Chen, Binger
• Lossless compaction of model execution traces
  Hojaji, Fazilat ; Zamani, Bahman ; Hamou-Lhadj, Abdelwahab ; Mayerhofer, Tanja ; Bousse, Erwan
• Using transformations and verification in circuit design
  Saxe, James B. ; Horning, James J. ; Guttag, John ; Garland, Stephen J.
• The RatioLog Project: Rational Extensions of Logical Reasoning
  Furbach, Ulrich ; Schon, Claudia ; Stolzenburg, Frieder ; Weis, Karl-Heinz ; Wirth, Claus-Peter
• Cloud Database Management System security challenges and solutions: an analysis
  Malhotra, Shweta ; Doja, Mohammad Najmud ; Alam, Bashir ; Alam, M. Afshar
• Application-aware cloudlet selection for computation offloading in multi-cloudlet environment
  Roy, Deepsubhra Guha ; De, Debashis ; Mukherjee, Anwesha ; Buyya, Rajkumar
• Quality-functions for an uniform and comparable analysis of demand side management algorithms
  Hölker, Daniel ; Brettschneider, Daniel ; Fischer, Marten ; Tönjes, Ralf ; Roer, Peter
• A Parallel Yet Pipelined Architecture for Efficient Implementation of the Advanced Encryption Standard Algorithm on Reconfigurable Hardware
  Nedjah, Nadia ; Mourelle, Luiza de Macedo ; Wang, Chao
• Software and data technologies – 7th international conference ; revised selected papers
  Cordeiro, José António Moinhos ; Hammoudi, Slimane ; Sinderen, Marten ˜vanœ 2013 Springer
• Semantics in Data and Knowledge Bases – 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer Berlin Heidelberg
• Agent-based modelling of Trypanosoma collective behaviour
  Kuhn, Andreas ; Fischer, Sabine C. ; Engstler, Markus ; Stark, Holger 2025 Universität Würzburg
• Linear Programming Bounds for Non-Euclidean Sphere Packings
  Wackenhuth, Maximilian ; Hartnick, Tobias ; Bowen, Lewis ; Gorodnik, Alexander 2025 KIT-Bibliothek
• Distributed Optimization Algorithms for Nonlinear Programming in Power Systems
  Dai, Xinliang ; Hagenmeyer, Veit ; Leibfried, Thomas ; Diehl, Moritz 2025 KIT-Bibliothek
• Software-Entwicklung für Ingenieure und Ingenieurinnen – Eine Einführung mit der Programmiersprache C
  Drescher, Norbert 2024 Springer Berlin Heidelberg, Imprint: Springer Vieweg