PechaKucha (FormaliSE'2018)

•

2 gostaram•413 visualizações

Stephanie Challita is preparing a PhD in computer science at Inria Lille, France on developing formal frameworks for managing heterogeneous cloud resources. Her approaches include OCCIware, a model-driven tool chain for defining and provisioning cloud resources according to the OCCI standard, fclouds, a formal language for specifying semantic interoperability between clouds, and a formal model of the Google Cloud Platform developed by crawling its documentation.

Tecnologia

Me in a nutshell
Stéphanie Challita
http://researchers.lille.inria.fr/schallit
stephanie.challita@inria.fr
Preparing a PhD in Computer Science
* At Inria Lille, France
* To be defended in autumn 2018
Lecturer at University of Lille, France
Thrill seeker Foodie Fitness-conscious
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 1

Research Domain
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 2

Problem Statement
Deployment
Model
Management
Interface
Service
Model
Public SOAP
IaaS,
PaaS,
SaaS
Public REST
IaaS,
PaaS,
SaaS
Hybrid REST IaaS,
PaaS
Private REST IaaS
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 3

Approach & Main Contributions
• A Formal and Tooled Framework for Managing
Every Kind of Cloud Resources (compute, storage,
network, etc.)
OCCIware
fclouds GCP Formal
Model
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 4
1
2
3

OCCIware – Why?
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 5
Developer
Real-world
Design
Generate
Provision &
Synchronize
Cloud model
Cloud artifact

OCCIware – What?
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 6

OCCIware – How?
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 7
• OCCIware Metamodel: OCCIware modeling
language
• OCCIware Studio: a model-driven
environment for designing, validating,
generating and managing OCCI resources

For more information see:
Faiez Zalila, Stéphanie Challita, Philippe Merle.
"A Model-Driven Tool Chain for OCCI."
25th International Conference on Cooperative Information Systems (CoopIS).
DOI: 10.1007/978-3-319-69462-7_26
https://github.com/occiware/OCCI-Studio
OCCIware – Publication
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 8

Fclouds – Why?
Mathematical
specification
Formal
Verification
Reasoning
One
interpretation
Accuracy
Earlier error
detection, cheaper
correction
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 9
• Cloud solutions must adhere to a precise set
of principles

Fclouds – What?
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 10

Fclouds – What?
fclouds catalogue of formal models transformation rules
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 11

Fclouds – How?
• Fclouds language  OCCI in Alloy formal language
Static semantics
OCCI core concepts in Alloy
Dynamic semantics
OCCI REST operations in Alloy:
CREATE, RETRIEVE, UPDATE,
DELETE
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 12

Fclouds – How?
• Fclouds structural and behavioural properties
on OCCI operations
Reversibility
Create & Delete
Resource
contain inverse
mathematical
logic
Sequentiality
Update Resource
cannot happen if
Create did not
happen before
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 13
Consistency
No contradictory
constraints

Compute
• Fclouds transformation rules
An instance at GCP is a compute at OCCI
Fclouds – How?
FormaliSE 2018, Gothenburg, Sweden 14
GCP
configuration
OCCI
configuration
resources resources
String
Integer
Boolean
June 2, 2018
Instance

Fclouds – Publications
For more information see:
Stéphanie Challita, Faiez Zalila, Philippe Merle.
“Specifying Semantic Interoperability between Heterogeneous Cloud
Resources with the FCLOUDS Formal Language.”
11th IEEE International Conference on Cloud Computing (CLOUD).
Preprint: https://hal.inria.fr/hal-01790629
Stéphanie Challita, Fawaz Paraiso, Philippe Merle.
“Towards Formal-based Semantic Interoperability in Multi-Clouds: The
fclouds Framework.”
10th IEEE International Conference on Cloud Computing (CLOUD).
DOI: 10.1109/CLOUD.2017.98
https://github.com/occiware/fclouds-Framework
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 15

GCP Formal Model – Why?
Informal
Documentation
Imprecise
Types
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 16

GCP Formal Model – What?
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 17

GCP Formal Model – How?
GCP
Crawler
Implicit Attribute
Metadata Detection
Link Identification
Redundancy Removal
GCP
Model
GCP
HTML pages
Model
Transformations
Type Refinement
Model Visualization
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 18

For more information see:
Stéphanie Challita, Faiez Zalila, Christophe Gourdin, Philippe Merle.
"A Precise Model for Google Cloud Platform."
6th IEEE International Conference on Cloud Engineering (IC2E).
DOI: 10.1109/IC2E.2018.00041
https://github.com/occiware/GCP-Model
GCP Formal Model – Publication
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 19

Summary
• Cloud heterogeneity
• Tooling Synchronization OCCIware
• Reasoning Verification fclouds
Application GCP Formal Model
http://researchers.lille.inria.fr/schallit
stephanie.challita@inria.fr
June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 20

Mais conteúdo relacionado

Mais procurados

ACM SIGMOD SBD2016 - Querying and reasoning over large scale building dataset...

Pieter Pauwels

UGent Research Projects on Linked Data in Architecture and Construction

Pieter Pauwels

BuildingSMART Standards Summit 2015 - JBeetz - Product Room - Use Cases for i...

Pieter Pauwels

we introduce U-GovOps – a novel framework for dynamic, on-demand governance of elastic IoT cloud systems under uncertainty. We introduce a declarative policy language to simplify the development of uncertainty- and elasticity-aware governance strategies. Based on that we develop runtime mechanisms, which enable mitigating the uncertainties by monitoring and governing the IoT cloud systems through specified strategies.

Governing Elastic IoT Cloud Systems under Uncertainties

Hong-Linh Truong

TPAC2016 - From Linked Building Data to Building Data on the Web

Pieter Pauwels

BabelNet Workshop 2016 - Making sense of building data and building product data

Pieter Pauwels

From Copycat Codelets to an AI Market Internet Protocol

Stefan Ianta

ECPPM2016 - SimpleBIM: from full ifcOWL graphs to simplified building graphs

Pieter Pauwels

BuildingSMART Standards Summit 2015 - Technical Room - Linked Data for Constr...

Pieter Pauwels

Some "challenges" on the open-source/open-data front

Greg Landrum

Presentation Paul Clint / CWI - CWI and energy efficiency - Workshop Green So...

Jaak Vlasveld

L'expérience du développement de CRESON, support pour des objets distants fortement cohérents dans Infinispan, par Etienne Riviere (UCLouvain). Cet exposé présentera des résultats obtenus dans le cadre du projet européen LEADS que j'ai coordonné et où l'entreprise Red Hat était partenaire. Le code produit a été intégré dans le “staging" de la base de données NoSQL Infinispan, et évalué avec un équivalent open source de Dropbox développé par CloudSpaces, un autre projet européen.

OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...

Pôle Systematic Paris-Region

BIM from Building to urban fabric: More than just zooming out

Pieter Pauwels

2016 07-20-wp1-q2 f2 f berlin

AGILE IoT

ifcOWL - An ontology for building data

LD4SC

Making Sigillographic Material Accessible to Researchers – Digitising, Catalo...

ICARUS - International Centre for Archival Research

ScadaLab Project

JMBALBOA

H2O for IoT - Jo-Fai (Joe) Chow, H2O

Data Science Milan

CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools

Pieter Pauwels

VILLASframework - A toolset for local and geographically distributed real-tim...

Steffen Vogel

Mais procurados (20)

ACM SIGMOD SBD2016 - Querying and reasoning over large scale building dataset...

UGent Research Projects on Linked Data in Architecture and Construction

BuildingSMART Standards Summit 2015 - JBeetz - Product Room - Use Cases for i...

Governing Elastic IoT Cloud Systems under Uncertainties

TPAC2016 - From Linked Building Data to Building Data on the Web

BabelNet Workshop 2016 - Making sense of building data and building product data

From Copycat Codelets to an AI Market Internet Protocol

ECPPM2016 - SimpleBIM: from full ifcOWL graphs to simplified building graphs

BuildingSMART Standards Summit 2015 - Technical Room - Linked Data for Constr...

Some "challenges" on the open-source/open-data front

Presentation Paul Clint / CWI - CWI and energy efficiency - Workshop Green So...

OSIS19_Cloud : Des objets dans le cloud, et qui y restent -- L'expérience du ...

BIM from Building to urban fabric: More than just zooming out

2016 07-20-wp1-q2 f2 f berlin

ifcOWL - An ontology for building data

Making Sigillographic Material Accessible to Researchers – Digitising, Catalo...

ScadaLab Project

H2O for IoT - Jo-Fai (Joe) Chow, H2O

CIB W78 Accelerating BIM Workshop 2015 - IFC2RDF tools

VILLASframework - A toolset for local and geographically distributed real-tim...

Semelhante a PechaKucha (FormaliSE'2018)

Ecosystem WG

TinaBregovi

⚛️ Building a cyber threat intelligence knowledge management system using Grakn Knowledge of cyber threats is a key focus in many areas of cybersecurity. Adapting intrusion detection systems, building relevant red team scenarios, guiding incident response activities, providing a more effective risk assessment through better knowledge of threat agents: all of these require a deep understanding of the issues related to the relevant cyber threats and its associated human and technical elements. During this talk, we will describe how we are using the hyper-relational data model, the logical inferences and the core features of Grakn to build an application (openCTI) allowing organizations to manage their cyber threat intelligence knowledge and technical observables. We will go through the data model, the implementation of nested relations and give you an overview on how you can create powerful applications using Grakn. Don't forget to check out the openCTI project here --> www.opencti.io

Building a Cyber Threat Intelligence Knowledge Management System (Paris Augus...

Vaticle

Interoperability for IoT is a challenging problem because it requires us to tackle (i) cross-system interoperability issues at the IoT platform sides as well as relevant network functions and clouds in the edge systems and data centers and (ii) cross-layer interoperability, e.g., w.r.t. data formats, communication protocols, data delivery mechanisms, and performance. However, existing solutions are quite static w.r.t software deployment and provisioning for interoperability. Many middle- ware, services and platforms have been built and deployed as interoperability bridges but they are not dynamically provisioned and reconfigured for interoperability at runtime. Furthermore, they are often not considered together with other services as a whole in application-specific contexts. In this paper, we focus on dynamic aspects by introducing the concept of Resource Slice Interoperability Hub (rsiHub). Our approach leverages existing software artifacts and services for interoperability to create and provision dynamic resource slices, including IoT, network functions and clouds, for addressing application-specific interoperability requirements. We will present our key concepts, architectures and examples toward the realization of rsiHub.

Towards a Resource Slice Interoperability Hub for IoT

Hong-Linh Truong

Delivering Agile Data Science on Openshift - Red Hat Summit 2019

John Archer

Primers or Reminders? The Effects of Existing Review Comments on Code Review

Delft University of Technology

Learn about the industry's new open metadata standard Egeria, introduced in September by ODPi, The Linux Foundation’s Open Data Platform initiative. Egeria supports the free flow of standardized metadata between different technologies and vendor platforms, enabling organizations to locate, manage and use their data resources more effectively. Explore how Egeria's set of open APIs, types and interchange protocols to allow all metadata repositories to share and exchange metadata. From this common base, it adds governance, discovery and access frameworks for automating the collection, management and use of metadata across an enterprise. The result is an enterprise catalog of data resources that are transparently assessed, governed and used in order to deliver maximum value to the enterprise. This presentation by ODPi Director John Mertic provides an introduction to Egeria, and explores how the standard provides a vendor-neutral approach to data governance. Learn how a group of companies led by ING, IBM and Hortonworks came together through the open source community to re-imagining data governance and delivered Egeria -- to automate the collection, management and use of metadata across organizations of any size and complexity. Learn how Egeria was built on open standards and delivered via Apache 2.0 open source license.

Streamline Data Governance with Egeria: The Industry's First Open Metadata St...

DataWorks Summit

Benefiting from Semantic AI along the data life cycle

Martin Kaltenböck

The Story of the Semantic Grid

butest

In this deck from the 2019 UK HPC Conference, Glyn Bowden from HPE presents: The Eco-System of AI and How to Use It. "This presentation walks through HPE's current view on AI applications, where it is driving outcomes and innovation, and where the challenges lay. We look at the eco-system that sits around an AI project and look at ways this can impact the success of the endeavor." Watch the video: https://wp.me/p3RLHQ-kVS Learn more: https://www.hpe.com/us/en/solutions/artificial-intelligence.html and http://hpcadvisorycouncil.com/events/2019/uk-conference/agenda.php Sign up for our insideHPC Newsletter: http://insidehpc.com/newsletter

The Eco-System of AI and How to Use It

inside-BigData.com

Inspire Hackathon - Integration of Research Projects Sustainability with Cit...

plan4all

Each of today’s most forward-thinking enterprises have been forced to face similar data challenges: the reliance on real-time data to better serve their customers and, subsequently, the requirement of complying with regulations to protect that data – one example being the General Data Protection Regulation (GDPR). The solution to this emerging challenge is a tricky one – for companies like ING, this data governance challenge has been met with metadata, a consistent view across a large heterogeneous ecosystem and collaboration with an active open source community. This joint presentation, John Mertic – director of program management for ODPi – and Ferd Scheepers – Global Chief Information Architect of ING – will address the benefits of a vendor-neutral approach to data governance, the need for an open metadata standard, along with insight around how companies ING, IBM, Hortonworks and more are delivering solutions to this challenge as an open source initiative. Speakers John Mertic, Director of Program Management for ODPi, R Consortium, and Open Mainframe Project, The Linux Foundation Maryna Strelchuk, Information Architect, ING

The Rise of Big Data Governance: Insight on this Emerging Trend from Active O...

DataWorks Summit

IoT 2014 Value Creation Workshop: SDIL

Till Riedel

Gsc mstf m_koster_atlanta_may_7_2013_rev1.1

Michael Koster

Presented by: Mandy Chessell, IBM Presented at All Things Open 2020 Abstract: I am one of the leaders in the open metadata and governance initiative. This is seeking to develop standards and a reference implementation through and open source project called ODPi Egeria. Egeria enables organizations to manage data as an asset even when they use tools and platforms from multiple vendors. This type of problem is extremely complex and it needs the collaboration of multiple organizations to make it happen. In this talk I will go through the technical challenges we face and how they are being overcome.

Technical Challenges in Open Metadata

All Things Open

EduNextgen extended arm of Product Innovation Academy is a growing entity in education and career transformation, specializing in today’s most in-demand skills. A platform with blended learning programs supported by in-trend technology platforms for learning. Engaging organizations for learning development objectives. Training courses are designed and updated by renowned industry experts. Our blended learning approach combines online classes, instructor-led live virtual classrooms and virtual teaching assistance.

Career opportunities in open source framework

edunextgen

Career opportunities in open source framework

edunextgen

As a significant application in distributed computing, distributed storage offers client adaptable, adaptable and top notch information stockpiling and calculation administrations. A developing number of information proprietors decide to re appropriate information records to the cloud. Since distributed storage workers are not completely reliable, information proprietors need trustworthy intends to check the ownership for their documents moved operations to far off cloud workers. To address this vital issue, some distant information ownership checking RDPC conventions have been introduced. However, many existing plans have weaknesses in effectiveness or information elements. In this paper, we give another productive RDPC convention dependent on homomorphic hash work. The new plan is provably secure against phony assault, supplant assault and replay assault dependent on a run of the mill security model. To help information elements, an activity record table ORT is acquainted with track procedure on document blocks. We further give another streamlined execution for the ORT which makes the expense of getting to ORT almost steady. Besides, we make the far reaching execution investigation which shows that our plan has preferences in calculation and correspondence costs. Model usage and examinations show that the plan is plausible for genuine applications. A. Brahma Reddy | K. V. Ranga Rao | V. Vinay Kumar "A Novel Efficient Remote Data Possession Checking Protocol in Cloud Storage" Published in International Journal of Trend in Scientific Research and Development (ijtsrd), ISSN: 2456-6470, Volume-4 | Issue-6 , October 2020, URL: https://www.ijtsrd.com/papers/ijtsrd35727.pdf Paper Url: https://www.ijtsrd.com/computer-science/computer-network/35727/a-novel-efficient-remote-data-possession-checking-protocol-in-cloud-storage/a-brahma-reddy

A Novel Efficient Remote Data Possession Checking Protocol in Cloud Storage

ijtsrd

Open Standards for IoT- GSC Workshop on IoT Atlanta 2013

Michael Koster

Open Standards for IoT - GSM Workshop on IoT Standards Atlanta 2013

Michael Koster

Metadata catalogues survey results, EOSCpilot H2020 EU project

Massimiliano Assante

Semelhante a PechaKucha (FormaliSE'2018) (20)

Ecosystem WG

Building a Cyber Threat Intelligence Knowledge Management System (Paris Augus...

Towards a Resource Slice Interoperability Hub for IoT

Delivering Agile Data Science on Openshift - Red Hat Summit 2019

Primers or Reminders? The Effects of Existing Review Comments on Code Review

Streamline Data Governance with Egeria: The Industry's First Open Metadata St...

Benefiting from Semantic AI along the data life cycle

The Story of the Semantic Grid

The Eco-System of AI and How to Use It

Inspire Hackathon - Integration of Research Projects Sustainability with Cit...

The Rise of Big Data Governance: Insight on this Emerging Trend from Active O...

IoT 2014 Value Creation Workshop: SDIL

Gsc mstf m_koster_atlanta_may_7_2013_rev1.1

Technical Challenges in Open Metadata

Career opportunities in open source framework

A Novel Efficient Remote Data Possession Checking Protocol in Cloud Storage

Open Standards for IoT- GSC Workshop on IoT Atlanta 2013

Open Standards for IoT - GSM Workshop on IoT Standards Atlanta 2013

Metadata catalogues survey results, EOSCpilot H2020 EU project

Último

Automating Google Workspace (GWS) & more with Apps Script

wesley chun

Scaling API-first – The story of a global engineering organization

Radu Cotescu

Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...

Neo4j

Sara Mae O’Brien Scott and Tatiana Baquero Cakici, Senior Consultants at Enterprise Knowledge (EK), presented “AI Fast Track to Search-Focused AI Solutions” at the Information Architecture Conference (IAC24) that took place on April 11, 2024 in Seattle, WA. In their presentation, O’Brien-Scott and Cakici focused on what Enterprise AI is, why it is important, and what it takes to empower organizations to get started on a search-based AI journey and stay on track. The presentation explored the complexities of enterprise search challenges and how IA principles can be leveraged to provide AI solutions through the use of a semantic layer. O’Brien-Scott and Cakici showcased a case study where a taxonomy, an ontology, and a knowledge graph were used to structure content at a healthcare workforce solutions organization, providing personalized content recommendations and increasing content findability. In this session, participants gained insights about the following: Most common types of AI categories and use cases; Recommended steps to design and implement taxonomies and ontologies, ensuring they evolve effectively and support the organization’s search objectives; Taxonomy and ontology design considerations and best practices; Real-world AI applications that illustrated the value of taxonomies, ontologies, and knowledge graphs; and Tools, roles, and skills to design and implement AI-powered search solutions.

IAC 2024 - IA Fast Track to Search Focused AI Solutions

Enterprise Knowledge

Finology Group – Insurtech Innovation Award 2024

The Digital Insurer

Heather Hedden, Senior Consultant at Enterprise Knowledge, presented “The Role of Taxonomy and Ontology in Semantic Layers” at a webinar hosted by Progress Semaphore on April 16, 2024. Taxonomies at their core enable effective tagging and retrieval of content, and combined with ontologies they extend to the management and understanding of related data. There are even greater benefits of taxonomies and ontologies to enhance your enterprise information architecture when applying them to a semantic layer. A survey by DBP-Institute found that enterprises using a semantic layer see their business outcomes improve by four times, while reducing their data and analytics costs. Extending taxonomies to a semantic layer can be a game-changing solution, allowing you to connect information silos, alleviate knowledge gaps, and derive new insights. Hedden, who specializes in taxonomy design and implementation, presented how the value of taxonomies shouldn’t reside in silos but be integrated with ontologies into a semantic layer. Learn about: - The essence and purpose of taxonomies and ontologies in information and knowledge management; - Advantages of semantic layers leveraging organizational taxonomies; and - Components and approaches to creating a semantic layer, including the integration of taxonomies and ontologies

The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf

Enterprise Knowledge

Three things you will take away from the session: • How to run an effective tenant-to-tenant migration • Best practices for before, during, and after migration • Tips for using migration as a springboard to prepare for Copilot in Microsoft 365 Main ideas: Migration Overview: The presentation covers the current reality of cross-tenant migrations, the triggers, phases, best practices, and benefits of a successful tenant migration Considerations: When considering a migration, it is important to consider the migration scope, performance, customization, flexibility, user-friendly interface, automation, monitoring, support, training, scalability, data integrity, data security, cost, and licensing structure Next Wave: The next wave of change includes the launch of Copilot, which requires businesses to be prepared for upcoming changes related to Copilot and the cloud, and to consolidate data and tighten governance ShareGate: ShareGate can help with pre-migration analysis, configurable migration tool, and automated, end-user driven collaborative governance

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff

sammart93

How to convert PDF to text with Nanonets

naman860154

Handwritten Text Recognition for manuscripts and early printed texts

Maria Levchenko

BooK Now Call us at +918448380779 to hire a gorgeous and seductive call girl for sex. Take a Delhi Escort Service. The help of our escort agency is mostly meant for men who want sexual Indian Escorts In Delhi NCR. It should be noted that any impersonator will get 100 attention from our Young Girls Escorts in Delhi. They will assume the position of reliable allies. VIP Call Girl With Original Photos Book Tonight +918448380779 Our Cheap Price 1 Hour not available 2 Hours 5000 Full Night 8000 TAG: Call Girls in Delhi, Noida, Gurgaon, Ghaziabad, Connaught Place, Greater Kailash Delhi, Lajpat Nagar Delhi, Mayur Vihar Delhi, Chanakyapuri Delhi, New Friends Colony Delhi, Majnu Ka Tilla, Karol Bagh, Malviya Nagar, Saket, Khan Market, Noida Sector 18, Noida Sector 76, Noida Sector 51, Gurgaon Mg Road, Iffco Chowk Gurgaon, Rajiv Chowk Gurgaon All Delhi Ncr Free Home Deliver

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men

Delhi Call girls

Strategies for Landing an Oracle DBA Job as a Fresher

Remote DBA Services

How to Troubleshoot Apps for the Modern Connected Worker

ThousandEyes

presentation ICT roal in 21st century education

jfdjdjcjdnsjd

Data Cloud, More than a CDP by Matt Robison

Anna Loughnan Colquhoun

The presentation explores the development and application of artificial intelligence (AI) from its inception to its current status in the modern world. The term "artificial intelligence" was first coined by John McCarthy in 1956 to describe efforts to develop computer programs capable of performing tasks that typically require human intelligence. This concept was first introduced at a conference held at Dartmouth College, where programs demonstrated capabilities such as playing chess, proving theorems, and interpreting texts. In the early stages, Alan Turing contributed to the field by defining intelligence as the ability of a being to respond to certain questions intelligently, proposing what is now known as the Turing Test to evaluate the presence of intelligent behavior in machines. As the decades progressed, AI evolved significantly. The 1980s focused on machine learning, teaching computers to learn from data, leading to the development of models that could improve their performance based on their experiences. The 1990s and 2000s saw further advances in algorithms and computational power, which allowed for more sophisticated data analysis techniques, including data mining. By the 2010s, the proliferation of big data and the refinement of deep learning techniques enabled AI to become mainstream. Notable milestones included the success of Google's AlphaGo and advancements in autonomous vehicles by companies like Tesla and Waymo. A major theme of the presentation is the application of generative AI, which has been used for tasks such as natural language text generation, translation, and question answering. Generative AI uses large datasets to train models that can then produce new, coherent pieces of text or other media. The presentation also discusses the ethical implications and the need for regulation in AI, highlighting issues such as privacy, bias, and the potential for misuse. These concerns have prompted calls for comprehensive regulations to ensure the safe and equitable use of AI technologies. Artificial intelligence has also played a significant role in healthcare, particularly highlighted during the COVID-19 pandemic, where it was used in drug discovery, vaccine development, and analyzing the spread of the virus. The capabilities of AI in healthcare are vast, ranging from medical diagnostics to personalized medicine, demonstrating the technology's potential to revolutionize fields beyond just technical or consumer applications. In conclusion, AI continues to be a rapidly evolving field with significant implications for various aspects of society. The development from theoretical concepts to real-world applications illustrates both the potential benefits and the challenges that come with integrating advanced technologies into everyday life. The ongoing discussion about AI ethics and regulation underscores the importance of managing these technologies responsibly to maximize their their benefits while minimizing potential harms.

Artificial Intelligence: Facts and Myths

Joaquim Jorge

GenAI Risks & Security Meetup 01052024.pdf

lior mazor

In this session, we will delve into strategic approaches for optimizing knowledge management within Microsoft 365, amidst the evolving landscape of Copilot. From leveraging automatic metadata classification and permission governance with SharePoint Premium, to unlocking Viva Engage for the cultivation of knowledge and communities, you will gain actionable insights to bolster your organization's knowledge-sharing initiatives. In this session, we will also explore how to facilitate solutions to enable your employees to find answers and expertise within Microsoft 365. You will leave equipped with practical techniques and a deeper understanding of how there is more to effective knowledge management than just enabling Copilot, but building actual solutions to prepare the knowledge that Copilot and your employees can use.

Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...

Drew Madelung

Histor y of HAM Radio presentation slide

vu2urc

Boost Fertility New Invention Ups Success Rates.pdf

sudhanshuwaghmare1

GenCyber Cyber Security Day Presentation

Michael W. Hawkins

PechaKucha (FormaliSE'2018)

1. Me in a nutshell Stéphanie Challita http://researchers.lille.inria.fr/schallit stephanie.challita@inria.fr Preparing a PhD in Computer Science * At Inria Lille, France * To be defended in autumn 2018 Lecturer at University of Lille, France Thrill seeker Foodie Fitness-conscious June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 1

2. Research Domain June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 2

3. Problem Statement Deployment Model Management Interface Service Model Public SOAP IaaS, PaaS, SaaS Public REST IaaS, PaaS, SaaS Hybrid REST IaaS, PaaS Private REST IaaS June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 3

4. Approach & Main Contributions • A Formal and Tooled Framework for Managing Every Kind of Cloud Resources (compute, storage, network, etc.) OCCIware fclouds GCP Formal Model June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 4 1 2 3

5. OCCIware – Why? June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 5 Developer Real-world Design Generate Provision & Synchronize Cloud model Cloud artifact

6. OCCIware – What? June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 6

7. OCCIware – How? June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 7 • OCCIware Metamodel: OCCIware modeling language • OCCIware Studio: a model-driven environment for designing, validating, generating and managing OCCI resources

8. For more information see: Faiez Zalila, Stéphanie Challita, Philippe Merle. "A Model-Driven Tool Chain for OCCI." 25th International Conference on Cooperative Information Systems (CoopIS). DOI: 10.1007/978-3-319-69462-7_26 https://github.com/occiware/OCCI-Studio OCCIware – Publication June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 8

9. Fclouds – Why? Mathematical specification Formal Verification Reasoning One interpretation Accuracy Earlier error detection, cheaper correction June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 9 • Cloud solutions must adhere to a precise set of principles

10. Fclouds – What? June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 10

11. Fclouds – What? fclouds catalogue of formal models transformation rules June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 11

12. Fclouds – How? • Fclouds language  OCCI in Alloy formal language Static semantics OCCI core concepts in Alloy Dynamic semantics OCCI REST operations in Alloy: CREATE, RETRIEVE, UPDATE, DELETE June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 12

13. Fclouds – How? • Fclouds structural and behavioural properties on OCCI operations Reversibility Create & Delete Resource contain inverse mathematical logic Sequentiality Update Resource cannot happen if Create did not happen before June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 13 Consistency No contradictory constraints

14. Compute • Fclouds transformation rules An instance at GCP is a compute at OCCI Fclouds – How? FormaliSE 2018, Gothenburg, Sweden 14 GCP configuration OCCI configuration resources resources String Integer Boolean June 2, 2018 Instance

15. Fclouds – Publications For more information see: Stéphanie Challita, Faiez Zalila, Philippe Merle. “Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language.” 11th IEEE International Conference on Cloud Computing (CLOUD). Preprint: https://hal.inria.fr/hal-01790629 Stéphanie Challita, Fawaz Paraiso, Philippe Merle. “Towards Formal-based Semantic Interoperability in Multi-Clouds: The fclouds Framework.” 10th IEEE International Conference on Cloud Computing (CLOUD). DOI: 10.1109/CLOUD.2017.98 https://github.com/occiware/fclouds-Framework June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 15

16. GCP Formal Model – Why? Informal Documentation Imprecise Types June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 16

17. GCP Formal Model – What? June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 17

18. GCP Formal Model – How? GCP Crawler Implicit Attribute Metadata Detection Link Identification Redundancy Removal GCP Model GCP HTML pages Model Transformations Type Refinement Model Visualization June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 18

19. For more information see: Stéphanie Challita, Faiez Zalila, Christophe Gourdin, Philippe Merle. "A Precise Model for Google Cloud Platform." 6th IEEE International Conference on Cloud Engineering (IC2E). DOI: 10.1109/IC2E.2018.00041 https://github.com/occiware/GCP-Model GCP Formal Model – Publication June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 19

20. Summary • Cloud heterogeneity • Tooling Synchronization OCCIware • Reasoning Verification fclouds Application GCP Formal Model http://researchers.lille.inria.fr/schallit stephanie.challita@inria.fr June 2, 2018 FormaliSE 2018, Gothenburg, Sweden 20

PechaKucha (FormaliSE'2018)

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (20)

Semelhante a PechaKucha (FormaliSE'2018)

Semelhante a PechaKucha (FormaliSE'2018) (20)

Último

Último (20)

PechaKucha (FormaliSE'2018)