list of speakers
play

LIST OF SPEAKERS Kondo-Francois Aguey-Zinsou University of New - PDF document

Oct 09, 2022 •385 likes •452 views

Workshop on Materials Science for Energy Storage 11 - 15 May 2015 LIST OF SPEAKERS Kondo-Francois Aguey-Zinsou University of New South Wales School of Chemical

  1. ¡ ¡ Workshop ¡on ¡ ¡ Materials ¡Science ¡for ¡Energy ¡Storage ¡ ¡ ¡ ¡ 11 ¡-­‑ ¡15 ¡May ¡2015 ¡ ¡ LIST OF SPEAKERS Kondo-Francois Aguey-Zinsou University of New South Wales School of Chemical Engineering P.O. Box 1 Kensington Sydney NSW 2052 AUSTRALIA f.aguey@unsw.edu.au Thomas Autrey Pacific Northwest National Laboratory Chemical Sciences Division 902 Battelle Boulevard P.O.Box 999 99352 Richland WA UNITED STATES OF AMERICA Francois Beguin Institute of Physics Poznan University of Technology Nieszawska 13A 60-965 Poznan Wielkopolska (Great Poland) POLAND francois.beguin@put.poznan.pl Peter G. Bruce University of Oxford Department of Chemistry Physical and Theoretical Chemistry Laboratory South Parks Road OX1 3QZ Oxford United Kingdom p.g.bruce@st-andrews.ac.uk Morris Bullock Pacific Northwest National Laboratory Chemical Sciences Division 902 Battelle Boulevard P.O.Box 999 99352 Richland WA UNITED STATES OF AMERICA Morris.Bullock@pnl.gov ¡

  2. ¡ Michel Dupuis Chemical and Materials Sciences Division Pacific Northwest National Laboratory P.O. Box 999 MSIN: K1-83 Richland WA 99352 UNITED STATES OF AMERICA michel.dupuis@pnl.gov Elizbieta Frackowiak Institute of Physics Poznan University of Technology Nieszawska 13A 60-965 Poznan Wielkopolska (Great Poland) POLAND Elzbieta.Frackowiak@put.poznan.pl A. Alejandro Franco Universite De Picardie Jules Verne LRCS 33, Rue St. Leu Amines F-80039 FRANCE alejandro.franco@u-picardie.fr, a.a.franco.electrochemistry@gmail.com Bruce Garrett Pacific Northwest National Laboratory Chemical Sciences Division 902 Battelle Boulevard P.O.Box 999 99352 Richland WA UNITED STATES OF AMERICA bruce.garrett@pnnl.gov Michael Hirscher Max Planck Institute for Intelligent Systems Heisnbergstr. 3 70569 Stuttgart GERMANY hirscher@is.mpg.de Saiful Islam University of Bath Computational Materials Chemistry Claverton Down Bath BA2 7AY UNITED KINGDOM M.S.Islam@bath.ac.uk Janko Jamnik National Institute of Chemistry Hajdrihova 19 SI 1001 Ljubljana SLOVENIA janko.jamnik@ki.si ¡

  3. ¡ Teodoro Laino IBM Research GmbH IBM Zurich Research Laboratory Saeumerstrasse 4 8803 Rueschlikon SWITZERLAND teo@zurich.ibm.com Jeffrey Long Department of Chemistry University of California 109 Lewis Hall Berkeley CA 94720 UNITED STATES OF AMERICA jrlong@berkeley.edu Nicola Marzari EPFL STI IMX THEOS Ecole Polytechnique Federal de Lausanne Station 12 CH-1015 Lausanne SWITZERLAND nicola.marzari@epfl.ch Caetano Rodrigues Miranda Universidade Federal do ABC UFABC Centro de Ciencias Naturais e Humanas CCNH Rua Santa Adélia- 166- Bairro Bangu Santo Andre 09210-170 SP BRAZIL caetano.miranda@ufabc.edu.br Stefano Passerini Westfalische Wilhelms-Universitat Institut Fur Physikalische Chemie Schlossplatz 4 D48149 Munster GERMANY stefano.passerini@uni-muenster.de Vittorio Pellegrini Scuola Normale Superiore & NEST-INFM Piazza San Silvestro, 12 56127 Pisa ITALY vp@nest.sns.it, vp@sns.it, Vittorio.Pellegrini@iit.it Volker Presser Saarland University & INM Leibniz Institute for New Materials Saarbrucken GERMANY presser@presser-group.com ¡

  4. ¡ Mathieu Salanne University Pierre and Marie Curie of Paris 4 place Jussieu 75005 Paris FRANCE mathieu.salanne@upmc.fr Bruno Scrosati Helmholtz Institute Ulm Helmholtzstraße 11, 89081 Ulm, Germany bruno.scrosati@gmail.com Wendy Shaw Pacific Northwest National Laboratory Chemical Sciences Division 902 Battelle Boulevard P.O.Box 999 99352 Richland WA UNITED STATES OF AMERICA wendy.shaw@pnl.gov Michiel Sprik University of Cambridge Department of Chemistry Lensfield Road Cambridge CB2 1EW UNITED KINGDOM ms284@cam.ac.uk Felix Studt SLAC National Accelerator Laboratory 2575 Sand Hill Road Menlo Park 94025 California UNITED STATES OF AMERICA studt@slac.stanford.edu Jean-Marie Tarascon Universite De Picardie Jules Verne LRCS 33, Rue St. Leu Amines F-80039 FRANCE jean-marie.tarascon@sc.u-picardie.fr Marnix Wagemaker Technical University of Delft Julianalaan 67 Delft 2628 BC NETHERLANDS M.Wagemaker@tudelft.nl ¡

  5. ¡ Chris Wolverton Department of Materials Science and Engineering Northwestern University 2220 Campus Dr., Evanston 60208-3108- IL UNITED STATES OF AMERICA c-wolverton@northwestern.edu ¡

