The Theory Behind TheoryMine

Abstract. We describe the technology behind the TheoryMine novelty gift company, which sells the rights to name novel mathematical theorems. A tower of four computer systems is used to generate recursive theories, then to speculate conjectures in those theories and then to prove these conjectures. All stages of the process are entirely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.

Design Actions for Shifting Conditions

Considering the growing importance that the urban environments assume within contemporary territorial transformations yet little room is offered within market-driven societies to critically reflect the spatial impact that cities face vis-à-vis the urgencies for environmental rebalancing. It embraces a wide range of phenomena we all live and experience nowadays, not only incidentally but more in a structural way, forcing us to rethink our present state and explore futures. Transitions embody the fluctuating form of late capitalism with its raisings and disruptions. Regarding the environmental conditions, they are affecting the world regions’ habitability, the phenomenon of progressive urbanization versus agricultural land abandonment (UN 2018). With these premises, transitions seem to be a proper reference for an interdisciplinary and conceptual frame addressing the transformation of urban and metropolitan contexts, which will be the leading players for the coming decades

Are Cancer Stem Cells a Suitable Target for Breast Cancer Immunotherapy?

There is substantial evidence to suggest that complete tumor eradication relies on the effective elimination of cancer stem cells (CSCs). CSCs have been widely described as mediators of resistance to conventional therapies, including chemo- and radiotherapy, as well as of tumor metastasization and relapse in different tumor types, including breast cancer. However, the resistant phenotype of CSCs makes their targeting a tough task, and immunotherapy may therefore be an interesting option. Nevertheless, although immunotherapeutic approaches to cancer treatment have generated great enthusiasm due to recent success in clinics, breast cancer treatment mostly relies on standard approaches. In this context, we review the existing literature on the immunological properties of breast CSC and immunotherapeutic approaches to them. We will thus attempt to clarify whether there is room for the immunotargeting of breast CSCs in the current landscape of breast cancer therapies. Finally, we will provide our opinion on the CSC-targeting immunotherapeutic strategies that could prospectively be attempted

Design of Cloud Robotic Services for Senior Citizens to Improve Independent Living and Personal Health Management

A cloud robotics solution was designed and initially tested with a mobile robotic platform and a smart environment, in order to provide health-care management services to senior citizens and improve their independent living. The solution was evaluated in terms of Quality of Service (QoS) and tested in the realistic scenario of the DomoCasa Living Lab, Peccioli, Italy. In particular, a medication reminding service, a remote home monitoring and a user indoor localization algorithm were outsourced in the cloud and provided to the robots, users and carers. The system acquired data from a smart environment and addressed the robot to the user for service delivery. Experiments showed a service's Reliability of Response at least of the 0.04 % and a Time of Response of the same order of magnitude of the processing time required by the user localization algorithm

Regurgitation in healthy and non healthy infants

Uncomplicate regurgitation in otherwise healthy infants is not a disease. It consists of milk flow from mouth during or after feeding. Common causes include overfeeding, air swallowed during feeding, crying or coughing; physical exam is normal and weight gain is adequate. History and physical exam are diagnostic, and conservative therapy is recommended. Pathologic gastroesophageal reflux or gastroesophageal reflux disease refers to infants with regurgitation and vomiting associated with poor weight gain, respiratory symptoms, esophagitis. Reflux episodes occur most often during transient relaxations of the lower esophageal sphincter unaccompanied by swallowing, which permit gastric content to flow into the esophagus. A minor proportion of reflux episodes occurs when the lower esophageal sphincter fails to increase pressure during a sudden increase in intraabdominal pressure or when lower esophageal sphincter resting pressure is chronically reduced. Alterations in several protective mechanisms allow physiologic reflux to become gastroesophageal reflux disease; diagnostic approach is both clinical and instrumental: radiological series are useful to exclude anatomic abnormalities; pH-testing evaluates the quantity, frequency and duration of the acid reflux episodes; endoscopy and biopsy are performed in the case of esophagitis. Therapy with H2 receptor antagonists and proton pump inhibitors are suggested

Hierarchical Self-Assembly of Halogen-Bonded Block Copolymer Complexes into Upright Cylindrical Domains

Self-assembly of block copolymers into well-defined, ordered arrangements of chemically distinct domains is a reliable strategy for preparing tailored nanostructures. Microphase separation results from the system, minimizing repulsive interactions between dissimilar blocks and maximizing attractive interactions between similar blocks. Supramolecular methods have also achieved this separation by introducing small-molecule additives binding specifically to one block by noncovalent interactions. Here, we use halogen bonding as a supramolecular tool that directs the hierarchical self-assembly of low-molecular-weight perfluorinated molecules and diblock copolymers. Microphase separation results in a lamellar-within-cylindrical arrangement and promotes upright cylindrical alignment in films upon rapid casting and without further annealing. Such cylindrical domains with internal lamellar self-assemblies can be cleaved by solvent treatment of bulk films, resulting in separated and segmented cylindrical micelles stabilized by halogen-bond-based supramolecular crosslinks. These features, alongside the reversible nature of halogen bonding, provide a robust modular approach for nanofabricatio