4,097 research outputs found
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 -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%
- …