Research Unit Presentation - Universidade do Minho · 2010-12-13 · PeerPeer--ttoo--peer...

Research Unit Research Unit

PresentationPresentation

Fernando SilvaFernando Silva

October October 1919th th 20102010

http://cracs.fc.up.pthttp://cracs.fc.up.pt

HistoryHistoryHistoryHistory

CRACS was created in CRACS was created in 20072007Evaluated by FCT as Very Good (highest within Informatics)Evaluated by FCT as Very Good (highest within Informatics)

Motivated by Challenges inMotivated by Challenges inHighHigh--level Programming Languageslevel Programming Languages

Parallel and Distributed ComputingParallel and Distributed Computing

Information MiningInformation Mining

CRACS was created in CRACS was created in 20072007Evaluated by FCT as Very Good (highest within Informatics)Evaluated by FCT as Very Good (highest within Informatics)

Motivated by Challenges inMotivated by Challenges inHighHigh--level Programming Languageslevel Programming Languages

Parallel and Distributed ComputingParallel and Distributed Computing


CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA 2


Biologically Inspired ComputingBiologically Inspired Computing

WebWeb--based Systemsbased Systems

Affiliated withAffiliated withComputer Science DepartmentComputer Science Department

University of Porto University of Porto -- Faculty Faculty of of SciencesSciences

INESCPORTO Associate LaboratoryINESCPORTO Associate Laboratory



WebWeb--based Systemsbased Systems

Affiliated withAffiliated withComputer Science DepartmentComputer Science Department

University of Porto University of Porto -- Faculty Faculty of of SciencesSciences

INESCPORTO Associate LaboratoryINESCPORTO Associate Laboratory

Effective Effective Members (10 PhDs)Members (10 PhDs)Effective Effective Members (10 PhDs)Members (10 PhDs)

Álvaro Figueira [email protected]

Fernando Silva (Coordinator) [email protected]

Inês Dutra [email protected]

José Paulo Leal [email protected]

Luís Lopes [email protected]


Manuel Eduardo Correia [email protected]

Nuno Fonseca [email protected]

Paulo Moura [email protected]

Ricardo Rocha [email protected]

Vítor Santos Costa [email protected]

MissionMissionMissionMission

Fundamental and Applied Research, driven byFundamental and Applied Research, driven byChallenging applicationsChallenging applicationsStrong multiStrong multi--disciplinary emphasis disciplinary emphasis

Advanced Training of Young ResearchersAdvanced Training of Young ResearchersPostPost--graduategraduate

Fundamental and Applied Research, driven byFundamental and Applied Research, driven byChallenging applicationsChallenging applicationsStrong multiStrong multi--disciplinary emphasis disciplinary emphasis

Advanced Training of Young ResearchersAdvanced Training of Young ResearchersPostPost--graduategraduate


PostPost--graduategraduatePostPost--doctoral leveldoctoral level

Establish Partnerships with IndustryEstablish Partnerships with IndustryJoint projectsJoint projectsDoctoral supervisionDoctoral supervision

Promote and disseminate research resultsPromote and disseminate research results

PostPost--graduategraduatePostPost--doctoral leveldoctoral level

Establish Partnerships with IndustryEstablish Partnerships with IndustryJoint projectsJoint projectsDoctoral supervisionDoctoral supervision

Promote and disseminate research resultsPromote and disseminate research results

Current TeamCurrent TeamCurrent TeamCurrent Team

Around 60 members/researchersAround 60 members/researchers

10 effective members with PhD10 effective members with PhD

2 associated members with PhD2 associated members with PhD

18 PhD students (4 18 PhD students (4 MAPiMAPi))

Around 60 members/researchersAround 60 members/researchers

10 effective members with PhD10 effective members with PhD

2 associated members with PhD2 associated members with PhD




21 MSc students21 MSc students

9 other junior researchers9 other junior researchers


21 MSc students21 MSc students

9 other junior researchers9 other junior researchers

Research Topics (Area Research Topics (Area 11))Research Topics (Area Research Topics (Area 11))

Computational Models and Languages for Scalable ComputingComputational Models and Languages for Scalable Computing

