Search results for " Logic"

showing 10 items of 1720 documents

FRET-based dynamic structural biology: Challenges, perspectives and an appeal for open-science practices.

2021

International audience; Single-molecule FRET (smFRET) has become a mainstream technique for studying biomolecular structural dynamics. The rapid and wide adoption of smFRET experiments by an ever- increasing number of groups has generated significant progress in sample preparation, measurement procedures, data analysis, algorithms and documentation. Several labs that employ smFRET approaches have joined forces to inform the smFRET community about streamlining how to perform experiments and analyze results for obtaining quantitative information on biomolecular structure and dynamics. The recent efforts include blind tests to assess the accuracy and the precision of smFRET experiments among d…

0301 basic medicineconformationOpen scienceComputer scienceStructural Biology and Molecular BiophysicsAMINOACYL-TRANSFER-RNAINTRAMOLECULAR DISTANCE DISTRIBUTIONSReview ArticleRESONANCE ENERGY-TRANSFER01 natural sciencesbiomoleculesFREELY DIFFUSING MOLECULESDocumentationFluorescence Resonance Energy TransferMainstreamstructural biologyBiology (General)General NeuroscienceQRNANO-POSITIONING SYSTEMGeneral MedicinedynamicsINTRINSICALLY DISORDERED PROTEINSSingle Molecule ImagingFLUORESCENCE CORRELATION SPECTROSCOPY[SDV.BBM.BP]Life Sciences [q-bio]/Biochemistry Molecular Biology/BiophysicsMedicinecommunitysingle-moleculeQH301-705.5ScienceAppeal[SDV.BBM.BP] Life Sciences [q-bio]/Biochemistry Molecular Biology/BiophysicsBioengineeringchemical biology010402 general chemistryGeneral Biochemistry Genetics and Molecular Biology03 medical and health sciencesALTERNATING-LASER EXCITATIONBiochemistry and Chemical Biologymolecular biophysicsbiochemistryMolecular BiologyStructure (mathematical logic)General Immunology and MicrobiologySINGLE-MOLECULE FRETTRANSITION PATH TIMESData science0104 chemical sciences030104 developmental biologyFRETPosition paperGeneric health relevanceBiochemistry and Cell BiologyeLife
researchProduct

An Industrial Automation Course: Common Infrastructure for Physical, Virtual and Remote Laboratories for PLC Programming

2018

<span style="font-family: 'Times New Roman',serif; font-size: 10pt; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: DE; mso-bidi-language: AR-SA;">This work describes the development of a teaching strategy to leverage current simulation tools and promote learning of industrial automation systems. Specifically, Programmable Logic Controller (PLC) programming in an industrial automation course. We propose an infrastructure where it is possible to work with physical, virtual and mixed laboratories</span>

0301 basic medicinelcsh:T58.5-58.64Computer sciencebusiness.industrylcsh:Tlcsh:Information technologyIndustrial Automation Teaching On-line Education OPC-UA Virtual Laborato-ry Virtual commissioning PLC programmingGeneral EngineeringProgrammable logic controllerAutomationlcsh:TechnologyEnsenyament virtual03 medical and health sciences030104 developmental biologyTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESLeverage (statistics)businessSoftware engineeringIndustrial automation systemsAutomatitzacióInternational Journal of Online Engineering (iJOE)
researchProduct

Low-cost scalable discretization, prediction and feature selection for complex systems

2019

The introduced data-driven tool allows simultaneous feature selection, model inference, and marked cost and quality gains.

0303 health sciencesMultidisciplinary010504 meteorology & atmospheric sciencesDiscretizationComputer scienceData classificationProbabilistic logicComplex systemSciAdv r-articlesFeature selectioncomputer.software_genre01 natural sciences03 medical and health sciencesRange (mathematics)ScalabilityData miningCluster analysisAlgorithmcomputerResearch ArticlesMathematicsResearch Article030304 developmental biology0105 earth and related environmental sciences
researchProduct