Recommend

Example: List filter -> (val ns (List withAll: (1 2 3 4 5))) List( 1 2 3 4 5 ) -> (ns

Example: List filter -> (val ns (List withAll: (1 2 3 4 5))) List( 1 2 3 4 5 ) -> (ns

Example: List filter -> (val ns (List withAll: (1 2 3 4 5))) List( 1 2 3 4 5 ) -> (ns filter: [block (n) ((n mod: 2) = 0)]) List( 2 4 ) Classes codify different forms of data No interrogation about form! Design process still works 1.

412 views • 20 slides
12-1 Using an Array to Implement a List Space Management: Size vs. Capacity Idea: allocate

12-1 Using an Array to Implement a List Space Management: Size vs. Capacity Idea: allocate

Implementing a List in Java Two implementation approaches are most commonly used for simple lists: CSC 143 Java List via Arrays Linked list Java Interface List<E> concrete classes ArrayList, LinkedList List

510 views • 9 slides
Speakers Bureau Architectural Presentation Questionnaire 1. Speakers name: 2. Speakers

Speakers Bureau Architectural Presentation Questionnaire 1. Speakers name: 2. Speakers

AIA Michigan/Michigan Architectural Foundation Speakers Bureau Architectural Presentation Questionnaire 1. Speakers name: 2. Speakers professional designation: 3. Speakers AIAMI Chapter: 4. Speakers architectural practice name:

66 views • 3 slides
Disclaimer The views presented herein are the speakers own, influenced by the speakers own

Disclaimer The views presented herein are the speakers own, influenced by the speakers own

Disclaimer The views presented herein are the speakers own, influenced by the speakers own thoughts, memories, experiences, and research. Where applicable, the sources of any information outside of the speakers personal knowledge are

436 views • 14 slides
Speakers Directions 2017 HOW DID WE GET HERE? Funding for all Appropriations Review The

Speakers Directions 2017 HOW DID WE GET HERE? Funding for all Appropriations Review The

Changes to the Speakers Directions 2017 HOW DID WE GET HERE? Funding for all Appropriations Review The Parliamentary The Parliamentary The PSC agreed to the recommendations was Committee (ARC) met Service Commission prioritised list

126 views • 12 slides
UANL Mty Mxico iGEM 2013 the Thermocoli project the speakers the speakers Heber the speakers

UANL Mty Mxico iGEM 2013 the Thermocoli project the speakers the speakers Heber the speakers

UANL Mty Mxico iGEM 2013 the Thermocoli project the speakers the speakers Heber the speakers Arely Heber the speakers Porfirio Arely Heber the black box Information Input Output processing Michael B. Elowitz & Stanislas Leibler

1.1k views • 81 slides
speakers of one language. Speakers of another language are twice as likely to recover from

speakers of one language. Speakers of another language are twice as likely to recover from

Language speakers of another language postpone the effects of dementia on average by 4,5 years later than speakers of one language. Speakers of another language are twice as likely to recover from strokes than people who speak one

83 views • 7 slides
Zipping Lists with Repetition -- a puzzle Koen Lindstrm Claessen type Nat = Int data List a =

Zipping Lists with Repetition -- a puzzle Koen Lindstrm Claessen type Nat = Int data List a =

Zipping Lists with Repetition -- a puzzle Koen Lindstrm Claessen type Nat = Int data List a = Unit a | List a :++: List a | Rep Nat (List a) same length zip :: List a -> List a -> List (a,b) minimal size len :: List a -> Integer

332 views • 5 slides
set list tuple set set() Sets methods .intersection() .union() .difference() set sets

set list tuple set set() Sets methods .intersection() .union() .difference() set sets

set list tuple set set() Sets methods .intersection() .union() .difference() set sets methods .add() .update() .remove() .discard() list comprehension lists generators generator list next() list list list list 1 - 1 -

985 views • 61 slides
MeetBSD.ir BSD

MeetBSD.ir BSD

MeetBSD.ir BSD list of contents Introduction of speakers History of BSD Kernel models

571 views • 32 slides
Lists, Stacks and Queues The List ADT List ADT n A list is a dynamic ordered tuple of

Lists, Stacks and Queues The List ADT List ADT n A list is a dynamic ordered tuple of

Lists, Stacks and Queues The List ADT List ADT n A list is a dynamic ordered tuple of homogeneous elements A o , A 1 , A 2 , , A N-1 where A i is the i-th element of the list n The position of element A i is i; positions range from 0

437 views • 31 slides
Representing a Linked List 1 9 60 -3 Node List 2 types of information: List as a whole:

Representing a Linked List 1 9 60 -3 Node List 2 types of information: List as a whole:

Representing a Linked List 1 9 60 -3 Node List 2 types of information: List as a whole: head, tail, numElements Nodes in the list: value, next node 1 add(int index, E value) public void add(int index, E value) { if (index == 0) {

715 views • 6 slides
ZALD: Let me introduce our speakers, and then I want to say a few words more of introduction. And

ZALD: Let me introduce our speakers, and then I want to say a few words more of introduction. And

ZALD: Let me introduce our speakers, and then I want to say a few words more of introduction. And then well turn it over to the speakers, who will each have about 20 minutes to speak. The three speakers today are Doug McAdam and Dave Snow and

562 views • 22 slides
More List-of-Num Examples ; A list-of-num is either ; - empty ; - (cons num list-of-num)

More List-of-Num Examples ; A list-of-num is either ; - empty ; - (cons num list-of-num)

More List-of-Num Examples ; A list-of-num is either ; - empty ; - (cons num list-of-num) Implement the function feed-fish , which takes an aquarium and feeds each fish 1 lb of food Implement the function large-fish , which removes

330 views • 17 slides
List Processing in SML val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums

List Processing in SML val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums

Consing Elements into Lists - val nums = 9 :: 4 :: 7 :: []; val nums = [9,4,7] : int list - 5 :: nums; List Processing in SML val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums is unchanged *) - (1+2) :: (3*4) :: (5-6)

170 views • 5 slides
List Processing in SML val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums

List Processing in SML val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums

Consing Elements into Lists - val nums = 9 :: 4 :: 7 :: []; val nums = [9,4,7] : int list - 5 :: nums; List Processing in SML val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums is unchanged *) - (1+2) :: (3*4) :: (5-6)

79 views • 4 slides
Lists defined inductively ( A ) is the smallest set satisfying this equation: LIST LIST ( A ) f

Lists defined inductively ( A ) is the smallest set satisfying this equation: LIST LIST ( A ) f

Lists defined inductively ( A ) is the smallest set satisfying this equation: LIST LIST ( A ) f (cons a as ) j a 2 A ; as 2 LIST ( A ) g f () g = [ Equivalently, LIST ( A ) is defined by these rules: (E MPTY ) 2 List ( A ) () a 2 A as 2

325 views • 4 slides
ADT List Pointer Implementation 3-28-2013 ADT list implemented with nodes and pointers

ADT List Pointer Implementation 3-28-2013 ADT list implemented with nodes and pointers

ADT List Pointer Implementation 3-28-2013 ADT list implemented with nodes and pointers Singly-linked list iterators & const_iterators Reading: Maciel, Chapter 13 HW#4 due: Wednesday, 4/03 (new due date) Exampl mples s done

203 views • 18 slides
Cross-Channel List Building: How Whole Foods Market gained 70,000 new subscribers in one month

Cross-Channel List Building: How Whole Foods Market gained 70,000 new subscribers in one month

Cross-Channel List Building: How Whole Foods Market gained 70,000 new subscribers in one month Ryan Amirault Daniel Burstein Digital Marketing Manager Director of Editorial Content Whole Foods Market MECLABS Session Speakers Presenter Ryan

417 views • 23 slides
;; keep-rel (num num -> bool) num list-of-nums -> list-of-nums ;; Purpose: keep all the

;; keep-rel (num num -> bool) num list-of-nums -> list-of-nums ;; Purpose: keep all the

;; keep-rel (num num -> bool) num list-of-nums -> list-of-nums ;; Purpose: keep all the numbers in the input list that have the ;; relation given by the function argument to the number ;; argument (whew!) (define (keep-rel

438 views • 7 slides
Example We would like to keep a list of inventory records but only as many as we need

Example We would like to keep a list of inventory records but only as many as we need

Example We would like to keep a list of inventory records but only as many as we need Linked Lists An array is a fixed size Instead use a linked list What are the disadvantages of using a linked list? Linked List

1.48k views • 3 slides
Manner of Speaking All the great speakers were bad speakers at first. Ralph Waldo

Manner of Speaking All the great speakers were bad speakers at first. Ralph Waldo

Manner of Speaking All the great speakers were bad speakers at first. Ralph Waldo Emerson http://mannerofspeaking.org John Zimmer Powerful Preparation for a Speech or Presentation Introduction Preparation is one of the keys to a

614 views • 4 slides
List Processing in SML - 5 :: nums; val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int

List Processing in SML - 5 :: nums; val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int

Consing Elements into Lists - val nums = 9 :: 4 :: 7 :: []; val nums = [9,4,7] : int list List Processing in SML - 5 :: nums; val it = [5,9,4,7] : int list - nums; val it = [9,4,7] : int list (* nums is unchanged *) - (1+2) :: (3*4) :: (5-6)

515 views • 5 slides
Hungarian speakers and the Hungarian language in Romania 1 The evolution of the number of speakers

Hungarian speakers and the Hungarian language in Romania 1 The evolution of the number of speakers

Hungarian speakers and the Hungarian language in Romania 1 The evolution of the number of speakers There are 1.25 million Hungarian native speakers in Romania, which represents the 6.26% of the population, and 18.39% of Transylvania, the region

236 views • 4 slides

More recommend