Implementation of Logic Programming (LP) systemsImplementation of Logic Programming (LP) systemsYap Prolog system / Logtalk systemYap Prolog system / Logtalk systemExtensions for tabling and constraintsExtensions for tabling and constraintsSupport for multiSupport for multi--platform OS (Linux, MacOS, Windows)platform OS (Linux, MacOS, Windows)

Programming Languages Programming Languages for for Mobile Computing and Sensor NetworksMobile Computing and Sensor Networks


Programming Languages Programming Languages for for Mobile Computing and Sensor NetworksMobile Computing and Sensor NetworksProcess calculi based languagesProcess calculi based languagesVirtual machines specification and implementationVirtual machines specification and implementationFormal methods for robust programmingFormal methods for robust programming

Parallel LP and Inductive LP systemsParallel LP and Inductive LP systemsParallel and distributed systems, SchedulingParallel and distributed systems, SchedulingRunRun--time systems for time systems for multicoremulticore architecturesarchitectures

Research Topics (Area Research Topics (Area 11))Research Topics (Area Research Topics (Area 11))

Computational Models and Languages for Scalable ComputingComputational Models and Languages for Scalable Computing

Grid ComputingGrid ComputingApplication Description Application Description LanguagesLanguages and and environmentsenvironments(Meta(Meta--)Scheduling)SchedulingHigh performance applicationsHigh performance applications

Middleware InfrastructuresMiddleware Infrastructures


Middleware InfrastructuresMiddleware InfrastructuresPeerPeer--toto--peer frameworkspeer frameworksHard realHard real--time control software for autonomous vehiclestime control software for autonomous vehiclesPerformance EvaluationPerformance Evaluation

Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)

Information Mining andInformation Mining and WebWeb--Based SystemsBased Systems

Machine Learning and DiscoveryMachine Learning and DiscoveryInductive Logic ProgrammingInductive Logic ProgrammingStatistical Relational LearningStatistical Relational LearningUbiquitous Data StreamUbiquitous Data StreamBiologically Inspired ComputingBiologically Inspired Computing



ApplicationsApplicationsPattern Discovery in Genomics and ProteomicsPattern Discovery in Genomics and ProteomicsAnalysis of Gene Expression DataAnalysis of Gene Expression DataUnderstanding Cellular PathwaysUnderstanding Cellular PathwaysClinical AnalysisClinical AnalysisIntrusion Detection SystemsIntrusion Detection SystemsSPAM ClassificationSPAM Classification

Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)Research Topics (Area 2)Information Mining andInformation Mining and WebWeb--Based SystemsBased Systems

Semantic Digital LibrariesSemantic Digital LibrariesAutomatic classification and categorization of filesAutomatic classification and categorization of filesRepository of educational contents based on Repository of educational contents based on ontologiesontologiesFederation of repositories, Federation of repositories, FolksonomyFolksonomy

ee--Learning Environments and ToolsLearning Environments and ToolsRepository of shareable content objectsRepository of shareable content objects


Repository of shareable content objectsRepository of shareable content objectsAutomatic evaluation of programming problemsAutomatic evaluation of programming problemsOnline interaction visualization methods (Online interaction visualization methods (iGraphsiGraphs))Tools for assessing online cooperative workTools for assessing online cooperative workCreation of automatic personalized instructionCreation of automatic personalized instruction

Service Oriented Architectures and Open Service Oriented Architectures and Open Service Service oriented computing in web adaptability and eoriented computing in web adaptability and e--learning learning environmentsenvironmentsXML/Ajax based Web developmentXML/Ajax based Web development

PublicationsPublicationsPublicationsPublications

20072007 20082008 20092009 20102010 TotalTotal

Books (edited) 1 3 1 1 6

Book chapters 1 4 -- 5 10

Journal Papers 3 7 9 6 25

Proceedings (LNCS, IEEE, ACM, ...) 17 20 17 15 69


Proceedings (others) 26 19 25 21 91

Total 48 53 52 50 201

Main International Journals (Main International Journals (20072007--1010))Main International Journals (Main International Journals (20072007--1010))Theory and Practice of Logic Programming (TPLP)Theory and Practice of Logic Programming (TPLP), Cambridge (2005, 2010), Cambridge (2005, 2010)

