Is the List of Incomplete Open Cubes Complete?

Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before.     

Access point selection in the network of Internet of things (IoT) considering the strategic behavior of the things and users

The Journal of Supercomputing - With the expansion in the use of IoT, increasing the efficiency of these networks has become even more significant. Objects need reliable communications at suitable...     

Multitouch tablet applications and activities to enhance the social skills of children with autism spectrum disorders

In spite of great improvements in early diagnosis and interventions, most children diagnosed with autism spectrum disorders (ASD) are unlikely to live independently when they reach adulthood. We have been conducting research on novel computer-based interventions with the goal of promoting social skills. Working with 26 children with ASD, their teachers, and other stakeholders, we have iteratively developed a set of activities based on applications that run on multitouch tablets. Our observations suggest these activities increased pro-social behaviors such as collaboration and coordination, augmented appreciation for social activities, and provided children with novel forms of expression.     

Increased Bone Resorption during Lactation in Pycnodysostosis

Pycnodysostosis, a rare autosomal recessive skeletal dysplasia, is caused by a deficiency of cathepsin K. Patients have impaired bone resorption in the presence of normal or increased numbers of multinucleated, but dysfunctional, osteoclasts. Cathepsin K degrades collagen type I and generates N-telopeptide (NTX) and the C-telopeptide (CTX) that can be quantified. Levels of these telopeptides are increased in lactating women and are associated with increased bone resorption. Nothing is known about the consequences of cathepsin K deficiency in lactating women. Here we present for the first time normalized blood and CTX measurements in a patient with pycnodysostosis, exclusively related to the lactation period. In vitro studies using osteoclasts derived from blood monocytes during lactation and after weaning further show consistent bone resorption before and after lactation. Increased expression of cathepsins L and S in osteoclasts derived from the lactating patient suggests that other proteinases could compensate for the lack of cathepsin K during the lactation period of pycnodysostosis patients.     

Non-Coding RNAs Set a New Phenotypic Frontier in Prostate Cancer Metastasis and Resistance

Prostate cancer (PCa) mortality remains a significant public health problem, as advanced disease has poor survivability due to the development of resistance in response to both standard and novel therapeutic interventions. Therapeutic resistance is a multifaceted problem involving the interplay of a number of biological mechanisms including genetic, signaling, and phenotypic alterations, compounded by the contributions of a tumor microenvironment that supports tumor growth, invasiveness, and metastasis. The androgen receptor (AR) is a primary regulator of prostate cell growth, response and maintenance, and the target of most standard PCa therapies designed to inhibit AR from interacting with androgens, its native ligands. As such, AR remains the main driver of therapeutic response in patients with metastatic castration-resistant prostate cancer (mCRPC). While androgen deprivation therapy (ADT), in combination with microtubule-targeting taxane chemotherapy, offers survival benefits in patients with mCRPC, therapeutic resistance invariably develops, leading to lethal disease. Understanding the mechanisms underlying resistance is critical to improving therapeutic outcomes and also to the development of biomarker signatures of predictive value. The interconversions between epithelial-to-mesenchymal transition (EMT) and mesenchymal-to-epithelial transition (MET) navigate the prostate tumor therapeutic response, and provide a novel targeting platform in overcoming therapeutic resistance. Both microRNA (miRNA)- and long non-coding RNA (lncRNA)-mediated mechanisms have been associated with epigenetic changes in prostate cancer. This review discusses the current evidence-based knowledge of the role of the phenotypic transitions and novel molecular determinants (non-coding RNAs) as contributors to the emergence of therapeutic resistance and metastasis and their integrated predictive value in prostate cancer progression to advanced disease.     

Thrombospondin-1 CD47 Signalling: From Mechanisms to Medicine

