Mostrando recursos 41 - 60 de 188.624

  1. Een line driver met dubbele schrijfpuls voor flexibele AMOLED-beeldschermen

    Van Boxel, Wesley
    Het doel van deze masterproef is het ontwerpen van een line driver voor flexibele AMOLED-beeldschermen. De aansturing van deze beeldschermen gebeurt typisch met twee chips, een line driver op een flexibele folie en een data driver op silicium. De technologie waarrond dit onderzoek plaatsvindt, is de a-IGZO-technologie. Door een digitale PWM-aansturing te gebruiken, waarbij elk van de acht subframes is opgedeeld in drie blokken, is het mogelijk om twee ingangspulsen op verschillende tijdstippen in te sturen, zonder meer dan één pixelrij tegelijk aan te sturen. Dit laat toe om zonder dode tijd en met een eenvoudige date driver een scherm aan...

  2. Putting logic-based distributed systems on stable grounds

    Ameloot, Tom; Van den Bussche, Jan; Marczak, William R.; Alvaro, Peter; Hellerstein, Joseph M.
    In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has been lacking so far. The challenge is to capture precisely the amount of nondeterminism that is inherent to distributed computations due to concurrency, networking delays, and asynchronous communication. This paper shows how a declarative, model-based semantics can be obtained by simply using the well-known stable model semantics for Datalog with negation. We show that the model-based semantics matches previously proposed formal operational semantics.

  3. Upper and Lower Complexity Bounds for Some Problems in Elementary Geometry

    Grimson, Rafael
    This thesis is mainly dedicated to the study of upper and lower complexity bounds of some problems in the context of semi-algebraic geometry. We present a brief summary of its contents. In Chapter 1 we analyze the algebraic complexity of the linear programming feasibility problem over the reals and prove non-trivial lower bounds for this problem. The linear programming feasibility problem can be stated as follows: given positive integers m > n, a matrix H ∈ Rm×n and a vector h ∈ Rm decide whether there exists a column vector x ∈ Rn such that H · x ≤ h....

  4. Single phase and composite multiferroic thin films and heterostructures from aqueous chemical solution deposition

    Pavlovic, Nikolina
    Magnetoelectric multiferroics as materials with coexistence of two or more ferroic properties and coupling between the ferroic orders present not only the vast playground for different areas of fundamental research but they also have a great potential for memory and logic device applications. Offering possibilities towards miniaturization of electronic devices and at the same time increasing their performances, these multifunctional materials, especially in thin film form, have received enormous interest from the scientific community in the past decade. However, multiferroic materials with room temperature functionalities still remain a challenge. Besides the weak magnetoelectric coupling, bismuth ferrite (BiFeO3), currently the only...

  5. Toward a Better Understanding of Customer Value: Empirical Studies from a Service-Dominant Logic Perspective

    Leroi-Werelds, Sara
    Customer value, which can be defined as the customer’s trade-off between the perceived benefits and costs associated with a particular product or service, plays a key role at the heart of all marketing activities and thus deserves the attention of every marketing researcher. However, despite numerous studies about customer value and various efforts by an impressive number of researchers in the search for a precise understanding of customer value, this focal marketing construct raises some unsolved difficulties. This is called ‘the challenge of value research’, meaning that the researcher, on the one hand, focuses on a concept that is central...

  6. PaperPulse: an integrated approach for embedding electronics in paper designs

    Ramakers, Raf; Todi, Kashyap; Luyten, Kris
    We present PaperPulse, a design and fabrication approach that enables designers without a technical background to produce standalone interactive paper artifacts by augmenting them with electronics. With PaperPulse designers overlay pre-designed visual elements with interactive widgets and specify functional relations between them using a logic demonstration and recording approach, called Pulsation. When the design is finished, PaperPulse generates layered electronic circuit designs, code that can be deployed on a microcontroller, and instructions for assembly.

  7. PaperPulse: an integrated approach for embedding electronics in paper designs

    Ramakers, Raf; Todi, Kashyap; Luyten, Kris
    We present PaperPulse, a design and fabrication approach that enables designers without a technical background to produce standalone interactive paper artifacts by augmenting them with electronics. With PaperPulse designers overlay pre-designed visual elements with interactive widgets and specify functional relations between them using a logic demonstration and recording approach, called Pulsation. When the design is finished, PaperPulse generates layered electronic circuit designs, code that can be deployed on a microcontroller, and instructions for assembly.

  8. Bandwidth management for ODV tiled streaming with MPEG-DASH

    Martens, Geoffrey
    De masterproef gaat over video streaming met MPEG-DASH. MPEG-DASH is zo gemaakt dat de kwaliteit van de video veranderd kan worden tijdens het afspelen van de video. De Masterproef bevat 2 delen, namelijk video multistreaming and ODV tiled streaming. Voor video multistreaming applicaites, waarin meerdere video's gelijktijdig afgespeeld worden, hebben we 2 distributie logica's besproken in de masterproef. Voor ODV tiled streaming, waarmee een 360 graden beeld gestreamd wordt naar de client maar de client maar een bepaald deel te zien krijgt, hebben we 6 distributie logica's besproken in de masterproef. We hebben hiervoor ook user testing gedaan om 4...

  9. PaperPulse: An Integrated Approach to Fabricating Interactive Paper

    RAMAKERS, Raf; TODI, Kashyap; LUYTEN, Kris
    This paper covers PaperPulse [3], a design and fabrication approach that enables designers to produce standalone interactive paper artifacts by augmenting them with electronics. With PaperPulse, users overlay visual designs with widgets provided in the design tool. PaperPulse provides different families of widgets, designed for smooth integration with paper, for a total of 20 different interactive components. We also contribute a demonstration and recording approach, Pulsation, that allows specifying interaction logic. Using the final design and the recorded Pulsation logic, PaperPulse generates layered electronic circuit designs, and code that can be deployed on a microcontroller. By following automatically generated assembly instructions, designers can...

  10. PaperPulse: An Integrated Approach to Fabricating Interactive Paper

    RAMAKERS, Raf; TODI, Kashyap; LUYTEN, Kris
    We present PaperPulse, a design and fabrication approach that enables designers to produce standalone interactive paper artifacts by augmenting them with electronics. With PaperPulse, users overlay visual designs with widgets provided in the design tool. PaperPulse provides three families of widgets, designed for smooth integration with paper, for a total of 20 different interactive components. We also contribute a demonstration and recording approach, Pulsation, that allows specifying interaction logic. Using the final design and the recorded Pulsation logic, PaperPulse generates layered electronic circuit designs, and code that can be deployed on a microcontroller. By following automatically generated assembly instructions, designers can...

  11. PaperPulse: An Integrated Approach for Embedding Electronics in Paper Designs

    RAMAKERS, Raf; TODI, Kashyap; LUYTEN, Kris
    We present PaperPulse, a design and fabrication approach that enables designers without a technical background to produce standalone interactive paper artifacts by augmenting them with electronics. With PaperPulse, designers overlay pre-designed visual elements with widgets available in our design tool. PaperPulse provides designers with three families of widgets designed for smooth integration with paper, for an overall of 20 different interactive components. We also contribute a logic demonstration and recording approach, Pulsation, that allows for specifying functional relationships between widgets. Using the final design and the recorded Pulsation logic, PaperPulse generates layered electronic circuit designs, and code that can be deployed...

  12. Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable

    Grimson, Rafael; Kuijpers, Bart
    We consider the \Sigma_0^1-fragment of second-order logic over the vocabulary ⟨+, ×, 0, 1, <, S_1, ..., S_k⟩, interpreted over the reals, where the predicate symbols S_i are interpreted as semi- algebraic sets. We show that, in this context, satisfiability of formulas is decidable for the first-order \exists^\ast-quantifier fragment and undecidable for the \exists^\ast\forall- and \forall^\ast-fragments. We also show that for these three fragments the same (un)decidability results hold for containment and equivalence of formulas.

  13. Inference in the FO(C) modelling language

    Bogaerts, Bart; Vennekens, Joost; Denecker, Marc; Van den Bussche, Jan
    Recently, FO(C), the integration of C-LOG with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on FO(C), and very little is known about properties of inference in FO(C). In this paper, we study both of the above problems. We define normal forms for FO(C), one of which corresponds to FO(ID). We define transformations between these normal forms, and show that, using these transformations, several inference tasks for FO(C) can be reduced to inference tasks for FO(ID), for which solvers exist. We implemented this transformation and hence, created the first system that performs...

  14. Enabling Empathic Communication in Ubiquitous Computing Environments to Improve Interaction between People

    TAN, Chiew Seng Sean
    Empathy is crucial for the establishment of building consensus and seeing a situation from the other person’s emotional point of view. Being able to empathize with our conversational partners can lead to better interpretation of the intended messages as well as improve social and working relationships. We envision that enabling empathic communication through the use of computers is possible with recent advances in Ubiquitous computing (Ubicomp) technology and affective computing. For instance, mediating systems can provide empathic feedback to influence one’s own decision-making process through the registration of the user’s affective state, which is captured by sensors embedded in the Ubicomp environment....

  15. On the variable hierarchy of first-order spectra

    TAN, Tony; Kopzcynski, Eryk
    The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we study the hierarchy of first-order spectra based on the number of variables. It has been conjectured that it collapses to three variable. We show the opposite: it forms an infinite hierarchy. However, despite the fact that more variables can express more spectra, we show that to establish whether the class of first-order spectra is closed under complement, it is sufficient to consider sentences using only three variables and binary relations.

  16. Regular graphs and the spectra of two-variable logic with counting

    Tan, Tony; Kopczynski, Eryk
    The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models.In this paper we show that when restricted to using only two variables, but allowing counting quantifiers, the class of spectra of first-order logic sentences is exactly the class of semilinear sets, and hence, closed under complement. At the heart of our proof are semilinear characterisations for the existence of regular and biregular graphs, the class of graphs in which there are a priori bounds on the degrees of the vertices. Our proof also provides a simple characterisation of models of...

  17. Het onderhouden van connectiviteit in ruimtelijke gegevens

    Martens, Stephen
    Deze masterproef heeft als doel een FOIES (first order incremental evaluation system) te construeren voor de topologische connectiviteit van ruimtelijke gegevens. De verschillende domeinen die nodig zijn voor het onderzoek worden eerst uitvoerig besproken en later gecombineerd om zo te komen tot het feitelijke onderzoek. Relationele databases en eerste orde logica worden gedefinieerd en besproken. Het principe van FOIES wordt uitvoerig uitgelegd en precies gedefinieerd. De constructie van een FOIES voor de transitieve sluiting van ongerichte grafen door Patnaïk en Immerman (die werkt m.b.v. een spanning forest) wordt volledig uit de doeken gedaan. De tekortkomingen van de constructie worden weggewerkt en aangevuld en correctheid van de uiteindelijke constructie zijn wordt aangetoond. Vervolgens...

  18. EL CONCEPTO DE MEDICIÓN EN LA CONCEPCIÓN SEMÁNTICA Y ESTRUCTURALISTA DE LA CIENCIA

    Ferro, María Virginia
    En el ámbito de la Filosofía de la Ciencia o Metateoría contemporánea, los análisis formales o semiformales de la ciencia en relación a la naturaleza de las teorías, de la mano del trabajo que fueran desarrollando a lo largo de tres décadas J.C.C. McKinsey, E. Beth y J. von Newmann, aquí tenemos las bases sobre las que se desplegará la llamada “familia semanticista”, que involucrará una espectro bastante amplio de propuestas de análisis, que tienen en común la postulación de una nueva concepción sobre las teorías científicas, que viene de la mano de una reintroducción de la Filosofía Analítica en...

  19. Elites, ideas y poder en acción.

    Genieys, William
    Una lectura neo-elitista de las relaciones entre elites gubernamentales y elites político-administrativas nos permite comprender las nuevas relaciones de poder en la cumbre del Estado francés. El artículo muestra cómo durante estos últimos veinte años una elite del Welfare se ha ido conformando al hilo del proceso de decisión en un sector particular. Partiendo de un análisis del cambio en las políticas del sector social, tratamos de explicar la manera en que una elite cuyo funcionamiento desprende una lógica de acción colectiva, afirma poco a poco su identidad de grupo. Esta elite es capaz de influir con determinación en la...

  20. Ensuring Correctness of Model Transformations While Remaining Decidable

    Haël Brenas, Jon; Echahed, Rachid; Strecker, Martin
    International audience

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.