J. Machine Learning ResearchJ. Machine Learning Research, Wiley, (2004), Wiley, (2004)

Machine Learning J., Springer, (2009)Machine Learning J., Springer, (2009)

Software Practice & ExperienceSoftware Practice & Experience, Wiley (2003, 2008, 2009), Wiley (2003, 2008, 2009)

Concurrency and Computation: Practice & ExperienceConcurrency and Computation: Practice & Experience, Wiley (2007), Wiley (2007)

Fundamenta Informaticae, IOS Press (2008)Fundamenta Informaticae, IOS Press (2008)

Informatics in Education Informatics in Education (2009)(2009)

Theory and Practice of Logic Programming (TPLP)Theory and Practice of Logic Programming (TPLP), Cambridge (2005, 2010), Cambridge (2005, 2010)

J. Machine Learning ResearchJ. Machine Learning Research, Wiley, (2004), Wiley, (2004)

Machine Learning J., Springer, (2009)Machine Learning J., Springer, (2009)

Software Practice & ExperienceSoftware Practice & Experience, Wiley (2003, 2008, 2009), Wiley (2003, 2008, 2009)

Concurrency and Computation: Practice & ExperienceConcurrency and Computation: Practice & Experience, Wiley (2007), Wiley (2007)

Fundamenta Informaticae, IOS Press (2008)Fundamenta Informaticae, IOS Press (2008)




J. Neuroscience Methods, Elsevier (2009)J. Neuroscience Methods, Elsevier (2009)

BMC BioinformaticsBMC Bioinformatics (2007)(2007)

PROTEINS: Structure, Function and BioinformaticsPROTEINS: Structure, Function and Bioinformatics, Wiley (2008), Wiley (2008)

Genetics Research, Cambridge (2008)Genetics Research, Cambridge (2008)

J. Molecular Evolution, (2008, 2009)J. Molecular Evolution, (2008, 2009)

BMC Evolutionary Biology (2009)BMC Evolutionary Biology (2009)

PLOS One (2009)PLOS One (2009)


J. Neuroscience Methods, Elsevier (2009)J. Neuroscience Methods, Elsevier (2009)

BMC BioinformaticsBMC Bioinformatics (2007)(2007)

PROTEINS: Structure, Function and BioinformaticsPROTEINS: Structure, Function and Bioinformatics, Wiley (2008), Wiley (2008)

Genetics Research, Cambridge (2008)Genetics Research, Cambridge (2008)

J. Molecular Evolution, (2008, 2009)J. Molecular Evolution, (2008, 2009)

BMC Evolutionary Biology (2009)BMC Evolutionary Biology (2009)

PLOS One (2009)PLOS One (2009)

Main International Conferences (2007Main International Conferences (2007--10)10)Main International Conferences (2007Main International Conferences (2007--10)10)International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Parallel Processing, (EuroPar’03, 05)European Conference on Parallel Processing, (EuroPar’03, 05)IEEE International Conference on Cluster Computing (Cluster 2010)IEEE International Conference on Cluster Computing (Cluster 2010)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Conference on Machine Learning (ICML’07)International Conference on Machine Learning (ICML’07)International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)

International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)International Conf. on Logic Programming (ICLP’03, 04, 05, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)Practical Aspects of Declarative Languages (PADL’03, 04, 06, 07, 08, 09, 10)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)International Conference on Inductive Logic Programming (ILP’03, 04, 05, 06, 07, 09)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Logics in Artificial Intelligence (JELIA’10)European Conference on Parallel Processing, (EuroPar’03, 05)European Conference on Parallel Processing, (EuroPar’03, 05)IEEE International Conference on Cluster Computing (Cluster 2010)IEEE International Conference on Cluster Computing (Cluster 2010)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Joint Conference on Artificial Intelligence (IJCAI’05, 07)International Conference on Machine Learning (ICML’07)International Conference on Machine Learning (ICML’07)International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)


