Search results for "Run"

showing 10 items of 2820 documents

Packing a Trunk

2003

We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car trunk, the aim is to pack as many identical boxes of size 4 × 2 × 1 units as possible into the interior of the trunk. This measure is important for car manufacturers, because it is a standard in the European Union.

CombinatoricsPacking problemsMeasure (data warehouse)Linear programmingPolytope modelmedia_common.cataloged_instanceEuropean unionGreedy algorithmInteger programmingAlgorithmTrunkMathematicsmedia_common
researchProduct

BARGAINING WITH COMMITMENT UNDER AN UNCERTAIN DEADLINE

2006

We consider an infinite horizon bargaining game in which a deadline can arise with positive probability and where players possess an endogenous commitment device. We show that for any truncation of the game, the equilibrium agreement can only take place if the deadline arises within this finite horizon. Since the deadline is an uncertain event, the equilibrium exhibits agreements which are delayed with positive probability.

Commitment deviceComputer Science::Computer Science and Game TheoryGeneral Computer ScienceTruncationFinite horizonC78 [Bargaining endogenous commitment delays uncertain deadline JEL Classification]jel:M2MicroeconomicsEconomicsjel:C0Infinite horizonStatistics Probability and UncertaintyBusiness and International Managementjel:D5jel:B4Mathematical economicsComputer Science::Operating Systemsjel:C6jel:D7Positive probabilityComputer Science::Databasesjel:C7Event (probability theory)International Game Theory Review
researchProduct

La committenza gesuitica e la pittura a Palermo tra XVI e XVIII secolo

Il presente lavoro di ricerca mira ad approfondire e arricchire, mediante nuove acquisizioni, lo studio in merito alle opere pittoriche di committenza gesuitica custodite presso le fondazioni palermitane dell’Ordine: chiesa del Gesù a Casa Professa, Collegio Massimo dei Gesuiti, chiesa di San Stanislao Kostka e chiesa di San Francesco Saverio. A queste si aggiungono i dipinti di committenza della Compagnia trasferiti presso altre sedi. Ulteriore intento è quello di organizzare in maniera più organica la trattazione delle commissioni artistiche dell’Ordine a Palermo, che si presentava dispersiva e frammentaria. Tra i risultati più significativi si annovera il ritrovamento di un ciclo di affr…

Committenza religiosa committenza gesuitica Gesuiti Arte Arti figurative pittura nuove acquisizioni fondazioni gesuitiche a Palermo Orazio Ferrara da Giuliana S. J. Antonino Grano Filippo Tancredi Gaspare Serenario Domenico La Bruna Filippo Randazzo Vito D'Anna Gioacchino Martorana chiesa del Gesù a Casa Professa Palermo collegio Massimo dei Gesuiti Palermo chiesa di San Stanislao Kostka Palermo chiesa di San Francesco Saverio Palermo modus operandi Compagnia di Gesù Sicilia spiritualità ignaziana Sant'Ignazio di Loyola San Francesco Saverio San Luigi Gonzaga chiesa del Noviziato dei Gesuiti Palermo Oratorio del Sabato pitture inedite Litterae Quadrimestres et Annuae Historiae Domus A. R. S. I. André Reinoso Domingos da Cunha "O Cabrinha" Siviglia Lisbona Spagna Portogallo Namban Art Santi Martiri GiapponesiSettore L-ART/02 - Storia Dell'Arte Moderna
researchProduct

Goal-setting strategy and psychological differences in marathon runners compared by gender

2019

Prior to a marathon race, we conducted a cross sectional study with 122 male and 18 female recreational runners at the Expo. Demographic information, running experience, competition level, training details, goal and finishing times, and PODIUM questionnaire on psychological state variables were collected. Motivation, training volume, experience, and relative performance were comparable between male and female marathon runners. However, men were more ambitious and perceived higher self-confidence and fitness, although overestimated their goals ( M dif = -10.4, SD = 16.7] minutes, p < .001). Women perceived higher social support, reported higher anxiety levels, were more accurate in their est…

Competition levelMarathonCross-sectional studymedia_common.quotation_subjectPhysical Therapy Sports Therapy and RehabilitationpsychologyGender-differences050105 experimental psychologyRunning03 medical and health sciencesSocial support0302 clinical medicineGoal settingEducación Física y DeportivarunningmedicinePsychology0501 psychology and cognitive scienceslcsh:Sports medicineGoal settingmedia_commongoal settingbiologyAthletes05 social sciencesgender-differencesbiology.organism_classificationSport psychologycounsellingCorredors (Esports)PsicologiaPersonal identityDiferències entre sexes (Psicologia)AnxietyCounsellingmedicine.symptommarathonlcsh:RC1200-1245Psychology030217 neurology & neurosurgeryClinical psychologyJournal of Human Sport and Exercise
researchProduct

Isometric endurance test of the cervical flexor muscles - Reliability and normative reference values.

2017

