If you are seeking for reliable help for writing your statement of purpose, you can contact with our qualified and experienced writer. Click the link below.
http://www.sopwriting.net/
Teach students how to identify an author's purpose with this interactive presentation. Designed specifically for intermediate and middle school students.
PHP Frameworks: I want to break free (IPC Berlin 2024)Ralf Eggert
In this presentation, we examine the challenges and limitations of relying too heavily on PHP frameworks in web development. We discuss the history of PHP and its frameworks to understand how this dependence has evolved. The focus will be on providing concrete tips and strategies to reduce reliance on these frameworks, based on real-world examples and practical considerations. The goal is to equip developers with the skills and knowledge to create more flexible and future-proof web applications. We'll explore the importance of maintaining autonomy in a rapidly changing tech landscape and how to make informed decisions in PHP development.
This talk is aimed at encouraging a more independent approach to using PHP frameworks, moving towards a more flexible and future-proof approach to PHP development.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Key Trends Shaping the Future of Infrastructure.pdfCheryl Hung
Keynote at DIGIT West Expo, Glasgow on 29 May 2024.
Cheryl Hung, ochery.com
Sr Director, Infrastructure Ecosystem, Arm.
The key trends across hardware, cloud and open-source; exploring how these areas are likely to mature and develop over the short and long-term, and then considering how organisations can position themselves to adapt and thrive.
Welocme to ViralQR, your best QR code generator.ViralQR
Welcome to ViralQR, your best QR code generator available on the market!
At ViralQR, we design static and dynamic QR codes. Our mission is to make business operations easier and customer engagement more powerful through the use of QR technology. Be it a small-scale business or a huge enterprise, our easy-to-use platform provides multiple choices that can be tailored according to your company's branding and marketing strategies.
Our Vision
We are here to make the process of creating QR codes easy and smooth, thus enhancing customer interaction and making business more fluid. We very strongly believe in the ability of QR codes to change the world for businesses in their interaction with customers and are set on making that technology accessible and usable far and wide.
Our Achievements
Ever since its inception, we have successfully served many clients by offering QR codes in their marketing, service delivery, and collection of feedback across various industries. Our platform has been recognized for its ease of use and amazing features, which helped a business to make QR codes.
Our Services
At ViralQR, here is a comprehensive suite of services that caters to your very needs:
Static QR Codes: Create free static QR codes. These QR codes are able to store significant information such as URLs, vCards, plain text, emails and SMS, Wi-Fi credentials, and Bitcoin addresses.
Dynamic QR codes: These also have all the advanced features but are subscription-based. They can directly link to PDF files, images, micro-landing pages, social accounts, review forms, business pages, and applications. In addition, they can be branded with CTAs, frames, patterns, colors, and logos to enhance your branding.
Pricing and Packages
Additionally, there is a 14-day free offer to ViralQR, which is an exceptional opportunity for new users to take a feel of this platform. One can easily subscribe from there and experience the full dynamic of using QR codes. The subscription plans are not only meant for business; they are priced very flexibly so that literally every business could afford to benefit from our service.
Why choose us?
ViralQR will provide services for marketing, advertising, catering, retail, and the like. The QR codes can be posted on fliers, packaging, merchandise, and banners, as well as to substitute for cash and cards in a restaurant or coffee shop. With QR codes integrated into your business, improve customer engagement and streamline operations.
Comprehensive Analytics
Subscribers of ViralQR receive detailed analytics and tracking tools in light of having a view of the core values of QR code performance. Our analytics dashboard shows aggregate views and unique views, as well as detailed information about each impression, including time, device, browser, and estimated location by city and country.
So, thank you for choosing ViralQR; we have an offer of nothing but the best in terms of QR code services to meet business diversity!
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Ramesh Iyer
In today's fast-changing business world, Companies that adapt and embrace new ideas often need help to keep up with the competition. However, fostering a culture of innovation takes much work. It takes vision, leadership and willingness to take risks in the right proportion. Sachin Dev Duggal, co-founder of Builder.ai, has perfected the art of this balance, creating a company culture where creativity and growth are nurtured at each stage.
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
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.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
If you are seeking for reliable help for writing your statement of purpose, you can contact with our qualified and experienced writer. Click the link below.
http://www.sopwriting.net/
Teach students how to identify an author's purpose with this interactive presentation. Designed specifically for intermediate and middle school students.
PHP Frameworks: I want to break free (IPC Berlin 2024)Ralf Eggert
In this presentation, we examine the challenges and limitations of relying too heavily on PHP frameworks in web development. We discuss the history of PHP and its frameworks to understand how this dependence has evolved. The focus will be on providing concrete tips and strategies to reduce reliance on these frameworks, based on real-world examples and practical considerations. The goal is to equip developers with the skills and knowledge to create more flexible and future-proof web applications. We'll explore the importance of maintaining autonomy in a rapidly changing tech landscape and how to make informed decisions in PHP development.
This talk is aimed at encouraging a more independent approach to using PHP frameworks, moving towards a more flexible and future-proof approach to PHP development.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Key Trends Shaping the Future of Infrastructure.pdfCheryl Hung
Keynote at DIGIT West Expo, Glasgow on 29 May 2024.
Cheryl Hung, ochery.com
Sr Director, Infrastructure Ecosystem, Arm.
The key trends across hardware, cloud and open-source; exploring how these areas are likely to mature and develop over the short and long-term, and then considering how organisations can position themselves to adapt and thrive.
Welocme to ViralQR, your best QR code generator.ViralQR
Welcome to ViralQR, your best QR code generator available on the market!
At ViralQR, we design static and dynamic QR codes. Our mission is to make business operations easier and customer engagement more powerful through the use of QR technology. Be it a small-scale business or a huge enterprise, our easy-to-use platform provides multiple choices that can be tailored according to your company's branding and marketing strategies.
Our Vision
We are here to make the process of creating QR codes easy and smooth, thus enhancing customer interaction and making business more fluid. We very strongly believe in the ability of QR codes to change the world for businesses in their interaction with customers and are set on making that technology accessible and usable far and wide.
Our Achievements
Ever since its inception, we have successfully served many clients by offering QR codes in their marketing, service delivery, and collection of feedback across various industries. Our platform has been recognized for its ease of use and amazing features, which helped a business to make QR codes.
Our Services
At ViralQR, here is a comprehensive suite of services that caters to your very needs:
Static QR Codes: Create free static QR codes. These QR codes are able to store significant information such as URLs, vCards, plain text, emails and SMS, Wi-Fi credentials, and Bitcoin addresses.
Dynamic QR codes: These also have all the advanced features but are subscription-based. They can directly link to PDF files, images, micro-landing pages, social accounts, review forms, business pages, and applications. In addition, they can be branded with CTAs, frames, patterns, colors, and logos to enhance your branding.
Pricing and Packages
Additionally, there is a 14-day free offer to ViralQR, which is an exceptional opportunity for new users to take a feel of this platform. One can easily subscribe from there and experience the full dynamic of using QR codes. The subscription plans are not only meant for business; they are priced very flexibly so that literally every business could afford to benefit from our service.
Why choose us?
ViralQR will provide services for marketing, advertising, catering, retail, and the like. The QR codes can be posted on fliers, packaging, merchandise, and banners, as well as to substitute for cash and cards in a restaurant or coffee shop. With QR codes integrated into your business, improve customer engagement and streamline operations.
Comprehensive Analytics
Subscribers of ViralQR receive detailed analytics and tracking tools in light of having a view of the core values of QR code performance. Our analytics dashboard shows aggregate views and unique views, as well as detailed information about each impression, including time, device, browser, and estimated location by city and country.
So, thank you for choosing ViralQR; we have an offer of nothing but the best in terms of QR code services to meet business diversity!
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Ramesh Iyer
In today's fast-changing business world, Companies that adapt and embrace new ideas often need help to keep up with the competition. However, fostering a culture of innovation takes much work. It takes vision, leadership and willingness to take risks in the right proportion. Sachin Dev Duggal, co-founder of Builder.ai, has perfected the art of this balance, creating a company culture where creativity and growth are nurtured at each stage.
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
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.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
UiPath Test Automation using UiPath Test Suite series, part 3DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 3. In this session, we will cover desktop automation along with UI automation.
Topics covered:
UI automation Introduction,
UI automation Sample
Desktop automation flow
Pradeep Chinnala, Senior Consultant Automation Developer @WonderBotz and UiPath MVP
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
SAP Sapphire 2024 - ASUG301 building better apps with SAP Fiori.pdfPeter Spielvogel
Building better applications for business users with SAP Fiori.
• What is SAP Fiori and why it matters to you
• How a better user experience drives measurable business benefits
• How to get started with SAP Fiori today
• How SAP Fiori elements accelerates application development
• How SAP Build Code includes SAP Fiori tools and other generative artificial intelligence capabilities
• How SAP Fiori paves the way for using AI in SAP apps
Assure Contact Center Experiences for Your Customers With ThousandEyes
DTGP AAIP11
1. Verified Stack-based
Genetic Programming
via Dependent Types
by Larry Diehl
Tuesday, July 19, 2011
2. Motivation
• avoid searching space of stack under/
overflowing programs
• use strongly typed genetic operators
• avoid logic and runtime errors due to
increasingly complex genetic operators
• use a total and dependently typed
language
Tuesday, July 19, 2011
3. Dependent Types
• Agda programming language
• purely functional (like Haskell)
• total (coverage/termination/positivity)
• types can encode any intuitionistic logic
formula
• e.g. proof theory judgement “Even 6”
Tuesday, July 19, 2011
4. Genetic Programming
• representation
• genetic operators
• evaluation function
• initialization procedure
Tuesday, July 19, 2011
5. “Forth” operations
word consumes produces
true 0 1
not 1 1
and 2 1
Tuesday, July 19, 2011
6. “Forth” terms
1→1 3→1 0→1 7→7 6→4 0→3
not and not and true
not and not and true
true true
Tuesday, July 19, 2011
7. append (ill)
1
and
and
2 ≠ 3
not
true
true
0
Tuesday, July 19, 2011
8. append (ill)
2
and
2 ≠ 3
not
true
true
0
Tuesday, July 19, 2011
9. append (well)
1
and 1
2 = 2 and
not not
true true
true true
0 0
Tuesday, July 19, 2011
10. split
1
1 and
and 2 = 2
not not
true true
true true
0 0
Tuesday, July 19, 2011
11. split
1
and
2 not
and true
not 1 = 1
true true
true 0
0
Tuesday, July 19, 2011
13. data Bool : Set where
true false : Bool
data ℕ : Set where
zero : ℕ
suc : ℕ ! ℕ
one : ℕ
one = suc zero
two : ℕ
two = suc one
three : ℕ
three = suc two
Tuesday, July 19, 2011
14. data List (A : Set) : Set where
[] : List A
_∷_ : A ! List A ! List A
false∷[] : List Bool
false∷[] = false ∷ []
true∷false∷[] : List Bool
true∷false∷[] = true ∷ false∷[]
Tuesday, July 19, 2011
15. data Vec (A : Set) : ℕ ! Set where
[] : Vec A zero
_∷_ : {n : ℕ} !
A ! Vec A n ! Vec A (suc n)
false∷[]1 : Vec Bool one
false∷[]1 = false ∷ []
true∷false∷[]2 : Vec Bool two
true∷false∷[]2 = true ∷ false∷[]1
Tuesday, July 19, 2011
16. _+_ : ℕ ! ℕ ! ℕ
zero + n = n
suc m + n = suc (m + n)
_++_ : {A : Set} {m n : ℕ} !
Vec A m ! Vec A n ! Vec A (m + n)
[] ++ ys = ys
(x ∷ xs) ++ ys = x ∷ (xs ++ ys)
true∷false∷true∷[]3 : Vec Bool three
true∷false∷true∷[]3 =
(true ∷ false ∷ []) ++ (true ∷ [])
Tuesday, July 19, 2011
18. data Word : Set where
true not and : Word
data List (A : Set) : Set where
[] : List A
_∷_ : A ! List A ! List A
Term = List Word
Tuesday, July 19, 2011
19. bc : Term -- 2 1
bc = and ∷ []
ab : Term -- 0 2
ab = not ∷ true ∷ true ∷ []
ac : Term -- 0 1
ac = and ∷ not ∷ true ∷ true ∷ []
Tuesday, July 19, 2011
20. bc : Term 2 1
bc = and []
ab : Term 0 2
ab = not (true (true []))
ac : Term 0 1
ac = and (not (true (true [])))
Tuesday, July 19, 2011
21. data Term (inp : ℕ) : ℕ ! Set where
[] : Term inp inp
true : {out : ℕ} !
Term inp out !
Term inp (1 + out)
not : {out : ℕ} !
Term inp (1 + out) !
Term inp (1 + out)
and : {out : ℕ} !
Term inp (2 + out) !
Term inp (1 + out)
Tuesday, July 19, 2011
22. module DTGP
{Word : Set}
(pre post : Word ! ℕ ! ℕ)
where
data Term (inp : ℕ) : ℕ ! Set where
[] : Term inp inp
_∷_ : ∀ {n} (w : Word) !
Term inp (pre w n) !
Term inp (post w n)
Tuesday, July 19, 2011
23. data Word : Set where
true not and : Word
pre : Word ! ℕ ! ℕ
pre true n = n
pre not n = 1 + n
pre and n = 2 + n
post : Word ! ℕ ! ℕ
post true n = 1 + n
post not n = 1 + n
post and n = 1 + n
open import DTGP pre post
Tuesday, July 19, 2011
24. bc : Term 2 1
bc = and ∷ []
ab : Term 0 2
ab = not ∷ true ∷ true ∷ []
ac : Term 0 1
ac = and ∷ not ∷ true ∷ true ∷ []
Tuesday, July 19, 2011
36. bc : Term 2 1
bc = and ∷ []
eval-bc : Vec Bool 1
eval-bc = eval bc (true ∷ false ∷ [])
ac : Term 0 1
ac = and ∷ not ∷ true ∷ true ∷ []
eval-ac : Vec Bool 1
eval-ac = eval ac []
Tuesday, July 19, 2011
37. eval : {inp out : ℕ} ! Term inp out !
Vec Bool inp ! Vec Bool out
eval [] is = is
eval (true ∷ xs) is = true ∷ eval xs is
eval (not ∷ xs) is with eval xs is
... | o ∷ os = ¬ o ∷ os
eval (and ∷ xs) is with eval xs is
... | o₂ ∷ o₁ ∷ os = (o₁ ∧ o₂) ∷ os
Tuesday, July 19, 2011
38. score : Term 0 1 ! ℕ
score xs with eval xs []
... | true ∷ [] = 0
... | false ∷ [] = 1
open Evolution score
Tuesday, July 19, 2011
40. choices : List Word
choices = true ∷ not ∷ and ∷ []
population : List (Term 0 1)
population = init 2 0 1 choices
-- (and ∷ true ∷ true ∷ []) ∷
-- (not ∷ not ∷ true ∷ []) ∷
-- (not ∷ true ∷ []) ∷
-- (true ∷ []) ∷
-- []
Tuesday, July 19, 2011
41. -- data Term (inp : ℕ) : ℕ ! Set where
-- _∷_ : ∀ {n} (w : Word) !
-- Term inp (pre w n) !
-- Term inp (post w n)
-- pre : Word ! ℕ ! ℕ
-- pre and n = 2 + n
true∷true : Term 0 2
true∷true = true ∷ true ∷ []
and∷and∷true : Term 0 1
and∷and∷true = _∷_ {n = 0} and true∷true
Tuesday, July 19, 2011
42. match : (w : Word) (out : ℕ) !
Dec (Σ ℕ λ n ! out ≡ pre w n)
match true n = yes (n , refl)
match not zero = no ¬p where
¬p : Σ ℕ (λ n ! 0 ≡ suc n) ! ⊥
¬p (_ , ())
match not (suc n) = yes (n , refl)
Tuesday, July 19, 2011
43. match and zero = no ¬p where
¬p : Σ ℕ (λ n ! 0 ≡ suc (suc n)) ! ⊥
¬p (_ , ())
match and (suc zero) = no ¬p where
¬p : Σ ℕ (λ n ! 1 ≡ suc (suc n)) ! ⊥
¬p (_ , ())
match and (suc (suc n)) = yes (n , refl)
open Initialization match
Tuesday, July 19, 2011
45. module DTGP
{Domain Word : Set}
(pre post : Word ! Domain ! Domain)
(_≟_ : (x y : Domain) ! Dec (x ≡ y))
where
data Term (inp : Domain) : Domain ! Set where
[] : Term inp inp
_∷_ : ∀ {d} (w : Word) !
Term inp (pre w d) !
Term inp (post w d)
Tuesday, July 19, 2011
46. data Word : Set where
not gt : Word
num : ℕ ! Word
record Domain : Set where
constructor _,_
field
bools : ℕ
nats : ℕ
postulate _≟_ :
(x y : Domain) ! Dec (x ≡ y)
Tuesday, July 19, 2011
47. pre : Word ! Domain ! Domain
pre not (m , n) = 1 + m , n
pre (num _) (m , n) = m , n
pre gt (m , n) = m , 2 + n
post : Word ! Domain ! Domain
post not (m , n) = 1 + m , n
post (num _) (m , n) = m , 1 + n
post gt (m , n) = 1 + m , n
open DTGP pre post _≟_
Tuesday, July 19, 2011
48. bc : Term (0 , 2) (1 , 0)
bc = not ∷ gt ∷ []
ab : Term (0 , 0) (0 , 2)
ab = num 3 ∷ num 5 ∷ []
ac : Term (0 , 0) (1 , 0)
ac = bc ++ ab
Tuesday, July 19, 2011
49. FIN
github.com/larrytheliquid/dtgp/tree/aaip11
questions?
Tuesday, July 19, 2011