Filters








1,360,238 Hits in 4.7 sec

Interactive Teaching of Programming Language Theory with a Proof Assistant

Péter Bereczky, István Donkó, Dániel Horpácsi, Ambrus Kaposi, Dávid János Németh
<span title="2020-04-28">2020</span> <i title="Eotvos Lorand University (ELTE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xq5g3hq6zjayji64mgjfpdsshy" style="color: black;">Central-European Journal of New Technologies in Research Education and Practice</a> </i> &nbsp;
Teaching of programming language theory has a long track record at ELTE Faculty of Informatics.  ...  Traditionally, formal semantics and type systems of programming languages, similarly to other theory-oriented subjects, were taught with the pen and paper method.  ...  of programming theory, logic and mathematics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.36427/cejntrep.2.1.470">doi:10.36427/cejntrep.2.1.470</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dwc4pj6kynayrjgomymb4jwvx4">fatcat:dwc4pj6kynayrjgomymb4jwvx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200713004138/http://ojs.elte.hu/cejntrep/article/download/470/381/" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/fa/76fa60fde3b261e348b4a8a460e22204f71084d4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.36427/cejntrep.2.1.470"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Interactive Fuzzy Programming for a Decentralized Two-level Linear Programming Problem
分権的2レベル線形計画問題に対する対話型ファジィ計画法

Masatoshi SAKAWA, Ichiro Nishizaki, Yoshio UEMURA, Keiichi KUBOTA
<span title="">1999</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jw7jooiaerbblhg6vedypkkto4" style="color: black;">Journal of Japan Society for Fuzzy Theory and Systems</a> </i> &nbsp;
decision maker (DptC) at the upper leve] ancl multip]e {)pt・{s at Lhe lower )evel, '1'he interactive method consists of txN,o phases.  ...  A satisfactor}, solution can be clerived efficieT]t.Iy through the intcractive procedure of the two phases.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jfuzzy.11.3_124">doi:10.3156/jfuzzy.11.3_124</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/daircxlpobctflmztvlb6pm4di">fatcat:daircxlpobctflmztvlb6pm4di</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181031153922/https://www.jstage.jst.go.jp/article/jfuzzy/11/3/11_KJ00002086883/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b5/79/b579933110831c372c1810e01e9d2ab16e9ec187.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jfuzzy.11.3_124"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

NCIPLOT: A Program for Plotting Noncovalent Interaction Regions

Julia Contreras-García, Erin R. Johnson, Shahar Keinan, Robin Chaudret, Jean-Philip Piquemal, David N. Beratan, Weitao Yang
<span title="2011-03-08">2011</span> <i title="American Chemical Society (ACS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/z2ruvhjfujanbnydakuxtjslca" style="color: black;">Journal of Chemical Theory and Computation</a> </i> &nbsp;
A wide range of options for tuning the range of interactions to be plotted is also presented.  ...  Describing these noncovalent interactions accurately, including their positions in real space, constitutes a first step in the process of decoupling the complex balance of forces that define noncovalent  ...  Interaction analysis is based on examination of local properties on a cubic grid constructed within the program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1021/ct100641a">doi:10.1021/ct100641a</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21516178">pmid:21516178</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3080048/">pmcid:PMC3080048</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6plpdrytbveezcgsoyxmiahrfe">fatcat:6plpdrytbveezcgsoyxmiahrfe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160521123015/http://www.lct.jussieu.fr/pagesperso/jpp/ct100641a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/22/5722b3fa3a554cdb57bdf47111de4ba37fd09458.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1021/ct100641a"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acs.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3080048" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

CI-MBPT: A package of programs for relativistic atomic calculations based on a method combining configuration interaction and many-body perturbation theory

M.G. Kozlov, S.G. Porsev, M.S. Safronova, I.I. Tupitsyn
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wfenstutwram7ghf2w6rgf5gyu" style="color: black;">Computer Physics Communications</a> </i> &nbsp;
Method of calculation is based on a combination of conventional configuration interaction (CI) method and many-body perturbation theory (MBPT).  ...  This package of programs allows us to carry out relativistic calculations for many-electron atoms and ions.  ...  A. Dzuba and V. V. Flambaum for many useful discussions and E. Konovalova for a help with calculations. This work was supported in part by U.S. NSF Grant No. PHY-1212442.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cpc.2015.05.007">doi:10.1016/j.cpc.2015.05.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gvaqxlcvereftow7nknljuzwpa">fatcat:gvaqxlcvereftow7nknljuzwpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722031726/https://manuscript.elsevier.com/S001046551500185X/pdf/S001046551500185X.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/00/f6/00f63a3a6220d6c0e5531d60b700075a11f9f28a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cpc.2015.05.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Including dispersion interactions in the ONETEP program for linear-scaling density functional theory calculations

