509,619 Hits in 3.8 sec

Constrained type families

J. Garrett Morris, Richard A. Eisenberg
2017 Proceedings of the ACM on Programming Languages  
However, their current design implicitly assumes that type families are total, introducing nonsensical types and significantly complicating the metatheory of type families and their extensions.  ...  For example, type families in Haskell provide a powerful, modular means of defining type-level computation.  ...  Validating Constrained Type Families In the previous section, we introduced an intuitive characterization of constrained type families.  ... 
doi:10.1145/3110286 dblp:journals/pacmpl/MorrisE17 fatcat:oij23oau2vccjo5cwh6dwigvea

Constrained Willmore tori in the 4-sphere

Christoph Bohle
2010 Journal of differential geometry  
A conformal immersion f : M → S 4 = R 4 ∪ {∞} of a Riemann surface M is constrained Willmore if it is a critical point of the Willmore functional W = |II| 2 dA under conformal variations.  ...  The Associated Family of Constrained Willmore Surfaces The associated family of a constrained Willmore immersion is the family of flat complex connections on the trivial complex rank 4 bundle C 4 = (H  ...  Prototype for Main Result: Harmonic Tori in S 2The Main Result: Constrained Willmore Tori in S 4Holomorphic Case versus Finite Type CaseTheorem implies that all constrained Willmore tori admit explicit  ... 
doi:10.4310/jdg/1299766684 fatcat:u6oiyke275gpjpua7hohcrufym

Representing and Solving Rule-Based Decision Models with Constraint Solvers [chapter]

Jacob Feldman
2011 Lecture Notes in Computer Science  
Decision models are based on rule families oriented to business users and frequently represented as Excel decision tables.  ...  the glossary and for each fact type it creates a constrained variable of one of the following types: -Var for integer constrained variables -VarBool for Boolean constrained variables -VarReal for real  ...  So, Rule Solver determines whether all constrained variables have been instantiated for all conclusion fact types.  ... 
doi:10.1007/978-3-642-24908-2_23 fatcat:lgxjvnx32nhdfeqgaa3dk46k3q

Towards a constrained Willmore conjecture [article]

Lynn Heller, Franz Pedit
2017 arXiv   pre-print
We give an overview of the constrained Willmore problem and address some conjectures arising from partial results and numerical experiments.  ...  three space forms, and equivariant constrained Willmore tori in the associated family of constrained Hopf Willmore cylinders.  ...  conformal type τ = a + ib is a constrained Willmore minimizer.  ... 
arXiv:1705.03217v1 fatcat:5zimw2vrnbacti43qsqvnro4qm

Private Tutoring, Wealth Constraint and Higher Education

Hsiao-Lei Chu
2015 Pacific Economic Review  
At the same time, the average spending on PT of the poor families is smaller than that of the rich families.  ...  We show that when the effectiveness of private tutoring (PT) exceeds a PTeffectiveness threshold, poor families become disadvantaged in sending their children to college and, thus, inequity arises.  ...  In sum, if  * *     * * * then student loans eliminate the inequity issue and no type- families are wealth-constrained, however, if    * * * type- families are still wealth-constrained even though  ... 
doi:10.1111/1468-0106.12122 fatcat:qhmjodpwtbbsji2e6v5bfr4opy

Page 628 of Journal of Family Psychology Vol. 22, Issue 4 [page]

2008 Journal of Family Psychology  
Therefore, we concluded that there were no differences in the findings by type of relationship. The results described below pertain to the combined sample of relationship types.  ...  Then the paths were constrained to be equal and the models were reestimated.  ... 

Ownership, Managerial Entrenchment, and Corporate Performance

Praveen Kumar, Alessandro Zattoni
2014 Corporate governance: An International Review  
In particular, there is little information on the types of institutional investors that appear to be more effective in constraining management.  ...  Using data on UK firms from 1997-2010, Wang analyzes the question: What type of institutional investors constrains strategic earnings management (through accruals management) by corporate insiders?  ... 
doi:10.1111/corg.12053 fatcat:4nyn6qrzxfbuvap5r7j4qjnjjm

Candidates for non-rectangular constrained Willmore minimizers [article]

Lynn Heller, Cheikh Birahim Ndiaye
2020 arXiv   pre-print
For every b>1 fixed, we explicitly construct 1-dimensional families of embedded constrained Willmore tori parametrized by their conformal class (a,b) with a ∼_b 0^+ deforming the homogenous torus f^b of  ...  Further, we characterize for b ∼ 1, b ≠ 1 and a ∼_b 0^+ the family obtained by opening the "smallest" double point on the spectral curve which is heuristically the direction with the smallest increase  ...  Assume L f ñ λ,κ 0 (λ) = const, thenf ñ λ,κ 0 (λ) is a family of constrained Willmore Hopf tori of the same conformal type.  ... 
arXiv:1902.09572v2 fatcat:jk35hzd66zcfrgwlpvioib5rnu

Interpretable Methods for Identifying Product Variants [article]

Rebecca West, Khalifeh Al Jadda, Unaiza Ahsan, Huiming Qu, Xiquan Cui
2021 arXiv   pre-print
It combines both constrained clustering and tailored NLP techniques (e.g. extraction of product family name from unstructured product title and identification of products with similar model numbers) to  ...  One important way of grouping products is to identify a family of product variants, where the variants are mostly the same with slight and yet distinct differences (e.g. color or pack size).  ...  Constrained Clustering Constrained clustering [9] is a type of clustering algorithm that considers the user's background knowledge or constraints in the processing of grouping objects into clusters.  ... 
arXiv:2104.05504v1 fatcat:srozbbmnb5dffnotwcxhictxem

Polynomial conserved quantities for constrained Willmore surfaces [article]

Áurea Casinhas Quintino, Susana Duarte Santos
2019 arXiv   pre-print
We define a hierarchy of special classes of constrained Willmore surfaces by means of the existence of a polynomial conserved quantity of some type, filtered by an integer.  ...  Type 1 with parallel top term characterises parallel mean curvature surfaces and, in codimension 1, type 1 characterises constant mean curvature surfaces.  ...  Transformations of constrained Willmore surfaces. Constrained Willmore surfaces come equipped with a family of flat connections.  ... 
arXiv:1507.01253v3 fatcat:jr6tyfkfurd5hi4mtaiksgxj4a

Protein Design by Sampling an Undirected Graphical Model of Residue Constraints

J. Thomas, N. Ramakrishnan, C. Bailey-Kellogg
2009 IEEE/ACM Transactions on Computational Biology & Bioinformatics  
Constrained shuffling generates a fixed number of high-likelihood sequences that are reflective of the amino acid composition of a given family.  ...  This is a difficult problem due to interactions among residues; choosing an amino acid type at one position may constrain the possibilities at others, in order for the resulting protein to have proper  ...  The wild-type WW domain sequences have an average log likelihood score under the model of −32.65 with standard deviation 4.93.  ... 
doi:10.1109/tcbb.2008.124 pmid:19644177 fatcat:77lwhpofwzgz5n46tcm7upcnua

Participation Constraints of University Student-athletes in Selected Sports in Kenya

Daniel Ndirangu, Elijah Rintaugu, Hellen Muthomi
2022 Journal of Sports and Physical Education Studies  
from friends and family.  ...  Females were most constrained by cultural limitations and lack of time to participate in sports due to family obligations and other leisure activities.  ... 
doi:10.32996/jspes.2022.2.2.2 fatcat:knfbo55rdrfalctp46pbco7xqe

The family constrained network problem

John Mote
1986 Discrete Applied Mathematics  
Problem statement The family constrained network problem is composed of two types of variables; the binary family variables, and the integer network arc flow variables.  ...  It presents no problem, however, when formulated as a family constrained network problem. In the following section, the family constrained network problem will be formally stated.  ... 
doi:10.1016/0166-218x(86)90086-7 fatcat:bmagtsexa5h6fgmuoem3x4cela


J. M. Vink, Jacqueline M. Vink, Alexia S. Groot, Gerard A. Kerkhof, Dorret I. Boomsma
2001 Chronobiology International  
We studied the influence of genetic factors on individual differences in morningness-eveningness in a sample of Dutch twin families.  ...  With a twin-family study, separation of genetic and environmental influences on variation in morningness-eveningness is possible.  ...  Different types of genetic effects can be considered in modeling the resemblance of family members.  ... 
doi:10.1081/cbi-100107516 pmid:11763988 fatcat:qf2ibrtopvdyro7c2o2tl5agdm

Page 153 of Geographical Analysis Vol. 17, Issue 2 [page]

1985 Geographical Analysis  
The type of inverse relationship between the utility scales and the marginal prices for attribute levels that was discussed above is the reason why the budget- constrained attribute-stresses for renovation  ...  Importance Weight WADDALS' Weight (%) Type of dwelling unit 0.103 (0.17) — 0.095 (0.23) 0.34 (0.30) Renovation /basement 0.308 (0.25) 0.308 (0.25) 0.70 (0.15) Age of construction 0.078 (0.19) 0.076 (0.19  ... 
« Previous Showing results 1 — 15 out of 509,619 results