Semiring - PDFSEARCH.IO - Document Search Engine

Semiring
Results: 84

#	Item
21	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Kuich: Rationally Additive Semirings Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-06 08:58:55 Ring theory Structure Mathematical structures Semiring Abstract algebra Natural number Ring Algebraic structures Mathematics Algebra
22	2-or-more approximation for intuitionistic logic Gabriel Scherer November 25, 2014 1 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-11-25 09:35:48 Algebra Deduction Differential topology Proof theory Abstract algebra Ring theory Semiring
23	Multilevel Security and Quality of Protection Simon N. Foley1 , Stefano Bistarelli3,4 , Barry O’Sullivan1,2 , John Herbert1 , and Garret Swart5 1 Department of Computer Science, University College, Cork, Ireland. Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2005-08-29 06:47:44 Computer network security Multilevel security Semiring Vulnerability Information flow Software assurance Threat National Security Agency Computer security Security Cyberwarfare
24	REASONING ABOUT SECURE INTEROPERATION USING SOFT CONSTRAINTS Stefano Bistarelli1,2 , Simon N. Foley3 , Barry O’Sullivan3,4 1 Istituto di Informatica e Telematica, CNR, Pisa, Italy, Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-10-08 09:08:21 Access control Ring theory Semiring Constraint satisfaction Interoperation Constraint programming Ring Computing Security Software engineering
25	VODCA 2004 Preliminary Version Soft Constraints for Security Giampaolo Bella 1 Dipartimento di Matematica e Informatica, Universit` a di Catania, Italy Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-12-20 08:53:54 Semiring Artificial intelligence Constraint programming Computing Constraint satisfaction
26	The Kolmogorov extension theorem Jordan Bell Department of Mathematics, University of Toronto June 21, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-10-02 15:25:14 Measure theory Probability theory General topology Functional analysis Sigma-algebra Measure Σ-finite measure Axiom of choice Semiring Mathematical analysis Mathematics Topology
27	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
28	Matrix-Vector Multiplication in Sub-Quadratic Time (Some Preprocessing Required) Ryan Williams∗ Abstract We show that any n × n matrix A over any finite semiring can be preprocessed in O(n2+ε ) Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2006-10-02 16:50:12 Matrices Matrix theory Computational complexity theory Digital signal processing Fast Fourier transform Adjacency matrix Matrix multiplication Shortest path problem Semiring Mathematics Algebra Abstract algebra
29	Lower Bounds for Tropical Circuits and Dynamic Programs∗ Stasys Jukna University of Frankfurt, Institute of Computer Science, Germany Vilnius University, Institute of Mathematics and Informatics, Vilnius, Lithuania juk Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2015-02-05 11:02:38 Algebraic structures Algebraic geometry Ring theory Polynomials Circuit complexity Arithmetic circuit complexity Semiring Monomial Tropical geometry Algebra Mathematics Abstract algebra
30	Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpg Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-28 19:26:39 Mathematics Operations research Combinatorial optimization NP-complete problems Windows games Knapsack problem Semiring Grand Theft Auto IV Grand Theft Auto V Theoretical computer science Action-adventure games Applied mathematics