Search results for "PLE"

showing 10 items of 22773 documents

Modal Consequence Relations Extending S4.3: An Application of Projective Unification

2016

We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…

projective unificationPure mathematicsUnificationLogicFinite model property02 engineering and technology68T15Lattice (discrete subgroup)01 natural sciencesadmissible rulesComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineeringCountable setFinitaryHeyting algebra08C150101 mathematics03B45MathematicsDiscrete mathematics010102 general mathematicsquasivarietiesModal logicstructural completenessconsequence relations03B35Distributive property06E25$\mathbf{S4.3}$S4.3020201 artificial intelligence & image processingNotre Dame Journal of Formal Logic
researchProduct

“Anything taking shape?” : Capturing various layers of small group collaborative problem solving in an experiential geometry course in initial teache…

2022

Collaborative problem solving (CPS) is widely recognized as a prominent 21st-century skill to be mastered. Until recently, research on CPS has often focused on problem solution by the individual; the interest in investigating how the theorized problem-solving constructs function as broader social units, such as pairs or small groups, is relatively recent. Capturing the complexity of CPS processes in group-level interaction is challenging. Therefore, a method of analysis capturing various layers of CPS was developed that aimed for a deeper understanding of CPS as a small-group enactment. In the study, small groups of teacher education students worked on two variations of open-ended CPS tasks…

prosessitvuorovaikutusyhteisöllisyysinteractionprocess visualizationsmethod triangulationcomplex mixturesyhteistyöcarbohydrates (lipids)stomatognathic diseasesmenetelmätstomatognathic systemdirected content analysisprocess analysiscollaborative problem solvingongelmanratkaisuyhteisöllinen oppiminenopettajankoulutusryhmät
researchProduct

Zasada proporcjonalności jako obiektywne uzasadnienia ograniczeń w swobodnym przepływie osób w Unii Europejskiej

2016

protection of fundamental rightsfreedom of establishmentprinciple of proportionalityfree movement of servicesOpolskie Studia Administracyjno-Prawne
researchProduct

Use of dietary supplements and dietary behaviour among young people who exercise at gyms

2008

protein supplement young people dietary
researchProduct

Rehabilitación del maxilar superior con atrofia severa horizontal utilizando implantes dentales palatinizados.

2016

Objetivo: Evaluar las condiciones de los tejidos blandos y la pérdida de hueso alrededor de los implantes palatinizados en maxilares con severa atrofia horizontal, rehabilitados con prótesis fija de arco completo y compararlos con los implantes convencionales centrados en la cresta ósea de maxilares no atróficos tras un periodo mínimo de 5 años de seguimiento. Material y método: Se realizó un estudio retrospectivo clínico y controlado sobre pacientes que fueron rehabilitados con prótesis fija de arcada completa sobre implantes dentales en el maxilar y con un seguimiento mínimo de 5 años después de la carga del implante. Los pacientes se dividieron en 2 grupos: pacientes con maxilar clase IV…

protesis fija de arco completoatrofia horizontalUNESCO::CIENCIAS MÉDICAS:CIENCIAS MÉDICAS [UNESCO]implantes palatinizadosmaxilar atrofico
researchProduct

Diversity of Isomerization Patterns and Protolytic Forms in Aminocarbene PdII and PtII Complexes Formed upon Addition of N,N′-Diphenylguanidine to Me…

2017

Reaction of the palladium(II) and platinum(II) isocyanide complexes cis-[MCl2(CNR)2] [M = Pd, R = C6H3(2,6-Me2) (Xyl), 2-Cl-6-MeC6H3, cyclohexyl (Cy), t-Bu, C(Me)2CH2(Me)3 (1,1,3,3-tetramethylbuth-1-yl abbreviated as tmbu); M = Pt, R = Xyl, 2-Cl-6-MeC6H3, Cy, t-Bu, and tmbu] with N,N′-diphenylguanidine (DPG) leads to DPG-derived metal-bound deprotonated acyclic diaminocarbene (ADC) species. This reaction occurs via a two-step process, involving the initial coupling of the guanidine with one of the isocyanides and leading to deprotonated monocarbene monochelated species, while the next addition grants the deprotonated bis-carbene bis-chelated metal compounds. DPG behaves as nucleophile, depr…

