Study of the drying kinetics for apples in a convective drier

In the present work a convective drier was used to dehydrate apple slices up to a moisture content of less than 2 % (wet basis), so as to obtain a crunchy apple snack. Two commercial varieties were tested, namely Golden and Smith. The drier was operated at different temperatures, 30, 40 50 and 60 ºC, and the moisture content of the product was calculated based on the mass, which was registered by means of a data logger, throughout the whole trial. The kinetic data was then treated and fitted to different thin layer models frequently cited in literature, which were: Page, Henderson and Pabis, Logarithmic and Vega-Lemus. Others were also tested, but convergence was not achieved. For the fitting software SigmaPlot V8.0 (SPSS, Inc.) was used, and to evaluate the quality of the estimations the correlation coefficient (R) and the standard error of the estimate (SEE) were determined From the models tested it was possible to see that the Vega-Lemus was the worst to describe the drying kinetic in the present case, on the other hand, the best model was the Page. Also the Fick’s equation for diffusion was used to estimate the diffusivities at different temperatures, and from those to estimate the activation energy for moisture diffusion, which was found to be 35 kJ/mol for the drying of apples from Golden variety and 33 kJ/mol for the Smith variety

Study of chemical and physical properties of apples dried in a convective drier.

The present study evaluates the effects of drying on apple slices from two varieties, Golden Delicious and Granny Smith, which were analyzed in terms of physical and chemical properties. The tests involved the determination of moisture, acidity, soluble solids, colour and texture. Trials were performed in a convective hot air dryer for different temperatures of 30, 40, 50 and 60 ° C. The results showed that the final moisture of the two varieties of apples was around 3 % (wet basis). With regards to acidity, the variety Granny Smith was found to be more acid than the Golden Delicious. The soluble solids are present, in general, in greater amounts in the variety Granny Smith. As to the colour, this varied very considerably from the fresh apples to the dried ones. Apples of the variety Golden Delicious presented a higher intensity of yellow (b* > 0) and red (a* > 0). However, in comparison to the variety Granny Smith the Golden Delicious presents, in general, smaller total colour differences. The textural attributes evaluated were hardness, adhesiveness, elasticity, cohesiveness and chewiness. However, the results for adhesiveness were very close to zero showing that these products do not have adhesiveness, as it happens with other fruits. It was also found that the fresh apples have a much higher hardness, when compared to the dried samples. Elasticity, on the other hand, was kept approximately constant regardless of the variety or state. Cohesiveness was higher in the fresh apples, and for the dried ones was higher for variety Golden. Finally, chewiness was higher for the fresh apples in comparison to the dried ones, and was higher for Golden Delicious when compared with Granny Smith

Efficient Certified Resolution Proof Checking

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture

The influence of semantic and phonological factors on syntactic decisions: An event-related brain potential study

During language production and comprehension, information about a word's syntactic properties is sometimes needed. While the decision about the grammatical gender of a word requires access to syntactic knowledge, it has also been hypothesized that semantic (i.e., biological gender) or phonological information (i.e., sound regularities) may influence this decision. Event-related potentials (ERPs) were measured while native speakers of German processed written words that were or were not semantically and/or phonologically marked for gender. Behavioral and ERP results showed that participants were faster in making a gender decision when words were semantically and/or phonologically gender marked than when this was not the case, although the phonological effects were less clear. In conclusion, our data provide evidence that even though participants performed a grammatical gender decision, this task can be influenced by semantic and phonological factors

Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2

Preliminary definitions for the sonographic features of synovitis in children

Objectives Musculoskeletal ultrasonography (US) has the potential to be an important tool in the assessment of disease activity in childhood arthritides. To assess pathology, clear definitions for synovitis need to be developed first. The aim of this study was to develop and validate these definitions through an international consensus process. Methods The decision on which US techniques to use, the components to be included in the definitions as well as the final wording were developed by 31 ultrasound experts in a consensus process. A Likert scale of 1-5 with 1 indicating complete disagreement and 5 complete agreement was used. A minimum of 80% of the experts scoring 4 or 5 was required for final approval. The definitions were then validated on 120 standardized US images of the wrist, MCP and tibiotalar joints displaying various degrees of synovitis at various ages. Results B-Mode and Doppler should be used for assessing synovitis in children. A US definition of the various components (i.e. synovial hypertrophy, effusion and Doppler signal within the synovium) was developed. The definition was validated on still images with a median of 89% (range 80-100) of participants scoring it as 4 or 5 on a Likert scale. Conclusions US definitions of synovitis and its elementary components covering the entire pediatric age range were successfully developed through a Delphi process and validated in a web-based still images exercise. These results provide the basis for the standardized US assessment of synovitis in clinical practice and research

Focusing and Compression of Ultrashort Pulses through Scattering Media

Light scattering in inhomogeneous media induces wavefront distortions which pose an inherent limitation in many optical applications. Examples range from microscopy and nanosurgery to astronomy. In recent years, ongoing efforts have made the correction of spatial distortions possible by wavefront shaping techniques. However, when ultrashort pulses are employed scattering induces temporal distortions which hinder their use in nonlinear processes such as in multiphoton microscopy and quantum control experiments. Here we show that correction of both spatial and temporal distortions can be attained by manipulating only the spatial degrees of freedom of the incident wavefront. Moreover, by optimizing a nonlinear signal the refocused pulse can be shorter than the input pulse. We demonstrate focusing of 100fs pulses through a 1mm thick brain tissue, and 1000-fold enhancement of a localized two-photon fluorescence signal. Our results open up new possibilities for optical manipulation and nonlinear imaging in scattering media

An Epigenetic Blockade of Cognitive Functions in the Neurodegenerating Brain

Cognitive decline is a debilitating feature of most neurodegenerative diseases of the central nervous system, including Alzheimer’s disease. The causes leading to such impairment are only poorly understood and effective treatments are slow to emerge. Here we show that cognitive capacities in the neurodegenerating brain are constrained by an epigenetic blockade of gene transcription that is potentially reversible. This blockade is mediated by histone deacetylase 2, which is increased by Alzheimer’s-disease-related neurotoxic insults in vitro, in two mouse models of neurodegeneration and in patients with Alzheimer’s disease. Histone deacetylase 2 associates with and reduces the histone acetylation of genes important for learning and memory, which show a concomitant decrease in expression. Importantly, reversing the build-up of histone deacetylase 2 by short-hairpin-RNA-mediated knockdown unlocks the repression of these genes, reinstates structural and synaptic plasticity, and abolishes neurodegeneration-associated memory impairments. These findings advocate for the development of selective inhibitors of histone deacetylase 2 and suggest that cognitive capacities following neurodegeneration are not entirely lost, but merely impaired by this epigenetic blockade

Orbital textures and charge density waves in transition metal dichalcogenides

Low-dimensional electron systems, as realized naturally in graphene or created artificially at the interfaces of heterostructures, exhibit a variety of fascinating quantum phenomena with great prospects for future applications. Once electrons are confined to low dimensions, they also tend to spontaneously break the symmetry of the underlying nuclear lattice by forming so-called density waves; a state of matter that currently attracts enormous attention because of its relation to various unconventional electronic properties. In this study we reveal a remarkable and surprising feature of charge density waves (CDWs), namely their intimate relation to orbital order. For the prototypical material 1T-TaS2 we not only show that the CDW within the two-dimensional TaS2-layers involves previously unidentified orbital textures of great complexity. We also demonstrate that two metastable stackings of the orbitally ordered layers allow to manipulate salient features of the electronic structure. Indeed, these orbital effects enable to switch the properties of 1T-TaS2 nanostructures from metallic to semiconducting with technologically pertinent gaps of the order of 200 meV. This new type of orbitronics is especially relevant for the ongoing development of novel, miniaturized and ultra-fast devices based on layered transition metal dichalcogenides