K - PDFSEARCH.IO - Document Search Engine

K
Results: 150297

#	Item
1	ARTICLE IN PRESS Journal of Functional Analysis–133 K-duality for pseudomanifolds with isolated singularities Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2018-03-05 11:11:22 Mathematics Algebra Abstract algebra Homotopy theory Category theory Algebraic structures Differential geometry Symmetry Groupoid Lie algebroid Group action
2	iEARN-USA is a member of iEARN (International Education andResource Network), the world’s largest, most experienced,online K-12 network that enables young people worldwideto use the Internet and digital media to collab Add to Reading List Source URL: us.iearn.org Language: English - Date: 2018-10-19 15:23:22 International education Philosophy of education
3	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Software engineering Formal methods Mathematical logic Type theory Theoretical computer science Type systems Edsger W. Dijkstra Predicate transformer semantics Extended static checking ESC/Java Type inference HindleyMilner type system
4	fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ Add to Reading List Source URL: www.nls.uk Language: Portuguese - Date: 2002-05-16 11:14:02
5	Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-08-29 07:14:47 Economy Business intelligence Finance Money Learning analytics Predictive analytics Analytics in higher education Analytics Usability Business analytics Architectural pattern Educational technology
6	Cooperative Multi-Agent Control Using Deep Reinforcement Learning Jayesh K. Gupta Maxim Egorov Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2017-11-03 18:51:37 Computational neuroscience Artificial intelligence Machine learning algorithms Neuroscience Applied mathematics Artificial neural networks Reinforcement learning Q-learning Convolutional neural network Distributed artificial intelligence Deep learning Intelligent agent
7	Úcta k životnímu prostředí se vyplácí Add to Reading List Source URL: www.praguecc.cz Language: Czech - Date: 2017-08-03 03:47:50
8	THUMP: Semantic Analysis on Trajectory Traces to Explore Human Movement Patterns Shreya Ghosh Soumya K. Ghosh Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:36:52 Wireless Geolocation Geocodes Geography Technology Global Positioning System Tracking Geographic data and information Location-based service Geotagging Geo Mobile phone tracking
9	SECURITY The Adblocking Tug-of-War The Adblocking Tug-of-War H A M E D H A D D A D I , R I S H A B N I T H YA N A N D , S H E H A R B A N O K H AT TA K , M O B I N J AV E D, N A R S EO VA L L I N A - R O D R I G U E Z , Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:26 Software Advertising Marketing Online advertising Firefox add-ons Google Chrome extensions Advertising-free media Microsoft Edge extensions Ad blocking GNOME Web Adblock Plus Targeted advertising
10	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