Q. Hill, C.-K. Skylaris
<span title="2009-03-08">2009</span> <i title="The Royal Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pgnawoixszagldk2tfhndhrgzu" style="color: black;">Proceedings of the Royal Society A</a> </i> &nbsp;
incomplete description of dispersion interactions.  ...  While density functional theory (DFT) allows accurate quantum mechanical simulations from first principles in molecules and solids, commonly used exchange-correlation density functionals provide a very  ...  -K.S. would like to thank the Royal Society for a University Research Fellowship.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1098/rspa.2008.0398">doi:10.1098/rspa.2008.0398</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r765tsovirdp3fyqe3ir7mwfyi">fatcat:r765tsovirdp3fyqe3ir7mwfyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720151046/http://rspa.royalsocietypublishing.org/content/royprsa/465/2103/669.full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/9e/de9e71b8fd17a07f1b74eabea6ace7c80af7efc9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1098/rspa.2008.0398"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Application of Interactive Fuzzy Programming for Two-level Linear Fractional Programming Models of Production and Assignment Problems : A Case Study
生産・人員割当2レベル線形分数計画問題に対する対話型ファジィ計画法の適用 : 事例研究

Masatoshi SAKAWA, Ichiro NISHIZAKI, Yoshio UEMURA
<span title="">2000</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jw7jooiaerbblhg6vedypkkto4" style="color: black;">Journal of Japan Society for Fuzzy Theory and Systems</a> </i> &nbsp;
We formulate two kinds of two-level programming problemsIone is a maximization problem of profits of both the housing material manufacturer ancl the subcontract firm, and the other is a maximization problen  ...  Interactive Fuzzy Programming for Tw 〔 ⊃ ・ level Linear Fractional Pregramming M 〔 ⊃dels of Produc ・ し ion arld Assignment PrQblerns : − ACase Study − Masatoshi SAKAWA , Ichiro NISEIIZ, KKI and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jfuzzy.12.3_39">doi:10.3156/jfuzzy.12.3_39</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bxhwr54imbdsthdsyirv7icu7e">fatcat:bxhwr54imbdsthdsyirv7icu7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181101091359/https://www.jstage.jst.go.jp/article/jfuzzy/12/3/12_KJ00002087089/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/61/5c615749b95a854668587ac4c2eed1b68c123e1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jfuzzy.12.3_39"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

The Impact of a Program Based on Collaborativist Learning Theory on Developing EFL Critical Writing Skills and Interaction among Languages and Translation Students

Hoda Ali Ali
<span title="2021-07-01">2021</span> <i title="Egypts Presidential Specialized Council for Education and Scientific Research"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iqcg622w4vcvnl6ao344nvdbua" style="color: black;">Occasional Papers in the Development of English Education</a> </i> &nbsp;
They received instruction through Microsoft teams in the light of a program based on collaborativist learning theory.  ...  The current study aimed at examining the impact of a program based on collaborativist learning theory on developing EFL critical writing skills and interaction among second-year languages and translation  ...  What is the effect of a program based on collaborativist learning theory on developing EFL interaction among second-year languages and translation students?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.21608/opde.2021.208443">doi:10.21608/opde.2021.208443</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gr456ehgnvfwtom2wuppepbbza">fatcat:gr456ehgnvfwtom2wuppepbbza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220206105433/https://opde.journals.ekb.eg/article_208443_97d73cc7be348e4c1a8ed031124484c8.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b0/9a/b09aba65253cd332a89998a5663db376ceb47bf6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.21608/opde.2021.208443"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Interactive fuzzy programming based on a variance minimization model considering expectations for two-level stochastic linear programming problems
2レベル確率線形計画問題に対する期待値を考慮した分散最小化モデルに基づく対話型ファジィ計画法

Jingtao WANG, Kosuke KATO, Hideki KATAGIRI, Masatoshi SAKAWA
<span title="">2004</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qiqxgjydfvdtraxj47xwpnmo4a" style="color: black;">Journal of Japan Society for Fuzzy Theory and Intelligent Informatics</a> </i> &nbsp;
し, 2 レ ベ ル 計 画 問 題 は ,上 位 レ ベ ル と 下 位 レ ベ ル の 目 的 関 数 † Interactive fuzzy programming based on a variance minimization model considering expectations for two − level stochastic linear programming  ...  Karwan , Two − level linear programming , Management Science, Vol . 30, pp . 1004 − 1020, 1984, [3 ] A , Charnes and W .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.16.561">doi:10.3156/jsoft.16.561</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kbhhtqw6yjgadpsjviasovunoa">fatcat:kbhhtqw6yjgadpsjviasovunoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180730161326/https://www.jstage.jst.go.jp/article/jsoft/16/6/16_KJ00003258372/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/6e/756e560a921095955c152459bd2f767c36f56e2c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.16.561"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An Application of Interactive Fuzzy Programming for a Decentralized Two-Level Transportation Planning and Work Force Assignment Problem : a case study
建材企業における分権的2レベル輸送計画・人員配置問題に対する対話型ファジィ計画法の適用 : 事例研究