Abstract Objective To obtain reference values for the isometric endurance test (IET) of the cervical flexor muscles, investigate its reproducibility, and compare the results with the maximal isometric strength test (MIST) of the cervical flexor muscles. Design Cross-sectional non-comparative study with single group repeated measurements. Methods Altogether 219 healthy females aged 20–59 years volunteered to participate in the study. The IET was performed in the supine position and MIST seated. The reproducibility was evaluated by the intraclass correlation coefficient (ICC) and an analysis described by Bland and Altman. The relationship between the two measuring methods was evaluated by Pea…

Complementary and Manual TherapyAdultmedicine.medical_specialtySupine positionCorrelation coefficientIntraclass correlationendurance strengthPhysical Therapy Sports Therapy and RehabilitationIsometric exercisenon-specific neck painisometric contraction03 medical and health sciencesDisability EvaluationYoung Adult0302 clinical medicineintrarater reliabilityNeck MusclesReference ValuesIsometric ContractionmedicineHumansMuscle Skeletal030222 orthopedicsReproducibilitybusiness.industryRehabilitationniskakipuReproducibility of Resultsta3141Intra-rater reliabilityRepeatabilityMiddle AgedTrunkCross-Sectional StudiesComplementary and alternative medicinemaximal strengthPhysical therapyFemalebusiness030217 neurology & neurosurgeryJournal of bodywork and movement therapies
researchProduct

Cholesky decomposition techniques in electronic structure theory

2011

We review recently developed methods to efficiently utilize the Cholesky decomposition technique in electronic structure calculations. The review starts with a brief introduction to the basics of the Cholesky decomposition technique. Subsequently, examples of applications of the technique to ab inito procedures are presented. The technique is demonstrated to be a special type of a resolution-of-identity or density-fitting scheme. This is followed by explicit examples of the Cholesky techniques used in orbital localization, computation of the exchange contribution to the Fock matrix, in MP2, gradient calculations, and so-called method specific Cholesky decomposition. Subsequently, examples o…

Computer and Information SciencesTheoretical computer scienceBasis (linear algebra)Computer scienceCalibration (statistics)ComputationAb initioMathematicsofComputing_NUMERICALANALYSISData- och informationsvetenskapKemiType (model theory)Fock matrixChemical SciencesPruning (decision trees)AlgorithmCholesky decomposition
researchProduct

Learning Improved Feature Rankings through Decremental Input Pruning for Support Vector Based Drug Activity Prediction

2010

The use of certain machine learning and pattern recognition tools for automated pharmacological drug design has been recently introduced. Different families of learning algorithms and Support Vector Machines in particular have been applied to the task of associating observed chemical properties and pharmacological activities to certain kinds of representations of the candidate compounds. The purpose of this work, is to select an appropriate feature ordering from a large set of molecular descriptors usually used in the domain of Drug Activity Characterization. To this end, a new input pruning method is introduced and assessed with respect to commonly used feature ranking algorithms.

Computer scienceActive learning (machine learning)business.industryFeature vectorPattern recognitionMachine learningcomputer.software_genreKernel methodComputational learning theoryRanking SVMFeature (machine learning)Artificial intelligencePruning (decision trees)businessFeature learningcomputer
researchProduct

Tuning a Mamdani Fuzzy Controller with an Imperialist Competitive Algorithm

2021

We have implemented a fuzzy controller with a view to regulating a single-input and single-output second-order linear system. The fuzzy controller was a Mamdami proportional-derivative controller. To determine the parameters of the fuzzy controller we have used an imperialist competitive algorithm. This type of algorithm has a long running time so we implemented also a parallel version of the algorithm that we run on HPC Zamolxes located at the Engineering Faculty of “Lucian Blaga” University from Sibiu. Because we did not have on this computer a version of MATLAB allowing to write parallel algorithms, we implemented the entire application in the C language using the MPI library.

Computer scienceControl theoryLinear systemParallel algorithmImperialist competitive algorithmMATLABcomputerFuzzy logicRunning timecomputer.programming_language
researchProduct

Efficient Multi-scale Patch-Based Segmentation

2015

The objective of this paper is to devise an efficient and accurate patch-based method for image segmentation. The method presented in this paper builds on the work of Wu et al. [14] with the introduction of a compact multi-scale feature representation and heuristics to speed up the process. A smaller patch representation along with hierarchical pruning allowed the inclusion of more prior knowledge, resulting in a more accurate segmentation. We also propose an intuitive way of optimizing the search strategy to find similar voxel, making the method computationally efficient. An additional approach at improving the speed was explored with the integration of our method with Optimised PatchMatch…

Computer scienceFeature (computer vision)Segmentation-based object categorizationbusiness.industryFeature vectorScale-space segmentationPattern recognitionSegmentationPruning (decision trees)Image segmentationArtificial intelligencebusinessHeuristics
researchProduct

WSN Design and Verification Using On-Board Executable Specifications

2019

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…

Computer scienceInformation System02 engineering and technologywireless sensor networkSoftware0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEmbedded systemsymbolic programmingSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFunctional specificationbusiness.industry020208 electrical & electronic engineeringRuntime verificationresource-constrained deviceComputer Science Applications1707 Computer Vision and Pattern Recognitioncomputer.file_formatsystem specificationComputer Science ApplicationsControl and Systems EngineeringEmbedded systemsystem programmingExecutablebusinesscomputerInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct