Search results for "Constraint"

showing 10 items of 361 documents

K-12 game programming course concept using textual programming

2011

Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…

Functional logic programmingComputer sciencecomputer.software_genreExtensible programmingVery high-level programming languageComputingMilieux_COMPUTERSANDEDUCATIONConstraint programmingReactive programmingFifth-generation programming languageProgramming domainProtocol (object-oriented programming)Visual programming languageDeclarative programmingta113Symbolic programmingbusiness.industryProgramming languageInductive programmingConcurrent object-oriented programmingImperative programmingProcedural programmingProgramming paradigmSoftware engineeringbusinessFirst-generation programming languagecomputerFunctional reactive programmingProgramming language theoryProceedings of the 42nd ACM technical symposium on Computer science education
researchProduct

Optimization Under Fuzzy Max-t-Norm Relation Constraints

2019

Fuzzy relation equations and inequalities play an important role in many tools of fuzzy modelling and have been extensively studied. In many practical applications they are used as constraints in optimization. Algorithms for specific objective functions have been proposed by many authors. In this paper we introduce a method to convert a system of fuzzy relation constraints with max-t-norm composition to a linear constraint system by adding integer variables. A numerical example is provided to illustrate the proposed method.

Fuzzy modellingConstraint (information theory)Mathematical optimizationRelation (database)Mathematics::Metric GeometryT-normComposition (combinatorics)Fuzzy logicMathematicsInteger (computer science)
researchProduct

Holes in the Dike: the global savings glut, U.S. house prices and the long shadow of banking deregulation

2015

We explore empirically how capital inflows into the US and financial deregulation within the United States interacted in driving the run-up (and subsequent decline) in US housing prices over the period 1990-2010. To obtain an ex ante measure of financial liberalization, we focus on the history of interstate-banking deregulation during the 1980s, i.e. prior to the large net capital inflows into the US from China and other emerging economies. Our results suggest a long shadow of deregulation: in states that opened their banking markets to out-of-state banks earlier, house prices were more sensitive to capital inflows. We provide evidence that global imbalances were a major positive funding sh…

G28media_common.quotation_subjectHouse pricesjel:F20Monetary economicsjel:F40credit constraintsjel:G21Deregulationjel:G28CREDIT CONSTRAINTSSTATE BANKING DEREGULATIONsavings glut10007 Department of Economics0502 economics and businessddc:330F32G10state banking regulations050207 economicsSAVINGS GLUTEmerging marketsmedia_common050208 finance05 social sciencesHouse prices savings glut global imbalances credit constraints state banking deregulationGlobal imbalancesjel:F32jel:G10330 EconomicsInterest rateShock (economics)Net capital ruleCapital (economics)interstate banking deregulationPortfolioG21house pricesBusinessGeneral Economics Econometrics and FinanceF40state banking deregulationglobal imbalancesF20
researchProduct

Dense matter with eXTP

2019

In this White Paper we present the potential of the Enhanced X-ray Timing and Polarimetry (eXTP) mission for determining the nature of dense matter; neutron star cores host an extreme density regime which cannot be replicated in a terrestrial laboratory. The tightest statistical constraints on the dense matter equation of state will come from pulse profile modelling of accretion-powered pulsars, burst oscillation sources, and rotation-powered pulsars. Additional constraints will derive from spin measurements, burst spectra, and properties of the accretion flows in the vicinity of the neutron star. Under development by an international Consortium led by the Institute of High Energy Physics o…

GAMMA-RAY PULSARSdense matterAstrophysics::High Energy Astrophysical PhenomenaPolarimetryGeneral Physics and AstronomyFOS: Physical sciencesAstrophysicsNeutronBRIGHTNESS OSCILLATIONS7. Clean energy01 natural sciencesINNER ACCRETION DISKSSpectral lineX-raydense matter; equation of state; neutron; X-rays; Physics and Astronomy (all)Physics and Astronomy (all)Equacions d'estatneutronPulsar0103 physical sciencesMILLISECOND PULSARSX-raysNEUTRON-STARRADIUS CONSTRAINTS010306 general physics010303 astronomy & astrophysicsRELATIVISTIC IRON LINEequation of statePhysicsHigh Energy Astrophysical Phenomena (astro-ph.HE)LIGHT CURVESNeutronsEquation of stateQUASI-PERIODIC OSCILLATIONSX-RaysStarke Wechselwirkung und exotische Kerne – Abteilung BlaumAstrophysics::Instrumentation and Methods for AstrophysicsEQUATION-OF-STATEAccretion (astrophysics)Neutron star:Física::Astronomia i astrofísica [Àrees temàtiques de la UPC]Raigs XAstrophysics::Earth and Planetary AstrophysicsAstrophysics - High Energy Astrophysical PhenomenaDense matterDense matter
researchProduct

Testing for new physics with low-energy anti-neutrino sources: LAMA as a case study

1998

Some electroweak models with extended neutral currents, such as those based on the $E_6$ group, lead to an increase of the $\bar{\nu}-e$ scattering cross section at energies below 100 keV. We propose to search for the heavy Z' boson contribution in an experiment with a high-activity artificial neutrino source and with a large-mass detector. We present the case for the LAMA experiment with a large NaI(Tl) detector located at the Gran Sasso underground laboratory. The neutrino flux is known to within a one percent accuracy, in contrast to the reactor case and one can reach lower neutrino energies. Both features make our proposed experiment more sensitive to extended gauge models, such as the …

GAUGE BOSONSNuclear and High Energy PhysicsParticle physicsVIOLATIONPhysics::Instrumentation and DetectorsPhysics beyond the Standard ModelFOS: Physical sciencesFluxMASSSettore FIS/04 - Fisica Nucleare e SubnucleareHigh Energy Physics - Phenomenology (hep-ph)GAUGE BOSONS; MASS; CONSTRAINTS; SCATTERING; VIOLATION; SEARCHSEARCHSCATTERINGSensitivity (control systems)BosonPhysicsSettore FIS/01 - Fisica SperimentaleHigh Energy Physics::PhenomenologyElectroweak interactionDetectorCONSTRAINTSFísicaGauge (firearms)High Energy Physics - PhenomenologyHigh Energy Physics::ExperimentNeutrinoNuclear Physics B
researchProduct

An ecological dynamics rationale to explain home advantage in professional football

2016

Despite clear findings, research on home advantage in team sports lacks a comprehensive theoretical rationale for understanding why this phenomenon is so compelling. The aim of this study was to provide an explanatory theoretical rationale in ecological dynamics for the influence of home advantage observed in research on professional football. We recorded 30 competitive matches and analyzed 13958 passes, from one highly successful team in the Portuguese Premier League, during season 2010/2011. Performance data were analyzed using the Match Analysis Software—Amisco[Formula: see text] (version 3.3.7.25), allowing us to characterize team activity profiles. Results were interpreted from an ecol…

General Physics and Astronomyecological dynamicsFootballLeagueprofessional football03 medical and health sciences0302 clinical medicinePhenomenonco-adaptationMarketingComplex adaptive systemta315Mathematical PhysicsSimulationhome advantageinteracting constraintsEcological dynamicsStatistical and Nonlinear Physics030229 sport sciencesComputer Science ApplicationsMatch analysisComputational Theory and MathematicsHome advantagePsychologyInterpersonal coordination030217 neurology & neurosurgery
researchProduct

Special track on Geometric Constraints and Reasoning

2008

Geometric Computing and Reasoning (GCR) aims at emphasizing recent trends in the domain of geometric constraint solving and automated, or computer aided deduction in geometry. This year sees the third edition of this technical track of SAC.

Geometric networksConstraint (information theory)Theoretical computer scienceComputer scienceTrack (rail transport)Geometric computingComputingMethodologies_COMPUTERGRAPHICSDomain (software engineering)Proceedings of the 2008 ACM symposium on Applied computing
researchProduct

The Argille Varicolori Unit of Lucania (Italy): a record offscraping and gravity sliding in the Mesozoic-Tertiary Lagonegro Basin, southern Apennines

2006

