Searched for: subject%3A%22Logic%22
(1 - 20 of 121)

Pages

document
Vasconcelos Cabanas Ramos Ascensão, Tomás (author)
With the number of diagnosed cases rising every year, Autism Spectrum Disorder (ASD) is in need of novel therapeutic approaches to counteract the social and motor impairments inflicted by it. In this research, one of such therapeutic approaches, movement therapy (in particular Dance Movement Therapy (DMT)), is combined with the concept of...
master thesis 2021
document
Klitsie, J.B. (author)
Large and mature organisations, with their access to knowledge, capital and customers, are perfectly positioned to walk the road from invention to innovation; to turn promising breakthrough technologies and creative concepts into profitable and scalable business opportunities. However, these organisations rarely generate winds of creative...
doctoral thesis 2021
document
Li, Pai (author)
Neuromorphic electronic systems have used asynchronous logic combined with continuous-time analog circuits to emulate neurons, synapses, and learning algorithms. It is attractive because of its low power consumption and feasible implementation. Typically, the neuron firing rates are lower than the modern digital systems. Thus, the endpoints of...
master thesis 2021
document
Mahmoud, A.N.N. (author), Vanderveken, Frederic (author), Adelmann, Christoph (author), Ciubotaru, Florin (author), Hamdioui, S. (author), Cotofana, S.D. (author)
By their very nature, spin waves (SWs) with different frequencies can propagate through the same waveguide, while mostly interfering with their own species. Therefore, more SW encoded data sets can coexist, propagate, and interact in parallel, which opens the road toward hardware replication-free parallel data processing. In this article, we...
journal article 2021
document
Xie, Dan (author)
As one of the most prestigious architects of the Art Nouveau period, Victor Horta explored a set of innovative methods to combine iron materials and architectural forms. This article will focus on this particular material language, first analyze the background of iron materials and architectural development at that time; secondly, analyze the...
student report 2021
document
De Iuliis, Melissa (author), Kammouh, O. (author), Cimellaro, Gian Paolo (author), Tesfamariam, Solomon (author)
Critical infrastructures are an integral part of our society and economy. Services like gas supply or water networks are expected to be available at all times since a service failure may incur catastrophic consequences to the public health, safety, and financial capacity of the society. Several resilience strategies have been examined to...
journal article 2021
document
Imani, Maryam (author), Hasan, Md Mahmudul (author), Bittencourt, Luiz Fernando (author), McClymont, Kent (author), Kapelan, Z. (author)
Resilience-informed water quality management embraces the growing environmental challenges and provides greater accuracy by unpacking the systems' characteristics in response to failure conditions in order to identify more effective opportunities for intervention. Assessing the resilience of water quality requires complex analysis of...
journal article 2021
document
Lao, L. (author), van Someren, J. (author), Ashraf, I. (author), Almudever, Carmen G. (author)
Quantum algorithms need to be compiled to respect the constraints imposed by quantum processors, which is known as the mapping problem. The mapping procedure will result in an increase of the number of gates and of the circuit latency, decreasing the algorithm’s success rate. It is crucial to minimize mapping overhead, especially...
journal article 2021
document
Frumin, Dan (author), Krebbers, R.J. (author), Birkedal, Lars (author)
Non-interference is a program property that ensures the absence of information leaks. In the context of programming languages, there exist two common approaches for establishing non-interference: type systems and program logics. Type systems provide strong automation (by means of type checking), but they are inherently restrictive in the kind...
conference paper 2021
document
Bešinović, Nikola (author), Wang, Yihui (author), Zhu, Songwei (author), Quaglietta, E. (author), Tang, Tao (author), Goverde, R.M.P. (author)
In big cities, the metro lines usually face great pressure caused by huge passengers demand, especially during peak hours. When disruptions occur, passengers accumulate quickly at stations. It is of great importance for dispatchers to take passenger flow control into consideration for the traffic management to ensure passengers' safety and to...
journal article 2021
document
van Nes, A. (author), Yamu, Claudia (author)
In this chapter, we show what and how space syntax has contributed to theories and general knowledge of the built environment. First, we provide an introduction to two established research traditions, positivism and hermeneutics. The aim is to demonstrate through modal logic what the possibilities and limitations are for gaining general...
book chapter 2021
document
Li, Yongzhe (author), Li, Xinlei (author), Zhang, Guangjun (author), Horvath, I. (author), Han, Qinglin (author)
The deposition process of wire and arc additive manufacturing (WAAM) is usually planned based on a bead geometry model (BGM), which represents the relationship between bead geometries (e.g. width, height) and required deposition parameters. However, the actual deposition situation may deviate from the one in which the BGM is built, such as...
journal article 2021
document
Mahmoud, A.N.N. (author), Adelmann, Christoph (author), Vanderveken, Frederic (author), Cotofana, S.D. (author), Ciubotaru, Florin (author), Hamdioui, S. (author)
Having multi-output logic gates saves much energy because the same structure can be used to feed multiple inputs of next stage gates simultaneously. This paper proposes novel triangle shape fanout of 2 spin wave Majority and XOR gates; the Majority gate is achieved by phase detection, whereas the XOR gate is achieved by threshold detection. The...
conference paper 2021
document
Milton-Thompson, Olivia (author), Javadi, Akbar A. (author), Kapelan, Z. (author), Cahill, Aaron G. (author), Welch, Laurie (author)
Recent natural gas development by means of hydraulic fracturing requires a detailed risk analysis to eliminate or mitigate damage to the natural environment. Such geo-energy related subsurface activities involve complex engineering processes and uncertain data, making comprehensive, quantitative risk assessments a challenge to develop. This...
journal article 2021
document
Hinrichsen, Jonas Kastberg (author), Louwrink, Daniël (author), Krebbers, R.J. (author), Bengtson, Jesper (author)
Session types- A family of type systems for message-passing concurrency-have been subject to many extensions, where each extension comes with a separate proof of type safety. These extensions cannot be readily combined, and their proofs of type safety are generally not machine checked, making their correctness less trustworthy. We overcome...
conference paper 2021
document
Wu, Di (author), Zhang, Yao (author), Ourak, Mouloud (author), Niu, Kenan (author), Dankelman, J. (author), Vander Poorten, Emmanuel B. (author)
Catheters are increasingly being used to tackle problems in the cardiovascular system. However, positioning precision of the catheter tip is negatively affected by hysteresis. To ensure tissue damage due to imprecise positioning is avoided, hysteresis is to be understood and compensated for. This work investigates the feasibility to model...
journal article 2021
document
Kuppens, P.R. (author), Bessa, M.A. (author), Herder, J.L. (author), Hopkins, J. B. (author)
We introduce two essential building blocks with binary stiffness for mechanical digital machines. The large scale fully compliant mechanisms have rectilinear and rotational kinematics and use a new V-shaped negative stiffness structure to create two extreme states of stiffness by static balancing. The use of a mechanical bistable switch...
journal article 2021
document
Ruiz Orjuela, Liliana (author), Lizarazo Salcedo, Iván (author), León Sánchez, C.A. (author)
This article shows the development of an optimal location model, designed to respond to the deficit in the supply of justice facilities in the city of Bogotá D.C. - Colombia. This optimal location model considers criteria of spatial efficiency and territorial justice, as well as normative, geographical and social aspects that limit the selection...
journal article 2021
document
Verdier, C.F. (author)
Control design for modern safety-critical cyber-physical systems still requires significant expert-knowledge, since for general hybrid systems with temporal logic specifications there are no constructive methods. Nevertheless, in recent years multiple approaches have been proposed to automatically synthesize correct-by-construction controllers....
doctoral thesis 2020
document
Solanki, Prashant (author)
Quadcopters are becoming increasingly popular across diverse sectors such as mapping, photography, or surveillance. Since rotor damages occur frequently, it is essential to improve the attitude estimation and thus ultimately the ability to control a damaged quadcopter. The Control and Simulation group of TU Delft developed a quadcopter...
master thesis 2020
Searched for: subject%3A%22Logic%22
(1 - 20 of 121)

Pages