Mostrando recursos 1 - 20 de 24.779

  1. A substructural epistemic resource logic

    Galmiche, D; Kimmel, P; Pym, D
    © Springer-Verlag GmbH Germany 2017.We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents’ local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean Bl’s resource semantics with epistemic agency. We give a labelled tableaux calculus and establish soundness and completeness with respect to the resource semantics. We illustrate the use of the logic by discussing an example of side-channels in access control using resource tokens.

  2. How computational agent-based models trigger creative insights into architectural and urban design education

    Al-Sayed, K
    With the increase in the complexity of built environment systems, computational modeling became an integral feature in the design process. Teaching design computation offers an opportunity to explore the boundaries between designers’ form-finding rationale and how computational decision support systems might contribute to the analysis and synthesis of designs. This paper reflects on these processes, and offers some insights into the use of cognitive agent-based models in form-finding and decision-making both on an architectural scale and an urban scale. Following this logic, a bottom-up approach in design and decision-making is conveyed through experiential object-based learning, and through the use of...

  3. Provisão institucional de cuidados ao domicílio na velhice: reforço ou enfraquecimento da solidariedade primária?

    Magalhães, Ana Maria Araújo
    A política social de velhice reflete, na atualidade, as tensões entre um Estado interventor, que tutela e promove o crescimento da produção de serviços permitindo a idosos frágeis ou dependentes de permanecerem no seu quadro de vida, e um Estado que se desimplica e tende a realçar o papel da família. É neste contexto que cresceram os Serviços de Apoio Domiciliário, em Portugal onde o familiaslimo é reputado como importante. Daí o nosso interesse na seguinte pergunta: como coexistem os cuidadores familiares e os cuidadores institucionais ou profissionais? Será que a família, outrora principal prestadora de cuidados aos mais velhos tende a ser substituída pelos cuidadores institucionais? Ou...

  4. Provisão institucional de cuidados ao domicílio na velhice: reforço ou enfraquecimento da solidariedade primária?

    Magalhães, Ana Maria Araújo
    A política social de velhice reflete, na atualidade, as tensões entre um Estado interventor, que tutela e promove o crescimento da produção de serviços permitindo a idosos frágeis ou dependentes de permanecerem no seu quadro de vida, e um Estado que se desimplica e tende a realçar o papel da família. É neste contexto que cresceram os Serviços de Apoio Domiciliário, em Portugal onde o familiaslimo é reputado como importante. Daí o nosso interesse na seguinte pergunta: como coexistem os cuidadores familiares e os cuidadores institucionais ou profissionais? Será que a família, outrora principal prestadora de cuidados aos mais velhos tende a ser substituída pelos cuidadores institucionais? Ou...

  5. A Contract-Based Methodology for Aircraft Electric Power System Design

    Nuzzo, Pierluigi; Xu, Huan; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donzé, Alexandre; Seshia, Sanjit A.
    In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability, and real-time performance requirements. To reduce expensive redesign steps, this control problem is generally addressed by minor incremental changes on top of consolidated solutions. A more systematic approach is hindered by a lack of rigorous design methodologies that allow estimating the impact of earlier design decisions on the final implementation. To achieve an optimal implementation that satisfies a set of requirements, we propose a platform-based methodology for electric power system...

  6. Demonstration of a robust magnonic spin wave interferometer

    Kanazawa, Naoki; Goto, Taichi; Sekiguchi, Koji; Granovsky, Alexander B.; Takagi, Hiroyuki; Nakamura, Yuichi; Inoue, Mitsuteru; Ross, Caroline A
    Magnonics is an emerging field dealing with ultralow power consumption logic circuits, in which the flow of spin waves, rather than electric charges, transmits and processes information. Waves, including spin waves, excel at encoding information via their phase using interference. This enables a number of inputs to be processed in one device, which offers the promise of multi-input multi-output logic gates. To realize such an integrated device, it is essential to demonstrate spin wave interferometers using spatially isotropic spin waves with high operational stability. However, spin wave reflection at the waveguide edge has previously limited the stability of interfering waves,...

  7. Measurement-based quantum computation on cluster states

    Raussendorf, R; Browne, DE; Briegel, HJ
    A detailed account of the one-way quantum computer, which is a scheme of quantum computation that consists entirely of one-qubit measurements on a particular class of entangled states, the cluster states, was presented. The spatial, temporal, and operational resources required in quantum computer computations, were discussed in relation to the sources needed for the corresponding quantum logic networks. The reason why the underlying computational model of quantum computer was different from the network model was described, and quantum algorithms was related to mathematical graphs.

  8. On the geometry of interaction for classical logic

    Führmann, C; Pym, D
    It is well-known that weakening and contraction cause naïve categorical models of the classical sequent calculus to collapse to Boolean lattices. We introduce sound and complete models that avoid this collapse by interpreting cut-reduction by a partial order between morphisms. We provide concrete examples of such models by applying the geometry-of-interaction construction to quantaloids with finite biproducts, and show how these models illuminate cut reduction in the presence of weakening and contraction. Our models make no commitment to any translation of classical logic into intuitionistic logic and distinguish non-deterministic choices of cut-elimination.

  9. Ribocomputing devices for sophisticated in vivo logic computation

    Green, Alexander A.; Kim, Jongmin; Ma, Duo; Silver, Pamela A.; Yin, Peng; Collins, James J.
    Synthetic biology aims to create functional devices, systems, and organisms with novel and useful functions taking advantage of engineering principles applied to biology. Despite great progress over the last decade, an underlying problem in synthetic biology remains the limited number of high-performance, modular, composable parts. A potential route to solve parts bottleneck problem in synthetic biology utilizes the programmability of nucleic acids inspired by molecular programming approaches that have demonstrated complex biomolecular circuits evaluating logic expressions in test tubes.Using a library of de-novo-designed toehold switches with orthogonality and modular composability, we demonstrate how toehold switches can be incorporated into decision-making...

  10. Hybrid Method for the Seismic Vulnerability Assessment of Historic Masonry City Centres

    Novelli, VI
    Buildings in historical city centres are particularly vulnerable to seismic events, as observed from past earthquakes in Bhuj (India, 2001), Bam (Iran, 2003), Sichuan (China 2008), L’Aquila (Italy 2009), Gorkha (Nepal 2015), and most recently in Amatrice (Italy 2016). To reduce damage and loss in historic city centres, seismic vulnerability of buildings should be assessed on site with approaches that take into account how parameters related to geometric/structural features, deficiencies and seismic damage impact on seismic failure modes. Currently, an approach that investigates all these parameters in only one consistent procedure for the identification of failure modes is not available,...

  11. Jean-Luc Godard: The Logic of Image- Two Reviews

    Duncan, Ian; Russo, John Paul

  12. Intimate relationships as means for ethical self-formation and social change in evangelical churches of Austin, Texas

    Knuutila, PA
    This thesis explores how evangelical Protestants of two conservative churches in Austin, Texas make and experience intimate relationships, and how these relationships shape their ethical self-development. It focuses on interpersonal relations within their church communities, with people in need and relations with divine forces. Both the meetings of church small groups and organised occasions for evangelism reflect a local ideal of intimacy, as they aim at conversation that is spontaneous, non-instrumental and self-disclosing. Evangelical discourse about intimate interaction understands it as an ethical tool: It allows participants to discover moral faults in themselves and to enrol others for self-disciplinary support....

  13. The Geography of Cultural Production in Metropolitan Philadelphia

    Stern, Mark J
    In previous work on Philadelphia, SIAP found that nonprofit arts and cultural organizations tended to concentrate in economically and ethnically diverse neighborhoods. This paper uses data on for-profit cultural firms to document whether they too cluster in diverse neighborhoods or if they have a different logic of agglomeration. The paper uses two data sets for the five-county Philadelphia region: the nonprofit inventory of over 1,200 cultural providers—including incorporated and “informal” programs—compiled by SIAP in 1997; and a for-profit database of approximately 1,300 cultural firms derived in 1999 from a yellow-pages compilation of selected industries. The paper concludes with a description of five...

  14. Dois mundos: aprender para ensinar e ensinar para aprender

    Rodrigues, Rosana Domingues
    A temática do processo de ensino-aprendizagem/ensinar-aprender tem sido objeto de investigação ao longo do tempo, desde a Antiguidade, por diversos pensadores e autores. É ideia comum entre eles que os agentes e participantes com mais relevo neste processo são os educadores, os professores, as crianças e a família. Os pensadores da educação são unânimes em colocar uma tónica especial na família, tendo em conta que a criança é produto do contexto que a rodeia, muito em especial, da sua família, uma vez que é no seio familiar que ela passa a maior parte do seu tempo. No contexto das relações interpessoais que se estabelecem com a criança,...

  15. Molecular mechanics and molecular electronics

    Heath, James R.
    Electronic devices containing molecules as either passive or active (switching) components present the opportunity for scaling electronic circuitry down to near-molecular dimensions. In this paper the kinetic and thermodynamic properties of bistable molecular mechanical switches known as catenanes and rotaxanes are discussed. A defect-tolerant, binary tree demultiplexer architecture using Order log/sub 2/N submicron (lithographically patterned) wires to address TV nanowires are developed. Apart from traditional applications of memory, logic, and routing, new opportunities that include actuation, sensing, energy management, and possibly even peptide sequencing are enabled by these nanofabrication approaches.

  16. Large conditional single-photon cross-phase modulation

    Beck, Kristin Marie; Hosseini, Mahdi; Duan, Yiheng; Vuletic, Vladan
    Deterministic optical quantum logic requires a nonlinear quantum process that alters the phase of a quantum optical state by π through interaction with only one photon. Here, we demonstrate a large conditional cross-phase modulation between a signal field, stored inside an atomic quantum memory, and a control photon that traverses a high-finesse optical cavity containing the atomic memory. This approach avoids fundamental limitations associated with multimode effects for traveling optical photons. We measure a conditional cross-phase shift of π/6 (and up to π/3 by postselection on photons that remain in the system longer than average) between the retrieved signal and...

  17. Demand and Congestion in Multiplex Transportation Networks

    Jiang, Shan; Chodrow, Philip Samuel; Gonzalez, Marta C.
    Urban transportation systems are multimodal, sociotechnical systems; however, while their multimodal aspect has received extensive attention in recent literature on multiplex networks, their sociotechnical aspect has been largely neglected. We present the first study of an urban transportation system using multiplex network analysis and validated Origin-Destination travel demand, with Riyadh’s planned metro as a case study. We develop methods for analyzing the impact of additional transportation layers on existing dynamics, and show that demand structure plays key quantitative and qualitative roles. There exist fundamental geometrical limits to the metro’s impact on traffic dynamics, and the bulk of environmental accrue at...

  18. Brincar com as ciências e a aquisição de competências

    Reis, Diogo Alexandre Lopes dos
    Este relatório final, que tem como título «“Brincar com as Ciências” e a Aquisição de Competências», inclui uma investigação em que se procura alertar para as reais aprendizagens efetuadas nas Atividades de Enriquecimento Curricular/AEC, que são um complemento ao Currículo Nacional, mas que têm uma componente mais lúdica e, assim, os alunos conseguem desenvolver diferentes competências. Sendo já profissionalizado no 1.º Ciclo, só necessitei de fazer a introdução à prática supervisionada no 2.º Ciclo do Ensino Básico/CEB. Neste sentido, estruturei o relatório em dois capítulos, que se subdividem em vários tópicos. No CAPÍTULO I, é apresentada a componente investigativa, que foi...

  19. The countable admissible ordinal equivalence relation

    Chan, William
    Let F_(ω1) be the countable admissible ordinal equivalence relation defined on ^ω2 by x F_(ω1) y if and only if ω_1^x=ω_1^y. Some invariant descriptive set theoretic properties of F_(ω1) will be explored using infinitary logic in countable admissible fragments as the main tool. Marker showed F_(ω1) is not the orbit equivalence relation of a continuous action of a Polish group on ^ω2. Becker stengthened this to show F_(ω1) is not even the orbit equivalence relation of a Δ_1^1 action of a Polish group. However, Montalbán has shown that F_(ω1) is Δ_1^1 reducible to an orbit equivalence relation of a Polish...

  20. Software-defined network support for transport resilience

    Araujo, JT; Landa, R; Clegg, RG; Pavlou, G
    Existing methods for traffic resilience at the network and transport layers typically work in isolation, often resorting to inference in fault detection and recovery respectively. This both duplicates functionality across layers, eroding efficiency, and leads to protracted recovery cycles, affecting responsiveness. Such misalignment is particularly at odds with the unprecedented concentration of traffic in data-centers, in which network and hosts are managed in unison. This paper advocates instead a cross-layer approach to traffic resilience. The proposed architecture, INFLEX, builds on the abstractions provided by software-defined networking (SDN) to maintain multiple virtual forwarding planes which the network assigns to flows. In...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.