Search results for "ECTN"

showing 10 items of 76 documents

Towards a simulation-based tuning of motion cueing algorithms

2016

Abstract This paper deals with the problem of finding the best values for the parameters of Motion Cueing Algorithms (MCA). MCA are responsible for controlling the movements of robotic motion platforms used to generate the gravito-inertial cues of vehicle simulators. The values of their multiple parameters, or coefficients, are hard to establish and they dramatically change the behaviour of MCA. The problem has been traditionally addressed in a subjective, partially non-systematic, iterative, time-consuming way, by seeking pilot/driver feedback on the generated motion cues. The aim of this paper is to introduce a different approach to solve the problem of MCA tuning, by making use of a simu…

020301 aerospace & aeronauticsCorrectnessSeries (mathematics)Computer science02 engineering and technologyVirtual realityParameter spaceMotion (physics)0203 mechanical engineeringHardware and ArchitectureModeling and SimulationGenetic algorithm0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingHeuristicsSimulation basedAlgorithmSoftwareSimulation Modelling Practice and Theory
researchProduct

Who loves prescriptivism and why? Some aspects of language correctness in Latvia

2015

ABSTRACTTaking into account the crosscultural differences in prescriptive attitudes in various linguistic communities, a theory of three types of prescriptivism – human-oriented, language-oriented, and error-oriented prescriptivism – has been offered [Strelēvica-Osiņa, Dace. [2011] 2012. Kāpēc mēs gribam, lai valoda ir pareiza? Ieskats preskriptīvisma vēsturē, teorijā un praksē [Why Do We Want Language to Be Correct? An Insight into the History, Theory, and Practice of Prescriptivism]. Rīga: LU Latviesu valodas institūts]. This paper presents a synopsis of this theory, with the main emphasis on the situation of Latvia and the attitudes towards language correctness and correction in the Latv…

060201 languages & linguisticsCultural StudiesLinguistics and LanguageCorrectnessbusiness.industry06 humanities and the artsPublic opinionLinguisticsEducationPoliticsForeign policy0602 languages and literatureHistorical linguisticsSociologybusinessJournal of Multilingual and Multicultural Development
researchProduct

Exacus: Efficient and Exact Algorithms for Curves and Surfaces

2005

We present the first release of the Exacus C++ libraries. We aim for systematic support of non-linear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design, modularity, flexibility, and ease of use. We present the generic design and structure of the libraries, which currently compute arrangements of curves and curve segments of low algebraic degree, and boolean operations on polygons bounded by such segments.

Boolean operations on polygonsModularity (networks)CorrectnessTheoretical computer scienceExact algorithmGeneric programmingComputer scienceBounded functionCompleteness (order theory)Algebraic numberAlgorithmCylindrical algebraic decomposition
researchProduct

The Uniqueness of Teaching and Learning Chemistry

2009

Unfortunately, the current perception of Chemistry held by many students and the general public alike appears to be in stark contrast to its true nature. Although chemistry is ubiquitous in all aspects of our daily lives it continues to be perceived as highly theoretical and of little relevance. A clearer understanding of the fundamental Nature of Chemistry will be needed if students are to recognize its true importance and character. It is not possible to fully understand, and as a consequence accept on an intuitive basis, the 'mystery' and fascinations arising from the transformation of matter, without first adopting a convincing sub-microscopic view, able to connect observed macroscopic …

Chemistry LearningECTNCHEMISTRYMICROSCOPIC APPROACHEDUCATIONHigher EducationSettore CHIM/02 - Chimica Fisica
researchProduct

Corrección: una cuestión de estilo

2009

This paper is devoted to ask if Aesthetics today can be considered in the way of Baumgarten and Kant or it can be considered like a way to produce truth and truthfulness. Opposite to the ontological truth (aletheia) and the logic truth (homoisosis) the writer, from a point of view of Aesthetics, propose considering also truth like correctness, orthotés in classical Greek and rectitudo in Latin.

Ciencias básicas y experimentalesUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]Arte / Bellas ArtesHumanidadesHª y Fª de la CienciaFilosofía. EticaKantian Aesthetics aesthetic truthfulness aesthetic correctness.
researchProduct

Noise-tolerant efficient inductive synthesis of regular expressions from good examples

1997

We present an almost linear time method of inductive synthesis restoring simple regular expressions from one representative (good) example. In particular, we consider synthesis of expressions of star-height one, where we allow one union operation under each iteration, and synthesis of expressions without union operations from examples that may contain mistakes. In both cases we provide sufficient conditions defining precisely the class of target expressions and the notion of good examples under which the synthesis algorithm works correctly, and present the proof of correctness. In the case of expressions with unions the proof is based on novel results in the combinatorics of words. A genera…