Recent advances provide evidence that the cellular signalling pathway comprising the ligand-receptor duo of thrombospondin-1 (TSP1) and CD47 is involved in mediating a range of diseases affecting renal, vascular, and metabolic function, as well as cancer. In several instances, research has barely progressed past pre-clinical animal models of disease and early phase 1 clinical trials, while for cancers, anti-CD47 therapy has emerged from phase 2 clinical trials in humans as a crucial adjuvant therapeutic agent. This has important implications for interventions that seek to capitalize on targeting this pathway in diseases where TSP1 and/or CD47 play a role. Despite substantial progress made in our understanding of this pathway in malignant and cardiovascular disease, knowledge and translational gaps remain regarding the role of this pathway in kidney and metabolic diseases, limiting identification of putative drug targets and development of effective treatments. This review considers recent advances reported in the field of TSP1-CD47 signalling, focusing on several aspects including enzymatic production, receptor function, interacting partners, localization of signalling, matrix-cellular and cell-to-cell cross talk. The potential impact that these newly described mechanisms have on health, with a particular focus on renal and metabolic disease, is also discussed.     

Molecular Genetics of Conjunctival Melanoma and Prognostic Value of TERT Promoter Mutation Analysis

The aim of this study was exploration of the genetic background of conjunctival melanoma (CM) and correlation with recurrent and metastatic disease. Twenty-eight CM from the Rotterdam Ocular Melanoma Study group were collected and DNA was isolated from the formalin-fixed paraffin embedded tissue. Targeted next-generation sequencing was performed using a panel covering GNAQ, GNA11, EIF1AX, BAP1, BRAF, NRAS, c-KIT, PTEN, SF3B1, and TERT genes. Recurrences and metastasis were present in eight (29%) and nine (32%) CM cases, respectively. TERT promoter mutations were most common (54%), but BRAF (46%), NRAS (21%), BAP1 (18%), PTEN (14%), c-KIT (7%), and SF3B1 (4%) mutations were also observed. No mutations in GNAQ, GNA11, and EIF1AX were found. None of the mutations was significantly associated with recurrent disease. Presence of a TERT promoter mutation was associated with metastatic disease (p-value = 0.008). Based on our molecular findings, CM comprises a separate entity within melanoma, although there are overlapping molecular features with uveal melanoma, such as the presence of BAP1 and SF3B1 mutations. This warrants careful interpretation of molecular data, in the light of clinical findings. About three quarter of CM contain drug-targetable mutations, and TERT promoter mutations are correlated to metastatic disease in CM.     

Formal process algebraic modeling,verification, and analysis of an abstract Fuzzy Inference Cloud Service

In cloud computing, services play key roles. Services are well defined and autonomous components. Nowadays, the demand of using Fuzzy inference as a service is increasing in the domain of complex and critical systems. In such systems, along with the development of the software, the cost of detecting and fixing software defects increases. Therefore, using formal methods, which provide clear, concise, and mathematical interpretation of the system, is crucial for the design of these Fuzzy systems. To obtain this goal, we introduce the Fuzzy Inference Cloud Service (FICS) and propose a novel discipline for formal modeling of the FICS. The FICS provides the service of Fuzzy inference to the consumers. We also introduce four novel formal verification tests, which allow strict analysis of certain behavioral disciplines in the FICS as follows: (1) Internal consistency, which analyzes the service in a strict and delicate manner; (2) Deadlock freeness; (3) Divergence freeness; and (4) Goal reach ability. The four tests are discussed and the FICS is verified to ensure that it can pass all these tests.     

Robust and stable flow shop scheduling with unexpected arrivals of new jobs and uncertain processing times

In real scheduling problems, some disruptions and unexpected events may occur. These disruptions cause the initial schedule to quickly become infeasible and non-optimal. In this situation, an appropriate rescheduling method should be used. In this paper, a new approach has been proposed to achieve stable and robust schedule despite uncertain processing times and unexpected arrivals of new jobs. This approach is a proactive–reactive method which uses a two-step procedure. In the first step an initial robust solution is produced proactively against uncertain processing times using robust optimization approach. This initial robust solution is more insensitive against the fluctuations of processing times in future. In the next step, when an unexpected disruption occurs, an appropriate reactive method is adopted to deal with this unexpected event. In fact, in the second step, the reactive approach determines the best modified sequence after any unexpected disruption based on the classical objective and performance measures. The robustness measure is implemented in the reactive approach to increase the performance of the real schedule after disruption. Computational results indicate that this method produces better solutions in comparison with four classical heuristic approaches according to effectiveness and performance of solutions.     

Resolution proof transformation for compression and interpolation

Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases.