"A Smack of Irrelevance" in Inconsistent Mathematics?

Recently, some proponents and practitioners of inconsistent mathe- matics have argued that the subject requires a conditional with ir- relevant features, i.e. where antecedent and consequent in a valid conditional do not behave as expected in relevance logics —by shar- ing propositional variables, for example. Here we argue that more fine-grained notions of content and content-sharing are needed to ex- amine the language of (inconsistent) arithmetic and set theory, and that the conditionals needed in inconsistent mathematics are not as irrelevant as it is suggested in the current literature

"A Smack of Irrelevance" in Inconsistent Mathematics?

Recently, some proponents and practitioners of inconsistent mathe- matics have argued that the subject requires a conditional with ir- relevant features, i.e. where antecedent and consequent in a valid conditional do not behave as expected in relevance logics —by shar- ing propositional variables, for example. Here we argue that more fine-grained notions of content and content-sharing are needed to ex- amine the language of (inconsistent) arithmetic and set theory, and that the conditionals needed in inconsistent mathematics are not as irrelevant as it is suggested in the current literature

Boosting Backward Search Throughput for FM-Index Using a Compressed Encoding

The rapid development of DNA sequencing technologies has demanded for com- pressed data structures supporting fast pattern matching queries. FM-index is a widely-used compressed data structure that also supports fast pattern matching queries. It is common for the exact matching algorithm to be memory bound, resulting in poor performance. Searching several symbols in a single step improves data locality, although the memory bandwidth requirements remains the same. We propose a new data-layout of FM-index, called Split bit-vector, that compacts all data needed to search k symbols in a single step (k-step), reducing both memory movement and computing requirements at the cost of increasing memory footprint.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Reconstruction of Iberian ceramic potteries using generative adversarial networks

Several aspects of past culture, including historical trends, are inferred from time-based patterns observed in archaeological artifacts belonging to different periods. The presence and variation of these objects provides important clues about the Neolithic revolution and given their relative abundance in most archaeological sites, ceramic potteries are significantly helpful in this purpose. Nonetheless, most available pottery is fragmented, leading to missing morphological information. Currently, the reassembly of fragmented objects from a collection of thousands of mixed fragments is a daunting and time-consuming task done almost exclusively by hand, which requires the physical manipulation of the fragments. To overcome the challenges of manual reconstruction and improve the quality of reconstructed samples, we present IberianGAN, a customized Generative Adversarial Network (GAN) tested on an extensive database with complete and fragmented references. We trained the model with 1072 samples corresponding to Iberian wheel-made pottery profiles belonging to archaeological sites located in the upper valley of the Guadalquivir River (Spain). Furthermore, we provide quantitative and qualitative assessments to measure the quality of the reconstructed samples, along with domain expert evaluation with archaeologists. The resulting framework is a possible way to facilitate pottery reconstruction from partial fragments of an original piece.Fil: Navarro, Jose Pablo. Universidad Nacional de la Patagonia "San Juan Bosco". Facultad de Ingeniería - Sede Puerto Madryn. Departamento de Informática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Instituto Patagónico de Ciencias Sociales y Humanas; ArgentinaFil: Cintas, Celia. Catholic University Of Eastern Africa; KeniaFil: Lucena, Manuel. Universidad de Jaén; EspañaFil: Fuertes, José Manuel. Universidad de Jaén; EspañaFil: Segura, Rafael. Universidad de Jaén; EspañaFil: Delrieux, Claudio Augusto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur; ArgentinaFil: Gonzalez-Jose, Rolando. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Instituto Patagónico de Ciencias Sociales y Humanas; Argentin

Engineered microenvironments for synergistic VEGF - integrin signalling during vascularization

We have engineered polymer-based microenvironments that promote vasculogenesis both in vitro and in vivo through synergistic integrin-growth factor receptor signalling. Poly(ethyl acrylate) (PEA) triggers spontaneous organization of fibronectin (FN) into nanonetworks which provide availability of critical binding domains. Importantly, the growth factor binding (FNIII12-14) and integrin binding (FNIII9-10) regions are simultaneously available on FN fibrils assembled on PEA. This material platform promotes synergistic integrin/VEGF signalling which is highly effective for vascularization events in vitro with low concentrations of VEGF. VEGF specifically binds to FN fibrils on PEA compared to control polymers (poly(methyl acrylate), PMA) where FN remains in a globular conformation and integrin/GF binding domains are not simultaneously available. The vasculogenic response of human endothelial cells seeded on these synergistic interfaces (VEGF bound to FN assembled on PEA) was significantly improved compared to soluble administration of VEGF at higher doses. Early onset of VEGF signalling (PLCγ1 phosphorylation) and both integrin and VEGF signalling (ERK1/2 phosphorylation) were increased only when VEGF was bound to FN nanonetworks on PEA, while soluble VEGF did not influence early signalling. Experiments with mutant FN molecules with impaired integrin binding site (FN-RGE) confirmed the role of the integrin binding site of FN on the vasculogenic response via combined integrin/VEGF signalling. In vivo experiments using 3D scaffolds coated with FN and VEGF implanted in the murine fat pad demonstrated pro-vascularization signalling by enhanced formation of new tissue inside scaffold pores. PEA-driven organization of FN promotes efficient presentation of VEGF to promote vascularization in regenerative medicine applications

