نتایج جستجو برای: style

تعداد نتایج: 64561  

Journal: :Center for Migration Studies special issues 1986

1996
John Harrison

We are concerned with how to communicate a mathematical proof to a computer theorem prover. This can be done in many ways, while allowing the machine to generate a completely formal proof object. The most obvious choice is the amount of guidance required from the user, or from the machine perspective, the degree of automation provided. But another important consideration, which we consider part...

2001
Nicholas Barberis Andrei Shleifer

We study asset prices in an economy where some investors categorize risky assets into different styles and move funds among these styles depending on their relative performance. In our economy, assets in the same style comove too much, assets in different styles comove too little, and reclassifying an asset into a new style raises its correlation with that style. We also predict that style retu...

Journal: :British Medical Bulletin 2002

Journal: :BMGN - Low Countries Historical Review 1979

Journal: :Journal of Chemical Education 1991

Journal: :Library Resources & Technical Services 2013

Journal: :Journal of Japan Institute of Light Metals 1977

Journal: :Aotearoa New Zealand Social Work 2017

Journal: :The Iowa Review 1993

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید