528 resultados para logics


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Certain environments can inhibit learning and stifle enthusiasm, while others enhance learning or stimulate curiosity. Furthermore, in a world where technological change is accelerating we could ask how might architecture connect resource abundant and resource scarce innovation environments? Innovation environments developed out of necessity within urban villages and those developed with high intention and expectation within more institutionalized settings share a framework of opportunity for addressing change through learning and education. This thesis investigates formal and informal learning environments and how architecture can stimulate curiosity, enrich learning, create common ground, and expand access to education. The reason for this thesis exploration is to better understand how architects might design inclusive environments that bring people together to build sustainable infrastructure encouraging innovation and adaptation to change for years to come. The context of this thesis is largely based on Colin McFarlane’s theory that the “city is an assemblage for learning” The socio-spatial perspective in urbanism, considers how built infrastructure and society interact. Through the urban realm, inhabitants learn to negotiate people, space, politics, and resources affecting their daily lives. The city is therefore a dynamic field of emergent possibility. This thesis uses the city as a lens through which the boundaries between informal and formal logics as well as the public and private might be blurred. Through analytical processes I have examined the environmental devices and assemblage of factors that consistently provide conditions through which learning may thrive. These parameters that make a creative space significant can help suggest the design of common ground environments through which innovation is catalyzed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Acompanha: A diferença está no saber agir: conheça!: educação inclusiva: dos documentos legais à realidade escolar

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error. This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;whisky problem$quot;, a challenge problem from the domain of temporal logic. The proof requires a generalisation of the original conjecture and we examine two proof critics which can be used to create this generalisation. Using these critics we believe we have produced the first automatic proofs of this challenge problem. We use this example to motivate a comparison of the two critics and propose that there is a place for specialist critics as well as powerful general critics. In particular we advocate the development of critics that do not use meta-variables.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order representations. Ordinal arithmetic provides a natural set of higher order examples on which transfinite induction may be attempted using rippling. Previously Boyer-Moore style automation could not be applied to such domains. We demonstrate that a higher-order extension of the rippling heuristic is sufficient to plan such proofs automatically. Accordingly, ordinal arithmetic has been implemented in lambda-clam, a higher order proof planning system for induction, and standard undergraduate text book problems have been successfully planned. We show the synthesis of a fixpoint for normal ordinal functions which demonstrates how our automation could be extended to produce more interesting results than the textbook examples tried so far.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Based on the presupposition that the arts in the West always counted on resources, supports, and devices pertaining to its time context, an reflection is intended regarding the scenic compositions mediated by digital technologies do. Such technologies are inserted in the daily routine, also composing artistic experiments, thus playing a dialogical role with the art/technology intersection. Therefore, the proposal is to investigate what relationships are established in the contemporary theatrical scene from the contagion by digital technologies, aiming at establishing this parallel through a dialogue with the authors discussing the subject, and also based on the group practices having technological resources as a determinant factor in their plays. Furthermore, a reflection should be made on the scene that incorporates or is carried out in intermediatic events, analyzing how digital technologies (re)configure compositional processes of the plays by GAG Phila7, in the city of São Paulo/SP. For such, the dissertation is organized in three sections comprising four moments, to wit: brief overview of the field, contextualization, poetic analysis and synthesis. Qualitative methods are used as the methodological proposal: semi-structure interview, note and document taking (program, website, playing book, disclosure material for advertising text, photographs, and videos). Within the universe of qualitative research, it works with the epistemological perspective of the Gadamer philosophical hermeneutics. The possibilities allowed by the double virtual (Internet/web) generated a type of theater with another material basis and new forms of organization and structure, being possible to perceive that such technological advances and the arts are mutually contaminated, generating a dislocation in the logics of theatrical composition, movement beginning with the artistic vanguards, gradually intensified, thus offering new possibilities of constructions and hybridization of the of the most different possible types. Experiment ―Profanações_superfície de eventos de construção coletiva‖, idealized by Phila7 is inserted in this perspective. Object of the discussion of such research, the experiment works with possible poetics arising from the intersection with the digital technologies, aiming at identifying and problematizing the challenges from the technological evolution and expansion in a scenic context

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

There is no definition of orphans that would allow to know without confusion who is an orphan child. This article analyses the challenges and difficulties in defining and targeting the social category of orphans. It is based on a number of works, as well as the field research on the social actor's logics regarding the family support to orphans among the Mossi people in Ouagadougou (Burkina Faso), for my Ph.D. in sociology at Laval University (Canada). In fact, international charity organisations use orphans as a vulnerable and universal category. This has been done through the propagation of information on HIV. From the social sciences perspective, the category of orphans covers a variety of realities, and making the choice to see it otherwise would hide the diversity of those realities.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente estudo pretende avaliar as lógicas de gestão do tempo no contexto da organização do trabalho dos Técnicos de Radiologia num serviço de urgência hospitalar, procurando desta forma contribuir para a elaboração de novas propostas orientadoras ou guidelines relativas aos procedimentos em Radiologia convencional na urgência hospitalar. O desenho metodológico adoptado consistiu na observação directa do processo de execução do exame radiológico convencional, em contexto de urgência e em diferentes etapas. Estes dados foram relacionados com a existência ou não dos critérios técnicos padronizados de realização do exame. A recolha dos dados efectiva decorreu entre 4 e 11 maio de 2008, no Centro Hospitalar de Lisboa - Zona Central, no serviço de Radiologia da Urgência. Através da análise dos dados, constatou-se que: a) o grau de mobilidade do utente não influencia de uma forma directa nem o tempo de realização do mesmo nem a qualidade da imagem final; b) a qualidade da imagem final relaciona-se de forma inversa com o tempo total do exame e com os anos de experiência do Técnico de Radiologia; c) a maior percentagem de tempo total de atendimento do utente concentra­ se em funções administrativas e de preparação para o exame. ABSTRACT: The current study intends to evaluate the logics of time’s management in the context of the organization of Radiographers' Professionals in a service of hospital urgency, trying to find a way how to contribute for the elaboration of new relative orienting proposals or guidelines regarding Conventional Radiology's procedures in the hospital urgency. The methodological drawing chosen was based on direct observation of the execution proceeding of the conventional radiological examination, in urgency context and in different stages. These data had been related with the existence or not of the standardized criteria technician of the examination's accomplishment. The data have been collected between 4th and 11th May of 2008 in the Hospital Centre of Lisbon - Central Zone, in the service of Urgency Radiology. Through the analysis of the data, we realize that: a) the usuary's mobility degree do not influence directly the time of execution neither the quality of the final image; b) the quality of the final image relates in an inverse way with the total time of the examination and with the Radiographers' Professional years of experience; c) the biggest percentage of total time concerning usuary's attendance focus in administrative functions and for the examination's preparation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The globalization of markets has confirmed for the processes of change in organizations both in structure and in management. This dynamic was also observed in credit unions because they are financial institutions and are under the rules of the Brazil´s Financial System. Given the context of organizational changes in the financial capital has played the traditional management reform is urgent. In organizations credit unions, given its dual purpose, because in the same organizational environment and capitalism coexist cooperative whose logics are antagonistic, but can live through the balance between instrumental rationality and substantive rationality in credit unions. Based on this concept a new form of management should be thought to be able to accommodate the demand of cooperative, community, government and the market. Hybridization has been observed in management practices` COOPERUFPA into dimensions financial, social and solidarity participation with a trend in paradigmatic form of hybrid management, in that it directly or indirectly affect the management decisions in the credit union. The hybrid management is a trend that has been setting the basis for societal transformation, so that credit unions promote actions of welfare oriented cooperative members and the community around the same time that attend the dynamics of market globalization. These actions, in the context of hybrid management should be implemented by COOPERUFPA from the sociability of the remains and the wide diffusion of solidarity culture between cooperative partnership as a way to recover their participation in trade relations, financial and the social collective developement. For the members of COOPERUFPA financial interest is evidenced in greater relevance for the social interest given its dominant relationship as "mere customer" of the credit union, however, the proactive participation of the life of the cooperative credit union is one of its expectative among of participation of to share power in decisions by general meetings. This passivity`s cooperator of the COOPERUFPA in defending the ideals overshadowed the spread of cooperative principles and values of cooperation among them. Thus his conception for COOPERUFPA in the financial dimension, social and solidarity democracy, performed transversely. The COOPERUFPA for not developing an education policy for the cooperation among its members, contributed to a process of collective alienation of cooperative ideals, since the cooperative do not understand the reality that surrounds them as members of an organization whose mission is to social and financial sustainability of its members

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bodies On the Line: Violence, Disposable Subjects, and the Border Industrial Complex explores the construction of identity and notions of belonging within an increasingly privatized and militarized Border Industrial Complex. Specifically, the project interrogates how discourses of Mexican migrants as racialized, gendered, and hypersexualized “deviants” normalize violence against border crossers. Starting at Juárez/El Paso border, I follow the expanding border, interrogating the ways that Mexican migrants, regardless of sexual orientation, have been constructed and disciplined according to racialized notions of “sexual deviance." I engage a queer of color critique to argue that sexual deviance becomes a justification for targeting and containing migrant subjects. By focusing on the economic and racially motivated violence that the Border Industrial Complex does to Mexican migrant communities, I expand the critiques that feminists of color have long leveraged against systemic violence done to communities of color through the prison industrial system. Importantly, this project contributes to transnational feminist scholarship by contextualizing border violence within the global circuits of labor, capital, and ideology that shape perceptions of border insecurity. The project contributes an interdisciplinary perspective that uses a multi-method approach to understand how border violence is exercised against Mexicans at the Mexico-US border. I use archival methods to ask how historical records housed at the National Border Patrol Museum and Memorial Library serve as political instruments that reinforce the contemporary use of violence against Mexican migrants. I also use semi-structured interviews with nine frequent border crossers to consider the various ways crossers defined and aligned themselves at the border. Finally, I analyze the master narratives that come to surround specific cases of border violence. To that end, I consider the mainstream media’s coverage, legal proceedings, and policy to better understand the racialized, gendered, and sexualized logics of the violence.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This project proposes a feminist intervention in how affect and publics are theorized in public relations research. Drawing from extant literature, I argue that public relations theories of affect and publics have been apolitical and lack depth and context (Leitch & Motion, 2010a). Using the context of the online childhood vaccine debate, I illustrate several theories and concepts of the new feminist affective turn, as well as postmodern theories of affect, relevant to public relations research: (a) Public Feelings, “ugly” feelings, agency, and community (Cvetkovich, 2012; Ngai, 2007); (b) passionate politics (Mouffe, 2014); (c) postmodern assemblages, biopower, and body politics (Deleuze & Guattari, 1988; Foucault, 1984); (d) affective facts and logics of future threats (Massumi, 2010); and (e) affective ethics (Bertleson & Murphie, 2010). Scholarship in the areas of public relations, risk, feminist and postmodern affect theory, and the vaccine debate provided theoretical grounding for this project. My research questions asked: How is feminist affect theory embodied by mothers in the vaccine debate? How do mothers understand risks as affective facts in the vaccine debate (if at all)? What affective logics are used by mothers in the vaccine debate (if any)? And, What are sources of knowledge for mothers in the vaccine debate? Multi-sited online ethnographic methods were used to explore how feminist affect theory contributes to public relations research, including 29 one-on-one in-depth interviews with mothers of young children and participant observation of 15 online discussions about vaccines on parenting websites BabyCenter.com, TheBump.com, and WhatToExpect.com. I used snowball sampling to recruit interview participants and grounded theory (Glaser & Strauss, 1967) to analyze interview and online data. Results show that feminist affect theory contributes to theoretical and practical knowledge in public relations by politicizing and contextualizing understandings of publics and elucidating how affective facts and logics inform publics’ knowledge and choices, specifically in the context of risk. I also found evidence of suppression of dissent (Martin, 2015) and academic bias in vaccine debate research, which resulted in cultures of silence. Further areas of study included how specific contexts such as motherhood and issues of privilege and access affect publics’ experiences, knowledges, and choices.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.