Haskell impelmentation (arithmetics only) of the Bertrand Paradox
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
set -euCET -o pipefail |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1. Individuals of type Person (Customer + DeliveryMan): | |
Customer: http://www.example.org/customer/MariaRossi | |
Customer: http://www.example.org/customer/JeanDupont | |
DeliveryMan: http://www.example.org/delivery/Claude | |
DeliveryMan: http://www.example.org/delivery/Alice | |
2. SPARQL - All persons (Customer + DeliveryMan) with names: | |
Person: http://www.example.org/delivery/Claude, Name: Claude | |
Person: http://www.example.org/customer/MariaRossi, Name: Maria Rossi | |
Person: http://www.example.org/delivery/Alice, Name: Alice |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<bpmn:definitions xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_1mv9eft" targetNamespace="http://bpmn.io/schema/bpmn" exporter="bpmn-js (https://demo.bpmn.io)" exporterVersion="18.3.1"> | |
<bpmn:collaboration id="Collaboration_069i7ol"> | |
<bpmn:participant id="Participant_0fk3t0c" name="Customer" processRef="Process_0re9jex" /> | |
<bpmn:participant id="Participant_0n9pw0j" name="Customer" processRef="Process_0ff1fgc" /> | |
<bpmn:participant id="Participant_0dt7p7u" name="Quality Control Company" processRef="Process_00ta6d6" /> | |
<bpmn:messageFlow id="Flow_11c1k1g" sourceRef="Activity_11unkuo" targetRef="Activity_00t2hj4" /> | |
<bpmn:messageFlow id="Flow_1u2jy5o" sourceRef="Activity_1nnklra" targetRef="Activity_1r11na7" /> | |
<bpmn: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
reg add "HKLM\SOFTWARE\Microsoft\Windows\CurrentVersion\OOBE" /v BypassNRO /t REG_DWORD /d 1 /f |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<bpmn:definitions xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_122czf3" targetNamespace="http://bpmn.io/schema/bpmn" exporter="bpmn-js (https://demo.bpmn.io)" exporterVersion="17.11.1"> | |
<bpmn:collaboration id="Collaboration_1hkzyp4"> | |
<bpmn:participant id="Participant_1ls3c46" name="Prospect" processRef="Process_13dnc83" /> | |
<bpmn:participant id="Participant_1ftrbkr" name="Entreprise" processRef="Process_1pg09ab" /> | |
<bpmn:messageFlow id="Flow_1mfbj7l" sourceRef="Activity_1qnfjkh" targetRef="Activity_0t0m1zt" /> | |
<bpmn:messageFlow id="Flow_1yenige" sourceRef="Activity_13rwmpb" targetRef="Activity_1dko628" /> | |
<bpmn:messageFlow id="Flow_0bl2f78" sourceRef="Activity_1qrc1ot" targetRef="Activity_0b75k7j" /> | |
<bpmn:messag |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<bpmn:definitions xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:bioc="http://bpmn.io/schema/bpmn/biocolor/1.0" xmlns:color="http://www.omg.org/spec/BPMN/non-normative/color/1.0" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_0mf6y0v" targetNamespace="http://bpmn.io/schema/bpmn" exporter="bpmn-js (https://demo.bpmn.io)" exporterVersion="17.11.1"> | |
<bpmn:collaboration id="Collaboration_10m0b4h"> | |
<bpmn:participant id="Participant_1t92aju" name="Client" processRef="Process_0x6vf02" /> | |
<bpmn:participant id="Participant_0l2830a" name="Entreprise" processRef="Process_1j2zfbv" /> | |
<bpmn:participant id="Participant_1chlzqa" name="Etat" processRef="Process_01frodh" /> | |
<bpmn:messageFlow id="Flow_0jnjl10" sourceRef="Activity_1gl7b89" targetRef="Activity_0uzlif6" /> | |
<bpmn |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<bpmn:definitions xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_0gkywrz" targetNamespace="http://bpmn.io/schema/bpmn" exporter="bpmn-js (https://demo.bpmn.io)" exporterVersion="17.7.1"> | |
<bpmn:collaboration id="Collaboration_073gk7x"> | |
<bpmn:participant id="Participant_1y57kaw" name="NAG" processRef="Process_1r5203m" /> | |
<bpmn:participant id="Participant_08xl5pc" name="geometre" processRef="Process_0yttmn5" /> | |
<bpmn:messageFlow id="Flow_14c7ba4" sourceRef="Activity_11rgilx" targetRef="Activity_1mcts7t" /> | |
<bpmn:messageFlow id="Flow_0mms0ef" sourceRef="Activity_0fdcf22" targetRef="Activity_0uxnhyr" /> | |
<bpmn:messageFlow id="Flow_0r7p5nj" sourceRef="Activity_137w0dw" targetRef="Activity_1u5b0zb" /> | |
<bpmn:messageFlow id |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
NewerOlder