Sublevación de Abril es un proyecto realizado por Petia Cervera Krupova, artista ficticia creada por Jose Begega y Marla Jacarilla. Petia fue seleccionada por el jurado de la Sala d' Art Jove y el proyecto Sublevación de Abril fue realizado a lo largo del año 2012.
Petia Cervera Krupova es una joven artista búlgara postconceptual que trabaja con temas como memoria, subjetividad y archivo. Influenciada por artistas como Alexandr Sokurov, Otolith Group, Ignaci Aballí, Iñaki Bonillas o Harum Farocki, imita patrones que a menudo se repiten en el arte emergente barcelonés, es una mezcla de todo aquello que es visto con buenos ojos por jurados y comisarios, se adapta a las corrientes predominantes del contexto. La introducción de una identidad falsa basada únicamente en la imitación de patrones predominantes ha generado y desvelado ciertos mecanismos por la incomodidad y el desajuste que supone introducir un topo, un secreto, una ilegalidad, un agujero en la propia estructura. Tras este proceso de creación de una identidad ficticia hay una intención de transgredir las normas para analizar el posicionamiento de los distintos agentes relacionados con el contexto, tanto antes como después de conocer los distintos estratos del proyecto.
Mediante la introducción de esta artista ficticia en una institución como es la Sala d'Art Jove, sus autores crean un dispositivo que sirve para reflexionar sobre las normas y lenguajes que construyen el contexto de arte emergente barcelonés: sus similitudes y diferencias respecto a otros contextos, los patrones e influencias que se repiten etc...
En esta página se encuentran todos los documentos relacionados con el proyecto: las obras realizadas por Petia Cervera durante el 2012, los archivos y documentos relacionados con el proceso de trabajo y la negociación con los tutores, diversas entrevistas a personas que han tenido de algún modo relación con el proyecto (tutores, artistas participantes en el certamen, cómplices...) etc.
Fachada - O verdadeiro cartão de visita de uma loja. Artigo para a Edição 452...Flávio Radamarker, RDI
Fachada - O verdadeiro cartão de visita de uma loja. Artigo para a Edição 452 da Revista Dirigente Lojista da CNDL - Confederação Nacional dos Dirigentes Lojistas.
Sublevación de Abril es un proyecto realizado por Petia Cervera Krupova, artista ficticia creada por Jose Begega y Marla Jacarilla. Petia fue seleccionada por el jurado de la Sala d' Art Jove y el proyecto Sublevación de Abril fue realizado a lo largo del año 2012.
Petia Cervera Krupova es una joven artista búlgara postconceptual que trabaja con temas como memoria, subjetividad y archivo. Influenciada por artistas como Alexandr Sokurov, Otolith Group, Ignaci Aballí, Iñaki Bonillas o Harum Farocki, imita patrones que a menudo se repiten en el arte emergente barcelonés, es una mezcla de todo aquello que es visto con buenos ojos por jurados y comisarios, se adapta a las corrientes predominantes del contexto. La introducción de una identidad falsa basada únicamente en la imitación de patrones predominantes ha generado y desvelado ciertos mecanismos por la incomodidad y el desajuste que supone introducir un topo, un secreto, una ilegalidad, un agujero en la propia estructura. Tras este proceso de creación de una identidad ficticia hay una intención de transgredir las normas para analizar el posicionamiento de los distintos agentes relacionados con el contexto, tanto antes como después de conocer los distintos estratos del proyecto.
Mediante la introducción de esta artista ficticia en una institución como es la Sala d'Art Jove, sus autores crean un dispositivo que sirve para reflexionar sobre las normas y lenguajes que construyen el contexto de arte emergente barcelonés: sus similitudes y diferencias respecto a otros contextos, los patrones e influencias que se repiten etc...
En esta página se encuentran todos los documentos relacionados con el proyecto: las obras realizadas por Petia Cervera durante el 2012, los archivos y documentos relacionados con el proceso de trabajo y la negociación con los tutores, diversas entrevistas a personas que han tenido de algún modo relación con el proyecto (tutores, artistas participantes en el certamen, cómplices...) etc.
Fachada - O verdadeiro cartão de visita de uma loja. Artigo para a Edição 452...Flávio Radamarker, RDI
Fachada - O verdadeiro cartão de visita de uma loja. Artigo para a Edição 452 da Revista Dirigente Lojista da CNDL - Confederação Nacional dos Dirigentes Lojistas.
Workshop presentation given by Niels Lohmann on March 23, 2009 in Eindhoven, The Netherlands at the Berlin-Eindhoven Service Technology Colloquium 2009 (B.E.S.T. 2009).
This report consolidate the major macro data to illustrate Vietnam market. The data includes the following information
Vietnam retail sales data (GSO)
Vietnam consumer price index data (GSO)
Vietnam core inflation data (GSO)
Vietnam import amount data from (GSO)
Vietnam export amount data from (GSO)
Number of newly registered company data (National Business Registration Portal)
Vietnam unemployment ratio data (GSO)
Vietnam car sales trend data (VAMA)
Vietnam motorbike sales trend (VAMM)
International visitors to Vietnam data (GSO)
Vietnamese attentions‘ to the environmental issues get higher as there are many issues that affect their daily lives.
This survey was made with the intention to understand Vietnamese concerns over the environmental issues, and their actions for the protections.
The survey was conducted among 792 Vietnamese from 18-49 nation-wide.
Let's Make GREAT!'s case study detailing how coaching helped a creative professional by overcoming his mental obstacles ultimately resulting in improvements to both his personal satisfaction and startup's productivity.
With the rise of the Internet, online travel agencies has been one of the most dramatic examples of the digital transformation.
This survey was made in order to better understand the online booking behaviors of Vietnamese people.
This survey was conducted among 319 respondents who use online for booking hotels, transportation or package for travelling.
The survey was conducted in June 2021.
This survey focuses on Vietnamese language learning habits. The report is the summary of:
What languages are Vietnamese people learning and which one is the most learned?
The average time they spend learning a foreign language weekly
The most popular learning methods
Where do they learn a foreign language? (popular language centers, online learning platforms,...)
The reason they learned that foreign language
This survey was conducted in June, 2021, from those who study languages
It has been almost a decade of the disruptive innovation in transportation Vietnam that radically changed the travel habit of the consumer.
The aim of the this report is to understand the usage of the user between traditional and ride-hailing services (car & bike) and reasons for their selection.
This survey was conducted among 16 years old and above of 890 sample in May 2021.
Many Vietnamese come to the urban area to make the living. Vietnam has the strong bond with their family and they often go back to their hometown.
This survey was made in order to understand their behaviors in going back to their hometown with regard to the frequency, transportation method and the reasons of the selection.
The audience is those who live in different city from their hometown.
This report was summarized in April 2021.
Welcome , It's a time for you to earn a big money , It's a time for change your life , it's a time for convert your dreams to reality .
Join ONECOIN Now : https://www.onecoin.eu/signup/zakamlm
2015 PA Department of Education Secondary Transition Conference BrochureRyan Wexelblatt, LCSW
Ryan Wexelblatt, MSS, LSW spoke at the 2015 PA Department of Education Community on Secondary Transition Conference.
Topic: The Skills Students Need to be Successful in College and the Workforce (Social Cognition, Executive Function, Age-expected Independence)
Workshop presentation given by Niels Lohmann on March 23, 2009 in Eindhoven, The Netherlands at the Berlin-Eindhoven Service Technology Colloquium 2009 (B.E.S.T. 2009).
This report consolidate the major macro data to illustrate Vietnam market. The data includes the following information
Vietnam retail sales data (GSO)
Vietnam consumer price index data (GSO)
Vietnam core inflation data (GSO)
Vietnam import amount data from (GSO)
Vietnam export amount data from (GSO)
Number of newly registered company data (National Business Registration Portal)
Vietnam unemployment ratio data (GSO)
Vietnam car sales trend data (VAMA)
Vietnam motorbike sales trend (VAMM)
International visitors to Vietnam data (GSO)
Vietnamese attentions‘ to the environmental issues get higher as there are many issues that affect their daily lives.
This survey was made with the intention to understand Vietnamese concerns over the environmental issues, and their actions for the protections.
The survey was conducted among 792 Vietnamese from 18-49 nation-wide.
Let's Make GREAT!'s case study detailing how coaching helped a creative professional by overcoming his mental obstacles ultimately resulting in improvements to both his personal satisfaction and startup's productivity.
With the rise of the Internet, online travel agencies has been one of the most dramatic examples of the digital transformation.
This survey was made in order to better understand the online booking behaviors of Vietnamese people.
This survey was conducted among 319 respondents who use online for booking hotels, transportation or package for travelling.
The survey was conducted in June 2021.
This survey focuses on Vietnamese language learning habits. The report is the summary of:
What languages are Vietnamese people learning and which one is the most learned?
The average time they spend learning a foreign language weekly
The most popular learning methods
Where do they learn a foreign language? (popular language centers, online learning platforms,...)
The reason they learned that foreign language
This survey was conducted in June, 2021, from those who study languages
It has been almost a decade of the disruptive innovation in transportation Vietnam that radically changed the travel habit of the consumer.
The aim of the this report is to understand the usage of the user between traditional and ride-hailing services (car & bike) and reasons for their selection.
This survey was conducted among 16 years old and above of 890 sample in May 2021.
Many Vietnamese come to the urban area to make the living. Vietnam has the strong bond with their family and they often go back to their hometown.
This survey was made in order to understand their behaviors in going back to their hometown with regard to the frequency, transportation method and the reasons of the selection.
The audience is those who live in different city from their hometown.
This report was summarized in April 2021.
Welcome , It's a time for you to earn a big money , It's a time for change your life , it's a time for convert your dreams to reality .
Join ONECOIN Now : https://www.onecoin.eu/signup/zakamlm
2015 PA Department of Education Secondary Transition Conference BrochureRyan Wexelblatt, LCSW
Ryan Wexelblatt, MSS, LSW spoke at the 2015 PA Department of Education Community on Secondary Transition Conference.
Topic: The Skills Students Need to be Successful in College and the Workforce (Social Cognition, Executive Function, Age-expected Independence)
Periscope came online and fundamentally changed the world of video marketing. Now, Facebook Live and YouTube live-stream capabilities are being rolled out. How do you utilize live-stream broadcasts to connect with your community? What are the pros and cons of choosing a live-streaming app over a traditional video, webinar, or podcast? What kinds of stories can you tell with these new platforms?
Think you know marijuana? Think again. With the market for legal cannabis in the U.S. on pace to reach $20 billion by 2020, hear how data, technology, and innovative marketing & advertising are forging this next big industry, and the surprising players being disrupted in the process.
This presentation will be given by Paul Campbell, President of Leafly. With over 10 million monthly visits from around the world, Leafly is the World’s Largest Cannabis Information Resource. Leafly was also recently named to the Inc. 500 as the #1 fastest growing company in Seattle, and was voted App of the Year by Geekwire in 2014.
Callthedoc,a mobile app, is a global search engine for all your healthcare needs. Starting from Doctors to hospitals, path labs , wellness centers to even covering the blood banks. We are also the first who are taking the search criteria to medical packages available in hospitals and thus first to start medical
1. Biomechanics of ankle joint subtalar joint and footSaurab Sharma
Biomechanics of Ankle joint- intended to share the powerpoint with first year undergraduate students at Kathmandu University School of Medical Sciences, Nepal.
Oisin Lunny OpenMarket IoF National Convention 2014Oisin Lunny
I was honoured to present at the IoF National Convention 2014 on behalf of OpenMarket last week. It was a lightening presentation about why we are proud to support so many innovators in the third sector with mobile engagement technology.
I also spoke about why mobile is about more then just fundraising, it's the glue that joins many aspects of how a charity operates and engages with the public.
All in just over 6 minutes!
Invited seminar in the Hasselt University BINF Research Seminar Series. I discuss the needed transition from case-centric process models where there is a single notion of case and process instances are evolved in isolation, to object-centric processes where multiple, interrelated objects are co-evolved synchronously ad asynchronously. Within this novel paradigm, I present two formal approaches, one extending declarative constraints with data correlations, the other enriching Petri nets with objects and relations.
Slides of our BPM 2022 paper on "Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting", which received the best paper award at the conference. Paper available here: https://link.springer.com/chapter/10.1007/978-3-031-16103-2_22
Slides of the keynote speech on "Constraints for process framing in Augmented BPM" at the AI4BPM 2022 International Workshop, co-located with BPM 2022. The keynote focuses on the problem of "process framing" in the context of the new vision of "Augmented BPM", where BPM systems are augmented with AI capabilities. This vision is described in a manifesto, available here: https://arxiv.org/abs/2201.12855
Keynote speech at KES 2022 on "Intelligent Systems for Process Mining". I introduce process mining, discuss why process mining tasks should be approached by using intelligent systems, and show a concrete example of this combination, namely (anticipatory) monitoring of evolving processes against temporal constraints, using techniques from knowledge representation and formal methods (in particular, temporal logics over finite traces and their automata-theoretic characterization).
Presentation (jointly with Claudio Di Ciccio) on "Declarative Process Mining", as part of the 1st Summer School in Process Mining (http://www.process-mining-summer-school.org). The Presentation summarizes 15 years of research in declarative process mining, covering declarative process modeling, reasoning on declarative process specifications, discovery of process constraints from event logs, conformance checking and monitoring of process constraints at runtime. This is done without ad-hoc algorithms, but relying on well-established techniques at the intersection of formal methods, artificial intelligence, and data science.
Presentation on "From Case-Isolated to Object-Centric Processes - A Tale of Two Models" as part of the Hasselt University BINF Research Seminar Series (see https://www.uhasselt.be/en/onderzoeksgroepen-en/binf/research-seminar-series).
Invited seminar on "Modeling and Reasoning over Declarative Data-Aware Processes" as part of the KRDB Summer Online Seminars 2020 (https://www.inf.unibz.it/krdb/sos-2020/).
Presentation of the paper "Soundness of Data-Aware Processes with Arithmetic Conditions" at the 34th International Conference on Advanced Information Systems Engineering (CAiSE 2022). Paper available here: https://doi.org/10.1007/978-3-031-07472-1_23
Abstract:
Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and information systems engineering. In this spectrum, Data Petri nets (DPNs) have gained increasing popularity thanks to their ability to balance simplicity with expressiveness. The interplay of data and control-flow makes checking the correctness of such models, specifically the well-known property of soundness, crucial and challenging. A major shortcoming of previous approaches for checking soundness of DPNs is that they consider data conditions without arithmetic, an essential feature when dealing with real-world, concrete applications. In this paper, we attack this open problem by providing a foundational and operational framework for assessing soundness of DPNs enriched with arithmetic data conditions. The framework comes with a proof-of-concept implementation that, instead of relying on ad-hoc techniques, employs off-the-shelf established SMT technologies. The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.
Presentation of the paper "Probabilistic Trace Alignment" at the 3rd International Conference on Process Mining (ICPM 2021). Paper available here: https://doi.org/10.1109/ICPM53251.2021.9576856
Abstract:
Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model. Alignment-based approaches for conformance checking have so far used crisp process models as a reference. Recent probabilistic conformance checking approaches check the degree of conformance of an event log as a whole with respect to a stochastic process model, without providing alignments. For the first time, we introduce a conformance checking approach based on trace alignments using stochastic Workflow nets. This requires to handle the two possibly contrasting forces of the cost of the alignment on the one hand and the likelihood of the model trace with respect to which the alignment is computed on the other.
Presentation of the paper "Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors" at the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Paper available here: https://proceedings.kr.org/2020/32/
Abstract: The integrated modeling and analysis of dynamic systems and the data they manipulate has been long advocated, on the one hand, to understand how data and corresponding decisions affect the system execution, and on the other hand to capture how actions occurring in the systems operate over data. KR techniques proved successful in handling a variety of tasks over such integrated models, ranging from verification to online monitoring. In this paper, we consider a simple, yet relevant model for data-aware dynamic systems (DDSs), consisting of a finite-state control structure defining the executability of actions that manipulate a finite set of variables with an infinite domain. On top of this model, we consider a data-aware version of reactive synthesis, where execution strategies are built by guaranteeing the satisfaction of a desired linear temporal property that simultaneously accounts for the system dynamics and data evolution.
Presentation of the paper "Extending Temporal Business Constraints with Uncertainty" at the 18th Int. Conference on Business Process Management (BPM 2020). Paper available here: https://doi.org/10.1007/978-3-030-58666-9_3
Abstract: Temporal business constraints have been extensively adopted to declaratively capture the acceptable courses of execution in a business process. However, traditionally, constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, our contribution is threefold. First, we delve into the conceptual meaning of probabilistic constraints and their semantics. Second, we argue that probabilistic constraints can be discovered from event data using existing techniques for declarative process discovery. Third, we study how to monitor probabilistic constraints, where constraints and their combinations may be in multiple monitoring states at the same time, though with different probabilities.
Presentation of the paper "Extending Temporal Business Constraints with Uncertainty" at the CAiSE2020 Forum. The paper is available here: https://link.springer.com/chapter/10.1007/978-3-030-58135-0_8
Abstract: Conformance checking is a fundamental task to detect deviations between the actual and the expected courses of execution of a business process. In this context, temporal business constraints have been extensively adopted to declaratively capture the expected behavior of the process. However, traditionally, these constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, we equip business constraints with a natural, probabilistic notion of uncertainty. We discuss the semantic implications of the resulting framework and show how probabilistic conformance checking and constraint entailment can be tackled therein.
Presentation of the paper "Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints" at the 17th Int. Conference on Business Process Management (BPM 2019). Paper available here: https://link.springer.com/chapter/10.1007/978-3-030-26619-6_11
Abstract
Existing process modeling notations ranging from Petri nets to BPMN have difficulties capturing the data manipulated by processes. Process models often focus on the control flow, lacking an explicit, conceptually well-founded integration with real data models, such as ER diagrams or UML class diagrams. To overcome this limitation, Object-Centric Behavioral Constraints (OCBC) models were recently proposed as a new notation that combines full-fledged data models with control-flow constraints inspired by declarative process modeling notations such as DECLARE and DCR Graphs. We propose a formalization of the OCBC model using temporal description logics. The obtained formalization allows us to lift all reasoning services defined for constraint-based process modeling notations without data, to the much more sophisticated scenario of OCBC. Furthermore, we show how reasoning over OCBC models can be reformulated into decidable, standard reasoning tasks over the corresponding temporal description logic knowledge base.
Keynote speech at the Belgian Process Mining Research Day 2021. I discuss the open, critical challenge of data preparation in process mining, considering the case where the original event data are implicitly stored in (legacy) relational databases. This case covers the common situation where event data are stored inside the data layer of an ERP or CRM system. This is usually handled using manual, ad-hoc, error-prone ETL procedures. I propose instead to adopt a pipeline based on semantic technologies, in particular the framework of ontology-based data access (also known as virtual knowledge graph). The approach is code-less, and relies on three main conceptual steps: (1) the creation of a data model capturing the relevant classes, attributes, and associations in the domain of interest (2) the definition of declarative mappings from the source database to the data model, following the ontology-based data access paradigm (3) the annotation of the data model with indications on which classes/associations/attributes provide the relevant notions of case, events, event attributes, and event-to-case relation. Once this is done, the framework automatically extracts the event log from the legacy data. This makes extremely smooth to generate logs by taking multiple perspectives on the same reality. The approach has been operationalized in the onprom tool, which employs semantic web standard languages for the various steps, and the XES standard as the target format for the event logs.
Keynote speech at the 7th International Workshop on DEClarative, DECision and Hybrid approaches to processes ( DEC2H 2019) In conjunction with BPM 2019.
This is a talk about the combined modeling and reasoning techniques for decisions, background knowledge, and work processes.
The advent of the OMG Decision Model and Notation (DMN) standard has revived interest, both from academia and industry, in decision management and its relationship with business process management. Several techniques and tools for the static analysis of decision models have been brought forward, taking advantage of the trade-off between expressiveness and computational tractability offered by the DMN S-FEEL language.
In this keynote, I argue that decisions have to be put in perspective, that is, understood and analyzed within their surrounding organizational boundaries. This brings new challenges that, in turn, require novel, advanced analysis techniques. Using a simple but illustrative example, I consider in particular two relevant settings: decisions interpreted the presence of background, structural knowledge of the domain of interest, and (data-aware) business processes routing process instances based on decisions. Notably, the latter setting is of particular interest in the context of multi-perspective process mining. I report on how we successfully tackled key analysis tasks in both settings, through a balanced combination of conceptual modeling, formal methods, and knowledge representation and re
Presentation at "Ontology Make Sense", an event in honor of Nicola Guarino, on how to integrate data models with behavioral constraints, an essential problem when modeling multi-case real-life work processes evolving multiple objects at once. I propose to combine UML class diagrams with temporal constraints on finite traces, linked to the data model via co-referencing constraints on classes and associations.
Presentation at EDOC 2019 on connecting legacy relational data to ontologies on norms and their evolution via temporal ontology-based data access. The paper received the best paper award at the conference.
Presentation ad EDOC 2019 on monitoring multi-perspective business constraints accounting for time and data, with a specific focus on the (unsolvable in general) problem of conflict detection.
My presentation at "Fit for Digital 2019", organized by Informatica Alto Adige S.p.A. to discuss digital transformation in the public administration sector, with more than 200 participants. I discussed how the digitalization of models and data can boost a new way of managing processes based on factual information.
More from Faculty of Computer Science - Free University of Bozen-Bolzano (20)
This presentation by Morris Kleiner (University of Minnesota), was made during the discussion “Competition and Regulation in Professions and Occupations” held at the Working Party No. 2 on Competition and Regulation on 10 June 2024. More papers and presentations on the topic can be found out at oe.cd/crps.
This presentation was uploaded with the author’s consent.
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...Orkestra
UIIN Conference, Madrid, 27-29 May 2024
James Wilson, Orkestra and Deusto Business School
Emily Wise, Lund University
Madeline Smith, The Glasgow School of Art
0x01 - Newton's Third Law: Static vs. Dynamic AbusersOWASP Beja
f you offer a service on the web, odds are that someone will abuse it. Be it an API, a SaaS, a PaaS, or even a static website, someone somewhere will try to figure out a way to use it to their own needs. In this talk we'll compare measures that are effective against static attackers and how to battle a dynamic attacker who adapts to your counter-measures.
About the Speaker
===============
Diogo Sousa, Engineering Manager @ Canonical
An opinionated individual with an interest in cryptography and its intersection with secure software development.
Have you ever wondered how search works while visiting an e-commerce site, internal website, or searching through other types of online resources? Look no further than this informative session on the ways that taxonomies help end-users navigate the internet! Hear from taxonomists and other information professionals who have first-hand experience creating and working with taxonomies that aid in navigation, search, and discovery across a range of disciplines.
Acorn Recovery: Restore IT infra within minutesIP ServerOne
Introducing Acorn Recovery as a Service, a simple, fast, and secure managed disaster recovery (DRaaS) by IP ServerOne. A DR solution that helps restore your IT infra within minutes.
5. Q&+$R5,2)%';#'-)%$*)+$%.'
G !)*7'/&,3'N$*7','1,+2,3B'.+)N$%.'*+,5&'
H E)%P/&R%$2;&',%#N&+#B'*7+&&P;,3"&/'#&F,%25#'
G Q&+$R5,2)%'!';$)3,2)%#',#'3).$5,3'$%5)%#$#*&%5$&#'
H 67&';&+$R&+'#*)1#'N7&%'*7&'R+#*';$)3,2)%'$#'/&*&5*&/'
G -)%$*)+$%.'F"#*'$%#*&,/'1+);$/&'5)%2%")"#'#"11)+*'
H 67&'+"%%$%.'#D#*&F'5,%%)*'@&'5)%*+)33&/'
H Q$)3,2)%#'F"#*'@&'5,".7*',%/'+&1)+*&/'
T 6)'$%K)+F'*7&'+"%%$%.'#D#*&F'
T 6)'*+$..&+'K"+*7&+'@"#$%&##'5)%#*+,$%*#'U&V.V'5)F1&%#,2)%#W'
H Q$)3,2)%#'5)"3/'@&'X5)"%*&/Y'
T 6)'F&,#"+&'*7&'X7&,3*7Y')K'*7&'+"%%$%.'5,#&'
8. <"*)F,*,P@,#&/'Q&+$R5,2)%'
a b s0 s1
a
b
¬ a ¬ b
' U,''◇@W' '
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
]'
,'
^' _' `'a'
#*,+*' @',' ,'
b'
&%/'
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
#!$% #!$%&'()% &'()% &'()% *+,-%
4*,*&'
@,#&/'
11. <"*)F,*,P@,#&/'Q&+$R5,2)%'
]'
,'
^' _' a'
#*,+*' @','
#!$%
6+,%#$2)%'
@,#&/'
' U, d@W' 'a b s0 s1
a
¬ a ¬ b
s0 s1
a
¬ a ¬ b
s0 s1
a
¬ a ¬ b
#!$%
"%.,/"+))'(%
s0 s1
a
¬ a ¬ b
#!$%
"%.,/"+))'(% *+,-%
s0 s1
a
¬ a ¬ b
`'
,'
b'
&%/'
12. ()%#*+,$%*#'X5)F1)%&%*#Y'
G >)#$2;&'5)F1)%&%*'!'&Z1&5*#'#)F&*7$%.e'
H !&5)F&#'1&%/$%.B'N,$2%.'K)+'*7&'&Z&5"2)%')K'#)F&',52;$*D'
H >&+F,%&%*3D'#,2#R&/'N7&%'*7&'&Z1&5*&/',52;$*D'$#'&Z&5"*&/'
H Q$)3,*&/'$K'#233',52;&',*'*7&'&%/')K'*7&'5,#&'
G E&.,2;&'5)F1)%&%*'!'K)+@$/#'#)F&*7$%.e'
H :7&%'X,52;&YB'K)+@$/#'*7&'&Z&5"2)%')K'#)F&',52;$*D'
H Q$)3,*&/'$K'*7&'K)+@$//&%',52;$*D'$#'&Z&5"*&/'
H >&+F,%&%*3D'#,2#R&/'$K'*7&'&%/')K'*7&'5,#&'$#'+&,57&/'N$*7)"*'
;$)3,2%.'$*'
G ()F1)%&%*#'f'5)%#*+,$%*#'K,F$3$&#'
H 67&+&',+&'+&3,2)%'5)%#*+,$%*#'N$*7','%&.,2;&'5)F1)%&%*'
H 67&+&',+&'%&.,2)%'5)%#*+,$%*#'N$*7','1)#$2;&'5)F1)%&%*'
13. [Z,F13&#'
G [Z$#*&%5&'5)%#*+,$%*9'1)#$2;&'
G O)%#&'5)%#*+,$%*9'1)#$2;&'
G E&.,2)%'+)%#&'5)%#*+,$%*9'%&.,2;&'
G >+&5&/&%5&'5)%#*+,$%*9'%&.,2;&'UgW'
H ?"*"+&P*&%#&'$%*&+1+&*,2)%9'*7&'*,+.&*',52;$*D'$#'K)+@$//&%'"%23'*7&'
#)"+5&',52;$*D'$#'&Z&5"*&/'
G <3*&+%,*&'+)%#&9'1)#$2;&h%&.,2;&'
H O)%#&'1,+*9'1)#$2;&'
H <3*&+%,2)%'1,+*9'%&.,2;&'
T :7&%'*7&'#)"+5&',52;$*D'$#'&Z&5"*&/B'$*'@&5)F&#'K)+@$//&%'"%23'
*7&'*,+.&*',52;$*D'$#'&Z&5"*&/',#'N&33'
15. [;&%*'(,35"3"#P@,#&/'-)%$*)+$%.'
G >)#$2;&',%/'%&.,2;&'5)F1)%&%*#'F,11&/')%*)'j"&%*#'
H !/"/3!4*)!/")5%6(%)&*)+7'
T ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'1&%/$%.'
T (,%'@&',##)5$,*&/'*)'l",%2*,2;&'2F&'5)%#*+,$%*#9':m[E'*7&'5)%#*+,$%*'
F"#*'@&'#,2#R&/'
H !/"/3!4*)!/")5%6!"#!$%&7'
T ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'#,2#R&/'
H !/"/3!4*)!/")5%60-12*&4877'
T ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'K)+@$//$%.',52;$*D'<'
G Q$)3,2)%#'&Z13$5$*3D'$/&%2R&/',%/'*+&,*&/',#'#1&5$,3'j"&%*#9'
XN$*7'*7&'3).$5B'%)*'$%'*7&'3).$5Y'
H !/"/3!4*)!/")5%6,*-."/%&7'
T ()%#*+,$%*'$%#*,%5&'$#';$)3,*&/'U&V.V')55"++&%5&')K','K)+@$//&%',52;$*DW'
36. 01&+,2)%#']k_'
G O&l"&#*'@D'q>$/B($/s'K)+','@"%57')K'&;&%*#'
H G)51%=%)/".',11+),579''
H JK'q>$/B($/s'$#'"%8%)N%B','#&##$)%'$#'5+&,*&/'
H 67&'#&##$)%'$#'"#&/'*)'
G 4*)+&'*7&'5"++&%*3D'5)F1"*&/'+&#"3*'U1+);$/&+'#*,*&W'
G U)12)%,33DW'#*)+&'*7&'*+,5&'5)33&5*&/'#)'K,+'U$K'*7&'1+);$/&+'#*,*'/)&#'%)*'
#"y5&W'
H >+);$/&+#'5)F1"*&','+)%#&'K)+'*7&'1,+2,3'*+,5&'
5)33&5*&/'#)'K,+'
G >,+2,3'*+,5&'{'"%$)%')K',33'@"%57&#')K'&;&%*#'
39. 0%.)$%.':)+8'
G :7)3&',Z$)F,2A,2)%'u'&Z1&+$F&%*,3'&;,3",2)%'
G JF13&F&%*,2)%''
H ?$+#*'#*,*&3&##'1+)*)*D1&'+&,/D'
H 0%.)$%.'N)+89'+&,3$A,2)%')K','#*,*&K"3'1+);$/&+',@3&'*)'+&,33D'&Z13)$*'
*7&'+&,52;&'+&,#)%$%.'5,1,@$3$2&#')K'O[('
H ()"3/'@&'"#&K"3'*)'*&#*'*7&',+57$*&5*"+&')K'04'_V^'
G Q$#",3$A,2)%')K'*7&'5)F1"*&/'+&#"3*#'
H z#,@$3$*D';#'%"F@&+')K'$%K)#'
H p$S&+&%*'+&#"3*#'K)+'/$S&+&%*'+)3&#'UN)+8&+B'F,%,.&+B'eW'
H ?$%/','#"$*,@3&'*+,/&P)S'@&*N&&%'X3).$5,3Y';$)3,2)%#',%/'"#&+I#'K&&3$%.'
G <##&##F&%*')K'04'_V^'
G O&3,2)%#7$1#'N$*7'5)F13$,%5&B',"/$2%.',%/'.);&+%,%5&'
U#)5$,3'5)FF$*F&%*#W'