International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)International Workshop on Algorithms in Bioinformatics (WABI'2010)International Workshop on Algorithms in Bioinformatics (WABI'2010)ACM Conference on Hypertext and Hypermedia (07)ACM Conference on Hypertext and Hypermedia (07)IEEE Symposium on RealIEEE Symposium on Real--Time Systems (RTSS’10)Time Systems (RTSS’10)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)IEEE International Conference on eIEEE International Conference on e--Science (eScience (e--Science 2009)Science 2009)Int. Conf. BioInt. Conf. Bio--Inspired Models of Network, Information, and Computing Systems (2010)Inspired Models of Network, Information, and Computing Systems (2010)ACM ACM SympSymp. on Applied Computing . on Applied Computing -- Bioinformatics and Comp. Systems Biology (ACMBioinformatics and Comp. Systems Biology (ACM--SAC’08,10)SAC’08,10)……

International Conference on WebInternational Conference on Web--based Learning (ICWL’07)based Learning (ICWL’07)International Workshop on Algorithms in Bioinformatics (WABI'2010)International Workshop on Algorithms in Bioinformatics (WABI'2010)ACM Conference on Hypertext and Hypermedia (07)ACM Conference on Hypertext and Hypermedia (07)IEEE Symposium on RealIEEE Symposium on Real--Time Systems (RTSS’10)Time Systems (RTSS’10)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Sensor Technologies and Applications (SENSORCOMM’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)International Conference on Distributed Computing in Sensor Systems (DCOSS’07)IEEE International Conference on eIEEE International Conference on e--Science (eScience (e--Science 2009)Science 2009)Int. Conf. BioInt. Conf. Bio--Inspired Models of Network, Information, and Computing Systems (2010)Inspired Models of Network, Information, and Computing Systems (2010)ACM ACM SympSymp. on Applied Computing . on Applied Computing -- Bioinformatics and Comp. Systems Biology (ACMBioinformatics and Comp. Systems Biology (ACM--SAC’08,10)SAC’08,10)……

Training Young ResearchersTraining Young ResearchersTraining Young ResearchersTraining Young Researchers

20062006 20072007 20082008 20092009 20102010 TotalTotal OngoingOngoing

MSc 4 7 12 6 4 33 21

PhD 5 1 2 2 1 11 18

Total 9 8 14 8 5 44 39

Teaching in PhD Courses:Teaching in PhD Courses:


Teaching in PhD Courses:Teaching in PhD Courses:

MAPMAP--I Doctoral Program in Computer Science (I Doctoral Program in Computer Science (U.MinhoU.Minho, , U.AveiroU.Aveiro, , U.PortoU.Porto) )

Teaching in MSc CoursesTeaching in MSc Courses::Master in Computer Science, Faculty of SciencesMaster in Computer Science, Faculty of Sciences

Master in Networks and Systems Engineering, Faculty of SciencesMaster in Networks and Systems Engineering, Faculty of Sciences

Master in Medical Informatics, Faculty of Medicine & Faculty of SciencesMaster in Medical Informatics, Faculty of Medicine & Faculty of Sciences

Master in Multimedia, Master in Multimedia, U.PortoU.Porto

Funded ProjectsFunded ProjectsFunded ProjectsFunded Projects

Recently approved projects:Recently approved projects:

