Search results for "programming"

Teaching GP to program like a human software developer

2019

Program synthesis is one of the relevant applications of GP with a strong impact on new fields such as genetic improvement. In order for synthesized code to be used in real-world software, the structure of the programs created by GP must be maintainable. We can teach GP how real-world software is built by learning the relevant properties of mined human-coded software - which can be easily accessed through repository hosting services such as GitHub. So combining program synthesis and repository mining is a logical step. In this paper, we analyze if GP can write programs with properties similar to code produced by human software developers. First, we compare the structure of functions generat…

Patterns of poverty among elderly Americans: a Latent Class Markov Model

2017

ABSTRACTThis article studies poverty persistence and the role of social security programmes on poverty among elderly in the US. We use a Latent Markov model to disentangle unobserved heterogeneity and state dependence. Because of its dynamic nature, unobserved heterogeneity is modelled to vary over time. This allows to capture different latent states of poverty that change over time. Result indicates the existence of three unobserved types evolving over time according to their propensity to be poor. Moreover, a strong persistence in poverty especially for women, individuals living alone and ethnic minorities is found. Finally, the estimates indicate that giving social assistance tends to re…

Negative symptomatology: psychopharmacological strategies and methodological aspects for drug evaluation

1993

The Crosstalk Between Signaling Pathways and Cancer Metabolism in Colorectal Cancer.

2021

Colorectal cancer (CRC) is one of the most frequently diagnosed cancers worldwide. Metabolic reprogramming represents an important cancer hallmark in CRC. Reprogramming core metabolic pathways in cancer cells, such as glycolysis, glutaminolysis, oxidative phosphorylation, and lipid metabolism, is essential to increase energy production and biosynthesis of precursors required to support tumor initiation and progression. Accumulating evidence demonstrates that activation of oncogenes and loss of tumor suppressor genes regulate metabolic reprogramming through the downstream signaling pathways. Protein kinases, such as AKT and c-MYC, are the integral components that facilitate the crosstalk bet…

Reply: Valproate Treatment in Schizophrenia: Interaction of GABA with Dopamine?

2004

ABC and BAC triblock copolymers - morphological engineering by variation of the block sequence

1997

Different morphologies and phase transitions of ternary triblock copolymers with different block sequences (ABC and BAC) are discussed qualitatively. The interplay between interfacial energies and elastic energies of the different blocks leads to various morphologies and enhances or prevents mixing of different blocks, depending on composition and topology.

A new phase locked loop strategy for power quality instruments synchronisation

2006

Power quality instrumentation requires the accurate fundamental frequency estimation and the signal synchronization, even in presence of disturbances. In the paper the authors present an innovative synchronization technique, based on a single phase software PLL. To evaluate how the synchronization technique is adversely affected by the application of stationary and transient disturbing influences, appropriate testing conditions have been developed, taking into account the requirements of the in-force standards. In the paper the proposed technique is described and PLL performances in presence of stationary and transient disturbances are presented

Space-Time, Phenomenology, and the Picture Theory of Language

2010

To estimate Minkowski’s introduction of space-time in relativity, the case is made for the view that abstract language and mathematics carries meaning not only by its connections with observation but as pictures of facts. This view is contrasted to the more traditional intuitionism of Hume, Mach, and Husserl. Einstein’s attempt at a conceptual reconstruction of space and time as well as Husserl’s analysis of the loss of meaning in science through increasing abstraction is analysed. Wittgenstein’s picture theory of language is used to explain how meaning is conveyed by abstract expressions, with the Minkowski space as a case.

Realism, metamathematics, and the unpublished essays

1995

This initial chapter is divided into two sections. The first is devoted to a brief exposition of the intuitive essence and the philosophical motivation of Godel’s main metamathematical results, namely his completeness theorem for elementary logic (1930) and his incompleteness theorems for arithmetic (1931). Thereafter some discussion of the different ways to confront the relationship between those results and Godel’s philosophical realism in logic and mathematics is offered. Thus, mathematical realism will be successively regarded as (i) a philosophical consequence of those results; (ii) a heuristic principle which leads to them; (iii) a philosophical hypothesis which is “verified” by them.…

The analytic-synthetic distinction

1995

This chapter tries to throw light on the first of Godel’s two main theses in the philosophy of mathematics, namely that mathematical propositions are analytic. To this end, an overview of similar conceptions is presented first in which the views by Frege, Russell Wittgenstein, Carnap and Quine are expounded. Then Godel’s view is analyzed, both in his publications and in the manuscripts which appear in this edition. The presentation of Carnap’s detailed attempt to define analyticity in his The Logical Syntax of Language (1934) may seem rather long in comparison with the ones devoted to the other authors, but it should be recalled that the Godel manuscripts appearing here were a direct philos…