Masatoshi SAKAWA, Ichiro NISHIZAKI, Yoshio UEMURA, Rei WATANABE
<span title="">2001</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jw7jooiaerbblhg6vedypkkto4" style="color: black;">Journal of Japan Society for Fuzzy Theory and Systems</a> </i> &nbsp;
驢An Application of Interactive Fuzzy Programming for a Decentralized Two − Level Transportation Planning and Work Force Assignment Problem − acase st 叫dy 一 by Masatoshi SAKAWA , Ichiro NISHIZAKI , Yoshio  ...  − level integer programming problem , By applying interactive fuzzy programming , we derive a solution satisfactory not only to the housing material manufacturer but also to the two forwarding agents  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jfuzzy.13.3_89">doi:10.3156/jfuzzy.13.3_89</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hgtv6lzl4nhbrpf7tqvsytnrhi">fatcat:hgtv6lzl4nhbrpf7tqvsytnrhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030161544/https://www.jstage.jst.go.jp/article/jfuzzy/13/3/13_KJ00002087267/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7c/0f/7c0f6152322a2d2b709baa05e61e5bf692e9b9d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jfuzzy.13.3_89"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Interactive Decision Making through the Variance Minimization Model Using a Possibility Measure for Fuzzy Random Multiobjective Linear Programming Problems
ファジィランダム多目的線形計画問題に対する可能性測度を用いた分散最小化モデルに基づく対話型意思決定

Hideki KATAGIRI, Masatoshi SAKAWA, Kosuke KATO, Syuuji OHSAKI
<span title="">2005</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qiqxgjydfvdtraxj47xwpnmo4a" style="color: black;">Journal of Japan Society for Fuzzy Theory and Intelligent Informatics</a> </i> &nbsp;
interactive decision inaking a fuzzy random programming model to minimize the variance ef the degree, which is based on the variance minimization model in stochastic an interactive  ...  M ・Sakawa , Interactive c 〔 )lllpu 亡 er programs fQr fuzzy lillear programming with multiple objec ・ tfs ・ es ,/nteivzationag IOttma- Of 蔽 an 一 跏 σ-2ine Studies 18 , pp . 489 − 503 〔 1983>, H .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.17.450">doi:10.3156/jsoft.17.450</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5w43pyrae5fibm7pu6v5xcs2wq">fatcat:5w43pyrae5fibm7pu6v5xcs2wq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181103104954/https://www.jstage.jst.go.jp/article/jsoft/17/4/17_KJ00003659656/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/04/9904fb88026881b67b2e75105308da48c4187a00.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.17.450"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An interactive fuzzy satisficing method based on a variance minimization model considering exoectations formultiobiecitve 0-1 programming oroblems involving random variable coefficients
確率変数係数を含む多目的0-1計両問題に対する期待値を考慮した分散最小化モデルに基づく対話型ファジィ満足化手法

Kosuke KATO, Cahit PERKGOZ, Hideki KATAGIRI, Masatoshi SAKAWA
<span title="">2004</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qiqxgjydfvdtraxj47xwpnmo4a" style="color: black;">Journal of Japan Society for Fuzzy Theory and Intelligent Informatics</a> </i> &nbsp;
to derive a satisficing solution fur the decision maker as a fusion of stechastic programming and fuzzy one.  ...  Kunsch , STRANGE : an interactive method for multi − objective linear programming under uncer − tainty, European Journal of Operational Research , voL 26, Ilo .1, pp . 65 − 82, July l986.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.16.271">doi:10.3156/jsoft.16.271</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2y5vh4pmjfbwxftna7ddvcqyem">fatcat:2y5vh4pmjfbwxftna7ddvcqyem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727173136/https://www.jstage.jst.go.jp/article/jsoft/16/3/16_KJ00000798389/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b7/c4/b7c40c7efead011f56dc684ba14876e4d5d8f4ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.16.271"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An Interactive Fuzzy Satisficing Method Based on M-α-Pareto Optimality and a Fractile Criterion Optimization Model for a Fuzzy Random Multiobjective Linear Programming Problem
ファジィランダム多目的線形計画問題に対するM-α-パレート最適性と満足水準最適化モデルに基づく対話型ファジィ満足化手法