Class (set theory)CorrectnessComputer programComputer Networks and CommunicationsComputer scienceComputer experimentTheoretical Computer ScienceHardware and ArchitectureSimple (abstract algebra)Regular expressionTime complexityAlgorithmSoftwareProgram synthesisNew Generation Computing
researchProduct

Unsupervised change detection with kernels

2012

In this paper an unsupervised approach to change detection relying on kernels is introduced. Kernel based clustering is used to partition a selected subset of pixels representing both changed and unchanged areas. Once the optimal clustering is obtained the estimated representatives (centroids) of each group are used to assign the class membership to all others pixels composing the multitemporal scenes. Different approaches of considering the multitemporal information are considered with accent on the computation of the difference image directly in the feature spaces. For this purpose a difference kernel approach is successfully adopted. Finally an effective way to cope with the estimation o…

Correctness010504 meteorology & atmospheric sciencesFeature extraction0211 other engineering and technologiesComposite kernels02 engineering and technologykernel parameters01 natural sciencesunsupervised change detectionElectrical and Electronic Engineeringkernel k-meansCluster analysis021101 geological & geomatics engineering0105 earth and related environmental sciencesMathematicsPixelbusiness.industryPattern recognitionGeotechnical Engineering and Engineering GeologyNonlinear systemKernel (image processing)Unsupervised learningArtificial intelligencebusinessChange detectionIEEE Geoscience and Remote Sensing Letters
researchProduct

New delay-dependent stability conditions for time-varying delay systems

2013

Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2013/360924 Open Access This paper addresses the delay-dependent stability for systems with time-varying delay. First, by taking multi-integral terms into consideration, new Lyapunov-Krasovskii functional is defined. Second, in order to reduce the computational complexity of the main results, reciprocally convex approach and some special transformations are introduced, and new delay-dependent stability criteria are proposed, which are less conservative and have less decision variables than some previous results. Finally, two well-known example…

CorrectnessArticle SubjectComputational complexity theoryComputer scienceGeneral Mathematicslcsh:MathematicsGeneral EngineeringStability (learning theory)lcsh:QA1-939Delay dependentStability conditionsControl theorylcsh:TA1-2040VDP::Matematikk og Naturvitenskap: 400::Matematikk: 410::Analyse: 411lcsh:Engineering (General). Civil engineering (General)Algorithm
researchProduct

Multivariate analysis in the identification of biological targets for designed molecular structures: The BIOTA protocol

2013

In this work the new protocol BIOlogical Target Assignation (BIOTA) for the prediction of the biological target from molecular structures is proposed. BIOTA is based on the Principal Components Analysis (PCA) application on a matrix of ligands versus molecular descriptors. The application of BIOTA could allow to hypothesize the mechanism of action of a candidate drug prior to its biological evaluation or to repurpose old drugs. The protocol can be fine-tuned by choosing opportune targets (biological or not) and molecular descriptors, and it can be useful in every fields in with it is possible to collect set of compounds with known properties. The robustness of the protocol depends from diff…

CorrectnessComputational biologyBiologyBioinformaticsMolecular descriptorDrug DiscoveryHumansHSP90 Heat-Shock ProteinsMolecular Targeted TherapyPharmacologyPrincipal Component AnalysisBiological dataintegumentary systemBIOTA protocol Biological target Inhibitors PCA Drugs repurposingfungiOrganic ChemistryDrug RepositioningRobustness (evolution)BiotaGeneral MedicineSettore CHIM/08 - Chimica FarmaceuticaBiological targetSettore CHIM/03 - Chimica Generale E InorganicaMultivariate AnalysisPrincipal component analysisIdentification (biology)
researchProduct

Set-valued consensus for distributed clock synchronization

2009

This paper addresses the clock synchronization problem in a wireless sensor network (WSN) and proposes a distributed solution that consists of a form of consensus, where agents are able to exchange data representing intervals or sets. The solution is based on a centralized algorithm for clock synchronization, proposed by Marzullo, that determines the smallest interval that is in common with the maximum number of measured intervals. We first show how to convert such an algorithm into a problem involving only operations on sets, and then we convert it into a set–valued consensus. The solution is valid for more general scenarios where agents have uncertain measures of e.g. the position of an o…

CorrectnessComputer scienceDistributed computingInterval (mathematics)Clock synchronizationSynchronizationSet (abstract data type)Settore ING-INF/04 - AutomaticaBounded functionclock synchronizationmulti-agent systemSet theoryWireless sensor networkAlgorithmSet-valued consensus algorithm2009 IEEE International Conference on Automation Science and Engineering
researchProduct