Human language technology and communicative disabilities: requirements and possibilities for the future

For some years now, the Nederlandse Taalunie (Dutch Language Union) has been active in promoting the development of human language technology (HLT) applications for speakers of Dutch with communicative disabilities. The reason is that HLT products and services may enable them to improve their communication skills and verbal autonomy. We sought to identify a minimum common set of HLT resources that is required to develop tools for a wide range of communication disabilities. In order to reach this goal, we investigated the specific needs of communicatively disabled people and related these needs to the underlying HLT software components. By analysing the availability and quality of these essential HLT resources, we were able to identify which of the crucial elements need further research and development to become usable for developing applications for communicatively disabled speakers of Dutch. The results obtained in the current survey can be used to inform policy institutions on how they can stimulate the development of HLT resources for this target group. In the current survey results were obtained for Dutch, but a similar approach can also be applied to other languages.     

Systematic Review and Meta-Analysis of Mass Spectrometry Proteomics Applied to Human Peripheral Fluids to Assess Potential Biomarkers of Schizophrenia

Mass spectrometry (MS)-based techniques can be a powerful tool to identify neuropsychiatric disorder biomarkers, improving prediction and diagnosis ability. Here, we evaluate the efficacy of MS proteomics applied to human peripheral fluids of schizophrenia (SCZ) patients to identify disease biomarkers and relevant networks of biological pathways. Following PRISMA guidelines, a search was performed for studies that used MS proteomics approaches to identify proteomic differences between SCZ patients and healthy control groups (PROSPERO database: CRD42021274183). Nineteen articles fulfilled the inclusion criteria, allowing the identification of 217 differentially expressed proteins. Gene ontology analysis identified lipid metabolism, complement and coagulation cascades, and immune response as the main enriched biological pathways. Meta-analysis results suggest the upregulation of FCN3 and downregulation of APO1, APOA2, APOC1, and APOC3 in SCZ patients. Despite the proven ability of MS proteomics to characterize SCZ, several confounding factors contribute to the heterogeneity of the findings. In the future, we encourage the scientific community to perform studies with more extensive sampling and validation cohorts, integrating omics with bioinformatics tools to provide additional comprehension of differentially expressed proteins. The produced information could harbor potential proteomic biomarkers of SCZ, contributing to individualized prognosis and stratification strategies, besides aiding in the differential diagnosis.     

Modeling multi-rate DSP specification semantics for formal transformational design in HOL

The CATHEDRAL Silicon Compilers synthesize hardware for DSP algorithms specified in Silage, a high level applicative language. In order to optimize the results of the silicon compilation in terms of chip-area and/or throughput, the user often massages the specification applying transformations to the Silage code. To guarantee that the transformations preserve the behavior of the specified algorithm, the formal semantics of the specification language had to be defined. The semantics has been used to prove in HOL the correctness of the transformations and to prove properties of the specification. We are currently building a system where a menu of useful andcorrectness preserving transformations will be available to the user. In this system the user could choose appropriate transformations from the menu taking advantage of his creativity and expertise to interactively guide the silicon compiler, without the risk of introducing inconsistencies. This article describes the formalmulti-rate semantics of a substantial subset of Silage and illustrates some formally verified transformations.     

Probing Ambiguous Base‐Pairs by Genetic Transformation with XNA Templates

The templating potential of anhydrohexitol oligonucleotides bearing ambiguous bases was studied in vivo, by using a selection screen for mosaic heteroduplex plasmids in Escherichia coli. 1,5‐Anhydro‐2,3‐dideoxy‐2‐(5‐nitroindazol‐1‐yl)‐D ‐arabino‐hexitol showed the greatest ambiguity among the three nucleosides tested. At most two successive ambiguous bases could be tolerated on hexitol templates read in bacterial cells. Hexitol nucleosides bearing simplified heterocycles thus stand as promising monomers for generating random DNA sequences in vivo from defined synthetic oligonucleotides.     

Oligothiophene S,S-dioxides: towards n-type semiconductor oligothiophenes?

A new class of thiophene based materials — oligothiophene S,S-dioxides, characterized by a much greater electron affinity than the precursor oligothiophenes — is described.     

Occurrence of cocaine in the air of the World’s cities: An emerging problem? A new tool to investigate the social incidence of drugs?

The occurrence of illicit substances in the air was investigated in various world locations and ambient conditions. The analytical procedure optimized for cocaine, methadone and cocaethylene, based upon soxhlet extraction with organic solvent, clean-up through column chromatography, gas chromatographic separation and mass spectrometric detection, allowed the detection of the three compounds at levels as low as ~ 1 pg m^− 3 in air samples of ~ 500 m³. Apart from Algiers, Algeria, and Pan?evo, Serbia, cocaine was found in all cities investigated and its concentration ranged from picograms to nanograms/cubic meter (e.g., Rome, Italy, 22 ÷ 97 pg m^− 3; Santiago, Chile, 2.2 ÷ 3.3 ng m^− 3). By contrast, the concentrations of methadone and cocaethylene in the air were always lower than the limit-of-detection allowed by the method. The procedure adopted was unsuitable for measuring cannabinoids and allowed only the identification of cannabinol. It was also poor in limit-of-detection with regards to heroin (35 pg m^− 3), however this compound could be identified in airborne particulates in Oporto, Portugal. Atmospheric concentrations of cocaine appeared to correlate to drug prevalence in the Italian regions investigated.     

Building design‐time and run‐time knowledge for QoS‐based component assembly

Modern software systems are required to dynamically adapt to changing workloads, scenarios, and objectives and to achieve a certain Quality of Service (QoS). Guaranteeing QoS requirements is not trivial, as run‐time uncertainty might invalidate the design‐time rationale, where software components have been selected by means of off‐line analysis. In this work, we propose a QoS‐based feedback approach that makes a combined use of design‐time predictions and run‐time measurements to manage QoS data over time and support software architects while selecting software components that best fit QoS requirements. We illustrate the feasibility and efficacy of the approach on a case study, where the quantitative evaluation shows how the analysis effectively identifies the sources of QoS violations and indicates possible solutions to achieve QoS requirements.     

Thermal stability and flammability of electrolytes for lithium-ion batteries

Safety is the key-feature of large-size lithium-ion batteries and thermal stability of the electrolytes is crucial. We investigated the thermal and flammability properties of mixed electrolytes based on the conventional ethylene carbonate-dimethyl carbonate (1:1 wt/wt)-1 M LiPF₆ and the hydrophobic ionic liquid N-butyl-N-methylpyrrolidinium bis(trifluoromethanesulfonyl)imide (Pyr₁₄TFSI). The results of thermogravimetric analyses and flammability tests of mixed electrolytes of different compositions are reported and discussed. An important finding is that though the mixtures with high contents of ionic liquid are more difficult to ignite, they burn for a longer time, once they are ignited.