Hideki KATAGIRI, Masatoshi SAKAWA, Kosuke KATO, Hiroki DANJYO
<span title="">2005</span> <i title="Japan Society for Fuzzy Theory and Intelligent Informatics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qiqxgjydfvdtraxj47xwpnmo4a" style="color: black;">Journal of Japan Society for Fuzzy Theory and Intelligent Informatics</a> </i> &nbsp;
In order to derive a satisficing solution for a decision maker among a set of the deflned solutions, an interactive satisficing method is constructed.  ...  [ 17」片桐 英 樹 2005 / 2 85 N 工 工 一 Eleotronio Library JapanSociety for Fuzzy Theory and intelligent informatics 7 T .t a' 7 kekeywords / Multiobjective Iinear programming, fuzzy random  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.17.79">doi:10.3156/jsoft.17.79</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/63rneaw6lzay7bdvtrkinjrefi">fatcat:63rneaw6lzay7bdvtrkinjrefi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181102103739/https://www.jstage.jst.go.jp/article/jsoft/17/1/17_KJ00003258413/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c9/2e/c92e850e494feea5d65379f40c23c2d9af795919.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3156/jsoft.17.79"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Title Author Hits Investigating the Effects of Cognitive Style Diversity on the Hypothesis Generation and Troubleshooting Ability of Undergraduate Students Enrolled in an Introductory Agricultural Mechanics Course at Louisiana State University Written by Whitney L. Figland, J. Joey Blackburn, Kristin S. Stair, and Michael F. Burnet Hits: 268 Exploring Curriculum Congruence and Connectivity within School-Based Agricultural Education Written by Eric M. Moser and Aaron J. McKim Hits: 343 An Application of Soci ...

<span title="">2021</span> <i title="American Association for Agricultural Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/76jkgk6lxvee3jbfcbm4rgbpxy" style="color: black;">Journal of Agricultural Education</a> </i> &nbsp;
The Curriculum for Agricultural Science Education (CASE) is a national curriculum model used to promote inquiry-based learning, with a focus on facilitating student development of critical thinking skills  ...  disconnect exists between student capacity and CASE expectations of inquiry-based methods, and 5) in state training and networking plays a vital role in teachers' perceptions of CASE.  ...  These interactions are fluid and depend on a variety of factors.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5032/jae.2021.01260">doi:10.5032/jae.2021.01260</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ipsgnxlfc5et3dg7gpv2ufx4oq">fatcat:ipsgnxlfc5et3dg7gpv2ufx4oq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210731220557/https://www.jae-online.org/attachments/article/2374/62.1.20.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4d/25/4d2528a7963895be75474ae25aa2ccf03299ec1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5032/jae.2021.01260"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

The Complement of Research and Theory in Practice: Contact Theory at Work in Nonfamilial Intergenerational Programs

S. E. Jarrott, C. L. Smith
<span title="2010-07-25">2010</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ml6k6hw63bac3baecr2txpfgbq" style="color: black;">The gerontologist</a> </i> &nbsp;
during intergenerational programming than a center with a more traditional programming approach that lacks some or all of the contact theory tenets.  ...  Results: Participants at the theory-based program demonstrated higher rates of intergenerational interaction, higher rates of solitary behavior, and lower rates of watching than at the traditional program  ...  a center with a more traditional programming approach that lacks some or all of the contact theory tenets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/geront/gnq058">doi:10.1093/geront/gnq058</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/20660474">pmid:20660474</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ls73zmv6mjacrn5mbr7p2hcpne">fatcat:ls73zmv6mjacrn5mbr7p2hcpne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308140037/http://pdfs.semanticscholar.org/e97d/cef7d6dd681d3df16b7b1d4e6ab622794e29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/7d/e97dcef7d6dd681d3df16b7b1d4e6ab622794e29.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/geront/gnq058"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Reasoning about Programs With Effects

Carolyn Talcott
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This note presents a summary of my research on reasoning about programs with e ects. This work has been carried out in collaboration with several colleagues over roughly the past ten years.  ...  The work has had two major sub-themes: reasoning about functional programs extended with imperative features and reasoning about components of open distributed systems.  ...  Each of the languages was given a simple operational semantics and an abstract interaction semantics by de ning an associated actor theory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)80243-9">doi:10.1016/s1571-0661(05)80243-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b6mazjhf2rao3erdapa3qcwoti">fatcat:b6mazjhf2rao3erdapa3qcwoti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190219010348/https://core.ac.uk/download/pdf/82710290.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/3f/073f66b0a488cea7e0b2d62e0ce29600b02a9751.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)80243-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,360,238 results