[leader][leader] LEAP, FCT: LEAP, FCT: 115115,,000000€€ ((20112011//1313))

[leader][leader] Breadcrumbs, FCT UTBreadcrumbs, FCT UT--Austin Portugal, Austin Portugal, 160160,,000000€€ ((20102010//1212))

[leader] [leader] OFELIA, FCT: OFELIA, FCT: 120120,,000000€€ ((20102010//1212))

[leader][leader] HORUS:HORUS:, FCT, FCT: : 9090,,000000€€ ((20102010//1212))

[participant][participant] MACAW, FCT: MACAW, FCT: 9090,,000000€€ ((20112011//1313))

[participant] [participant] GISELAGISELA: : EE--infrastructure shared between Europe and Latin America, EUinfrastructure shared between Europe and Latin America, EU

Recently approved projects:Recently approved projects:

[leader][leader] LEAP, FCT: LEAP, FCT: 115115,,000000€€ ((20112011//1313))

[leader][leader] Breadcrumbs, FCT UTBreadcrumbs, FCT UT--Austin Portugal, Austin Portugal, 160160,,000000€€ ((20102010//1212))

[leader] [leader] OFELIA, FCT: OFELIA, FCT: 120120,,000000€€ ((20102010//1212))

[leader][leader] HORUS:HORUS:, FCT, FCT: : 9090,,000000€€ ((20102010//1212))

[participant][participant] MACAW, FCT: MACAW, FCT: 9090,,000000€€ ((20112011//1313))




3 3 Projectos QRENProjectos QREN

OngoingOngoing projectsprojects::

[leader][leader] CALLAS,CALLAS, FCT,FCT, 189189,,000000€€ ((20082008--1010))

[leader][leader] STAMPA,STAMPA, FCTFCT:: 150150,,000000€€ ((20082008//1010))

[participant][participant] JEDI,JEDI, FCT,FCT, 200200,,000000€€ ((20082008--1010))

[participant][participant] EduJudgeEduJudge,, EUEU:: 6060,,000000€€ ((20082008--1010))


3 3 Projectos QRENProjectos QREN

OngoingOngoing projectsprojects::

[leader][leader] CALLAS,CALLAS, FCT,FCT, 189189,,000000€€ ((20082008--1010))

[leader][leader] STAMPA,STAMPA, FCTFCT:: 150150,,000000€€ ((20082008//1010))

[participant][participant] JEDI,JEDI, FCT,FCT, 200200,,000000€€ ((20082008--1010))

[participant][participant] EduJudgeEduJudge,, EUEU:: 6060,,000000€€ ((20082008--1010))

InternationalizationInternationalizationInternationalizationInternationalization

20032003 20042004 20052005 20062006 20072007 20082008 TotalTotal

Organization (Conf. Chair)1 1 0 2 0 4 0 7

Program Chair1 1 0 3 0 2 1 7


Program Committee Member1 8 3 6 6 14 15 52

Events 4 3 5 4 10 14 40

1 Different persons participating in the same event are counted.

4 conference/workshop proceedings edited4 conference/workshop proceedings edited4 conference/workshop proceedings edited4 conference/workshop proceedings edited

CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA

��Ricardo RochaRicardo Rocha

��Fernando SilvaFernando Silva

��InêsInês DutraDutra

��Paulo Paulo MouraMoura

��VítorVítor Santos CostaSantos Costa

LEAP LEAP -- Logic Environments with Logic Environments with

Advanced Parallelism Advanced Parallelism



�� Logic Programming (LP) provides a Logic Programming (LP) provides a highhigh--levellevel, , declarative approachdeclarative approach to programming.to programming.

�� LP is very attractive for the exploitation of LP is very attractive for the exploitation of implicit implicit

parallelismparallelism..

�� Logic Programming (LP) provides a Logic Programming (LP) provides a highhigh--levellevel, , declarative approachdeclarative approach to programming.to programming.

�� LP is very attractive for the exploitation of LP is very attractive for the exploitation of implicit implicit




�� The LEAP project aims at investigating novel techniques to The LEAP project aims at investigating novel techniques to efficiently exploit parallelism from large scale realefficiently exploit parallelism from large scale real--world world applications in applications in low cost multilow cost multi--core architecturescore architectures..

�� The LEAP project establishes its foundations on implicit The LEAP project establishes its foundations on implicit parallelism but relies on parallelism but relies on highhigh--level explicit parallel level explicit parallel

constructsconstructs to trigger parallel executionto trigger parallel execution..


�� The LEAP project aims at investigating novel techniques to The LEAP project aims at investigating novel techniques to efficiently exploit parallelism from large scale realefficiently exploit parallelism from large scale real--world world applications in applications in low cost multilow cost multi--core architecturescore architectures..

�� The LEAP project establishes its foundations on implicit The LEAP project establishes its foundations on implicit parallelism but relies on parallelism but relies on highhigh--level explicit parallel level explicit parallel

constructsconstructs to trigger parallel executionto trigger parallel execution..

LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism

�� Past Past experience in designing and developing parallel systems for experience in designing and developing parallel systems for �� sharedshared ((environment copyingenvironment copying) and ) and

�� distributed distributed memory architecturesmemory architectures ((stack splittingstack splitting), ),

�� Main Main goal of LEAP is to design a new parallel platform goal of LEAP is to design a new parallel platform takes takes

advantage of both modelsadvantage of both models to scaleto scale--up on clusters of up on clusters of multimulti--cores.cores.

�� Main problemsMain problems

�� Past Past experience in designing and developing parallel systems for experience in designing and developing parallel systems for �� sharedshared ((environment copyingenvironment copying) and ) and

�� distributed distributed memory architecturesmemory architectures ((stack splittingstack splitting), ),

�� Main Main goal of LEAP is to design a new parallel platform goal of LEAP is to design a new parallel platform takes takes

advantage of both modelsadvantage of both models to scaleto scale--up on clusters of up on clusters of multimulti--cores.cores.

�� Main problemsMain problems


�� Main problemsMain problems�� How to integrate both modelsHow to integrate both models

�� SchedulingScheduling

�� Load balancingLoad balancing

�� Speculative workSpeculative work

�� Support sequential semanticsSupport sequential semantics

�� Main problemsMain problems�� How to integrate both modelsHow to integrate both models

�� SchedulingScheduling

�� Load balancingLoad balancing

�� Speculative workSpeculative work

�� Support sequential semanticsSupport sequential semantics

LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism LEAP LEAP -- Logic Environments with Advanced Parallelism Logic Environments with Advanced Parallelism

�� Two levels of processing unitsTwo levels of processing units�� Single workersSingle workers

�� Teams of workersTeams of workers (workers sharing the same memory address space)(workers sharing the same memory address space)

�� For shared memory architecturesFor shared memory architectures�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models

�� Two levels of processing unitsTwo levels of processing units�� Single workersSingle workers

�� Teams of workersTeams of workers (workers sharing the same memory address space)(workers sharing the same memory address space)

�� For shared memory architecturesFor shared memory architectures�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models


�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models

�� For distributed memory architecturesFor distributed memory architectures�� workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models

�� for distributing work among for distributing work among teamsteams we can only have we can only have stack splittingstack splitting

�� This is similar to the MPI/This is similar to the MPI/OpenMPOpenMP programming pattern where MPI programming pattern where MPI is used to communicate work among computer nodes and is used to communicate work among computer nodes and OpenMPOpenMPis used to communicate work among workers in the same node.is used to communicate work among workers in the same node.

�� teamsteams and and workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models

�� For distributed memory architecturesFor distributed memory architectures�� workers in a teamworkers in a team can distribute work using can distribute work using both modelsboth models

�� for distributing work among for distributing work among teamsteams we can only have we can only have stack splittingstack splitting

�� This is similar to the MPI/This is similar to the MPI/OpenMPOpenMP programming pattern where MPI programming pattern where MPI is used to communicate work among computer nodes and is used to communicate work among computer nodes and OpenMPOpenMPis used to communicate work among workers in the same node.is used to communicate work among workers in the same node.

The Horus ProjectThe Horus ProjectThe Horus ProjectThe Horus Project

�� Combining Logic and Combining Logic and ProbabilitiesProbabilities

�� ProbLogProbLog�� 00..99::car(red)::car(red)

�� Combining Logic and Combining Logic and ProbabilitiesProbabilities

�� ProbLogProbLog�� 00..99::car(red)::car(red)


�� 00..99::car(red)::car(red)

�� CLP(BN)CLP(BN)�� profprof((Prof,SkillProf,Skill) :) :--

ability(ability(Prof,AbProf,Ab))

/ Skill = Random(/ Skill = Random(AbAb))

�� 00..99::car(red)::car(red)

�� CLP(BN)CLP(BN)�� profprof((Prof,SkillProf,Skill) :) :--

ability(ability(Prof,AbProf,Ab))

/ Skill = Random(/ Skill = Random(AbAb))

Horus ProjectHorus ProjectHorus ProjectHorus Project

�� Lifted InferenceLifted Inference�� Required for large databasesRequired for large databases

�� LearningLearningLearning AlgorithmsLearning Algorithms

�� Lifted InferenceLifted Inference�� Required for large databasesRequired for large databases

�� LearningLearningLearning AlgorithmsLearning Algorithms


�� Learning AlgorithmsLearning Algorithms

�� Structure LearningStructure Learning

�� Large ApplicationsLarge Applications�� Evaluation/ Knowledge RepresentationEvaluation/ Knowledge Representation

�� Prolog SupportProlog Support

�� Learning AlgorithmsLearning Algorithms

�� Structure LearningStructure Learning

�� Large ApplicationsLarge Applications�� Evaluation/ Knowledge RepresentationEvaluation/ Knowledge Representation

�� Prolog SupportProlog Support

Programing Languages and Programing Languages and

Applications for Sensor NetworksApplications for Sensor Networks

Programing Languages and Programing Languages and

Applications for Sensor NetworksApplications for Sensor Networks


October 2010October 2010

http://www.dcc.fc.up.pt/cracshttp://www.dcc.fc.up.pt/cracs

October 2010October 2010

http://www.dcc.fc.up.pt/cracshttp://www.dcc.fc.up.pt/cracs

Team/ProjectsTeam/ProjectsTeam/ProjectsTeam/Projects

•• Luís Lopes, PhD, CRACS/FCUPLuís Lopes, PhD, CRACS/FCUP•• Francisco Martins, PhD, LASIGE/FCULFrancisco Martins, PhD, LASIGE/FCUL•• João Barros, PhD, IT/FCUPJoão Barros, PhD, IT/FCUP•• 2 2 PhD students (PhD students (middleware, applicationsmiddleware, applications)) 1 1 Msc studentMsc student

•• Luís Lopes, PhD, CRACS/FCUPLuís Lopes, PhD, CRACS/FCUP•• Francisco Martins, PhD, LASIGE/FCULFrancisco Martins, PhD, LASIGE/FCUL•• João Barros, PhD, IT/FCUPJoão Barros, PhD, IT/FCUP•• 2 2 PhD students (PhD students (middleware, applicationsmiddleware, applications)) 1 1 Msc studentMsc student


•• 1 1 Msc studentMsc student•• 1 1 Msc studentMsc student

CALLAS (FCT, PTDC/EIA/CALLAS (FCT, PTDC/EIA/7146271462//20062006)) 189189,,000 000 €€, , 20082008--20112011FollowFollow--up project MACAW approved in up project MACAW approved in 2010 2010 (F. (F. Martins and Luís Lopes)Martins and Luís Lopes)

CALLAS (FCT, PTDC/EIA/CALLAS (FCT, PTDC/EIA/7146271462//20062006)) 189189,,000 000 €€, , 20082008--20112011FollowFollow--up project MACAW approved in up project MACAW approved in 2010 2010 (F. (F. Martins and Luís Lopes)Martins and Luís Lopes)

GoalsGoalsGoalsGoals

•• a formal model that captures the fundamental abstractions of a formal model that captures the fundamental abstractions of sensor network programmingsensor network programming

•• provide programmers with methodologies and tools to develop provide programmers with methodologies and tools to develop resilient and reconfigurable applicationsresilient and reconfigurable applications

•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks,

•• a formal model that captures the fundamental abstractions of a formal model that captures the fundamental abstractions of sensor network programmingsensor network programming

•• provide programmers with methodologies and tools to develop provide programmers with methodologies and tools to develop resilient and reconfigurable applicationsresilient and reconfigurable applications

•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks,


•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks, allowing a large classe of runallowing a large classe of run--time errors to be discarded before time errors to be discarded before deploymentdeployment

•• a prototype programming language and associated runa prototype programming language and associated run--time time system to demonstrate the feasibility of the approach takensystem to demonstrate the feasibility of the approach taken

•• MACAW: highMACAW: high--level, macroprogramming, safelevel, macroprogramming, safe--byby--design design languages for WSNlanguages for WSN

•• typetype--safe, correct by design programming for sensor networks, safe, correct by design programming for sensor networks, allowing a large classe of runallowing a large classe of run--time errors to be discarded before time errors to be discarded before deploymentdeployment

•• a prototype programming language and associated runa prototype programming language and associated run--time time system to demonstrate the feasibility of the approach takensystem to demonstrate the feasibility of the approach taken

•• MACAW: highMACAW: high--level, macroprogramming, safelevel, macroprogramming, safe--byby--design design languages for WSNlanguages for WSN

Some PublicationsSome PublicationsSome PublicationsSome Publications

• Francisco Martins, Luís Lopes. Towards Safe Programming of Wireless Sensor Networks. Electronic Proceedings on Theoretical Computer Science (EPTCS) 17, pages 49-62, Elsevier, 2010.

• Luís Lopes, Francisco Martins, João Barros. In Middleware for Network Centric and Mobile Applications. Chapter “Programming Wireless Sensor Networks”, pages 25–41. Springer-Verlag, 2009.

• Francisco Martins, Luís Lopes. Towards Safe Programming of Wireless Sensor Networks. Electronic Proceedings on Theoretical Computer Science (EPTCS) 17, pages 49-62, Elsevier, 2010.

• Luís Lopes, Francisco Martins, João Barros. In Middleware for Network Centric and Mobile Applications. Chapter “Programming Wireless Sensor Networks”, pages 25–41. Springer-Verlag, 2009.


Networks”, pages 25–41. Springer-Verlag, 2009.

• L. Lopes, F. Martins, M. S. Silva and J. Barros. A Process Calculus Approach to Sensor Network Programming. International Conference on Sensor Technologies and Applications (SENSORCOMM’07), IEEE Press, 2007.

Networks”, pages 25–41. Springer-Verlag, 2009.

• L. Lopes, F. Martins, M. S. Silva and J. Barros. A Process Calculus Approach to Sensor Network Programming. International Conference on Sensor Technologies and Applications (SENSORCOMM’07), IEEE Press, 2007.

User Centric privacy oriented User Centric privacy oriented Identity management Identity management systemssystems


Manuel Eduardo Correia Manuel Eduardo Correia

��Have you made your login today? Have you made your login today?


��Strong Authentication and secure Mobile identity Strong Authentication and secure Mobile identity attributesattributes

��User at BrowserUser at Browser

CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA��29292929

��IdentityIdentity

��ProviderProvider

��Attribute Attribute

consumerconsumer

��Authentication Authentication

��ProviderProvider

��Biologically Inspired Computing Biologically Inspired Computing ––Artificial Immune Sytems for Artificial Immune Sytems for

Anomaly Detection.Anomaly Detection.

CRACS CRACS -- Faculty of Sciences of the University of Porto & INESCPORTO LAFaculty of Sciences of the University of Porto & INESCPORTO LA��30303030

Anomaly Detection.Anomaly Detection.

Artificial Immune Systems for anomaly detectionArtificial Immune Systems for anomaly detection

Inspiration on Biological systems for Inspiration on Biological systems for complex problem solving on complex problem solving on computers.computers.

Immunological Inspired Models Immunological Inspired Models

intrusion detection systemsintrusion detection systems

spam classificationspam classification

Inspiration on Biological systems for Inspiration on Biological systems for complex problem solving on complex problem solving on computers.computers.

Immunological Inspired Models Immunological Inspired Models

intrusion detection systemsintrusion detection systems

spam classificationspam classification


TAT (Tunable Activation Threshold) TAT (Tunable Activation Threshold) simulation model for the activation simulation model for the activation behavior of Tbehavior of T--Cells.Cells.

Detection of nonDetection of non--self behavior of the self behavior of the TT--cells on the vertebrate immune cells on the vertebrate immune system. system.

TAT (Tunable Activation Threshold) TAT (Tunable Activation Threshold) simulation model for the activation simulation model for the activation behavior of Tbehavior of T--Cells.Cells.

Detection of nonDetection of non--self behavior of the self behavior of the TT--cells on the vertebrate immune cells on the vertebrate immune system. system.

Research Unit Presentation - Universidade do Minho · 2010-12-13 · PeerPeer--ttoo--peer...

Documents

Transcript of Research Unit Presentation - Universidade do Minho · 2010-12-13 · PeerPeer--ttoo--peer...