SlideShare verwendet Cookies, um die Funktionalität und Leistungsfähigkeit der Webseite zu verbessern und Ihnen relevante Werbung bereitzustellen. Wenn Sie diese Webseite weiter besuchen, erklären Sie sich mit der Verwendung von Cookies auf dieser Seite einverstanden. Lesen Sie bitte unsere Nutzervereinbarung und die Datenschutzrichtlinie.

SlideShare verwendet Cookies, um die Funktionalität und Leistungsfähigkeit der Webseite zu verbessern und Ihnen relevante Werbung bereitzustellen. Wenn Sie diese Webseite weiter besuchen, erklären Sie sich mit der Verwendung von Cookies auf dieser Seite einverstanden. Lesen Sie bitte unsere unsere Datenschutzrichtlinie und die Nutzervereinbarung.

    SlideShare
  • Slideshare-64x64 Start
  • Entdecken
  • Suche
    • Sie
  • Hochladen
  • Einloggen
  • Registrieren
  • Start
  • Entdecken
×
×
×
×
×
×

Masahiro Sakai

  • Sie folgen Folgen   Processing…
  • 33 SlideShares
  • 155 Follower
  • 0 Clipboards

Modal header

One fine body…

  • 33 Präsentationen
  • Dokumente
  • Videos
  • Infografiken
  • Aktuellste
  • Am beliebtesten
  • DeepXplore: Automated Whitebox Testing of Deep Learning DeepXplore: Automated Whitebo... Vor 2 Jahren 1.199 Aufrufe
  • Towards formal verification of neural networks Towards formal verification o... Vor 2 Jahren 422 Aufrufe
  • 関数プログラマから見たPythonと機械学習 関数プログラマから見たPythonと機械学習 Vor 2 Jahren 30.378 Aufrufe
  • Writing a SAT solver as a hobby project Writing a SAT solver as a hob... Vor 3 Jahren 1.620 Aufrufe
  • RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay RClassify: Classifying Race C... Vor 3 Jahren 553 Aufrufe
  • ゼロピッチ: MOOC ゼロピッチ: MOOC Vor 4 Jahren 834 Aufrufe
  • SAT/SMT solving in Haskell SAT/SMT solving in Haskell Vor 4 Jahren 2.828 Aufrufe
  • SAT/SMTソルバの仕組み SAT/SMTソルバの仕組み Vor 5 Jahren 27.137 Aufrufe
  • Introduction to Max-SAT and Max-SAT Evaluation Introduction to Max-SAT and M... Vor 6 Jahren 4.587 Aufrufe
  • Aluminum: Principled Scenario Exploration through Minimality Aluminum: Principled Scenario... Vor 7 Jahren 993 Aufrufe
  • 代数的実数とCADの実装紹介 代数的実数とCADの実装紹介 Vor 7 Jahren 3.099 Aufrufe
  • How a CDCL SAT solver works How a CDCL SAT solver works Vor 8 Jahren 26.800 Aufrufe
  • Omega test and beyond Omega test and beyond Vor 8 Jahren 4.220 Aufrufe
  • 萩野服部研究室 スキー合宿 2012 自己紹介(酒井) 萩野服部研究室 スキー合宿 2012 自己紹介(酒井) Vor 8 Jahren 1.665 Aufrufe
  • 自動定理証明の紹介 自動定理証明の紹介 Vor 9 Jahren 9.321 Aufrufe
  • “Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@PLDIr#6 “Adoption and Focus: Practica... Vor 10 Jahren 1.550 Aufrufe
  • “Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介@PLDIr#5 “Design and Implementation of... Vor 11 Jahren 1.734 Aufrufe
  • Relaxed Dependency Analysis Relaxed Dependency Analysis Vor 11 Jahren 1.804 Aufrufe
  • “Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介@PLDIr#4 “Symbolic bounds analysis of ... Vor 11 Jahren 1.770 Aufrufe
  • 自然言語をラムダ式で解釈する体系PTQのHaskell実装 自然言語をラムダ式で解釈する体系PTQのHaskell実装 Vor 11 Jahren 3.902 Aufrufe
  • 1
  • 2
  • English
  • Español
  • Português
  • Français
  • Deutsch
  • Info
  • Entwickler & API
  • Blog
  • AGB
  • Datenschutz
  • Copyright
  • Support
RSS-Feeds