Defining sensory descriptors: towards writing rules based on terminology

2007

International audience; Descriptive analysis relies upon the use of sensory descriptors. They are words generally associated to a definition aimed at helping their understanding. However, the writing rules for such definitions remain implicit. The present work is a collaborative attempt from sensory analysts and linguists to get further insight into how definitions are elaborated.Definition formulations were analyzed according to linguistic criteria, syntactic (type and number of nouns, verbs and adjectives) as well as semantic ones (relations of synonymy, metaphor or analogy between the descriptors and their definitions). Such a linguistic analysis was performed on one hundred descriptor d…

030309 nutrition & dieteticsMetaphorComputer sciencemedia_common.quotation_subjectrègles d'écritureAnalogycomputer.software_genreSemanticsPsycholinguisticsTerminology03 medical and health sciences0404 agricultural biotechnologyNounterminologyterminologie[SHS.LANGUE]Humanities and Social Sciences/LinguisticsSet (psychology)ComputingMilieux_MISCELLANEOUSmedia_commonStructure (mathematical logic)0303 health sciencesNutrition and Dieteticsbusiness.industry[SCCO.NEUR]Cognitive science/Neurosciencelinguisticswriting rules04 agricultural and veterinary sciences040401 food scienceLinguistics[ SCCO.NEUR ] Cognitive science/Neuroscience[SCCO.PSYC]Cognitive science/Psychology[SCCO.PSYC] Cognitive science/PsychologyArtificial intelligencebusinesscomputerNatural language processinglinguistiqueFood Science
researchProduct

Compound conditionals as random quantities and Boolean algebras

2022

Conditionals play a key role in different areas of logic and probabilistic reasoning, and they have been studied and formalised from different angles. In this paper we focus on the de Finetti's notion of conditional as a three-valued object, with betting-based semantics, and its related approach as random quantity as mainly developed by two of the authors. Compound conditionals have been studied in the literature, but not in full generality. In this paper we provide a natural procedure to explicitly attach conditional random quantities to arbitrary compound conditionals that also allows us to compute their previsions. By studying the properties of these random quantities, we show that, in f…

03B48Settore MAT/06 - Probabilita' E Statistica MatematicaFOS: MathematicsMathematics - LogicLogic (math.LO)Compound conditionals Conditional Boolean algebra conjunction and disjunction canonical extension
researchProduct

The Logical Intelligence Enhancement Program (LIEP) for the improvement of cognitive abilities. Premilinary findings

2021

The Logical Intelligence Enhancement Program (LIEP) is a program specifically addressed to students aging from 6 to 12. It consists of a series of exercises of different types (verbal inferences, understanding of graphs and tables, series of digits, etc.) and increasing difficulty, properly devised to activate and train the abilities of logical reasoning. Hopefully, such an enhancement should result in an improvement of academic achievements, especially in low proficiency learner students. Here we report on a study carried out on a large cohort of fifth-grade students. The results demonstrate the effectiveness of LIEP in improving students’ cognitive abilities and abstract reasoning.

050101 languages & linguistics05 social sciences050301 educationlogical reasoningEducation (General)cognitive abilitiescognitive trainingcognitive enhancement; logical reasoning; cognitive abilities; cognitive trainingcognitive enhancement logical reasoning cognitive abilities cognitive trainingComputingMilieux_COMPUTERSANDEDUCATION0501 psychology and cognitive sciencesL7-991cognitive enhancement0503 education
researchProduct

Attention-based Model for Evaluating the Complexity of Sentences in English Language

2020

The automation of text complexity evaluation (ATCE) is an emerging problem which has been tackled by means of different methodologies. We present an effective deep learning- based solution which leverages both Recurrent Neural and the Attention mechanism. The developed system is capable of classifying sentences written in the English language by analysing their syntactical and lexical complexity. An accurate test phase has been carried out, and the system has been compared with a baseline tool based on the Support Vector Machine. This paper represents an extension of a previous deep learning model, which allows showing the suitability of Neural Networks to evaluate sentence complexity in tw…

