Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Aplicação do método POLD® na redução da sintomatologia álgica da lombociatalgia

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia

Efeitos do suster-relaxar na cinemática tridimensional, função neuromuscular e sintomatologia álgica de um atleta de crossfit com dor lombar

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia

The role of the molecular footprint of EGFR in tailoring treatment decisions in NSCLC

The majority of patients with non-small-cell lung cancer (NSCLC) present with advanced disease, with targeted therapies providing some improvement in clinical outcomes. The epidermal growth factor receptor (EGFR) tyrosine kinase (TK) plays an important role in the pathogenesis of NSCLC. Tyrosine kinase inhibitors (TKIs), which target the EGFR TK domain, have proven to be an effective treatment strategy; however, patient responses to treatment vary considerably. Therefore, the identification of patients most likely to respond to treatment is essential to optimise the benefit of TKIs. Tumour-associated activating mutations in EGFR can identify patients with NSCLC who are likely to have a good response to TKIs. Nonetheless, the majority of patients relapse within a year of starting treatment. Studies of tumours at relapse have demonstrated expression of a T790M mutation in exon 20 of the EGFR TK domain in approximately 50% of cases. Although conferring resistance to reversible TKIs, these patients may remain sensitive to new-generation irreversible/panerb inhibitors. A number of techniques have been employed for genotypic assessment of tumourassociated DNA to identify EGFR mutations, each of which has advantages and disadvantages. This review presents an overview of the current methodologies used to identify such molecular markers. Recent developments in technology may make the monitoring of changes in patients' tumour genotypes easier in clinical practice, which may enable patients' treatment regimens to be tailored during the course of their disease, potentially leading to improved patient outcomes.

Targeted therapies in non-small cell lung cancer

The majority of non-small cell lung cancer (NSCLC) patients present with advanced disease and with a 5 year survival rate of <15% for these patients, treatment outcomes are considered extremely disappointing. Standard chemotherapy regimens provide some improvement to ~40% of patients. However, intrinsic and acquired chemoresistance are a significant problem and hinder sustained long term benefits of such treatments. Advances in proteomic and genomic profiling have increased our understanding of the aberrant molecular mechanisms that are driving an individual's tumour. The increased sensitivity of these technologies has enabled molecular profiling at the stage of initial biopsy thus paving the way for a more personalised approach to the treatment of cancer patients. Improvements in diagnostics together with a wave of new targeted small molecule inhibitors and monoclonal antibodies have revolutionised the treatment of cancer. To date there are essentially three targeted agents approved for clinical use in NSCLC. The tyrosine kinase inhibitor (TKI) erlotinib, which targets the epidermal growth factor receptor (EGFR) TK domain, has proven to be an effective treatment strategy in patients who harbour activating mutations in the EGFR TK domain. Bevacizumab a monoclonal antibody targeting the vascular endothelial growth factor (VEGF) can improve survival, response rates, and progression-free survival when used in combination with chemotherapy. Crizotinib, a small-molecule drug, inhibits the tyrosine kinase activity of the echinoderm microtubule-associated protein-like 4 anaplastic lymphoma kinase (EML4-ALK) fusion protein, resulting in decreased tumour cell growth, migration, and invasiveness in patients with locally advanced or metastatic NSCLC. The clinical relevance of several other targeted agents are under investigation in distinct molecular subsets of patients with key "driver" mutations including: KRAS, HER2, BRAF, MET, PIK3CA, AKT1,MAP2K1, ROS1 and RET. Often several pathways are activated simultaneously and crosstalk between pathways allows tumour cells to escape the inhibition of a single targeted agent. This chapter will explore the clinical development of currently available targeted therapies for NSCLC as well as those in clinical trials and will examine the synergy between cytotoxic therapies.

Cross-cultural adaptation, reliability and validity of the Turkish version of the spine functional index

Background The Spine Functional Index (SFI) is a patient reported outcome measure with sound clinimetric properties and clinical viability for the determination of whole-spine impairment. To date, no validated Turkish version is available. The purpose of this study is to cross-culturally adapted the SFI for Turkish-speaking patients (SFI-Tk) and determine the psychometric properties of reliability, validity and factor structure in a Turkish population with spine musculoskeletal disorders. Methods The SFI English version was culturally adapted and translated into Turkish using a double forward and backward method according to established guidelines. Patients (n = 285, cervical = l29, lumbar = 151, cervical and lumbar region = 5, 73% female, age 45 ± 1) with spine musculoskeletal disorders completed the SFI-Tk at baseline and after a seven day period for test-retest reliability. For criterion validity the Turkish version of the Functional Rating Index (FRI) was used plus the Neck Disability Index (NDI) for cervical patients and the Oswestry Disability Index (ODI) for back patients. Additional psychometric properties were determined for internal consistency (Chronbach’s α), criterion validity and factor structure. Results There was a high degree of internal consistency (α = 0.85, item range 0.80-0.88) and test-retest reliability (r = 0.93, item range = 0.75-0.95). The factor analysis demonstrated a one-factor solution explaining 24.2% of total variance. Criterion validity with the ODI was high (r = 0.71, p < 0.001) while the FRI and NDI were fair (r = 0.52 and r = 0.58, respectively). The SFI-Tk showed no missing responses with the ‘half-mark’ option used in 11.75% of total responses by 77.9% of participants. Measurement error from SEM and MDC90 were respectively 2.96% and 7.12%. Conclusions The SFI-Tk demonstrated a one-factor solution and is a reliable and valid instrument. The SFI-Tk consists of simple and easily understood wording and may be used to assess spine region musculoskeletal disorders in Turkish speaking patients.

trans-Dichloro-bis-(arylazoimidazole)palladium(II): Synthesis, Structure, Photoisomerization, and DFT Calculation