protolytic forms010405 organic chemistryStereochemistryIsocyanideOrganic ChemistrySubstituentchemistry.chemical_elementRegioselectivityaminocarbene complexes010402 general chemistry01 natural sciencesMedicinal chemistry0104 chemical sciencesdiversityInorganic Chemistrychemistry.chemical_compoundDeprotonationchemistryNucleophileisomerization patternsPhysical and Theoretical ChemistryGuanidineIsomerizationta116PalladiumOrganometallics
researchProduct

Role of hypoxia in pemetrexed-resistance of mesothelioma mediated by proton-coupled folate transporter, and preclinical activity of new anti-LDH comp…

2018

Introduction There are few effective therapies for malignant pleural mesothelioma (MPM), which remains one of the most lethal cancers. We previously demonstrated that low expression of the PCFT transporter, both at mRNA and protein levels, is associated with shorter survival of MPM patients treated with pemetrexed (Giovannetti et al., 2017). Since hypoxia has also been associated to antifolate-resistance (Raz et al, 2014), this study was aimed at elucidating key factors in pemetrexed resistance and hypoxia that may contribute to the rational development of novel therapeutic interventions against mesothelioma. Methods The levels of PCFT and of the hypoxia marker carbonic anhydrase-IX were de…

proton-coupled folate transporter.Settore BIO/12 - Biochimica Clinica E Biologia Molecolare Clinicamesotheliomanew anti-LDH compoundmesothelioma; pemetrexed-resistance; new anti-LDH compounds; proton-coupled folate transporter.Settore BIO/14 - Farmacologiapemetrexed-resistanceSettore CHIM/08 - Chimica Farmaceutica
researchProduct

Beyond Understanding : How Proverbs Violate Grice’s Cooperative Principle

2014

proverbproverbial speechvernacular languagetalk exchangeGrice’s cooperative principle
researchProduct

Regional Disparities and Spatial Dependence of Bankruptcy in Spain

2021

Firm survival, bankruptcy, and turnaround are of great interest nowadays. Bankruptcy is the ultimate resource for a company to survive when it is affected by a severe decline. Thus, determinants of firm turnaround and survival in the context of bankruptcy are of interest to researchers, managers, and policy-makers. Prior turnaround literature has broadly studied firm-specific factors for turnaround success. However, location-specific factors remain relatively unstudied despite their increasing relevance. Thus, this paper aims to evaluate the existence of spatial dependence on the outcome of the bankruptcy procedure. Economic geography and business literature suggest that location matters an…

provincial clustersIndex (economics)General Mathematicsspatial dependenceContext (language use)Sample (statistics)Logistic regressionDisease cluster:CIENCIAS ECONÓMICAS [UNESCO]survivalResource (project management)0502 economics and businessComputer Science (miscellaneous)Per capitaspainQA1-939geostatisticsMoran’s Index050207 economicsEngineering (miscellaneous)05 social sciencesUNESCO::CIENCIAS ECONÓMICASbankruptcyBankruptcySpainDemographic economicsBusiness050203 business & managementmoran’s indexMathematicsMathematics
researchProduct

Las prácticas externas desde la perspectiva de las entidades colaboradoras

2019

La cooperación entre la educación superior y el mercado laboral es un requisito para mejorar las oportunidades de empleo de los titulados. Sin embargo, esta asociación no siempre es tan fluida como debería, a veces porque las Universidades no entienden lo que las entidades es peran de esa colaboración y olvidan que éstas también deben ser compensadas de alguna manera. Pero otras veces las empresas no son conscientes de los beneficios potenciales y el impacto que pueden obtener de esta colaboración. El presente trabajo hace un a cercamiento a la percepción que las entidades que colaboran con la universidad en prácticas externas tienen de dicha colaboración, así como sus motivaciones y demand…

prácticas externascorporate social responsibility05 social sciences050301 educationexternal placementseducation work relationshipeducación superiorresponsabilidad social corporativaEducationhigher educationPolitical science0502 economics and businessrelación educación empleo:PEDAGOGÍA [UNESCO]UNESCO::PEDAGOGÍA0503 educationHumanities050203 business & management
researchProduct