Mellon - PDFSEARCH.IO - Document Search Engine

Mellon
Results: 5624

#	Item
11	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
12	Incorporating Side Information in Tensor Completion Hemank Lamba, Vaishnavh Nagarajan, Kijung Shin, Naji Shajarisales Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:55 Algebra Linear algebra Mathematics Matrix theory Matrix Tensor Factorization Singular value decomposition Tensor product
13	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
14	HOST RELEASE FORM I want to participate in the Carnegie Mellon University Africa (“CMUAfrica”) Host Family Program as a host. I understand that, as a host, I will be matched with a foreign student(s) for the purpose Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon University Carnegie Mellon Silicon Valley Severability Terminology
15	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
16	Maximizing the Spread of Positive Influence by Deadline Hemank Lamba, Jürgen Pfeffer Carnegie Mellon University {hlamba,jpfeffer}@cs.cmu.edu Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:49:21 Mathematics Combinatorics Discrete mathematics Network theory Networks Memetics Neologisms Viral marketing Greedy algorithm Heuristic Centrality Flow network
17	Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Computing Software engineering Formal methods Software Theoretical computer science Simulation software Visual programming languages Numerical software Simulink SIGNAL Autopilot Formal verification
18	Carnegie Mellon University Africa Department Information and Communication TechnologyRwanda 2018‐2019 Handbook Master’s Degree in Information Technology (MSIT) Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon Silicon Valley Education Carnegie Mellon University Master of Science in Information Technology Course credit Carnegie Mellon School of Computer Science Tepper School of Business
19	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
20	BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Functions and mappings Function Graph of a function Abstraction Structure

UPDATE