Biopharmaceutical optimization in neglected diseases for paediatric patients by applying the provisional paediatric biopharmaceutical classification system

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/146268/1/bcp13650.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/146268/2/bcp13650_am.pd

Oral administration of zein-based nanoparticles reduces glycemia and improves glucose tolerance in rats

The aim was to evaluate the effect of zein-based nanoparticles on the glucose homeostasis, following oral administration to Wistar rats. For this purpose, bare nanoparticles (NP, with tropism for the upper intestinal regions) and poly(ethylene glycol)-coated nanoparticles (NP-PEG), with the capability to reach the ileum and cecum of animals, were evaluated. Both formulations were spherical in shape, displaying sizes around 200 nm and a negative surface zeta potential. The oral administration of a single dose of these nanoparticles to animals (50 mg/kg) induced a significant decrease of the glycemia, compared control rats and in animals treated with the free protein (p < 0.001). Moreover, these nanoparticles improved the glycemic control against an intraperitoneal glucose tolerance test; particularly NP-PEG. These findings would be due to an increased release of glucagon-like peptide-1 (GLP-1) by L-cells, which are more abundant in distal regions of the intestine. In fact, the GLP-1 blood levels of animals treated with nanoparticles were significantly higher than controls (about 40 % and 60 % for NP and NP-PEG groups, respectively). This higher capability of NP-PEG, with respect to NP, to increase the release of GLP-1 and control glycemia would be related to its ability to reach the distal areas of the small intestine

Computer-assisted dental implant placement following free flap reconstruction: virtual planning, CAD/CAM templates, dynamic navigation and augmented reality

Image-guided surgery, prosthetic-based virtual planning, 3D printing, and CAD/CAM technology are changing head and neck ablative and reconstructive surgical oncology. Due to quality-of-life improvement, dental implant rehabilitation could be considered in every patient treated with curative intent. Accurate implant placement is mandatory for prosthesis long-term stability and success in oncologic patients. We present a prospective study, with a novel workflow, comprising 11 patients reconstructed with free flaps and 56 osseointegrated implants placed in bone flaps or remnant jaws (iliac crest, fibula, radial forearm, anterolateral thigh). Starting from CT data and jaw plaster model scanning, virtual dental prosthesis was designed. Then prosthetically driven dental implacement was also virtually planned and transferred to the patient by means of intraoperative infrared optical navigation (first four patients), and a combination of conventional static teeth supported 3D-printed acrylic guide stent, intraoperative dynamic navigation, and augmented reality for final intraoperative verification (last 7 patients). Coronal, apical, and angular deviation between virtual surgical planning and final guided intraoperative position was measured on each implant. There is a clear learning curve for surgeons when applying guided methods. Initial only-navigated cases achieved low accuracy but were comparable to non-guided freehand positioning due to jig registration instability. Subsequent dynamic navigation cases combining highly stable acrylic static guides as reference and registration markers result in the highest accuracy with a 1-1.5-mm deviation at the insertion point. Smartphone-based augmented reality visualization is a valuable tool for intraoperative visualization and final verification, although it is still a difficult technique for guiding surgery. A fixed screw-retained ideal dental prosthesis was achieved in every case as virtually planned. Implant placement, the final step in free flap oncological reconstruction, could be accurately planned and placed with image-guided surgery, 3D printing, and CAD/CAM technology. The learning curve could be overcome with preclinical laboratory training, but virtually designed and 3D-printed tracer registration stability is crucial for accurate and predictable results. Applying these concepts to our difficult oncologic patient subgroup with deep anatomic alterations ended in comparable results as those reported in non-oncologic patients.This work was supported by grant PI18/01625 (Ministerio de Ciencia e Innovación-Instituto de Salud Carlos III and European Regional Development Fund "Una manera de hacer Europa"). This study was also supported by Ticare® implants (Mozo-Grau, Valladolid, Spain). The funder was not involved in the study design, collection, analysis, interpretation of data, the writing of this article or the decision to submit it for publication

