This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second). Paper: https://eprint.iacr.org/2023/1886

Mind map of terminologies used in context of Generative AI

Kumud Singh

Elizabeth Buie - Older adults: Are we really designing for our future selves?

Nexer Digital

20240609 QFM020 Irresponsible AI Reading List May 2024

Matthew Sinclair

Epistemic Interaction - tuning interfaces to provide information for AI support

Alan Dix

Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024 https://alandix.com/academic/papers/synergy2024-epistemic/ As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.

20240607 QFM018 Elixir Reading List May 2024

Matthew Sinclair

By Design, not by Accident - Agile Venture Bolzano 2024

Pierluigi Pugliese

GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...

Neo4j

Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.

DevOps and Testing slides at DASA Connect

Kari Kakkonen

Essentials of Automations: The Art of Triggers and Actions in FME

Safe Software

In this second installment of our Essentials of Automations webinar series, we’ll explore the landscape of triggers and actions, guiding you through the nuances of authoring and adapting workspaces for seamless automations. Gain an understanding of the full spectrum of triggers and actions available in FME, empowering you to enhance your workspaces for efficient automation. We’ll kick things off by showcasing the most commonly used event-based triggers, introducing you to various automation workflows like manual triggers, schedules, directory watchers, and more. Plus, see how these elements play out in real scenarios. Whether you’re tweaking your current setup or building from the ground up, this session will arm you with the tools and insights needed to transform your FME usage into a powerhouse of productivity. Join us to discover effective strategies that simplify complex processes, enhancing your productivity and transforming your data management practices with FME. Let’s turn complexity into clarity and make your workspaces work wonders!

PCI PIN Basics Webinar from the Controlcase Team

ControlCase

GridMate - End to end testing is a critical piece to ensure quality and avoid...

ThomasParaiso2

Monitoring Java Application Security with JDK Tools and JFR Events

Ana-Maria Mihalceanu

LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...

DanBrown980551

Do you want to learn how to model and simulate an electrical network from scratch in under an hour? Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)! During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook. PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides: - A fully editable and extendable library for grid component modelling; - Visualization tools to display your network; - Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses; The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well. What you will learn during the webinar: - For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills; - For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.

RESUME BUILDER APPLICATION Project for students

KAMESHS29

Securing your Kubernetes cluster_ a step-by-step guide to success !

KatiaHIMEUR1

Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster. However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks. In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.

Video Streaming: Then, Now, and in the Future

Alpen-Adria-Universität

In his public lecture, Christian Timmerer provides insights into the fascinating history of video streaming, starting from its humble beginnings before YouTube to the groundbreaking technologies that now dominate platforms like Netflix and ORF ON. Timmerer also presents provocative contributions of his own that have significantly influenced the industry. He concludes by looking at future challenges and invites the audience to join in a discussion.

GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...

Neo4j

Leonard Jayamohan, Partner & Generative AI Lead, Deloitte This keynote will reveal how Deloitte leverages Neo4j’s graph power for groundbreaking digital twin solutions, achieving a staggering 100x performance boost. Discover the essential role knowledge graphs play in successful generative AI implementations. Plus, get an exclusive look at an innovative Neo4j + Generative AI solution Deloitte is developing in-house.

Recently uploaded (20)

Microsoft - Power Platform_G.Aspiotis.pdf

Generative AI Deep Dive: Advancing from Proof of Concept to Production

zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs

Mind map of terminologies used in context of Generative AI

Elizabeth Buie - Older adults: Are we really designing for our future selves?

20240609 QFM020 Irresponsible AI Reading List May 2024

Epistemic Interaction - tuning interfaces to provide information for AI support

20240607 QFM018 Elixir Reading List May 2024

By Design, not by Accident - Agile Venture Bolzano 2024

GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...

DevOps and Testing slides at DASA Connect

Essentials of Automations: The Art of Triggers and Actions in FME

PCI PIN Basics Webinar from the Controlcase Team

GridMate - End to end testing is a critical piece to ensure quality and avoid...

Monitoring Java Application Security with JDK Tools and JFR Events

LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...

RESUME BUILDER APPLICATION Project for students

Securing your Kubernetes cluster_ a step-by-step guide to success !

Video Streaming: Then, Now, and in the Future

GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...

1. My First Blog Activity 1 School Sport Day 2011 Activity 2 The English Hour 1 Activity 3 The English Hour 2 Activity 4 Grammar 1 Activity 5 Grammar 2 Grammar 3 Grammar4 Grammar 5

Contents

Recommended

Recommended

More Related Content

Viewers also liked

Viewers also liked (13)

More from TanGokeCheng

More from TanGokeCheng (13)

Recently uploaded

Recently uploaded (20)

Contents