Search results for "Programs"

showing 10 items of 222 documents

Qualifying semantic graphs using model checking

2011

International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-WB] Computer Science [cs]/WebComputer science[ INFO.INFO-WB ] Computer Science [cs]/Web0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesSocial Semantic Webtemporal logicSemantic similaritySemantic computing0202 electrical engineering electronic engineering information engineeringSemantic analyticsSemantic integrationSemantic Web StackInformation retrievalbusiness.industry[INFO.INFO-WB]Computer Science [cs]/WebSemantic search020207 software engineeringSemantic interoperability[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationModel-checking010201 computation theory & mathematicsSemantic graphTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS[INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationArtificial intelligencebusinesscomputerNatural language processing2011 International Conference on Innovations in Information Technology
researchProduct

Le collégien en difficulté : un constat local et des propositions d'aide individualisée

2003

For some years now, the management of pupil diversity has been the subject of considerable debate, both at the level of the education system and within separate establishments. The principal questions concern the actions to be implemented to allow all pupils to acquire a common base of knowledge and skills during the four years of lower secondary education. Numerous systems have been developed in recent years: remedial teaching, differentiated pedagogy, individual support, reorganisation of timetables, the grouping of pupils, diversified careers, etc., but tangible results have not always been observed. A worrying percentage of pupils still enter lower secondary education with serious learn…

[SHS.SOCIO]Humanities and Social Sciences/Sociology[SHS.SOCIO] Humanities and Social Sciences/Sociology[SHS.EDU]Humanities and Social Sciences/Education[SHS.EDU] Humanities and Social Sciences/EducationRemedial programs[ SHS.EDU ] Humanities and Social Sciences/EducationSecondary educationAide individualisée[ SHS.SOCIO ] Humanities and Social Sciences/SociologyElève en difficultéCollègeSchool failureParcours scolaireCurriculum
researchProduct

Strategia redukcji szkód w pracy z osobami uzależnionymi od narkotyków i alkoholu

2016

Polityka państw europejskich, Stanów Zjednoczonych, Ameryki Południowej i Australii od kilkunastu lat zmierza w kierunku restrukturyzacji systemu pomocy osobom uzależnionym wdrażając działania, których celem jest ograniczanie szkód zdrowotnych i społecznych wynikających z używania substancji psychoaktywnych. Wiele krajów oferuje dostęp do niskoprogowych programów, czyli takich, w których udział nie nakłada na uczestnika obowiązku utrzymywania abstynencji i stosowania się do wygórowanych zasad i obowiązków placówki odwykowej. Redukcja szkód jest filozofią opartą na pragmatycznych i realistycznych celach pracy z osobami uzależnionymi i użytkownikami. Zakłada, że każda, nawet najmniejsza zmian…

addiction preventionuzależnienieprogramy terapeutyczneaddictionharm reductionredukcja szkódtherapeutic programsprofilaktyka uzależnieńResocjalizacja Polska
researchProduct

Alcohol Abuse in Latin American Immigrants Participating in Intervention Programs for Abusers: the Import ance of Adherence to Treatment

2016

En este estudio, se analizan las tasas de abandono del tratamiento en hombres inmigrantes latinoamericanos con problemas de consumo de alcohol (PCA) derivados a programas de intervención con maltratadores, y se explora si aquellos que consiguen finalizar la intervención se diferencian de los que no tienen PCA en variables resultado de la intervención. La muestra la componen 107 hombres latinoamericanos condenados por violencia contra la mujer. Al contrario de lo esperado, no se confirman mayores tasas de abandono entre los participantes con PCA. Independientemente de tener o no PCA, los participantes que finalizaron el programa mostraron mejoría en todas las variables objetivo de la interve…

alcoholbatterer intervention programsintimate partner violenceabandono del tratamientolatinoamericanosprogramas de intervención con maltratadoresdropoutviolencia contra la mujerLatin Americans
researchProduct

Starbase Kelly : an analysis of the effectiveness of a particular at-risk program

1999

alternative educationinequalityat-risk programsMexican-American studentsat-risk students
researchProduct

Methodological Aspects of Studying Ideological Changes in the Context of Political Parties

2020

Celem artykułu jest analiza aspektów metodologicznych związanych z badaniem zmian ideologicznych w partiach politycznych. W pracy porównano analizę ilościową programów wyborczych i ankiety eksperckiej, oceniono ich mocne i słabe strony oraz przeanalizowano możliwości ich zastosowania. Hipoteza przyjęta w artykule jest następująca: analiza ilościowa programów wyborczych jest obciążona mniejszymi słabościami metodologicznymi niż ankieta ekspercka, a zatem jest bardziej niezawodnym narzędziem do pomiaru zmian ideologicznych w środowisku partii politycznych

analiza ilościowa programów wyborczychpolitical partiesideological changesExpert Surveyzmiany ideologicznequantitative analysis of election programsankieta eksperckapartie polityczneAnnales UMCS, Sectio K: Politologia
researchProduct

Revista electrónica de investigación y evaluación educativa

2014

Resumen basado en el de la publicación Título, resumen y palabras clave en inglés y español Se pretende realizar inferencias sobre el campo de la Evaluación de Programas Educativos (E.P.E.), sintetizando ciertos patrones relativos a la metodología de sus investigaciones. En concreto, sobre el paradigma de fundamentación epistemológica, la metodología de investigación específica, el modelo evaluativo empleado, las técnicas de muestreo, los instrumentos empleados para la recogida de información y las técnicas de análisis de datos, el diseños de investigación, las amenazas a su validez, los agentes evaluadores y otras características metodológicas consideradas. Para ello, se revisaron 208 trab…

análisis comparativoEspañaProgram-Evaluation Educational Programs Research Methodology Spanish Production Research Analysis Scientometric Reviewmétodo de investigaciónevaluaciónprograma de enseñanzapublicación periódicaEducationRELIEVE - Revista Electrónica de Investigación y Evaluación Educativa
researchProduct

Comparison between simulated and observed LHC beam backgrounds in the ATLAS experiment at E beam =4 TeV

2018

Results of dedicated Monte Carlo simulations of beam-induced background (BIB) in the ATLAS experiment at the Large Hadron Collider (LHC) are presented and compared with data recorded in 2012. During normal physics operation this background arises mainly from scattering of the 4 TeV protons on residual gas in the beam pipe. Methods of reconstructing the BIB signals in the ATLAS detector, developed and implemented in the simulation chain based on the FLUKA Monte Carlo simulation package, are described. The interaction rates are determined from the residual gas pressure distribution in the LHC ring in order to set an absolute scale on the predicted rates of BIB so that they can be compared qua…

background [beam]background: inducedPhysics::Instrumentation and DetectorsCiencias FísicasMonte Carlo method01 natural sciencesHigh Energy Physics - ExperimentSubatomär fysik//purl.org/becyt/ford/1 [https]High Energy Physics - Experiment (hep-ex)beam lossesSubatomic Physicsscattering [p p][PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]and programsInstrumentationQCMathematical PhysicsPhysicsLarge Hadron ColliderRadiation calculationsAtlas (topology)Accelerator modelling and simulations (multi-particle dynamics; single-particle dynamics)DetectorATLAS experimentSettore FIS/01 - Fisica SperimentaleSimulation methods and programBeams (radiation) Accelerator modelling and simulations (multi-particle dynamics;; single-particle dynamics); Radiation calculations; Simulation methods; and programs; DETECTOR; SEARCHObservableAccelerator modelling and simulations (multi-particle dynamicMonte Carlo [numerical calculations]ATLASNuclear & Particles PhysicsAccelerator modelling and simulationsCERN LHC Coll collimators beam: backgroundcolliding beams [p p]numerical calculations: Monte CarloCIENCIAS NATURALES Y EXACTASParticle Physics - Experimentp p: scatteringAccelerator modelling and simulations (multi-particle dynamics; Radiation calculations; Simulation methods and programs; single-particle dynamics); Instrumentation; Mathematical Physics530 PhysicsCiências Naturais::Ciências Físicas:Ciências Físicas [Ciências Naturais]FOS: Physical sciencesFísica de Partículas y CamposAccelerator Physics and InstrumentationNuclear physicsFLUKAsingle-particle dynamics)ATLAS LHC High Energy PhysicsHIGH ENERGY PHYSICSSEARCH0103 physical sciencesddc:610010306 general physicsAbsolute scaleDETECTORpressure [gas]Science & Technology010308 nuclear & particles physicsScatteringhep-exRadiation calculationscatteringAcceleratorfysik och instrumentering//purl.org/becyt/ford/1.3 [https]ghostAccelerator modelling and simulations (multi-particle dynamicsSimulation methodscorrelationinduced [background]Experimental High Energy Physicsgas: pressureSimulation methods and programsp p: colliding beamsexperimental results
researchProduct

On Language Adequacy

2015

Abstract The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most general one being: the compatibility of the language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory of syntax T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and ex- tensio…

categorial grammartruthPrinciple of compositionalitySemantics (computer science)constituent of knowledgeMeaning (philosophy of language)Denotationreferringcompatibility of syntax and semanticsintensional semanticsAZ20-999interpretationMathematicsontological objectInterpretation (logic)Categorial grammarcommunicationmeaningcategorizationtoken-type distinctionalgebraic modelsLinguisticsSyntax (logic)PhilosophyTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESdenotationcompositionalityTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSextensional semanticsHistory of scholarship and learning. The humanitiesOn LanguageStudies in Logic, Grammar and Rhetoric
researchProduct

The European Innovation Partnership on Active and Healthy Ageing Synergies: Protocol for a prospective observational study to measure the Impact of a…

2016

Aim of this paper is to describe the protocol of the study "Impact of a Community-based Program on Prevention and Mitigation of Frailty in community-dwelling older adults" developed in the framework of the European Innovation Partnership on Active and Healthy Ageing. This proposal has been developed by the Partnership Action groups on frailty, fall prevention and polypharmacy in older. The proposal wants to assess the impact of community-based programs aimed to counteract three main outcomes related to frailty: hospitalization, institutionalization and death. Bringing together researchers from seven European countries, the proposal aims to achieve the critical mass and the geographical exte…

community-based programIR-104047EWI-27821death rateSettore MED/42institutionalizationArticlesfrailtyfrailty; community-based programs; hospitalization; institutionalization; death ratecommunity-based programshospitalization
researchProduct