Detailed geological mapping and new stratigraphic and structural data collected in the Lucania area of the southern Apennines allowed us to assess the deformation history of 11 Monte-Corleto Perticara zone, in the High Agri Valley (Lucanian Apennines, southern Italy) where red and green shales (known as Argille Varicolori or Argille scagliose) crop out. Our observations suggest that: (1) 'chaotic' facies within the Argille Varicolori may be attributed to a broken formation generated by overthrusting of Apenninic Platform units onto already deformed Lagonegro basin strata; (2) gravity sliding phenomena at the thrust front enhanced the development of debris flow and the emplacement of olistos…

Gravity (chemistry)BELTCONSTRAINTSGeologyOcean EngineeringStructural basinEVOLUTIONUnit (housing)MECHANISMSTectonicsPaleontologyMesozoicGeologySeismologyWater Science and Technology
researchProduct

Road project opportunity costs subject to a regional constraint on greenhouse gas emissions

2012

Abstract France has constrained the Aquitaine region to set up a climate plan to avoid an emission of 2883 ktCO 2 eq for the period 2007–2013. In parallel, the region has decided to carry out the construction of road infrastructures in order to avoid very high congestion costs. Those road projects will involve an increase in greenhouse gas (GHG) emissions during that period. In the present context of strong sustainability, all emissions (direct and indirect) generated by those projects should be offset. At the regional level, the offsetting of GHG emissions is usually carried out by implementing carbon sequestration projects or projects that reduce energy demand. This paper aims at determin…

Greenhouse EffectEngineeringEnvironmental EngineeringOpportunity costNatural resource economicsInput–output model020209 energyContext (language use)02 engineering and technologyManagement Monitoring Policy and LawCarbon sequestration7. Clean energy12. Responsible consumptionOrder (exchange)Air Pollution0502 economics and business11. Sustainability0202 electrical engineering electronic engineering information engineering050207 economics[SHS.ECO] Humanities and Social Sciences/Economics and FinanceWaste Management and DisposalConstraint (mathematics)ComputingMilieux_MISCELLANEOUSbusiness.industry05 social sciencesEnvironmental resource managementGeneral Medicine[SHS.ECO]Humanities and Social Sciences/Economics and Finance13. Climate actionGreenhouse gasSustainabilitybusinessEnvironmental Monitoring
researchProduct

Narrowing the window of inflationary magnetogenesis

2017

We consider inflationary magnetogenesis where the conformal symmetry is broken by the term $f^2(\phi) F_{\alpha\beta} F^{\alpha\beta}$. We assume that the magnetic field power spectrum today between 0.1 and $10^4$ Mpc is a power law, with upper and lower limits from observation. This fixes $f$ to be close to a power law in conformal time in the window during inflation when the modes observed today are generated. In contrast to previous work, we do not make any assumptions about the form of $f$ outside these scales. We cover all possible reheating histories, described by an average equation of state $-1/3 <\bar{w} <1$. Requiring that strong coupling and large backreaction are avoided both at…

High Energy Physics - TheoryCosmology and Nongalactic Astrophysics (astro-ph.CO)gr-qcprimordial magnetic fieldsFOS: Physical sciencesAstrophysics::Cosmology and Extragalactic AstrophysicsGeneral Relativity and Quantum Cosmology (gr-qc)01 natural sciencesPower law114 Physical sciencesGeneral Relativity and Quantum CosmologyConformal symmetry0103 physical sciencesinflation010303 astronomy & astrophysicsSTFCST/L005573/1ComputingMilieux_MISCELLANEOUSInflation (cosmology)Physics[PHYS]Physics [physics]010308 nuclear & particles physicsEquation of state (cosmology)hep-thRCUKCONSTRAINTSAstronomy and Astrophysics115 Astronomy Space scienceMagnetic fieldOrders of magnitude (time)High Energy Physics - Theory (hep-th)Quantum electrodynamicsCOSMOLOGYSCALE MAGNETIC-FIELDSastro-ph.COBack-reactionST/K00090X/1Order of magnitudeAstrophysics - Cosmology and Nongalactic Astrophysics
researchProduct