050101 languages & linguisticsComputer scienceText simplificationcomputer.software_genredeep-learningNLPDeep Learning0501 psychology and cognitive sciencestext simplificationBaseline (configuration management)Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSettore INF/01 - InformaticaArtificial neural networktext-complexity-evaluationbusiness.industryDeep learning05 social sciences050301 educationExtension (predicate logic)AutomationAutomatic Text SimplificationSupport vector machineArtificial intelligencebusiness0503 educationcomputerNatural language processingSentence
researchProduct

A Hybrid Architecture for Tiered Storage with Fuzzy Logic and AutoML

2020

The explosion of storage needs pauses a multifaceted challenge for organizations, not only it exerts a large pressure on precious resources, but also creates a sub-optimal data environment where the noise level may overwhelm the actual signal. However, despite the economies of scale achieved by major cloud platforms, the fundamental issue of storage optimization did not go away.

050101 languages & linguisticsComputer sciencebusiness.industryDistributed computing05 social sciencesSIGNAL (programming language)Cloud computing02 engineering and technologyFuzzy logicEconomies of scaleFuzzy logic controller0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing0501 psychology and cognitive sciencesNoise levelArchitecturebusinessCloud storage
researchProduct

What is an indirect speech act?

2019

Abstract The notion of an indirect speech act is at the very heart of cognitive pragmatics, yet, after nearly 50 years of orthodox (Searlean) speech act theory, it remains largely unclear how this notion can be explicated in a proper way. In recent years, two debates about indirect speech acts have stood out. First, a debate about the Searlean idea that indirect speech acts constitute a simultaneous realization of a secondary and a primary act. Second, a debate about the reasons for the use of indirect speech acts, in particular about whether this reason is to be seen in strategic advantages and/or observation of politeness demands. In these debates, the original pragmatic conception of sen…

050101 languages & linguisticsLinguistics and LanguageGeneral Computer SciencePoint (typography)PolitenessLiteral (mathematical logic)media_common.quotation_subject05 social sciencesCognitive pragmaticsRealization (linguistics)06 humanities and the arts0603 philosophy ethics and religionLanguage and LinguisticsIndirect speechLinguisticsSpeech actBehavioral NeuroscienceHistory and Philosophy of Science060302 philosophy0501 psychology and cognitive sciencesPsychologySentencemedia_commonPragmatics and its Interfaces as related to the Expression of Intention
researchProduct

Why Digital Games Can Be Advantageous in Vocabulary Learning

2021

Vocabulary learning is an integral part of language learning; however, it is difficult. Although there are many techniques proposed for vocabulary learning and teaching, researchers still strive to find effective methods. Recently, digital games have shown potentials in enhancing vocabulary acquisition. A majority of studies in digital game-based vocabulary learning (DGBVL) literature investigate the effectiveness of DGBVL tasks. In other words, there are enough answers to what questions in DGBVL literature whereas why questions are rarely answered. Finding such answers help us learn more about the structure of the DGBVL tasks and their effects on vocabulary learning. Hence, to achieve this…

050101 languages & linguisticsLinguistics and LanguageVocabularyComputer sciencemedia_common.quotation_subject0211 other engineering and technologies02 engineering and technologycomputer.software_genrelanguage learningLanguage and LinguisticsInteractivitysanavarastoEncoding (memory)0501 psychology and cognitive sciencessanatword learningkielen oppiminenmedia_commonStructure (mathematical logic)digital game-based learningRepetition (rhetorical device)business.industrydigital game05 social sciences021107 urban & regional planningDUAL (cognitive architecture)Language acquisitionvocabulary learningVocabulary learningArtificial intelligencebusinesscomputerdigitaaliset pelitNatural language processingTheory and Practice in Language Studies
researchProduct