Numerical Analysis on the Optimisation of Thermal Comfort Levels in an Office Located inside a Historical Building

The present study examines the possibility of thermal comfort optimisation inside an office room where, due to historical heritage, it is possible to modify neither the energetic characteristic of the envelope nor the position of the inlet air vents. The distribution of global and local thermal comfort indices is evaluated in both heating and cooling conditions by establishing a computational fluid dynamics (CFD) model validated against experimental data. The obtained results demonstrate a striking asymmetry of the air velocity and temperature distribution due to the low energy efficiency of the building. In heating mode, the predicted mean vote (PMV) values were improved if the discharged air from the fan coil was at its maximal velocity. However, at the same time, the vertical air temperature gradient increased by around 0.5 C in each working station. In the cooling condition, in the absence of the solar radiation, the minimal air-flow rate satisfied the acceptable range of the draught rate (DR), whereas in the presence of a solar load, it could not meet the required cooling load in all positions, leading to higher floor temperature. The findings of this study allow for identifying and rearranging the optimal position of working stations in terms of thermal comfort

The Force Awakens: Artificial intelligence for consumer law

Recent years have been tainted by market practices that continuously expose us, as consumers, to new risks and threats. We have become accustomed, and sometimes even resigned, to businesses monitoring our activities, examining our data, and even meddling with our choices. Artificial Intelligence (AI) is often depicted as a weapon in the hands of businesses and blamed for allowing this to happen. In this paper, we envision a paradigm shift, where AI technologies are brought to the side of consumers and their organizations, with the aim of building an efficient and effective counter-power. AI-powered tools can support a massive-scale automated analysis of textual and audiovisual data, as well as code, for the benefit of consumers and their organizations. This in turn can lead to a better oversight of business activities, help consumers exercise their rights, and enable the civil society to mitigate information overload. We discuss the societal, political, and technological challenges that stand before that vision

The Lambek calculus with iteration: two variants

Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi. The first one is a fragment of infinitary action logic and includes an omega-rule for introducing iteration to the antecedent. We also consider a version with infinite (but finitely branching) derivations and prove equivalence of these two versions. In Kleene algebras, this line of calculi corresponds to the *-continuous case. For the second line, we restrict our infinite derivations to cyclic (regular) ones. We show that this system is equivalent to a variant of action logic that corresponds to general residuated Kleene algebras, not necessarily *-continuous. Finally, we show that, in contrast with the case without division operations (considered by Kozen), the first system is strictly stronger than the second one. To prove this, we use a complexity argument. Namely, we show, using methods of Buszkowski and Palka, that the first system is $\Pi_1^0$-hard, and therefore is not recursively enumerable and cannot be described by a calculus with finite derivations

High Force Magnetic Levitation Using Magnetized Superconducting Bulks as a Field Source for Bearing Applications

n/

Compressive Sensing of Signals Generated in Plastic Scintillators in a Novel J-PET Instrument

The J-PET scanner, which allows for single bed imaging of the whole human body, is currently under development at the Jagiellonian University. The dis- cussed detector offers improvement of the Time of Flight (TOF) resolution due to the use of fast plastic scintillators and dedicated electronics allowing for sam- pling in the voltage domain of signals with durations of few nanoseconds. In this paper we show that recovery of the whole signal, based on only a few samples, is possible. In order to do that, we incorporate the training signals into the Tikhonov regularization framework and we perform the Principal Component Analysis decomposition, which is well known for its compaction properties. The method yields a simple closed form analytical solution that does not require iter- ative processing. Moreover, from the Bayes theory the properties of regularized solution, especially its covariance matrix, may be easily derived. This is the key to introduce and prove the formula for calculations of the signal recovery error. In this paper we show that an average recovery error is approximately inversely proportional to the number of acquired samples

Application of the Compress Sensing Theory for Improvement of the TOF Resolution in a Novel J-PET Instrument

Nowadays, in Positron Emission Tomography (PET) systems, a Time of Flight information is used to improve the image reconstruction process. In Time of Flight PET (TOF-PET), fast detectors are able to measure the difference in the arrival time of the two gamma rays, with the precision enabling to shorten significantly a range along the line-of-response (LOR) where the annihilation occurred. In the new concept, called J-PET scanner, gamma rays are detected in plastic scintillators. In a single strip of J-PET system, time values are obtained by probing signals in the amplitude domain. Owing to Compress Sensing theory, information about the shape and amplitude of the signals is recovered. In this paper we demonstrate that based on the acquired signals parameters, a better signal normalization may be provided in order to improve the TOF resolution. The procedure was tested using large sample of data registered by a dedicated detection setup enabling sampling of signals with 50 ps intervals. Experimental setup provided irradiation of a chosen position in the plastic scintillator strip with annihilation gamma quanta

Novel method for hit-position reconstruction using voltage signals in plastic scintillators and its application to Positron Emission Tomography

Currently inorganic scintillator detectors are used in all commercial Time of Flight Positron Emission Tomograph (TOF-PET) devices. The J-PET collaboration investigates a possibility of construction of a PET scanner from plastic scintillators which would allow for single bed imaging of the whole human body. This paper describes a novel method of hit-position reconstruction based on sampled signals and an example of an application of the method for a single module with a 30 cm long plastic strip, read out on both ends by Hamamatsu R4998 photomultipliers. The sampling scheme to generate a vector with samples of a PET event waveform with respect to four user-defined amplitudes is introduced. The experimental setup provides irradiation of a chosen position in the plastic scintillator strip with an annihilation gamma quanta of energy 511~keV. The statistical test for a multivariate normal (MVN) distribution of measured vectors at a given position is developed, and it is shown that signals sampled at four thresholds in a voltage domain are approximately normally distributed variables. With the presented method of a vector analysis made out of waveform samples acquired with four thresholds, we obtain a spatial resolution of about 1 cm and a timing resolution of about 80 p

High prevalence of BRCA1 deletions in BRCAPRO-positive patients with high carrier probability.

Mutation screening of the BRCA1 and BRCA2 genes in probands with familial breast/ovarian cancer has been greatly improved by the multiplex ligation-dependent probe amplification (MLPA) assay able to evidence gene rearrangements not detectable by standard screening methods. However, no criteria for selection of cases to be submitted to the MLPA test have been reported yet. We used the BRCAPro software for the selection of familial breast/ovarian cancer probands investigated with the MLPA approach after negative BRCA1/2 conventional mutation screening. One hundred and seventy-seven probands were investigated for germline BRCA1/2 mutations after assessment of genetic risk using BRCAPro. Probands were classified as BRCAPro positive (n = 67) when the carrier probability (CP) was >10% and as BRCAPro negative (n = 110), when the CP was <10%. Conventional mutational analyses of the BRCA1/2 genes and, in one case, of p53 identified 22 pathogenetic germline mutations, 12 in BRCA1, 9 in BRCA2 and 1 in p53, in 22/177 (12.4%) probands. All the mutations except one were detected in BRCAPro-positive patients. In the 46 BRCAPro-positive cases that resulted negative by BRCA1/2 mutation, screening analysis of rearrangements within BRCA1/2 by MLPA was carried out. Three patients with a very high CP showed BRCA1 deletions, consisting of deletions of exons 1–2 in two probands and of exon 24 in the third proband. In one case, the exons 1–2 deletion was shown to cosegregate with disease in the family. No BRCA2 rearrangements were detected, but one patient showed the 1100delC of the CHEK2 gene, whose probe is present in the BRCA2 kit. In our series, the highest carrier detection rate of mutation screening plus MLPA analysis (52.3%) was in patients with a BRCAPro CP >50%