Techniques - PDFSEARCH.IO - Document Search Engine

Techniques
Results: 34605

#	Item
1	British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGY Add to Reading List Source URL: www.psychologywriter.org.uk Language: English - Date: 2014-12-18 16:21:50 Exercise physiology Sports Biology Medicine Central governor Long-distance running Fatigue
2	A mixed-methods framework for analyzing text data: Integrating computational techniques with qualitative methods in demography Add to Reading List Source URL: www.demographic-research.org Language: English - Date: 2017-11-01 05:07:43 Social research Science Research Qualitative research Scientific method Research methods Multimethodology Qualitative Coding Atlas.ti Participant observation NVivo
3	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Probability and statistics Probability theory Artificial intelligence Machine learning Computational statistics Graphical models Computational linguistics Natural language processing Conditional random field Probabilistic programming language Inference Support vector machine
4	Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Algebra Abstract algebra Mathematics Finite fields Group theory Logarithms Algebraic number theory Numerical linear algebra XTR Discrete logarithm Gaussian elimination Quadratic field
5	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:27:55 Theoretical computer science Information retrieval Information science Model checkers Hashing Model checking Ith SPIN model checker Bitstate hashing Cryptographic hash function Correctness Applied mathematics
6	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-10-26 11:14:04 Logic Mathematical logic Mathematics Predicate logic Propositional calculus Semantics Philosophical logic Satisfiability modulo theories Predicate Literal Well-formed formula Model checking
7	Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:43:38 Edsger W. Dijkstra Network theory Shortest path problem Constructible universe Total least squares
8	Multifonds Global Accounting Transform your fund administration activity with sophisticated workflow and production control techniques. Drive dramatic increases in operational efficiency via advanced global operating mod Add to Reading List Source URL: www.temenos.com Language: English - Date: 2018-04-16 08:36:06 Management accounting Accounting software Asset management Business process management Investment management
9	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-06-09 05:24:28 Mathematical logic Mathematics Theoretical computer science Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem 120-cell Predicate
10	SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017 Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Theoretical computer science Logic in computer science Constraint programming Electronic design automation Satisfiability modulo theories