„Programs“

Suchergebnisse

10.000+ Treffer

• Automated construction of predicate abstractions for smart contract validation
  Godoy, Javier ; Torres, Eden ; Galeotti, Juan P. ; Garbervetsky, Diego ; Uchitel, Sebastian
• Cybersecurity situation assessment based on fuzzy cluster analysis and fuzzy comprehensive judgment decision-making
  Liu, Kesheng ; Li, Binyong
• Deeploc: a CNN-LSTM framework for NLOS-aware localization in underwater sensor networks
  Shamshad, Nadia ; Wang, Lei ; Sarwr, Danish ; Mohsan, Syed Agha Hassnain
• Joint scalable quantum convolutional neural network and reverse fidelity training for high-accurate recognition in unmanned aerial vehicle surveillance
  Roh, Emily Jimin ; Kim, Joongheon ; Jung, Soyi ; Park, Soohyun
• Technological Influence on Retina Fellows’ Learning Curves: A Prospective Study of Digital versus Analog Microscopes (The BRAVE Study)
  Iglicki, Matias ; Zur, Dinah ; Khoury, Marina ; Muiños, Roberto ; Melamud, Javier Ignacio ; Loewenstein, Anat
• Test schedule generation for acceptance testing of mission-critical satellite systems
  Ollando, Raphaël ; Shin, Seung Yeob ; Minardi, Mario ; Sidiropoulos, Nikolas
• Kepler-aSI.v2: a blended heuristic framework for comprehensive semantic table interpretation
  Baazouzi, Wiem ; Kachroudi, Marouen ; Faiz, Sami
• A critical exploration of stigma interventions and programs for queer peoples across the life course in Canada: a scoping review protocol
  Sinno, Jad ; Logan, Judith ; Carliner, Jesse ; Perez-Brumer, Amaya ; Logie, Carmen ; Grace, Daniel
• A quantum computing approach to model uncertainty in end-of-life prediction
  Basu, Biswajit ; Staino, Andrea
• Rely guarantee method for verifying shared variable concurrent programs
  Xu, Qiwen ; Roever, Willem-Paul ˜deœ ; He, Jifeng 1995 Inst. für Informatik und Praktische Mathematik
• CANDYS, QA – algorithms, programs, and user's manual
  Jansen, Wolfgang 1995 NLD
• Transformation based development of efficient programs for massively parallel architectures – report
  Gutzmann, Michael M. ; Kindermann, Stephan 1995 Inst. für Informatik, Lehrstuhl für Rechnerarchitektur und -kommunikation
• Using the data dependence relation to map programs onto massively parallel architectures – technischer Bericht
  Gutzmann, Michael M. ; Kindermann, Stephan ; Preusche, Oliver 1995 Inst. für Informatik, Lehrstuhl für Rechnerarchitektur und -kommunikation
• A generic specification for verifying peephole optimizations
  Dold, Axel 1995 Univ., Fak. für Informatik
• Functional specification of imperative programs – an alternative point of view of functional languages
  Mohnen, Markus 1995 RWTH, Fachgruppe Informatik
• Solving stochastic programs with complete integer recourse: a framework using Gröbner bases
  Schultz, Rüdiger ; Stougie, Leendert ; Vlerk, Maarten H. ˜van derœ 1995 ZIB
• Strong convexity in stochastic programs with complete resource
  1995 ZIB
• Advanced Statistical Methods for the Analysis of Large Data-Sets
  Di Ciaccio, Agostino 2012 Springer Berlin
• Emerging Space Powers – The New Space Programs of Asia, the Middle East and South-America
  Harvey, Brian ; Smid, Henk H. F. ; Pirard, Théo 2010 Springer Praxis
• Continuance use of AI coding assistants among South Korean Industry Developers: A survey case study with large language models
  Park, Eunil