Wouter - PDFSEARCH.IO - Document Search Engine

Wouter
Results: 635

#	Item
461	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
462	Suspended Bicore. Wouter Brok Eindhoven, The Netherlands. Abstract: First the suspended bicore is described. Although the circuit-layout of this symmetric oscillator is quite simple - three passive and two active compone Add to Reading List Source URL: www.solarbotics.net Language: English - Date: 2001-08-20 10:00:12 Integrated circuits Automation Electric motors Capacitor Energy storage IC power supply pin Electrical impedance Inverter Resistor Electrical engineering Electromagnetism Electronics
463	Beauty in the Beast A Functional Semantics for the Awkward Squad Wouter Swierstra Thorsten Altenkirch Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-10-21 13:11:35 Abstract data types Functional programming Procedural programming languages Concurrent Haskell Data types Monad C file input/output Denotational semantics Scheduling Software engineering Computing Computer programming
464	Dr. F. (Erik) Kwakkel - Curriculum vitae Leiden University Centre for the Arts in Society (LUCAS) PO Box[removed]RA Leiden The Netherlands Phone: (+[removed]office) Add to Reading List Source URL: media.leidenuniv.nl Language: English - Date: 2014-10-15 03:15:09 Rolf Bremmer Manuscript Leiden Codicology Academia Education in the Netherlands Leiden University Library Wouter Hanegraaff South Holland Coimbra Group Leiden University
465	Parallelity in Chorematic Territorial Outlines 14th Workshop of the ICA commission on Generalisation and Multiple Representation Andreas Reimer and Wouter Meulemans Add to Reading List Source URL: generalisation.icaci.org Language: English - Date: 2013-02-05 05:05:59 Front Range Express Diagram Colorado counties Colorado Castle Rock Colorado
466	Improving the Security of Session Management in Web Applications Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen Add to Reading List Source URL: www.owasp.org Language: English - Date: 2013-09-02 16:39:44 Computer security Cyberwarfare Session fixation HTTP cookie Session ID Session Access token HTTP Secure HTTP Computing Network protocols
467	Parallelity in Chorematic Territorial Outlines Andreas Reimer∗ Wouter Meulemans† Abstract Add to Reading List Source URL: generalisation.icaci.org Language: English - Date: 2013-02-05 05:00:16 Electromagnetism Topology Algorithm Planar graph Mathematics Applied mathematics Simulated annealing
468	Gravity Driven Membrane (GDM) disinfection A novel household water treatment system Maryna Peter-Varbanets, Richard Johnston, Francis Kage, Regula Meierhofer, Selina Müller, Wouter Pronk UNC Water and Health Conference Add to Reading List Source URL: www.eawag.ch Language: English - Date: 2012-11-22 05:52:27 Water technology Water treatment Filtration Filters Membrane fouling Ultrafiltration Reverse osmosis Fouling Nanofiltration Chemistry Chemical engineering Membrane technology
469	Reusable formal models for secure software architectures Thomas Heyman, Riccardo Scandariato, Wouter Joosen IBBT-DistriNet, KU Leuven Problem Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:04 Software architecture Computer security Public safety National security Security Security engineering Security Patterns
470	Documenting Early Architectural Assumptions in Scenario-Based Requirements Dimitri Van Landuyt Eddy Truyen Wouter Joosen Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:04 Systems engineering Enterprise architecture Software engineering Architecture tradeoff analysis method Requirement Software architecture Scenario Conceptual model Use case Software development Software Software requirements

UPDATE