Huisman - PDFSEARCH.IO - Document Search Engine

Huisman
Results: 145

#	Item
11	AUTOMORPHISMS OF REAL RATIONAL SURFACES AND WEIGHTED BLOW-UP SINGULARITIES ´ ERIC ´ JOHANNES HUISMAN AND FRED MANGOLTE Add to Reading List Source URL: math.univ-angers.fr Language: English - Date: 2010-10-22 10:32:29 Algebra Abstract algebra Algebraic geometry Algebraic varieties Field theory Meromorphic functions Divisor Field extension Transcendental number Blowing up Field Rational function
12	Fachausstellung CarrosseriegewerbeOktober 2016 Kontaktperson: Nicole Huisman THAbgabe Add to Reading List Source URL: www.carrosserie.ch - Date: 2016-02-05 06:47:06
13	EVERY ORIENTABLE SEIFERT 3-MANIFOLD IS A REAL COMPONENT OF A UNIRULED ALGEBRAIC VARIETY ´ ERIC ´ JOHANNES HUISMAN AND FRED MANGOLTE Add to Reading List Source URL: math.univ-angers.fr Language: English - Date: 2010-10-22 10:33:00 Differential topology Algebraic topology Fiber bundles Geometric topology Vector bundles Orbifold Differentiable manifold Seifert fiber space Manifold Line bundle Ample line bundle Euler characteristic
14	FONCTIONS RÉGULUES GOULWEN FICHOU, JOHANNES HUISMAN, FRÉDÉRIC MANGOLTE JEAN-PHILIPPE MONNIER MSC 2000 : 14P99, 14E05, 14F17, 26C15 Keywords : regular function, regulous function, rational function, real Add to Reading List Source URL: math.univ-angers.fr Language: French - Date: 2014-03-25 04:59:51
15	12 I/O Magazine / decemberI/O Magazine / december 2013 Op 31 oktober ontving Marieke Huisman (UT) de Nederlandse prijs voor ICT-onderzoekZij kreeg die prijs voor haar werk op het Add to Reading List Source URL: fmt.ewi.utwente.nl Language: Dutch - Date: 2014-02-11 14:42:18
16	VerCors project Marieke Huisman Formal Methods and Tools Add to Reading List Source URL: fmt.ewi.utwente.nl Language: Dutch - Date: 2012-06-11 08:22:31
17	Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands Add to Reading List Source URL: wwwhome.ewi.utwente.nl Language: English - Date: 2012-04-12 05:48:23
18	Specification and Verification of Atomic Operations in GPGPU Programs Afshin Amighi, Saeed Darabi, Stefan Blom, and Marieke Huisman University of Twente, The Netherlands, {a.amighi,s.darabi,s.blom,m.huisman}@utwente.nl Add to Reading List Source URL: wwwhome.ewi.utwente.nl Language: English - Date: 2015-07-15 04:42:14
19	Achtergrond Arbeidsmarkt Meer vrouwen in de ict, waarom eigenlijk? Ict lijkt wel een mannensport. Marieke Huisman en Mariëlle Stoelinga, beiden verbonden aan de Universiteit Twente, pleiten voor meer vrouwen in de tech Add to Reading List Source URL: fmt.ewi.utwente.nl Language: Dutch - Date: 2014-11-10 12:18:03
20	Quantitative Security Analysis for Programs with Low Input and Noisy Output Tri Minh Ngo and Marieke Huisman University of Twente, Netherlands Add to Reading List Source URL: wwwhome.ewi.utwente.nl Language: English - Date: 2013-12-05 10:06:04

UPDATE