Reaction between PdCl2 and 1-alkyl-2-(arylazo)imidazole (RaaiR') or 1-alkyl-2-(naphthyl-alpha/beta-azo)imidazole (alpha/beta-NaiR') under reflux in ethanol has isolated complexes of compositions Pd(RaaiR')(2)Cl-2 (5, 6) and Pd(alpha/beta-NaiR')(2)Cl-2 (7, 8). The X-ray structure determination of one of the molecules, Pd(alpha-NaiBz)(2)Cl-2 (7c), has reported a trans-PdCl2 configuration, and alpha-NaiBz acts as monodentate N(imidazole) donor ligand. The spectral (IR, UV-vis, H-1 NMR) data support the structure. UV light irradiation (light source: Perkin-Elmer LS 55 spectrofluorimeter, Xenon discharge lamp, lambda = 360-396 nm) in a MeCN solution of the complexes shows E-to-Z isomerization of the coordinated azoimidazole unit. The reverse transformation, Z-to-E, is very slow with visible light irradiation. Quantum yields (phi(E-Z)) of E-to-Z isomerization are calculated, and phi is lower than that of the free ligand but comparable with those of Cd(II) and Hg(II) complexes of the same ligand. The Z-to-E isomerization is a thermally induced process. The activation energy (E-a) of Z-to-E isomerization is calculated by controlled-temperature experimentation. cis-Pd(azoimidazole)Cl-2 complexes (azomidazole acts as N(imidazole) and N(azo) Chelating ligand) do not respond upon light irradiation, which supports the idea that the presence of noncoordinated azo-N to make free azo (-N=N-) function is important to reveal photochromic activity. DFT calculation of Pd(alpha-NaiBz)(2)Cl-2 (7c) has suggested that the HOMO of the molecule is constituted of Pd (32%) and Cl (66%), and hence photo excitation may use the energy of Pd and Cl instead of that of the photofunctional -N=N-Ar motif; thus, the rate of photoisomerization and quantum yield decrease versus the free ligand values.

Molecular complexes of metallo tetraphenyl porphyrins with 2,4,5,7-tetranitro fluorenone

The interactions of mesotetraphenyl porphyrin and its metallo derivatives with 2,4,5,7-tetra nitrofluorenone have been studied using spectroscopic methods. The association constants (K) for 1:1 complexes in Ch2Cl2Cl2 follow the order Pd+2>Co+2> Cu+2>VO+2>Ni+2>Zn+2. The values of K are accounted in terms of stereochemistry of MTPPs and the electronic configuration of the metal ions. The magnitude and direction of the proton NMR shifts of the acceptor and donor in the complexes and their ESR parameter furnish information as to the possible structures of these complexes in solution.

Donor properties of metallomacrocyclic tetrapyrrole pigments with sym-trinitrobenzene

The interactions of metallo derivatives of macrocyclic tetrapyrrole pigments, pheophytin a (pheo), phthalocyanin (phth), and tetraphenylporphyrin (TPP) with sym-trinitrobenzene (TNB) have been studied with use of spectroscopic methods. These macrocyles form 1:l molecular complexw with the acceptor. The association constants (K) for the interactions follow the decreasing order of binding as pheo > phth > TPP. The divalent metal ions influence the values of K for the various metallo TPP derivatives, and the relative order of stabilities decrease as Co > Cu = VO > Ni > Zn. The stereochemistry of M(TPP) and the electronic configuration of the metal ions are shown to contribute to the magnitudes of K. The acceptor strongly quenches the fluorescence of the metallo macrocycles, and the quenching constant decreases as pheo > phth > TPP. The formation of exciplexes is postulated on the basis of the rate of bimolecular quenching constants and solvent effects.

Effect of Temperature Variation on Sister Chromatid Exchange Frequency in Cultured Human Lymphocytes

The effect of temperature variation on sister chromatid exchange (SCE) frequencies in human lymphocytes was studied. An increase as well as decrease in incubation temperature of cells leads to a higher frequency of sister chromatid exchanges than in cultures grown at 37°C. In addition, it was observed that mitotic: index and cell cycle duration were affected by low temperature.

Convenient construction of tetrahedral finite elements for the quasi-harmonic equation

It is shown that in the finite-element formulation of the general quasi-harmonic equation using tetrahedral elements, for every member of the element family there exists just one numerical universal matrix indpendent of the size, shape and material properties of the element. Thus the element matrix is conveniently constructed by manipulating this single matrix along with a set of reverse sequence codes at the same time accounting for the size, shape and material properties in a simple manner.

Coordinative interaction of morpholine with divalent metallo tetraphenyl porphyrins

The formation of axially coordinated morpholine (morph) complexes of MTPP, (M = Co, Ni, Cu and Zn) has been studied. Morpholine coordinates through imino nitrogen to the metal ions with the retainment of equatorial conformation. The presence of spin-free, NiTPP (morph), (S = 1) and an equilibrium mixture of CoTPP and an oxygen adduct of CoTPP (morph) in solution have been observed.

Molecular-complexes of metallo tetraphenyl porphyrins with 2,4,5,7-tetranitro fluorenone

The interactions of mesotetraphenyl porphyrin and its metallo derivatives with 2,4,5,7-tetra nitrofluorenone have been studied using spectroscopic methods. The association constants (K) for 1:1 complexes in Ch2Cl2Cl2 follow the order Pd+2>Co+2> Cu+2>VO+2>Ni+2>Zn+2. The values of K are accounted in terms of stereochemistry of MTPPs and the electronic configuration of the metal ions. The magnitude and direction of the proton NMR shifts of the acceptor and donor in the complexes and their ESR parameter furnish information as to the possible structures of these complexes in solution.