Configuration and supervision of advanced distribuited data adquisition and processing systems for long pulse experiments using JINI technology.

The development of tools for managing the capabilities and functionalities of distributed data acquisition systems is essential in long pulse fusion experiments. The intelligent test and measurement system (ITMS) developed by UPM and CIEMAT is a technology that permits implementation of a scalable data acquisition and processing system based on PXI or CompactPCI hardware. Several applications based on JINI technology have been developed to enable use of this platform for extensive implementation of distributed data acquisition and processing systems. JINI provides a framework for developing service-oriented, distributed applications. The applications are based on the paradigm of a JINI federation that supports mechanisms for publication, discovering, subscription, and links to remote services. The model we implemented in the ITMS platform included services in the system CPU (SCPU) and peripheral CPUs (PCPUs). The resulting system demonstrated the following capabilities: (1) setup of the data acquisition and processing to apply to the signals, (2) information about the evolution of the data acquisition, (3) information about the applied data processing and (4) detection and distribution of the events detected by the ITMS software applications. With this approach, software applications running on the ITMS platform can be understood, from the perspective of their implementation details, as a set of dynamic, accessible, and transparent services. The search for services is performed using the publication and subscription mechanisms of the JINI specification. The configuration and supervision applications were developed using remotely accessible (LAN or WAN) objects. The consequence of this approach is a hardware and software architecture that provides a transparent model of remote configuration and supervision, and thereby a means to simplify the implementation of a distributed data acquisition system with scalable and dynamic local processing capability developed in a fusion environment

Evaluation of the Effect of 1,3-Bis(4-Phenyl)-1H-1,2,3- Triazolyl-2-Propanolol on Gene Expression Levels of JAK2–STAT3, NF-jB, and SOCS3 in Cells Cultured from Biopsies of Mammary Lesions

El presente artículo es el resultado de la evaluación del efecto de un bistriazol mediante la expresión génica de JAK2, STAT3, SOCS3 y NF-κB, vías involucradas en lesiones benignas de mama posiblemente dependiente del índice de masa corporal, dando así una relación entre el cáncer y obesidad. En este estudio se calculó la concentración inhibitoria 50 del bistriazol en cultivos celulares de pacientes con lesión benigna (Probit = 4.6 μM con IC= 95 %). En 63 mujeres que acudieron a realizarse biopsia en el Hospital Materno Perinatal "Mónica Pretellini Sáenz", 21 fueron con cáncer, se les tomaron medidas antropométricas y biopsia de la lesión en mama, en la cual se determinó expresión génica y se realizó cultivo celular con el bistriazol a la concentración de 4.6 μM. Se encontró que el cáncer de mama está relacionado con edad mayor de 50 años (P≤ 0.01), sobrepeso (P≤ 0.023) y circunferencia cintura mayor de 80 cm (P≤ 0.01). La expresión génica de JAK2, STAT3 y NF-κB fue mayor en el grupo de pacientes con cáncer en cuanto que SOCS3 resultó ser menor. La expresión después de haber sido sometida al bistriazol, disminuyó la expresión de JAK2 y STAT3, aumentó la expresión de SOCS3 y de NF-κB. Se concluye que esta molécula en desarrollo tiene efecto en la expresión génica de JAK2 y STAT3. Sin embargo, la vía de expresión NF-κB no esta marcadamente involucrada en la regulación de la inflamación.Breast cancer is the most frequent neoplasia in women and is responsible for approximately 13.8% of deaths per year for this gender. It has been suggested that JAK2, STAT3, and NF-κB gene expression is involved in this type of cancer. The objective of the present study was to determine the effect of bistriazole in these signaling pathways in patients with breast cancer and benign mammary lesions. The inhibitory concentration 50 of bistriazole was calculated in cell cultures of patients with benign lesions, Probit = 4.6 μM with IC = 95%. The study was performed by examining 63 women who submitted to mammary biopsies. Biopsies of the mammary lesions were performed, gene expression was determined, and cells were cultured in the presence of 4.6 μM bistriazole. We found that breast cancer is related to age greater than 50 (P ≤ 0.01), being overweight (P ≤ 0.023) and having a waist circumference larger than 80 cm (P ≤ 0.01). The gene expression of JAK2, STAT3, and NF-κB was higher in groups of patients with breast cancer, while SOCS3 expression was lower. After being exposed to bistriazole, the expression of JAK2 and STAT3 decreased, and the expression of SOCS3 and NF-κB increased. In conclusion, this molecule in development has an effect on the gene expression of JAK3 and STAT3; nevertheless, the lack of change in NF-κB indicates that it is not a regulator of inflammation, and therefore, more studies should be performed