Ƙ

Results: 150297



#Item
1Mathematics / Algebra / Abstract algebra / Homotopy theory / Category theory / Algebraic structures / Differential geometry / Symmetry / Groupoid / Lie algebroid / Group action

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
2International education / Philosophy of education

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
3Software 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

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
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
    5Economy / Business intelligence / Finance / Money / Learning analytics / Predictive analytics / Analytics in higher education / Analytics / Usability / Business analytics / Architectural pattern / Educational technology

    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
    6Computational 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

    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
    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
      8Wireless / Geolocation / Geocodes / Geography / Technology / Global Positioning System / Tracking / Geographic data and information / Location-based service / Geotagging / Geo / Mobile phone tracking

      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
      9Software / Advertising / Marketing / Online advertising / Firefox add-ons / Google Chrome extensions / Advertising-free media / Microsoft Edge extensions / Ad blocking / GNOME Web / Adblock Plus / Targeted advertising

      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
      10Algebra / Abstract algebra / Mathematics / Finite fields / Group theory / Logarithms / Algebraic number theory / Numerical linear algebra / XTR / Discrete logarithm / Gaussian elimination / Quadratic field

      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
      UPDATE