Cristian Mattarei, PhD
|
|
|
- Paul Stevens
- 6 years ago
- Views:
Transcription
1 Cristian Mattarei, PhD Postdoctoral Researcher - Stanford University cristian.mattarei@gmail.com website: mattarei.eu/ cristian Education Feb Mar PhD in Information and Communication Technology, University of Trento & Thesis: Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications. Supervisor: Alessandro Cimatti, Co-supervisor: Marco Bozzano. Committee: David Jones (The Boeing Company), Luigi Portinale (Università del Piemonte Orientale), Roberto Sebastiani (Università di Trento), Christel Seguin (ONERA), and Joseph Sifakis (EPFL). Master Degree in Computer Science (Data, Media, and Knowledge), University of Trento, Trento (Italy). Sep Bachelor Degree in Computer Science, University of Trento, Trento (Italy). Professional Experience Oct present Nov Oct Feb. - Sep. Nov Feb Jul Oct Jan Aug Postdoctoral Researcher, Stanford University, Stanford, California (USA). Formal Verification of the Javascript Memory Model Researcher, Symbolic Model Checking Based Safety and Reliability Analysis Visiting Researcher, NASA Ames Research Center, Moffett Field, California (USA). Formal Verification, Validation, and Safety Analysis of the Functional Allocation project for the NextGen of the Automated Air Traffic Control System PhD Student/Candidate, PhD Program in Formal Verification of Safety Critical Systems Software Engineer, Design and implementation of the NuSMV integration into the Dassault Aviation OCAS toolset Software Engineer, Design and implementation of MathSAT3D: an SMT-based solver for 3D spatial constraints
2 Mar Mar Apr Formal Modeler, Formalization and modeling of the European Train Control System (ETCS) interoperability requirements Publications EMME: a formal tool for ECMAScript Memory Model Evaluation C. Mattarei, C. Barrett, S. Guo, B. Nelson, and B. Smith. TACAS 2018, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Thessaloniki (Greece) Jul Model Checking at Scale: Automated Air Traffic Control Design Space Exploration M. Gario, A. Cimatti, C. Mattarei, S. Tonetta, and K. Y. Rozier. CAV 2016, 28th International Conference on Computer Aided Verification. Toronto (Canada) Apr Sep Jul Nov. Jan Nov. Jul. Sep The xsap Safety Analysis Platform B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli and G. Zampedri*. TACAS 2016, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Eindhoven (The Netherlands) Comparing Different Functional Allocations in Automated Air Traffic Control Design C. Mattarei, A. Cimatti, M. Gario, S. Tonetta, and K.Y. Rozier. FMCAD 2015, 15th International Conference on Formal Methods in Computer-Aided Design. Austin, Texas (USA) Efficient Anytime Techniques for Model-Based Safety Analysis M. Bozzano, A. Cimatti, A. Griggio, and C. Mattarei*. CAV 2015, 27th International Conference on Computer Aided Verification. San Francisco, California (USA) Formal Safety Assessment via Contract-Based Design M. Bozzano, A. Cimatti, C. Mattarei, and S. Tonetta*. ATVA, 12th International Symposium on Automated Technology for Verification and Analysis. Sydney (Australia) Safety Assessment of Altarica models via Symbolic Model Checking M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri, and S. Tonetta*. Science of Computer Programming Journal. Vol. 98. Efficient Analysis of Reliability Architectures via Predicate Abstraction M. Bozzano, A. Cimatti, and C. Mattarei*. HVC, 9th Haifa Verification Conference. Haifa (Israel) Automated Analysis of Reliability Architectures M. Bozzano, A. Cimatti, and C. Mattarei*. ICECCS, 18th International Conference on Engineering of Complex Computer Systems. Singapore Symbolic Model Checking and Safety Assessment of Altarica models M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri, and S. Tonetta*. AVoCS 2011, 11th International Workshop on Automated Verification of Critical Systems. Newcastle Upon Tyne (United Kingdom)
3 Nov EuRailCheck: Tool Support for Requirements Validation R. Cavada, A. Cimatti, A. Mariotti, C. Mattarei, A. Micheli, A. Susi, S. Mover, M. Pensallorto, M. Roveri, and S. Tonetta*. ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering. Auckland (New Zealand) Nov. 30, 2017 Feb. 10, 2017 Sep. 29, 2015 Nov. 4, Aug. 22, Aug. 11, Jun. 23, Nov. 7, Jul. 19, May 28, Sep. 12, May 22, Sep. 12, 2011 *authors in alphabetical order. Talks EMME: a formal tool for ECMAScript Memory Model Evaluation, Stanford University (USA), Stanford, California (USA). Scalable Safety and Relialibity Analyses via Symbolic Model Checking, Stanford University (USA), Stanford, California (USA). Comparing Different Functional Allocations in Automated Air Traffic Control Design, FMCAD 2015, 15th International Conference on Formal Methods in Computer-Aided Design, Austin, Texas (USA). Formal Safety Assessment via Contract-Based Design, ATVA, 12th International Symposium on Automated Technology for Verification and Analysis, Sydney (Australia). Formal Safety Assessment via SAT/SMT, Stanford Research International (SRI), Menlo Park, California (USA). Formal Analysis for Deciding Functional Allocation for AAC: Modeling Approach and Current Results, NASA ARC, Flight Trajectory Dynamics and Controls (AFT), Moffett Field, California (USA). Formal Analysis for Deciding Functional Allocation for AAC: an Overview of the Methodology, NASA ARC, Flight Trajectory Dynamics and Controls (AFT), Moffett Field, California (USA). Efficient Analysis of Reliability Architectures via Predicate Abstraction, HVC, 9th Haifa Verification Conference, Haifa (Israel). Automated Analysis of Reliability Architectures, ICECCS, 18th International Conference on Engineering of Complex Computer Systems, Singapore. Automated Analysis of Reliability Architectures, AVM, 8th Alpine Verification Meeting, Trento (Italy). NuSMV3: a Framework for Model-Based Safety Assessment, MBSAW, Model-Based Safety Assessment Workshop, Bordeaux (France). Library-Based Fault Injection for Formal Safety Assessment, AVM, 7th Alpine Verification Meeting, Passau (Germany). Symbolic Model Checking and Safety Assessment of Altarica models, AVoCS 2011, 11th International Workshop on Automated Verification of Critical Systems, Newcastle Upon Tyne (United Kingdom).
4 Professional Activities Program Commitees AAAI: Association for the Advancement of Artificial Intelligence, 2018, AAAI: Association for the Advancement of Artificial Intelligence, Peer-Reviewes 9th NASA Formal Methods Symposium (NFM 2017), Transactions on Dependable and Secure Computing (TDSC 2016), 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), 21st International Symposium on Formal Methods (FM 2016), 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 18th Design and Testing in Europe Conference (DATE 2015), 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ), Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD 2015), 12th International Symposium on Automated Technology for Verification and Analysis (ATVA ), 14th International Conference on Formal Methods in Computer Aided Design (FMCAD ), 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ), 16th Design and Testing in Europe Conference (DATE ), 3rd International Workshop on Model Based Safety Assessment (IWMBSA ), 7th International Symposium on Theoretical Aspects of Software Engineering (TASE ), Journal of Artificial Intelligence Research (JAIR ). Jun , Jun , Summer Schools 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Dynamical Systems, University Residential Center of Bertinoro, Bertinoro (Italy). 2nd International SAT/SMT Summer School, Languages Italian English Native speaker Fluent
5 References Alessandro Cimatti: Head of Embedded Systems Unit (FBK) Clark Barrett: Associate Professor Stanford University Kristin Yvonne Rozier: Associate Professor Iowa State University David Jones: Former Boeing Researcher Marco Bozzano: Senior Researcher at Embedded Systems Unit (FBK) Stefano Tonetta: Researcher at Embedded Systems Unit (FBK)
Comparing Different Functional Allocations in Automated Air Traffic Control Design
Comparing Different Functional Allocations in Automated Air Traffic Control Design FMCAD 2015, September 27-30 Cristian Mattarei 1, Alessandro Cimatti 1, Marco Gario 1, Stefano Tonetta 1, and Kristin Y.
Model Checking of Hybrid Systems via Satisfiability Modulo Theories
Detailed description of the ICAPS 13 tutorial on Model Checking of Hybrid Systems via Satisfiability Modulo Theories Alessandro Cimatti cimatti@fbk.eu http://es.fbk.eu/people/cimatti/ Fondazione Bruno
COMPASS3. Marco Bozzano - Fondazione Bruno Kessler Harold Bruintjes - RWTH Aachen University. TEC-ED & TEC-SW Final Presentation Days
COMPASS3 Consolidation of COMPASS Tools Marco Bozzano - Fondazione Bruno Kessler Harold Bruintjes - RWTH Aachen University TEC-ED & TEC-SW Final Presentation Days ESA-ESTEC, December7 th, 2016 COMPASS3:
COMPASS: Future trends and developments
COMPASS: Future trends and developments Marco Bozzano - Fondazione Bruno Kessler Model-Based System and Software Engineering - Future directions ESA-ESTEC, December8 th, 2016 MBSSE December 8 th, 2016
Formal Design and Safety Analysis of AIR6110 Wheel Brake System
Artifact * Formal Design and Safety Analysis of AIR6110 Wheel Brake System * CAV * Consistent * Complete * Well Documented * Easy to Reuse * Evaluated AEC * M. Bozzano 1 A. Cimatti 1 A. Fernandes Pires
Housing Market Outlook
Housing Market Outlook By Lawrence Yun, Ph.D. Chief Economist, National Association of REALTORS Presentation at National Conference of State Legislatures Washington, DC December 7, 2018 Very Long Economic
Recreation Facility Hours
NORMAL HOURS Recreation Facility Hours August 1, 2016 July 31, 2017 Last Revised: July 29, 2016 Effective Dates 2016: AUG 23 31, SEP 1 2, SEP 6 16, SEP 18 23, SEP 25 30, OCT 1 7, OCT 9 18, OCT 24 30, NOV
Curriculum Vitae. Abd El Khalick Mohammad, 17 Nov Doctor of Engineering H-index: 6 and Citation: 107 (Google Scholar) 1.
Curriculum Vitae Abd El Khalick Mohammad, 17 Nov. 1984 Doctor of Engineering H-index: 6 and Citation: 107 (Google Scholar) Previous position: Research Fellow Centre for E-City EXQUISITUS, Electrical and
NATIONAL INSTITUTE OF ECONOMIC AND SOCIAL RESEARCH ESTIMATES OF MONTHLY GDP. Embargo until hours on 11 th January 2013
NATIONAL INSTITUTE OF ECONOMIC AND SOCIAL RESEARCH ESTIMATES OF MONTHLY GDP Embargo until 15.00 hours on 11 th January 2013 Our monthly estimates of GDP suggest that output declined by 0.3 per cent in
András László Majdik. MSc. in Eng., PhD Student
András László Majdik MSc. in Eng., PhD Student Address: 71-73 Dorobantilor Street, room C24, 400609 Cluj-Napoca, Romania Phone: 0040 264 401267 (office); 0040 740 135876 (mobile) Email: andras.majdik@aut.utcluj.ro;
Risk Assessment Task Force Technical Group Meeting Beijing, China 19 September George Guthrie (USA)
Risk Assessment Task Force Technical Group Meeting Beijing, China 19 September 2011 George Guthrie (USA) RATF Meeting (19 September 2011) Interactions with IEAGHG Risk Assessment Network Outbriefs from
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Jul 1, Networks 2016 for 1 / MAXS 31
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MAXSMT Roberto Sebastiani, Patrick Trentin roberto.sebastiani@unitn.it trentin@disi.unitn.it DISI, University of Trento
Architectural Modeling and Analysis for Safety Engineering
Architectural Modeling and Analysis for Safety Engineering Danielle Stewart 1, Michael W. Whalen 1, Darren Cofer 2, and Mats P.E. Heimdahl 1 1 University of Minnesota Department of Computer Science and
COMPARE 2012 Comparative Empirical Evaluation of Reasoning Systems
(Eds.) COMPARE 2012 Comparative Empirical Evaluation of Reasoning Systems Proceedings of the International Workshop June 30, 2012, Manchester, United Kingdom Editors Karlsruhe Institute of Technology Institute
I was born in April 8, 1988, in Arzignano, Italy. Now I live in Geneva, Switzerland.
Matteo Ciman Curriculum Vitae Current Position Currently, I am a PostDoctoral Researcher at the Quality of Life group of the Center Universitaire d Informatique, Institute of Services Science, University
Doctoral College Environmental Informatics
Doctoral College Environmental Informatics Prof. Schahram Dustdar Head of the Doctoral College Kick-Off Event 12 th March 2013 http://ei.infosys.tuwien.ac.at Agenda Introduction Faculty of Informatics
Architectural Modeling and Analysis for Safety Engineering
Architectural Modeling and Analysis for Safety Engineering Danielle Stewart 1(B), Michael W. Whalen 1, Darren Cofer 2, and Mats P.E. Heimdahl 1 1 Department of Computer Science and Engineering, University
- Date of Birth: 10 June Place of Birth: Amsterdam, The Netherlands - Gender: Male - Nationality: The Netherlands
Dave de Jonge Curriculum Vitae d.dejonge@westernsydney.edu.au http://staff.scem.westernsydney.edu.au/ dave Present Personal Information - Date of Birth: 10 June 1984 - Place of Birth: Amsterdam, The Netherlands
IEEE Project m as an IMT-Advanced Technology
2008-09-25 IEEE L802.16-08/057r2 IEEE Project 802.16m as an IMT-Advanced Technology IEEE 802.16 Working Group on Broadband Wireless Access 1 IEEE 802.16 A Working Group: The IEEE 802.16 Working Group on
www.ixpug.org @IXPUG1 What is IXPUG? http://www.ixpug.org/ Now Intel extreme Performance Users Group Global community-driven organization (independently ran) Fosters technical collaboration around tuning
Award Ellbogen Next Generation Program Sept Grant awarded to the Laramie Robotics Club, obtained as Treasurer,
Name Joost Huizinga Address 3918 Fulton Street Apartment 1 San Francisco, California, 94118 Phone +1 (307) 460 1368 E-mail joost.hui@gmail.com Date of Birth 03-08-1986 Education Program Ph. D. Computer
University of Massachusetts Amherst Department of Civil and Environmental Engineering. Newton, MA Transportation Engineer Nov Aug 2007
Song Gao 214C Marston Hall 130 Natural Resources Road Amherst, MA 01003-0724 Tel: (413) 545-2688 Fax: (413) 545-9569 E-mail: songgao@ecs.umass.edu Education Massachusetts Institute of Technology Cambridge,
Dr. Joshua Evan Auerbach, B.Sc., Ph.D.
Dr. Joshua Evan Auerbach, B.Sc., Ph.D. Postdoctoral Researcher Laboratory of Intelligent Systems École Polytechnique Fédérale de Lausanne EPFL-STI-IMT-LIS Station 11 CH-1015 Lausanne, Switzerland Nationality:
Tesca Fitzgerald. Graduate Research Assistant Aug
Tesca Fitzgerald Webpage www.tescafitzgerald.com Email tesca.fitzgerald@cc.gatech.edu Last updated April 2018 School of Interactive Computing Georgia Institute of Technology 801 Atlantic Drive, Atlanta,
IEEE Working Group Process, Status, and Technology Session #33: Seoul, Korea 30 August 2004
IEEE 802.16 Working Group Process, Status, and Technology Session #33: Seoul, Korea 30 August 2004 Roger Marks Chair IEEE 802.16 Working Group on Broadband Wireless Access Broadband Access The last mile
Designing an HMI for ASAS in respect of situation awareness
RESEARCH GRANT SCHEME DELFT Contract reference number 08-120917-C EEC contact person: Garfield Dean Designing an HMI for ASAS in respect of situation awareness Ecological ASAS Interfaces 2010 Midterm Progress
WHAT TO EXPECT IN 20I8
CALENDAR WHAT TO EXPECT IN METROPOLITAN SURVEYS GfK JAN FEB MAR APR MAY JUN JUL AUG SEP OCT NOV DEC SURVEY I Tue I3 SURVEY 2 Tue 24 SURVEY 3 Tue 5 SURVEY 4 Tue I0 SURVEY 5 Tue 28 SURVEY 6 Thu 4 SURVEY
Comparing Model Checkers Through Sokoban
Comparing Model Checkers Through Sokoban Kasper Wijburg University of Twente P.O. Box 217, 75AE Enschede The Netherlands k.m.wijburg@student.utwente.nl ABSTRACT Model checking is a prominent method for
Changyin Zhou. Ph.D, Computer Science, Columbia University Oct 2012
Changyin Zhou Software Engineer at Google X Google Inc. 1600 Amphitheater Parkway, Mountain View, CA 94043 E-mail: changyin@google.com URL: http://www.changyin.org Office: (917) 209-9110 Mobile: (646)
Invited Speaker Biographies
Preface As Artificial Intelligence (AI) research becomes more intertwined with other research domains, the evaluation of systems designed for humanmachine interaction becomes more critical. The design
Dr. Mohammed Bani Younis
Curriculum Vitae Dr. Mohammed Bani Younis Office Tel. (+ 962-6- 479900 ) ext.2221 Mobile (962-776173478) P. O. Box (1)Philadelphia, 19392- Amman Jordan: mby71@yahoo.com, mbaniyounis@philadelphia.edu.jo
Situation Assessment at Intersections for Driver Assistance and Automated Vehicle Control
C URRICULUM V ITAE Dr. Thomas Streubel 2018-11-27 Current position since 08/2017 Chalmers University of Technology, Gothenburg, Sweden Dept. Mechanics and Maritime Sciences / Division Vehicle Safety Postdoctoral
FORESIGHT METHOD HORIZONS. Module. Introduction to Foresight for Canada Beyond 150
HORIZONS FORESIGHT METHOD for Canada Beyond 50 OVERVIEW Where are we in the process? What is Horizons approach to foresight? How do the foresight tools fit together for Canada Beyond 50? 2 A NEW MODEL
Katsiaryna Labunets. MSc in Mathematics, Belarussian State University, Minsk, Belarus. Fuzzy Graphs and Fuzzy Hypergraphs.
Katsiaryna Labunets Postodoctoral Researcher Security and Safety Science section Faculty of Technology, Policy & Management Delft University of Technology P.O. Box 5015, 2600 GA Delft, the Netherlands
B.A. Japanese Literature, Beijing Language and Culture University, China, Employment Part-time Instructor 08/ /2016
12800 Abrams Rd Dallas, TX 75243 E-mail: jbracewell@dcccd.edu Professional Summary Accomplished language teacher and translator with fluency in English, Mandarin Chinese and Japanese. Experience supervising
CURRICULUM VITAE. Oct 2005 Dec MSc in Computer Science. Faculty of Mathematics,
CURRICULUM VITAE Mladen Nikolić University of Belgrade Faculty of Mathematics Studentski Trg 16 11000 Belgrade Serbia e-mail: nikolic@matf.bg.ac.rs URL: http://www.matf.bg.ac.rs/ nikolic 1 Education Oct
Designing an HMI for ASAS in respect of situation awareness
RESEARCH GRANT SCHEME DELFT Contract reference number 08-120917-C EEC contact person: Garfield Dean Designing an HMI for ASAS in respect of situation awareness Ecological ASAS Interfaces 2011 Close-Out
Economic and Real Estate Market Outlook
Economic and Real Estate Market Outlook By Lawrence Yun, Ph.D. Chief Economist, National Association of REALTORS Presentation at Miami International Congress Miami, FL November 1, 2016 Lifetime Wealth
Shuai Li Department of Engineering University of Cambridge
Shuai Li Department of Engineering University of Cambridge shuaili.sli@gmail.com shuai.li@eng.cam.ac.uk [Interests] Mechanical and Civil Engineering, Computer Science, Mathematics, Machine Learning, Information
EMERGING METHODOLIGES FOR THE CENSUS IN THE UNECE REGION
United Nations International Seminar on Population and Housing Censuses: Beyond the 2010 Round 27-29 November 2012 Seoul, Republic of Korea SESSION 4: Emerging methodologies for the census EMERGING METHODOLIGES
National Radio Channels. PPM measurement October 2017
National Radio Channels PPM measurement October 17 Background This overview describes the development of radio broadcasting at national levels with updated figures from October 17. The Norwegian Media
Global Trends in Neuroscience Publishing Background and Developments
Global Trends in Neuroscience Publishing Background and Developments Presented by: Paul Carton PhD, Senior Publisher Elsevier S&T Journals Date: July 2008 Presentation created by James Milne 2007 / 2008
MOBY-DIC. Grant Agreement Number Model-based synthesis of digital electronic circuits for embedded control. Publishable summary
MOBY-DIC Grant Agreement Number 248858 Model-based synthesis of digital electronic circuits for embedded control Report version: 1 Due date: M24 (second periodic report) Period covered: December 1, 2010
ESA Climate Change Initiative- Soil Moisture (CCI SM): Serving our users lessons for Copernicus Climate Change Service
ESA Climate Change Initiative- Soil Moisture (CCI SM): Serving our users lessons for Copernicus Climate Change Service Dr Eva Haas, GeoVille & Richard Kidd, EODC ESA CCI Soil Moisture Overview of project
Sven Schmitz. Assistant Professor
Assistant Professor Department of Aerospace Engineering The Pennsylvania State University, University Park, PA 16802 phone: 814-863-0778 email: sus52@engr.psu.edu EDUCATION Ph.D., Mechanical and Aeronautical
Special Collections NELSON, HARRY L., 1932-
Mathematics Archives - Harry L. Nelson Special Collections NELSON, HARRY L., 1932- Harry L. Nelson fonds. 1960-1986. 1.4 m of textual records. Computer programmer, mathematician and editor Harry L. Nelson
Matteo Carminati. Personal Data. Education
Matteo Carminati Personal Data Date of Birth: July, 4th 1987 Place of Birth: Vimercate (MB), Italy Citizenship: Italian Address: Politecnico di Milano, Dipartimento di Elettronica, Informazione e Bioingegneria
COST IC0902: Brief Summary
COST IC0902: Brief Summary Dr. Oliver Holland King s College London Prof Maria Gabriella di Benedetto Prof. Maria-Gabriella di Benedetto University of Rome La Sapienza Chair of COST IC0902 COST IC0902:
Indonesia s Preparation for WRC-19
Indonesia s Preparation for WRC-19 ITU International Satellite Symposium 2016 Bali, Indonesia, 7 September 2016 Ministry of Communication and Information Technology Republic of Indonesia World Radiocommunication
Architecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
Invitation to Participate
Invitation to Participate JOIN US IN THE UNLIMITED RESILIENT DIGITAL CONNECTIVITY Invitation to Participate The Global Space Economy is worth more than $400 billion and set to grow dramatically. The SmartSat
Yutaka Hori Web:
Email: yhori@appi.keio.ac.jp Web: http://bi.appi.keio.ac.jp/~yhori/ Full CV is available upon request. Education March 2013 Ph.D. Department of Information Physics and Computing, Graduate School of Information
Master of Science in Computer Engineering, February Thesis: Process Based Matchmaking of Services
Akın Günay, Ph.D. Contact Information Education Address: School of Computing and Communications, Lancaster University Lancaster LA1 4WA, United Kingdom E-mail: a.gunay@lancaster.ac.uk Phone: +44 7746 184969
University of Bristol - Explore Bristol Research. Peer reviewed version. Link to published version (if available): /geng.13.
Simpson, B., & Vardanega, P. J. (2014). Results of monitoring at the British library excavation. Proceedings of the ICE - Geotechnical Engineering, 167(2), 99-116. DOI: 10.1680/geng.13.00037 Peer reviewed
Attachment D. Page 1 of 122
Page 1 of 122 Page 2 of 122 Page 3 of 122 Page 4 of 122 Page 5 of 122 Page 6 of 122 Page 7 of 122 Page 8 of 122 Page 9 of 122 Page 10 of 122 Page 11 of 122 Page 12 of 122 Page 13 of 122 Page 14 of 122
Electrical and Automation Engineering, Fall 2018 Spring 2019, modules and courses inside modules.
Electrical and Automation Engineering, Fall 2018 Spring 2019, modules and courses inside modules. Period 1: 27.8.2018 26.10.2018 MODULE INTRODUCTION TO AUTOMATION ENGINEERING This module introduces the
CURRICULUM VITAE. Evan Drumwright EDUCATION PROFESSIONAL PUBLICATIONS
CURRICULUM VITAE Evan Drumwright 209 Dunn Hall The University of Memphis Memphis, TN 38152 Phone: 901-678-3142 edrmwrgh@memphis.edu http://cs.memphis.edu/ edrmwrgh EDUCATION Ph.D., Computer Science, May
VAN BUREN COUNTY TENNESSEE
VAN BUREN COUNTY TENNESSEE CONSOLIDATED LISTING OF MICROFILMED VAN BUREN COUNTY RECORDS CONSISTING OF ROLLS 1-43, 45-67 and A9296 A9328 Note: I - available through Interlibrary Loan TENNESSEE STATE LIBRARY
Design Science, Mechanism & Robotic, Robot Learning
Song Chaoyang Contact Interests Education Bionic Design and Learning Lab (SIR Group) Department of Mechanical and Energy Engineering, Southern University of Science and Technology, Room 606, Block 7, Innovation
SMART DUBAI INSPIRING NEW REALITIES
SMART DUBAI INSPIRING NEW REALITIES SMART DUBAI 2014-2017 2016 2013 Smart Government Smart Dubai & board formation 2000 E-Gov 2014 Smart Dubai Initiative 2021 Smart Dubai 2021 Smart Dubai is transforming
ARCHIVED REPORT. Falcon II Tactical Radio - Archived 10/07
C 4 I Forecast ARCHIVED REPORT For data and forecasts on current programs please visit www.forecastinternational.com or call +1 203.426.0800 - Archived 10/07 Outlook With the high costs and delays of the
INDRANIL ROYCHOUDHURY
INDRANIL ROYCHOUDHURY CURRICULUM VITAE Computer Scientist indranil.roychoudhury@nasa.gov Stinger Ghaffarian Technologies Inc., NASA Ames Research Center http://www.indranilroychoudhury.com Mail Stop 269-3,
California EDRS Update
California EDRS Update Debbie McDowell 916-552-8143 dmcdowe1@dhs.ca.gov All Registrar Meeting June 19, 2006 1 Before EDRS All Registrar Meeting June 19, 2006 2 January 2005 Riverside Yolo 5.5% All Registrar
Modeling and Validation
ArtistDesign Kickoff Meeting Paris, January 29-30, 2008 Cluster presentation Modeling and Validation Cluster Leaders: Kim G. Larsen, CISS, Aalborg Tom Henzinger,, EPFL Main Research Trends in the Area
LANDSCAPES IN TRANSITION
LANDSCAPES IN TRANSITION A photographic reminder of the future to come, each month a pause for reflection on our changing planet. As seen from our satellites, Earth s beauty is overwhelming. Yet the messages
Global Trends in Physics Publishing Background and Developments
Global Trends in Physics Publishing Background and Developments Presented by: Steve Watson, Executive Publisher Surfaces and Interfaces Date: 15 September 2009 Presentation created by James Milne 2007
R2U2 in Space: System & Software Health Management for Small Satellites
R2U2 in Space: System & Software Health Management for Small Satellites Kristin Yvonne Rozier, Iowa State University Joint work with Johann Schumann (SGT/NASA Ames) December 15, 2016 A Recent Motivation...
Estimation of Fault Resistance from Fault Recording Data. Daniel Wong & Michael Tong 2014-November-5
Estimation of Fault Resistance from Fault Recording Data Daniel Wong & Michael Tong 2014-November-5 Agenda Project Background & Introduction Fault Resistance & Effect Estimation Algorithm Estimation Results
Carnegie Mellon University, University of Pittsburgh
Carnegie Mellon University, University of Pittsburgh Carnegie Mellon University, University of Pittsburgh Artificial Intelligence (AI) and Deep Learning (DL) Overview Paola Buitrago Leader AI and BD Pittsburgh
- Doctor in Telecommunication Engineering. April University of Malaga, Spain
Juan Manuel Romero-Jerez Associate Professor Department of Electronic Technology University of Malaga, Spain Email: romero@dte.uma.es Phone: +34 952 13 7173 Fax: +34 952 13 1447 Research Areas My research
. Development of PAJ
Table of Contents. Development of PAJ. Development of JPO s IPDL. Information on Foreign Industrial Property Systems 5. PAJ Issuance Schedule 7. Development of PAJ The first part of this issue of PAJ News
Climate Update March 2006 Meeting
Climate Update March 2006 Meeting Nolan Doesken Colorado Climate Center presented at the Joint Meeting of the Flood Task Force & Water Availability Task Force, NRCS, Denver, CO, March 14, 2006 Prepared
Real-time Cooperative Behavior for Tactical Mobile Robot Teams. September 10, 1998 Ronald C. Arkin and Thomas R. Collins Georgia Tech
Real-time Cooperative Behavior for Tactical Mobile Robot Teams September 10, 1998 Ronald C. Arkin and Thomas R. Collins Georgia Tech Objectives Build upon previous work with multiagent robotic behaviors
STRLodgingPerformanceSnapshotAugust2017CYTD
% Occupancy % Occ ADR % ADR RevPAR % RevPAR County Cityof Downtown MissionValey MissionBay LaJola Pt.LomaPeninsula NorthCoastal(UTC,I-5Cor. NorthInland(I-15Coridor) 78.7% 83.4% 8 78. 8 81. 83.7% 8 79.8%
GMDN An Introduction. Mark Wasmuth CEO, GMDN Agency
GMDN An Introduction Mark Wasmuth CEO, GMDN Agency GMDN An Introduction Some questions to answer: Why do we need GMDN? What is GMDN? GMDN and UDI? How do we use it? It s a complicated world! How can we
Europass curriculum vitae. Academic Profile. Personal information. Education. Work Experience
Europass curriculum vitae Academic Profile Personal information Surname / First name Omirou Sotiris Telephones (+357) 22345158 ext 131 Fax (+357) 22438234 E-mail eng.os@fit.ac.cy Website http://staff.fit.ac.cy/eng.os
Curriculum Vitae MUSTAFA AKSOY. Assistant Professor Department of Electrical and Computer Engineering University at Albany, SUNY
Curriculum Vitae MUSTAFA AKSOY Assistant Professor Department of Electrical and Computer Engineering University at Albany, SUNY E-mail: maksoy@albany.edu https://www.linkedin.com/in/mustafaaksoy http://www.albany.edu/ceas/mustafa-aksoy.php
Models, Simulations, and Digital Engineering in Systems Engineering Restructure (Defense Acquisition University CLE011)
Models, Simulations, and Digital Engineering in Systems Engineering Restructure (Defense Acquisition University CLE011) Ms. Philomena Phil Zimmerman Deputy Director, Engineering Tools & Environments Office
ALMINAS ŽALDOKAS HKUST, Clear Water Bay, Kowloon, Hong Kong
ALMINAS ŽALDOKAS +852 9176 1249 HKUST, Clear Water Bay, Kowloon, Hong Kong alminas@ust.hk www.alminas.com ACADEMIC EMPLOYMENT University of Texas at Austin 2017 2018 Visiting Assistant Professor of Finance
Economic & Housing Market Outlook
Economic & Housing Market Outlook By Lawrence Yun, Ph.D. Chief Economist, National Association of REALTORS Presentations to NAR Annual Conference Boston, MA November 2, 2018 Existing Home Sales Since
Optical Fibre-based Environmental Sensors Utilizing Wireless Smart Grid Platform
Optical Fibre-based Environmental Sensors Utilizing Wireless Smart Grid Platform Minglong Zhang 1, Kin Kee Chow 2*, and Peter Han Joo Chong 1 1 Department of Electrical and Electronic Engineering, Auckland
Innovation in on-the-spot checks with aerial photographs; UAV and dynamic publication of orthoimages.
Generalitat de Catalunya Innovation in on-the-spot checks with aerial photographs; UAV and dynamic publication of orthoimages. 6th GeoCAP Annual Conference: Geomatics in support of the CAP Bergamo ITALY
Oyster Monitoring ( ) Nikki Dix, Pam Marcum, Matt Monroe
Oyster Monitoring (2014-20) Nikki Dix, Pam Marcum, Matt Monroe Oyster Monitoring Objectives 1) Evaluate the status of GTM oysters 2) Estimate ecosystem services Guiding Questions NE FL Oyster Research
U.S. Infrastructure Report Card in 2013
U.S. Infrastructure Report Card in 2013 An estimated $157 billion a year can protect $3.1 Trillion GDP $1.1 Trillion US trade value 3.5 million Jobs $2.4 Trillion Consumer spending value Source: American
RAMIN M. HASANI. Summary
RAMIN M. HASANI Address: Treitlstraße 3/3, 1040, Vienna, Austria Mobile: +43 664 863 7545 Email: ramin.hasani@tuwien.ac.at Personal page: www.raminhasani.com LinkedIn: https://at.linkedin.com/in/raminhasani
Autonomy Test & Evaluation Verification & Validation (ATEVV) Challenge Area
Autonomy Test & Evaluation Verification & Validation (ATEVV) Challenge Area Stuart Young, ARL ATEVV Tri-Chair i NDIA National Test & Evaluation Conference 3 March 2016 Outline ATEVV Perspective on Autonomy
4-206 CST Voice: (315) (o), (315) (m) Department of EECS Fax: (315)
Hao Chen Contact Information Research Interests Education 4-206 CST Voice: (315) 443-4416 (o), (315) 569-3454 (m) Department of EECS Fax: (315) 443-2583 Syracuse University E-mail: hchen21@syr.edu Syracuse,
Jivko Sinapov The James Schmolze Assistant Professor in Computer Science Tufts University
Jivko Sinapov The James Schmolze Assistant Professor in Computer Science Tufts University Office address Department of Computer Science Office: Halligan 213 161 College Ave Phone: (585) 703-0463 Tufts
Rosa Romero Gómez, Ph.D
Rosa Romero Gómez, Ph.D DATA VISUALIZATION EXPERT 324 4th Street NE, Apt. C, Atlanta, Georgia, United States of America (+1) 470-257-6232 rosscopy@gmail.com rosaromerogomez.com RosaRomeroGomez rosa-romero-gomez-phd/
1st International Workshop on Business Process Innovation with Artificial Intelligence (BPAI 2017)
1st International Workshop on Business Process Innovation with Artificial Intelligence (BPAI 2017) Introduction to the 1st International Workshop on Business Process Innovation with Artificial Intelligence
Getting Started with the LabVIEW DSP Module
Getting Started with the LabVIEW DSP Module Version 1.0 Contents Introduction Introduction... 1 Launching LabVIEW Embedded Edition and Selecting the Target... 2 Looking at the Front Panel and Block Diagram...
Drought Update for March 2006
Drought Update for March 2006 Roger A. Pielke, Sr. Colorado Climate Center presented at the Water Availability Task Force meeting, Division of Wildlife, Denver, CO, April 20, 2006 Prepared by Odie Bliss
Hardware/Software Codesign of Real-Time Systems
ARTES Project Proposal Hardware/Software Codesign of Real-Time Systems Zebo Peng and Anders Törne Center for Embedded Systems Engineering (CESE) Dept. of Computer and Information Science Linköping University
Automated Planning for Spacecraft and Mission Design
Automated Planning for Spacecraft and Mission Design Ben Smith Jet Propulsion Laboratory California Institute of Technology benjamin.d.smith@jpl.nasa.gov George Stebbins Jet Propulsion Laboratory California
IEEE TENCON Region 10 Conference Nov, 2016 Marina Bay Sands, Singapore
IEEE TENCON 2016 Region 10 Conference 22 26 Nov, 2016 Marina Bay Sands, Singapore Conference General Chair: A Alphones IEEE Singapore Section 4 5 Mar 2016 Chiba, Japan Conference Theme for TENCON 2016
C URRICULUM V I T A E
C URRICULUM V I T A E Name: Surname: Date of Birth: Nationality: Address: E-mail: Website: Mobile: Ettore Ferranti Italian http://web.comlab.ox.ac.uk/oucl/people/ettore.ferranti.html Education/Qualifications
Biometrics and Standardization. Presentation to BioSec 2nd Open Workshop, 19th and 20th January, 2005
Biometrics and Standardization Presentation to BioSec 2nd Open Workshop, 19th and 20th January, 2005 COPRAS is an FP6 Specific Support Action Project with clear goals Stimulate interaction & exchange between
FY rd Quarter Financial Results
FY2012 3 rd Quarter Financial Results April 1 December 31, 2011 KONAMI CORPORATION February 2, 2012 Cautionary statement with respect to forward-looking statements Statements made in this presentation
STUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE
STUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE TAWDE SANTOSH SAHEBRAO DEPT. OF COMPUTER SCIENCE CMJ UNIVERSITY, SHILLONG, MEGHALAYA ABSTRACT Adherence to a defined process
Visa Inc Investor Day Speaker Biographies
Visa Inc. 2017 Investor Day Speaker Biographies Alfred F. Kelly, Jr. Chief Executive Officer Al Kelly is Chief Executive Officer of Visa Inc. Prior to joining Visa, Mr. Kelly was President and Chief Executive