Science - PDFSEARCH.IO - Document Search Engine

Science
Results: 788472

#	Item
41	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:33:38 Mathematical analysis Mathematics Embedded systems Prosthetics Artificial cardiac pacemaker Cardiac electrophysiology Cybernetics Neuroprosthetics IP Analysis FO Dirac delta function
42	Worcester Polytechnic Institute Social Science and Policy Studies Department GOV 231X – The Politics of Food Sample Syllabus Course Information Professor Patricia Stapleton Add to Reading List Source URL: www.patriciastapleton.com Language: English - Date: 2018-08-04 14:42:46 Health Food and drink Food and Drug Administration Food science Food law Pharmaceuticals policy Food safety Product safety FDA Food Safety Modernization Act Center for Food Safety and Applied Nutrition Food politics Food
43	La Fondation L’Oréal dévoile les 30 lauréates des bourses de recherche L’Oréal-UNESCO Pour les femmes et la science 2018 Paris, le 9 octobre 2018 – Lundi 8 octobre, dans le cadre de la semaine de la Fête de la Add to Reading List Source URL: www.in2p3.fr Language: French - Date: 2018-10-10 03:42:48
44	EBAN Rue de la Science 14B \| 1040 – Brussels, Belgium 1 Add to Reading List Source URL: www.eban.org Language: English - Date: 2017-06-23 03:42:32
45	Fact Sheet No. 51 June 2018 FS/2018/SCI/51 Women in Science The UNESCO Institute Add to Reading List Source URL: uis.unesco.org Language: English - Date: 2018-06-29 14:10:15 UNESCO United Nations UNESCO Institute for Statistics Culture UIS Women in science Structure
46	An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, Add to Reading List Source URL: www.neven.org Language: English - Date: 2012-04-18 06:07:55 Cryptography Public-key cryptography Identity-based cryptography ID-based encryption Advantage Paillier cryptosystem BonehFranklin scheme
47	Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Proof theory Mathematical logic Logic Mathematics Sequent Natural deduction Cut-elimination theorem Admissible rule Proof complexity Propositional calculus Structural rule Cut rule
48	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
49	Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT Add to Reading List Source URL: lucamelis.github.io Language: English - Date: 2018-03-26 13:20:58 Cryptography Computing Security engineering Crime prevention Information governance National security Secure communication Differential Privacy Post-quantum cryptography Privacy Information security Internet privacy
50	Science Journals — AAAS Add to Reading List Source URL: www.sciencesuccess.org Language: English - Date: 2016-11-07 17:14:37

UPDATE