Keyword: ⛔ no doi found
2020 (11)
Convergence of adaptive algorithms for weakly convex constrained optimization. Alacaoglu, A., Malitsky, Y., & Cevher, V. arXiv:2006.06650, June, 2020. arXiv: 2006.06650
bibtex
bibtex
@article{alacaoglu_convergence_2020,
title = {Convergence of adaptive algorithms for weakly convex constrained optimization},
journal = {arXiv:2006.06650},
author = {Alacaoglu, Ahmet and Malitsky, Yura and Cevher, Volkan},
month = jun,
year = {2020},
note = {arXiv: 2006.06650},
keywords = {/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found},
}Indicators of COVID-19 status in a cohort study of university staff and post-graduate research students, including results from home antibody testing. Davis, K. A., Carr, E., Leightley, D., Vitiello, V., Cartwright, G. B., Lavelle, G., Wickersham, A., Malim, M. H, Oetzmann, C., Polling, C., & others medRxiv, 2020. Publisher: Cold Spring Harbor Laboratory Press
bibtex
bibtex
@article{davis_indicators_2020,
title = {Indicators of {COVID}-19 status in a cohort study of university staff and post-graduate research students, including results from home antibody testing},
copyright = {All rights reserved},
journal = {medRxiv},
author = {Davis, Katrina AS and Carr, Ewan and Leightley, Daniel and Vitiello, Valentina and Cartwright, Gabriella Bergin and Lavelle, Grace and Wickersham, Alice and Malim, Michael H and Oetzmann, Carolin and Polling, Catherine and {others}},
year = {2020},
note = {Publisher: Cold Spring Harbor Laboratory Press},
keywords = {⛔ No DOI found},
}A Unified Single-loop Alternating Gradient Projection Algorithm for Nonconvex-Concave and Convex-Nonconcave Minimax Problems. Xu, Z., Zhang, H., Xu, Y., & Lan, G. arXiv:2006.02032, June, 2020. arXiv: 2006.02032
bibtex
bibtex
@article{xu_unified_2020,
title = {A {Unified} {Single}-loop {Alternating} {Gradient} {Projection} {Algorithm} for {Nonconvex}-{Concave} and {Convex}-{Nonconcave} {Minimax} {Problems}},
journal = {arXiv:2006.02032},
author = {Xu, Zi and Zhang, Huiling and Xu, Yang and Lan, Guanghui},
month = jun,
year = {2020},
note = {arXiv: 2006.02032},
keywords = {/unread, 90C26, 90C30, 90C47, cs.LG, math.OC, ⛔ No DOI found},
}FedSplit: An algorithmic framework for fast federated optimization. Pathak, R. & Wainwright, M. J. arXiv:2005.05238, May, 2020. arXiv: 2005.05238
bibtex
bibtex
@article{pathak_fedsplit_2020,
title = {{FedSplit}: {An} algorithmic framework for fast federated optimization},
journal = {arXiv:2005.05238},
author = {Pathak, Reese and Wainwright, Martin J.},
month = may,
year = {2020},
note = {arXiv: 2005.05238},
keywords = {/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found},
}Phase retrieval of complex-valued objects via a randomized Kaczmarz method. Zhang, T. arXiv:2005.03238, May, 2020. arXiv: 2005.03238
bibtex
bibtex
@article{zhang_phase_2020,
title = {Phase retrieval of complex-valued objects via a randomized {Kaczmarz} method},
journal = {arXiv:2005.03238},
author = {Zhang, Teng},
month = may,
year = {2020},
note = {arXiv: 2005.03238},
keywords = {/unread, cs.IT, cs.NA, math.IT, math.NA, ⛔ No DOI found},
}Integration and test challenges of parker solar probe. Smith, R., Bucior, S., & Hahn, J. 2020 Ieee Aerospace Conference (Aeroconf 2020), 2020. Publisher: Ieee Type: Proceedings paper tex.date-modified: 2022-04-12 11:34:55 +0100
abstract bibtex
abstract bibtex
On August 12, 2018, NASA and the Johns Hopkins Applied Physics Laboratory (APL) successfully launched Parker Solar Probe (PSP) on a mission to study the Sun, as part of NASA's Living With a Star program. As of this writing, the spacecraft has successfully completed its third close approach to the Sun and is returning new data to scientists here on Earth. The journey leading up to this point was difficult and full of many unique challenges. PSP will be flying within the corona of the sun over twenty times and traveling more than seven times closer than any spacecraft has come before (1). PSP was designed to withstand intense heat by sitting behind a first-of-its-kind Thermal Protection System (TPS), while still being able to perform all of its necessary functions. This mission required an extensive knowledge base and multiple teams working in conjunction to bring this flight to fruition.
@article{Smith2020,
title = {Integration and test challenges of parker solar probe},
issn = {1095-323X},
abstract = {On August 12, 2018, NASA and the Johns Hopkins Applied Physics Laboratory (APL) successfully launched Parker Solar Probe (PSP) on a mission to study the Sun, as part of NASA's Living With a Star program. As of this writing, the spacecraft has successfully completed its third close approach to the Sun and is returning new data to scientists here on Earth. The journey leading up to this point was difficult and full of many unique challenges. PSP will be flying within the corona of the sun over twenty times and traveling more than seven times closer than any spacecraft has come before (1). PSP was designed to withstand intense heat by sitting behind a first-of-its-kind Thermal Protection System (TPS), while still being able to perform all of its necessary functions. This mission required an extensive knowledge base and multiple teams working in conjunction to bring this flight to fruition.},
journal = {2020 Ieee Aerospace Conference (Aeroconf 2020)},
author = {Smith, Rosanna and Bucior, Sarah and Hahn, Justin},
year = {2020},
note = {Publisher: Ieee
Type: Proceedings paper
tex.date-modified: 2022-04-12 11:34:55 +0100},
keywords = {⛔ No DOI found},
}Formal analysis and verification of airborne software based on DO-333. Cao, Z., Lv, W., Huang, Y., Shi, J., & Li, Q. Electronics, 9(2):327, 2020. tex.ids= caoFormalAnalysisVerification2020a, caoFormalAnalysisVerification2020b, caoFormalAnalysisVerification2020c, caoFormalAnalysisVerification2020d, caoFormalAnalysisVerification2020e, caoFormalAnalysisVerification2020f, caoFormalAnalysisVerification2020g, caoFormalAnalysisVerification2020h, caoFormalAnalysisVerification2020i, cao_formal_2020 publisher: Multidisciplinary Digital Publishing Institute
doi bibtex
doi bibtex
@article{cao_formal_2020,
title = {Formal analysis and verification of airborne software based on {DO}-333},
volume = {9},
doi = {10/ghvzzj},
number = {2},
journal = {Electronics},
author = {Cao, Zongyu and Lv, Wanyou and Huang, Yanhong and Shi, Jianqi and Li, Qin},
year = {2020},
note = {tex.ids= caoFormalAnalysisVerification2020a, caoFormalAnalysisVerification2020b, caoFormalAnalysisVerification2020c, caoFormalAnalysisVerification2020d, caoFormalAnalysisVerification2020e, caoFormalAnalysisVerification2020f, caoFormalAnalysisVerification2020g, caoFormalAnalysisVerification2020h, caoFormalAnalysisVerification2020i, cao\_formal\_2020
publisher: Multidisciplinary Digital Publishing Institute},
keywords = {DO-333, TK7800-8360, ⛔ No DOI found},
pages = {327},
}Advancing Qualitative IS Research Methodologies: Expanding Horizons and Seeking New Paths. Cecez-Kecmanovic, D., Davison, R. M, Fernandez, W., Finnegan, P., Pan, S. L, & Sarker, S. Journal of the Association for Information Systems, 21(1):18, 2020.
bibtex
bibtex
@article{cecez-kecmanovic_advancing_2020,
title = {Advancing {Qualitative} {IS} {Research} {Methodologies}: {Expanding} {Horizons} and {Seeking} {New} {Paths}},
volume = {21},
language = {en},
number = {1},
journal = {Journal of the Association for Information Systems},
author = {Cecez-Kecmanovic, Dubravka and Davison, Robert M and Fernandez, Walter and Finnegan, Patrick and Pan, Shan L and Sarker, Suprateek},
year = {2020},
keywords = {⛔ No DOI found},
pages = {18},
}A modification of quasi-Newton's methods helping to avoid saddle points. Truong, T. T., To, T. D., Nguyen, T. H., Nguyen, T. H., Nguyen, H. P., & Helmy, M. arXiv:2006.01512, June, 2020. arXiv: 2006.01512
bibtex
bibtex
@article{truong_modification_2020,
title = {A modification of quasi-{Newton}'s methods helping to avoid saddle points},
journal = {arXiv:2006.01512},
author = {Truong, Tuyen Trung and To, Tat Dat and Nguyen, Tuan Hang and Nguyen, Thu Hang and Nguyen, Hoang Phuong and Helmy, Maged},
month = jun,
year = {2020},
note = {arXiv: 2006.01512},
keywords = {/unread, cs.LG, cs.NA, math.DS, math.NA, math.OC, stat.ML, ⛔ No DOI found},
}Incorporating Word Sense Disambiguation in Neural Language Models. Wahle, J. P., Ruas, T., Meuschke, N., & Gipp, B. November, 2020.
bibtex
bibtex
@article{Wahle20,
title = {Incorporating {Word} {Sense} {Disambiguation} in {Neural} {Language} {Models}},
author = {Wahle, Jan Philip and Ruas, Terry and Meuschke, Norman and Gipp, Bela},
month = nov,
year = {2020},
keywords = {⛔ No DOI found},
}The What of Data: Defining Which Scientific Research Is Appropriate to Share. Boscoe, B. M In International Conference on Information, pages 687–694, 2020. Springer.
bibtex
bibtex
@inproceedings{boscoeWhatDataDefining2020,
author = {Boscoe, Bernadette M},
booktitle = {International {Conference} on {Information}},
keywords = {⛔ No DOI found},
pages = {687--694},
publisher = {Springer},
title = {The {What} of {Data}: {Defining} {Which} {Scientific} {Research} {Is} {Appropriate} to {Share}},
year = {2020}}2019 (6)
Inertial Block Mirror Descent Method for Non-Convex Non-Smooth Optimization. Hien, L. T. K., Gillis, N., & Patrinos, P. arXiv:1903.01818, March, 2019. arXiv: http://arxiv.org/abs/1903.01818
bibtex
bibtex
@article{hien_inertial_2019,
title = {Inertial {Block} {Mirror} {Descent} {Method} for {Non}-{Convex} {Non}-{Smooth} {Optimization}},
journal = {arXiv:1903.01818},
author = {Hien, Le Thi Khanh and Gillis, Nicolas and Patrinos, Panagiotis},
month = mar,
year = {2019},
note = {arXiv: http://arxiv.org/abs/1903.01818},
keywords = {/unread, math.NA, math.OC, stat.ML, ⛔ No DOI found},
}Elimination of All Bad Local Minima in Deep Learning. Kawaguchi, K. & Kaelbling, L. P. arXiv:1901.00279, January, 2019. arXiv: http://arxiv.org/abs/1901.00279
bibtex
bibtex
@article{kawaguchi_elimination_2019,
title = {Elimination of {All} {Bad} {Local} {Minima} in {Deep} {Learning}},
journal = {arXiv:1901.00279},
author = {Kawaguchi, Kenji and Kaelbling, Leslie Pack},
month = jan,
year = {2019},
note = {arXiv: http://arxiv.org/abs/1901.00279},
keywords = {/unread, cs.LG, cs.NE, math.OC, stat.ML, ⛔ No DOI found},
}RACE: Sub-Linear Memory Sketches for Approximate Near-Neighbor Search on Streaming Data. Coleman, B., Shrivastava, A., & Baraniuk, R. G. arXiv:1902.06687 [cs, eess, stat], February, 2019. arXiv: 1902.06687
![RACE: Sub-Linear Memory Sketches for Approximate Near-Neighbor Search on Streaming Data [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper abstract bibtex
Paper abstract bibtex We demonstrate the first possibility of a sub-linear memory sketch for solving the approximate near-neighbor search problem. In particular, we develop an online sketching algorithm that can compress \$N\$ vectors into a tiny sketch consisting of small arrays of counters whose size scales as \$O(N{\textasciicircum}\{b\}{\textbackslash}log{\textasciicircum}2\{N\})\$, where \$b {\textless} 1\$ depending on the stability of the near-neighbor search. This sketch is sufficient to identify the top-\$v\$ near-neighbors with high probability. To the best of our knowledge, this is the first near-neighbor search algorithm that breaks the linear memory (\$O(N)\$) barrier. We achieve sub-linear memory by combining advances in locality sensitive hashing (LSH) based estimation, especially the recently-published ACE algorithm, with compressed sensing and heavy hitter techniques. We provide strong theoretical guarantees; in particular, our analysis sheds new light on the memory-accuracy tradeoff in the near-neighbor search setting and the role of sparsity in compressed sensing, which could be of independent interest. We rigorously evaluate our framework, which we call RACE (Repeated ACE) data structures on a friend recommendation task on the Google plus graph with more than 100,000 high-dimensional vectors. RACE provides compression that is orders of magnitude better than the random projection based alternative, which is unsurprising given the theoretical advantage. We anticipate that RACE will enable both new theoretical perspectives on near-neighbor search and new methodologies for applications like high-speed data mining, internet-of-things (IoT), and beyond.
@article{coleman_race:_2019,
title = {{RACE}: {Sub}-{Linear} {Memory} {Sketches} for {Approximate} {Near}-{Neighbor} {Search} on {Streaming} {Data}},
shorttitle = {{RACE}},
url = {http://arxiv.org/abs/1902.06687},
abstract = {We demonstrate the first possibility of a sub-linear memory sketch for solving the approximate near-neighbor search problem. In particular, we develop an online sketching algorithm that can compress \$N\$ vectors into a tiny sketch consisting of small arrays of counters whose size scales as \$O(N{\textasciicircum}\{b\}{\textbackslash}log{\textasciicircum}2\{N\})\$, where \$b {\textless} 1\$ depending on the stability of the near-neighbor search. This sketch is sufficient to identify the top-\$v\$ near-neighbors with high probability. To the best of our knowledge, this is the first near-neighbor search algorithm that breaks the linear memory (\$O(N)\$) barrier. We achieve sub-linear memory by combining advances in locality sensitive hashing (LSH) based estimation, especially the recently-published ACE algorithm, with compressed sensing and heavy hitter techniques. We provide strong theoretical guarantees; in particular, our analysis sheds new light on the memory-accuracy tradeoff in the near-neighbor search setting and the role of sparsity in compressed sensing, which could be of independent interest. We rigorously evaluate our framework, which we call RACE (Repeated ACE) data structures on a friend recommendation task on the Google plus graph with more than 100,000 high-dimensional vectors. RACE provides compression that is orders of magnitude better than the random projection based alternative, which is unsurprising given the theoretical advantage. We anticipate that RACE will enable both new theoretical perspectives on near-neighbor search and new methodologies for applications like high-speed data mining, internet-of-things (IoT), and beyond.},
urldate = {2019-03-23TZ},
journal = {arXiv:1902.06687 [cs, eess, stat]},
author = {Coleman, Benjamin and Shrivastava, Anshumali and Baraniuk, Richard G.},
month = feb,
year = {2019},
note = {arXiv: 1902.06687},
keywords = {⛔ No DOI found}
}Simple algorithms for optimization on Riemannian manifolds with constraints. Liu, C. & Boumal, N. arXiv:1901.10000, January, 2019. arXiv: http://arxiv.org/abs/1901.10000
bibtex
bibtex
@article{liu_simple_2019,
title = {Simple algorithms for optimization on {Riemannian} manifolds with constraints},
journal = {arXiv:1901.10000},
author = {Liu, Changshuo and Boumal, Nicolas},
month = jan,
year = {2019},
note = {arXiv: http://arxiv.org/abs/1901.10000},
keywords = {/unread, 65K05, 90C30 (primary) 53A99 (secondary), math.OC, ⛔ No DOI found},
}Trust-Region Newton-CG with Strong Second-Order Complexity Guarantees for Nonconvex Optimization. Curtis, F. E., Robinson, D. P., Royer, C., & Wright, S. J. arXiv:1912.04365, December, 2019. arXiv: 1912.04365
bibtex
bibtex
@article{curtis_trust-region_2019,
title = {Trust-{Region} {Newton}-{CG} with {Strong} {Second}-{Order} {Complexity} {Guarantees} for {Nonconvex} {Optimization}},
journal = {arXiv:1912.04365},
author = {Curtis, Frank E. and Robinson, Daniel P. and Royer, Clément and Wright, Stephen J.},
month = dec,
year = {2019},
note = {arXiv: 1912.04365},
keywords = {/unread, math.OC, ⛔ No DOI found},
}Provably Efficient Reinforcement Learning with Linear Function Approximation. Jin, C., Yang, Z., Wang, Z., & Jordan, M. I. arXiv:1907.05388, July, 2019. arXiv: http://arxiv.org/abs/1907.05388
abstract bibtex
abstract bibtex
Modern Reinforcement Learning (RL) is commonly applied to practical problems with an enormous number of states, where function approximation must be deployed to approximate either the value function or the policy. The introduction of function approximation raises a fundamental set of challenges involving computational and statistical efficiency, especially given the need to manage the exploration/exploitation tradeoff. As a result, a core RL question remains open: how can we design provably efficient RL algorithms that incorporate function approximation? This question persists even in a basic setting with linear dynamics and linear rewards, for which only linear function approximation is needed. This paper presents the first provable RL algorithm with both polynomial runtime and polynomial sample complexity in this linear setting, without requiring a "simulator" or additional assumptions. Concretely, we prove that an optimistic modification of Least-Squares Value Iteration (LSVI)—a classical algorithm frequently studied in the linear setting—achieves ${\}tilde{\}mathcalO({\}sqrtd{\textasciicircum}3H{\textasciicircum}3T)$ regret, where $d$ is the ambient dimension of feature space, $H$ is the length of each episode, and $T$ is the total number of steps. Importantly, such regret is independent of the number of states and actions.
@article{jin_provably_2019,
title = {Provably {Efficient} {Reinforcement} {Learning} with {Linear} {Function} {Approximation}},
abstract = {Modern Reinforcement Learning (RL) is commonly applied to practical problems with an enormous number of states, where function approximation must be deployed to approximate either the value function or the policy. The introduction of function approximation raises a fundamental set of challenges involving computational and statistical efficiency, especially given the need to manage the exploration/exploitation tradeoff. As a result, a core RL question remains open: how can we design provably efficient RL algorithms that incorporate function approximation? This question persists even in a basic setting with linear dynamics and linear rewards, for which only linear function approximation is needed. This paper presents the first provable RL algorithm with both polynomial runtime and polynomial sample complexity in this linear setting, without requiring a "simulator" or additional assumptions. Concretely, we prove that an optimistic modification of Least-Squares Value Iteration (LSVI)—a classical algorithm frequently studied in the linear setting—achieves \${\textbackslash}tilde{\textbackslash}mathcalO({\textbackslash}sqrtd{\textasciicircum}3H{\textasciicircum}3T)\$ regret, where \$d\$ is the ambient dimension of feature space, \$H\$ is the length of each episode, and \$T\$ is the total number of steps. Importantly, such regret is independent of the number of states and actions.},
journal = {arXiv:1907.05388},
author = {Jin, Chi and Yang, Zhuoran and Wang, Zhaoran and Jordan, Michael I.},
month = jul,
year = {2019},
note = {arXiv: http://arxiv.org/abs/1907.05388},
keywords = {/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found},
}2018 (6)
Cooperative Conservation: Strengthening U.S.-Cuba-Mexico Relations Through Joint Management of Marine Protected Areas in the Gulf of Mexico. Baur, D. C., Rally, H. D., & Jensen, M. M. Tulane Environmental Law Journal, 31(2):173–208, 2018. Publisher: Tulane Environmental Law Journal
Paper bibtex
Paper bibtex @article{baur_cooperative_2018,
title = {Cooperative {Conservation}: {Strengthening} {U}.{S}.-{Cuba}-{Mexico} {Relations} {Through} {Joint} {Management} of {Marine} {Protected} {Areas} in the {Gulf} of {Mexico}},
volume = {31},
issn = {1047-6857},
shorttitle = {Cooperative {Conservation}},
url = {http://www.jstor.org/stable/90021696},
number = {2},
urldate = {2022-04-20},
journal = {Tulane Environmental Law Journal},
author = {Baur, Donald C. and Rally, Heather D. and Jensen, Miranda M.},
year = {2018},
note = {Publisher: Tulane Environmental Law Journal},
keywords = {⛔ No DOI found},
pages = {173--208},
}Adaptive Stochastic Gradient Langevin Dynamics: Taming Convergence and Saddle Point Escape Time. Sang, H. & Liu, J. arXiv:1805.09416, May, 2018. arXiv: 1805.09416
bibtex
bibtex
@article{sang_adaptive_2018,
title = {Adaptive {Stochastic} {Gradient} {Langevin} {Dynamics}: {Taming} {Convergence} and {Saddle} {Point} {Escape} {Time}},
journal = {arXiv:1805.09416},
author = {Sang, Hejian and Liu, Jia},
month = may,
year = {2018},
note = {arXiv: 1805.09416},
keywords = {/unread, cs.AI, cs.LG, stat.ML, ⛔ No DOI found},
}Provably Correct Automatic Subdifferentiation for Qualified Programs. Kakade, S. & Lee, J. D. arXiv:1809.08530, September, 2018. arXiv: http://arxiv.org/abs/1809.08530
bibtex
bibtex
@article{kakade_provably_2018,
title = {Provably {Correct} {Automatic} {Subdifferentiation} for {Qualified} {Programs}},
journal = {arXiv:1809.08530},
author = {Kakade, Sham and Lee, Jason D.},
month = sep,
year = {2018},
note = {arXiv: http://arxiv.org/abs/1809.08530},
keywords = {/unread, cs.LG, math.OC, stat.ML, ⛔ No DOI found},
}基于CFD的矿井用离心泵叶轮抗汽蚀优化设计. 孙向龙 世界有色金属, 2018.
Paper abstract bibtex
Paper abstract bibtex 现代矿井开采中对离心泵进行了广泛地应用,离心泵在矿井开采及能耗中,占据着较大的比例。离心泵对于矿井开采有着较大的影响,尤其是离心泵出现汽蚀问题,这对离心泵产生了十分不利的影响。针对于这一情况,对矿井用离心泵进行优化设计,使其的抗汽蚀能力得到提升,对于提升矿井开采水平来说,具有十分重要的意义。本文在对矿井用离心泵叶轮抗汽蚀优化设计过程中,利用CFD方法,提出了具体的优化方案,这对于离心泵抗汽蚀设计具有重要意义。
@article{_cfd_2018,
title = {{基于CFD的矿井用离心泵叶轮抗汽蚀优化设计}},
issn = {1002-5065},
url = {https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2018&filename=COLO201818114&uid=WEEvREcwSlJHSldRa1Fhb09pSnNwL3NlMHdXN0hjcWUrZlBhYUxZQmhzVT0=$9A4hF_YAuvQ5obgVAqNKPCYcEjKensW4ggI8Fm4gTkoUKaID8j8gFw!!&v=MTg0NTdXTTFGckNVUjdxZll1UnBGQ3ZrVjc3SkppTEhZYkc0SDluTnA0NUVZSVI4ZVgxTHV4WVM3RGgxVDNxVHI=},
abstract = {现代矿井开采中对离心泵进行了广泛地应用,离心泵在矿井开采及能耗中,占据着较大的比例。离心泵对于矿井开采有着较大的影响,尤其是离心泵出现汽蚀问题,这对离心泵产生了十分不利的影响。针对于这一情况,对矿井用离心泵进行优化设计,使其的抗汽蚀能力得到提升,对于提升矿井开采水平来说,具有十分重要的意义。本文在对矿井用离心泵叶轮抗汽蚀优化设计过程中,利用CFD方法,提出了具体的优化方案,这对于离心泵抗汽蚀设计具有重要意义。},
language = {中文;},
number = {18},
urldate = {2020-05-26},
journal = {世界有色金属},
author = {{孙向龙}},
year = {2018},
keywords = {CFD method, CFD方法, cavitation, centrifugal pump, mine mining, ⛔ No DOI found, 汽蚀, 矿井开采, 离心泵},
pages = {191--192},
}Formal architecture modeling for documenting and assessing Aeronautics Maintenance: A case study. Poitou, O., Bieber, P., Ferreira, J., & Simon, L. In ERTS 2018, 2018. tex.ids= poitou_formal_2018
bibtex
bibtex
@inproceedings{poitou_formal_2018,
title = {Formal architecture modeling for documenting and assessing {Aeronautics} {Maintenance}: {A} case study},
shorttitle = {Formal architecture modeling for documenting and assessing {Aeronautics} {Maintenance}},
booktitle = {{ERTS} 2018},
author = {Poitou, Olivier and Bieber, Pierre and Ferreira, Joël and Simon, Ludovic},
year = {2018},
note = {tex.ids= poitou\_formal\_2018},
keywords = {[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], ⛔ No DOI found},
}Global Baseline Assessment of Compliance and Enforcement Programs for Vehicle Emissions and Energy Efficiency. Yang, Z., Muncrief, R., & Bandivadekar, A. Technical Report The International Council on Clean Transportation, Washington, DC, 2018.
![Global Baseline Assessment of Compliance and Enforcement Programs for Vehicle Emissions and Energy Efficiency [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex
Paper abstract bibtex As vehicle emission and efficiency regulations have become more stringent, the technologies used to mitigate emissions and reduce fuel consumption have become increasingly complex. A modern car or truck has essentially the equivalent of a small chemical plant attached to its exhaust and a powerful computer under the hood, meaning there are many potential areas for system failure—or manipulation. In the 1990s, many major diesel truck and engine manufacturers in the United States were caught cheating to meet emission standards. Nowadays, regulators face the significant challenge of ensuring compliance of diesel cars to emission standards in Europe, the United States, and elsewhere. Similarly, carbon dioxide (CO2) emission/fuel efficiency standards noncompliance is also an issue, with cases discovered in Europe, Japan, and the United States. As investigations reveal that manufacturers have cheated to meet emission and fuel efficiency standards for years, many countries face significant challenges to ensure proper operation of modern engine and emission-control systems. Technology will continue to advance quickly, and manufacturer deception will remain a risk; therefore, government agencies around the world must upgrade their compliance and enforcement (C&E) programs to ensure that the intended outcomes from emissioncontrol and fuel-efficiency programs materialize throughout the vehicle life cycle.
@techreport{yangGlobalBaselineAssessment2018,
title = {Global Baseline Assessment of Compliance and Enforcement Programs for Vehicle Emissions and Energy Efficiency},
author = {Yang, Zifei and Muncrief, Rachel and Bandivadekar, Anup},
year = {2018},
pages = {91},
address = {{Washington, DC}},
institution = {{The International Council on Clean Transportation}},
url = {https://theicct.org/sites/default/files/publications/PV-C&E-global-baseline-assessment_ICCT-report_14112017_vF.pdf},
urldate = {2022-05-02},
abstract = {As vehicle emission and efficiency regulations have become more stringent, the technologies used to mitigate emissions and reduce fuel consumption have become increasingly complex. A modern car or truck has essentially the equivalent of a small chemical plant attached to its exhaust and a powerful computer under the hood, meaning there are many potential areas for system failure—or manipulation. In the 1990s, many major diesel truck and engine manufacturers in the United States were caught cheating to meet emission standards. Nowadays, regulators face the significant challenge of ensuring compliance of diesel cars to emission standards in Europe, the United States, and elsewhere. Similarly, carbon dioxide (CO2) emission/fuel efficiency standards noncompliance is also an issue, with cases discovered in Europe, Japan, and the United States. As investigations reveal that manufacturers have cheated to meet emission and fuel efficiency standards for years, many countries face significant challenges to ensure proper operation of modern engine and emission-control systems. Technology will continue to advance quickly, and manufacturer deception will remain a risk; therefore, government agencies around the world must upgrade their compliance and enforcement (C\&E) programs to ensure that the intended outcomes from emissioncontrol and fuel-efficiency programs materialize throughout the vehicle life cycle.},
langid = {english},
keywords = {⛔ No DOI found}
}2017 (7)
On the Gap Between Strict-Saddles and True Convexity: An $Ømega({\}log d)$ Lower Bound for Eigenvector Approximation. Simchowitz, M., Alaoui, A. E., & Recht, B. arxiv:1704.04548, 2017.
Paper bibtex
Paper bibtex @article{simchowitz_gap_2017,
title = {On the {Gap} {Between} {Strict}-{Saddles} and {True} {Convexity}: {An} \$Ømega({\textbackslash}log d)\$ {Lower} {Bound} for {Eigenvector} {Approximation}},
url = {http://arxiv.org/abs/1704.04548},
journal = {arxiv:1704.04548},
author = {Simchowitz, Max and Alaoui, Ahmed El and Recht, Benjamin},
year = {2017},
keywords = {/unread, ⛔ No DOI found},
}Advancing Consumer Adoption of Blockchain Applications. Witherspoon, Z. arXiv:1705.04769 [cs], May, 2017. arXiv: 1705.04769
Paper abstract bibtex
Paper abstract bibtex Blockchain technology as a whole is experiencing a dramatic rise in adoption, in no small part due to the developer-friendly Ethereum network. While the number of smart-contract powered distributed applications (Dapps) continues to rise, they face many of the same challenges all new technologies face as they are introduced to a market. By modeling the consumer adoption of blockchain technology and analyzing scholarly literature on supply-side factors affecting the diffusion of technology, we seek to prove the growth of a Dapp can be accelerated using abstraction, whole product planning, and complementaries.
@article{witherspoon_advancing_2017,
title = {Advancing {Consumer} {Adoption} of {Blockchain} {Applications}},
url = {http://arxiv.org/abs/1705.04769},
abstract = {Blockchain technology as a whole is experiencing a dramatic rise in adoption, in no small part due to the developer-friendly Ethereum network. While the number of smart-contract powered distributed applications (Dapps) continues to rise, they face many of the same challenges all new technologies face as they are introduced to a market. By modeling the consumer adoption of blockchain technology and analyzing scholarly literature on supply-side factors affecting the diffusion of technology, we seek to prove the growth of a Dapp can be accelerated using abstraction, whole product planning, and complementaries.},
journal = {arXiv:1705.04769 [cs]},
author = {Witherspoon, Zane},
month = may,
year = {2017},
note = {arXiv: 1705.04769},
keywords = {Computer Science - Computer Science and Game Theory, Computer Science - Computers and Society, Computer Science - Distributed, Parallel, and Cluster Computing, ⛔ No DOI found, 🔍No DOI found},
}Brain Asymmetries The lateralization of three different cognitive processes. Magnani, F. TESI, 2017.
bibtex
bibtex
@article{magnani_brain_2017,
title = {Brain {Asymmetries} {The} lateralization of three different cognitive processes},
language = {en},
journal = {TESI},
author = {Magnani, Francesca},
year = {2017},
keywords = {⛔ No DOI found},
}When is a Convolutional Filter Easy To Learn?. Du, S. S., Lee, J. D., & Tian, Y. arxiv:1709.06129, 2017.
Paper bibtex
Paper bibtex @article{du_when_2017,
title = {When is a {Convolutional} {Filter} {Easy} {To} {Learn}?},
url = {http://arxiv.org/abs/1709.06129},
journal = {arxiv:1709.06129},
author = {Du, Simon S. and Lee, Jason D. and Tian, Yuandong},
year = {2017},
keywords = {/unread, ⛔ No DOI found},
}Accurate Audio-to-score Alignment for Expressive Violin Recordings. Syue, J., Su, L., Lin, Y., Li, P., Lu, Y., Wang, Y., & Su, A. W. Y. In Cunningham, S. J., Duan, Z., Hu, X., & Turnbull, D., editors, ISMIR, pages 250–256, Suzhou, China, 2017.
Paper bibtex
Paper bibtex @inproceedings{syue_accurate_2017,
address = {Suzhou, China},
title = {Accurate {Audio}-to-score {Alignment} for {Expressive} {Violin} {Recordings}},
url = {http://dblp.uni-trier.de/db/conf/ismir/ismir2017.html#SyueSLLLWS17},
booktitle = {{ISMIR}},
author = {Syue, Jia-Ling and Su, Li and Lin, Yi-Ju and Li, Pei-Ching and Lu, Yen-Kuang and Wang, Yu-Lin and Su, Alvin W. Y.},
editor = {Cunningham, Sally Jo and Duan, Zhiyao and Hu, Xiao and Turnbull, Douglas},
year = {2017},
keywords = {\#nosource, ⛔ No DOI found},
pages = {250--256},
}FAQ: Global Magnitsky Sanctions. U.S. Department of the Treasury December, 2017. https://web.archive.org/web/20211202115723/https://home.treasury.gov/system/files/126/12212017_glomag_faqs.pdf
Paper bibtex
Paper bibtex @misc{us_department_of_the_treasury_faq_2017,
title = {{FAQ}: {Global} {Magnitsky} {Sanctions}},
url = {https://home.treasury.gov/system/files/126/12212017_glomag_faqs.pdf},
language = {en},
author = {{U.S. Department of the Treasury}},
month = dec,
year = {2017},
note = {https://web.archive.org/web/20211202115723/https://home.treasury.gov/system/files/126/12212017\_glomag\_faqs.pdf},
keywords = {archived, ⛔ No DOI found},
}Bottom-up Modeling of Residential Heating Systems for Demand Side Management in District Energy System Analysis and Distribution Grid Planning. Kramer, M., Jambagi, A., & Cheng, V. In Building Simulation Conference, 2017.
Paper bibtex
Paper bibtex @inproceedings{kramer_bottom-up_2017,
title = {Bottom-up {Modeling} of {Residential} {Heating} {Systems} for {Demand} {Side} {Management} in {District} {Energy} {System} {Analysis} and {Distribution} {Grid} {Planning}},
url = {http://www.ibpsa.org/proceedings/BS2017/BS2017_183.pdf},
urldate = {2019-11-21},
booktitle = {Building {Simulation} {Conference}},
author = {Kramer, Michael and Jambagi, Akhila and Cheng, Vicky},
year = {2017},
keywords = {⛔ No DOI found}
}2016 (5)
A Theorem Prover for Quantum Hoare Logic and Its Applications. Liu, T., Li, Y., Wang, S., Ying, M., & Zhan, N. arXiv:1601.03835 [cs], January, 2016. ZSCC: 0000017 arXiv: 1601.03835
Paper abstract bibtex
Paper abstract bibtex Quantum Hoare Logic (QHL) was introduced in Ying's work to specify and reason about quantum programs. In this paper, we implement a theorem prover for QHL based on Isabelle/HOL. By applying the theorem prover, verifying a quantum program against a specification is transformed equivalently into an order relation between matrices. Due to the limitation of Isabelle/HOL, the calculation of the order relation is solved by calling an outside oracle written in Python. To the best of our knowledge, this is the first theorem prover for quantum programs. To demonstrate its power, the correctness of two well-known quantum algorithms, i.e., Grover Quantum Search and Quantum Phase Estimation (the key step in Shor's quantum algorithm of factoring in polynomial time) are proved using the theorem prover. These are the first mechanized proofs for both of them.
@article{liu_theorem_2016,
title = {A {Theorem} {Prover} for {Quantum} {Hoare} {Logic} and {Its} {Applications}},
url = {http://arxiv.org/abs/1601.03835},
abstract = {Quantum Hoare Logic (QHL) was introduced in Ying's work to specify and reason about quantum programs. In this paper, we implement a theorem prover for QHL based on Isabelle/HOL. By applying the theorem prover, verifying a quantum program against a specification is transformed equivalently into an order relation between matrices. Due to the limitation of Isabelle/HOL, the calculation of the order relation is solved by calling an outside oracle written in Python. To the best of our knowledge, this is the first theorem prover for quantum programs. To demonstrate its power, the correctness of two well-known quantum algorithms, i.e., Grover Quantum Search and Quantum Phase Estimation (the key step in Shor's quantum algorithm of factoring in polynomial time) are proved using the theorem prover. These are the first mechanized proofs for both of them.},
urldate = {2019-11-01},
journal = {arXiv:1601.03835 [cs]},
author = {Liu, Tao and Li, Yangjia and Wang, Shuling and Ying, Mingsheng and Zhan, Naijun},
month = jan,
year = {2016},
note = {ZSCC: 0000017
arXiv: 1601.03835},
keywords = {Computer Science - Logic in Computer Science, ⛔ No DOI found}
}Global rates of convergence for nonconvex optimization on manifolds. Boumal, N., Absil, P., & Cartis, C. arxiv:1605.08101, 2016.
Paper bibtex
Paper bibtex @article{boumal_global_2016,
title = {Global rates of convergence for nonconvex optimization on manifolds},
url = {http://arxiv.org/abs/1605.08101},
journal = {arxiv:1605.08101},
author = {Boumal, Nicolas and Absil, P.-A. and Cartis, Coralia},
year = {2016},
keywords = {/unread, ⛔ No DOI found},
}Improving Voice Separation by Better Connecting Contigs. Guiomard-Kagan, N., Giraud, M., Groult, R., & Levé, F. In Mandel, M. I., Devaney, J., Turnbull, D., & Tzanetakis, G., editors, Proceedings of the 17\textsuperscriptth International Society for Music Information Retrieval Conference, ISMIR 2016, New York City, United States, August 7-11, 2016, pages 164–170, 2016. tex.date-added: 2019-03-29 16:18:17 +0100 tex.date-modified: 2019-03-29 16:18:17 +0100
Paper abstract bibtex
Paper abstract bibtex Separating a polyphonic symbolic score into monophonic voices or streams helps to understand the music and may simplify further pattern matching. One of the best ways to compute this separation, as proposed by Chew and Wu in 2005 [2], is to first identify contigs that are portions of the music score with a constant number of voices, then to progressively connect these contigs. This raises two ques-tions: Which contigs should be connected first? And, how should these two contigs be connected? Here we propose to answer simultaneously these two questions by consid-ering a set of musical features that measures the quality of any connection. The coefficients weighting the features are optimized through a genetic algorithm. We benchmark the resulting connection policy on corpora containing fugues of the Well-Tempered Clavier by J. S. Bach as well as on string quartets, and we compare it against previously pro-posed policies [2, 9]. The contig connection is improved, particularly when one takes into account the whole content of voice fragments to assess the quality of their possible connection.
@inproceedings{guiomard-kagan_improving_2016,
title = {Improving {Voice} {Separation} by {Better} {Connecting} {Contigs}},
url = {https://wp.nyu.edu/ismir2016/wp-content/uploads/sites/2294/2016/07/129 \_Paper.pdf},
abstract = {Separating a polyphonic symbolic score into monophonic voices or streams helps to understand the music and may simplify further pattern matching. One of the best ways to compute this separation, as proposed by Chew and Wu in 2005 [2], is to first identify contigs that are portions of the music score with a constant number of voices, then to progressively connect these contigs. This raises two ques-tions: Which contigs should be connected first? And, how should these two contigs be connected? Here we propose to answer simultaneously these two questions by consid-ering a set of musical features that measures the quality of any connection. The coefficients weighting the features are optimized through a genetic algorithm. We benchmark the resulting connection policy on corpora containing fugues of the Well-Tempered Clavier by J. S. Bach as well as on string quartets, and we compare it against previously pro-posed policies [2, 9]. The contig connection is improved, particularly when one takes into account the whole content of voice fragments to assess the quality of their possible connection.},
booktitle = {Proceedings of the 17{\textbackslash}textsuperscriptth {International} {Society} for {Music} {Information} {Retrieval} {Conference}, {ISMIR} 2016, {New} {York} {City}, {United} {States}, {August} 7-11, 2016},
author = {Guiomard-Kagan, Nicolas and Giraud, Mathieu and Groult, Richard and Levé, Florence},
editor = {Mandel, Michael I. and Devaney, Johanna and Turnbull, Douglas and Tzanetakis, George},
year = {2016},
note = {tex.date-added: 2019-03-29 16:18:17 +0100
tex.date-modified: 2019-03-29 16:18:17 +0100},
keywords = {\#nosource, ⛔ No DOI found},
pages = {164--170},
}A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. Ireland, M. L., Hoffmann, R., Miller, A., Norman, G., & Veres, S. M. arXiv:1609.00177 [cs], September, 2016.
Paper abstract bibtex
Paper abstract bibtex If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are suitable for this domain. Model checking is a formal technique which allows us to exhaustively explore the paths of an abstract model of a system. Using a probabilistic model checker such as PRISM, we may determine properties such as the expected time for a mission, or the probability that a specific mission failure occurs. However, model checking of complex systems is difficult due to the loss of information during abstraction. This is especially so when considering systems such as autonomous vehicles which are subject to external influences. An alternative solution is the use of Monte Carlo simulation to explore the results of a continuous-time model of the system. The main disadvantage of this approach is that the approach is not exhaustive as not all executions of the system are analysed. We are therefore interested in developing a framework for formal verification of autonomous vehicles, using Monte Carlo simulation to inform and validate our symbolic models during the initial stages of development. In this paper, we present a continuous-time model of a quadrotor unmanned aircraft undertaking an autonomous mission. We employ this model in Monte Carlo simulation to obtain specific mission properties which will inform the symbolic models employed in formal verification.
@article{ireland_continuous-time_2016,
title = {A {Continuous}-{Time} {Model} of an {Autonomous} {Aerial} {Vehicle} to {Inform} and {Validate} {Formal} {Verification} {Methods}},
url = {http://arxiv.org/abs/1609.00177},
abstract = {If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V\&V) approaches must be developed that are suitable for this domain. Model checking is a formal technique which allows us to exhaustively explore the paths of an abstract model of a system. Using a probabilistic model checker such as PRISM, we may determine properties such as the expected time for a mission, or the probability that a specific mission failure occurs. However, model checking of complex systems is difficult due to the loss of information during abstraction. This is especially so when considering systems such as autonomous vehicles which are subject to external influences. An alternative solution is the use of Monte Carlo simulation to explore the results of a continuous-time model of the system. The main disadvantage of this approach is that the approach is not exhaustive as not all executions of the system are analysed. We are therefore interested in developing a framework for formal verification of autonomous vehicles, using Monte Carlo simulation to inform and validate our symbolic models during the initial stages of development. In this paper, we present a continuous-time model of a quadrotor unmanned aircraft undertaking an autonomous mission. We employ this model in Monte Carlo simulation to obtain specific mission properties which will inform the symbolic models employed in formal verification.},
urldate = {2021-01-29},
journal = {arXiv:1609.00177 [cs]},
author = {Ireland, Murray L. and Hoffmann, Ruth and Miller, Alice and Norman, Gethin and Veres, Sandor M.},
month = sep,
year = {2016},
keywords = {Computer Science - Robotics, ⛔ No DOI found},
}Convergence Analysis for Rectangular Matrix Completion Using Burer-Monteiro Factorization and Gradient Descent. Zheng, Q. & Lafferty, J. arxiv:1605.07051, 2016.
Paper bibtex
Paper bibtex @article{zheng_convergence_2016,
title = {Convergence {Analysis} for {Rectangular} {Matrix} {Completion} {Using} {Burer}-{Monteiro} {Factorization} and {Gradient} {Descent}},
url = {http://arxiv.org/abs/1605.07051},
journal = {arxiv:1605.07051},
author = {Zheng, Qinqing and Lafferty, John},
year = {2016},
keywords = {/unread, ⛔ No DOI found},
}2015 (2)
A Utilização do Marketing Como Estratégia de Melhoria da Qualidade dos Serviços Prestados ao Cidadão: um estudo de caso sobre a perspectiva organizacional na esfera pública. Saraiva, L. A. S. & Capelão, L. G. F. Revista Interdisciplinar de Marketing, 1(3):51–64, January, 2015. 00000
Paper abstract bibtex
Paper abstract bibtex Com o intuito de analisar as variáveis eficiência e inovação sob a égide da utilização de instrumentos de marketing como fator de melhoria da qualidade dos serviços, o presente trabalho enfatiza uma perspectiva organizacional pública mais voltada à satisfação das necessidades do cidadão. Para isso, com base no método de amostragem não-probabilístico intencional, foram realizadas 30 entrevistas pessoais estruturadas com funcionários públicos de uma instituição federal de ensino superior do estado de Minas Gerais com o intuito de discutir os aspectos aqui levantados. Os principais resultados encontrados nas unidades tomadas como foco de análise revelam que a racionalidade predominante é do tipo burocrática, com ênfase no cumprimento dos procedimentos e regulamentos internos, e que há barreiras criadas pela própria burocracia que enrijecem a estrutura organizacional e prejudicam um melhor atendimento das necessidades dos cidadãos. Recomenda-se a adoção de práticas de valorização da mão-de-obra, incluindo qualificação e delegação de autoridade, como instrumentos eficazes de redirecionamento organizacional rumo à abordagem centrada na satisfação do cidadão.
@article{saraiva_utilizacao_2015,
title = {A {Utilização} do {Marketing} {Como} {Estratégia} de {Melhoria} da {Qualidade} dos {Serviços} {Prestados} ao {Cidadão}: um estudo de caso sobre a perspectiva organizacional na esfera pública},
volume = {1},
copyright = {Declaro que o presente artigo é original, não tendo sido submetido à publicação em qualquer outro periódico nacional ou internacional, quer seja em parte ou em sua totalidade. Declaro, ainda, que uma vez publicado na Revista Interdisciplinar de Marketing , editada pela Universidade Estadual de Maringá, o mesmo jamais será submetido por mim ou por qualquer um dos demais co-autores a qualquer outro meio de divulgação científica. Através deste instrumento, em meu nome e em nome dos demais co-autores, porventura existentes, cedo os direitos autorais do referido artigo à Universidade Estadual de Maringá e declaro estar ciente de que a não observância deste compromisso submeterá o infrator a sanções e penas previstas na Lei de Proteção de Direitos Autorias (Nº9609, de 19/02/98). Em virtude de aparecerem nesta revista de acesso público, os artigos são de uso gratuito, com atribuições próprias, em aplicações educacionais e não-comerciais. À Revista Interdisciplinar de Marketing é permitido o uso dos trabalhos publicados para fins não-comerciais, incluindo o direito de enviar o trabalho para bases de dados de acesso público.},
issn = {1676-9783},
shorttitle = {A {Utilização} do {Marketing} {Como} {Estratégia} de {Melhoria} da {Qualidade} dos {Serviços} {Prestados} ao {Cidadão}},
url = {http://eduem.uem.br/ojs/index.php/rimar/article/view/26389},
abstract = {Com o intuito de analisar as variáveis eficiência e inovação sob a égide da utilização de instrumentos de marketing como fator de melhoria da qualidade dos serviços, o presente trabalho enfatiza uma perspectiva organizacional pública mais voltada à satisfação das necessidades do cidadão. Para isso, com base no método de amostragem não-probabilístico intencional, foram realizadas 30 entrevistas pessoais estruturadas com funcionários públicos de uma instituição federal de ensino superior do estado de Minas Gerais com o intuito de discutir os aspectos aqui levantados. Os principais resultados encontrados nas unidades tomadas como foco de análise revelam que a racionalidade predominante é do tipo burocrática, com ênfase no cumprimento dos procedimentos e regulamentos internos, e que há barreiras criadas pela própria burocracia que enrijecem a estrutura organizacional e prejudicam um melhor atendimento das necessidades dos cidadãos. Recomenda-se a adoção de práticas de valorização da mão-de-obra, incluindo qualificação e delegação de autoridade, como instrumentos eficazes de redirecionamento organizacional rumo à abordagem centrada na satisfação do cidadão.},
language = {pt},
number = {3},
urldate = {2015-10-04},
journal = {Revista Interdisciplinar de Marketing},
author = {Saraiva, Luiz Alex Silva and Capelão, Luiz Gonzaga Ferreira},
month = jan,
year = {2015},
note = {00000},
keywords = {Esfera Pública, Instrumentos de Marketing, Qualidade de Serviços, ⛔ No DOI found, 🔍No DOI found},
pages = {51--64},
}Online Formative Assessment in Higher Education: Its Pros and Cons. Baleni, Z. G. Electronic Journal of e-Learning, 13(4):pp228‑236–pp228‑236, April, 2015. Number: 4
Paper abstract bibtex
Paper abstract bibtex Abstract: Online and blended learning have become common educational strategy in higher education. Lecturers have to re‑theorise certain basic concerns of teaching, learning and assessment in non‑traditional environments. These concerns include perceptions such as cogency and trustworthiness of assessment in online environments in relation to serving the intended purposes, as well as understanding how formative assessment operates within online learning environment. Of importance also is the issue of how formative assessment benefits both the student learning and teaching within pedagogical strategies in an online context. This papers concern is how online formative assessment provides teaching and learning as well as how lecturers and students benefit from it. A mixed method questionnaire on formative assessment with a main focus on how formative assessment within online contexts operates was used to collect data from courses using Blackboard. Lecturers and students at a comprehensive university were the population. Various techniques for formative assessment linked with online tools such as discussion forums and objective tests were used. The benefits that were famous comprise improvement of student commitment, faster feedback, enhanced flexibility around time and place of taking the assessment task and importance in the procedure for students and lecturers also benefited with less marking time and saved on administrative costs. The crucial findings are that effective online formative assessment can nurture a student and assessment centred focus through formative feedback and enrich student commitment with valued learning experiences. Ongoing trustworthy assessment tasks and interactive formative feedback were identified as significant features that will deal with intimidations to rationality and trustworthiness within the milieu of online formative assessment.
@article{baleni_online_2015,
title = {Online {Formative} {Assessment} in {Higher} {Education}: {Its} {Pros} and {Cons}},
volume = {13},
copyright = {Copyright (c) 2015 Copyright © 2003-2021 Electronic Journal of e-Learning},
issn = {1479-4403},
shorttitle = {Online {Formative} {Assessment} in {Higher} {Education}},
url = {https://academic-publishing.org/index.php/ejel/article/view/1730},
abstract = {Abstract: Online and blended learning have become common educational strategy in higher education. Lecturers have to re‑theorise certain basic concerns of teaching, learning and assessment in non‑traditional environments. These concerns include perceptions such as cogency and trustworthiness of assessment in online environments in relation to serving the intended purposes, as well as understanding how formative assessment operates within online learning environment. Of importance also is the issue of how formative assessment benefits both the student learning and teaching within pedagogical strategies in an online context. This papers concern is how online formative assessment provides teaching and learning as well as how lecturers and students benefit from it. A mixed method questionnaire on formative assessment with a main focus on how formative assessment within online contexts operates was used to collect data from courses using Blackboard. Lecturers and students at a comprehensive university were the population. Various techniques for formative assessment linked with online tools such as discussion forums and objective tests were used. The benefits that were famous comprise improvement of student commitment, faster feedback, enhanced flexibility around time and place of taking the assessment task and importance in the procedure for students and lecturers also benefited with less marking time and saved on administrative costs. The crucial findings are that effective online formative assessment can nurture a student and assessment centred focus through formative feedback and enrich student commitment with valued learning experiences. Ongoing trustworthy assessment tasks and interactive formative feedback were identified as significant features that will deal with intimidations to rationality and trustworthiness within the milieu of online formative assessment.},
language = {en},
number = {4},
urldate = {2022-08-19},
journal = {Electronic Journal of e-Learning},
author = {Baleni, Zwelijongile Gaylard},
month = apr,
year = {2015},
note = {Number: 4},
keywords = {learning, ⛔ No DOI found},
pages = {pp228‑236--pp228‑236},
}2014 (4)
Reliable Design and Operations of Infrastructure Systems. An, Y. 2014.
Paper abstract bibtex
Paper abstract bibtex The reliability issue of the infrastructure systems has become one of the major concerns of the system operators. This dissertation is a collection of four published and working papers that address the specific reliable design and operations problems from three different application settings: transportation/telecommunications network, distribution network, and power plant. In these four projects, key random factors like site disruption and uncertain demand are explicitly considered and proper research tools including stochastic programming, robust optimization, and variants of robust optimization are applied to formulate the problems based on which the important and challenging modelling elements (nonlinear congestion, disruption caused demand variation, etc.) can be introduced and studied. Besides, for each of the optimization models, we also develop advanced solution algorithms that can solve large-scale instances within a short amount of time and devise comprehensive numerical experiments to derive insights. The modelling techniques and solution methods can be easily extended to study reliability issues in other applications
@article{an_reliable_2014,
title = {Reliable {Design} and {Operations} of {Infrastructure} {Systems}},
url = {https://core.ac.uk/display/71953136?recSetID=},
abstract = {The reliability issue of the infrastructure systems has become one of the major concerns of the system operators. This dissertation is a collection of four published and working papers that address the specific reliable design and operations problems from three different application settings: transportation/telecommunications network, distribution network, and power plant. In these four projects, key random factors like site disruption and uncertain demand are explicitly considered and proper research tools including stochastic programming, robust optimization, and variants of robust optimization are applied to formulate the problems based on which the important and challenging modelling elements (nonlinear congestion, disruption caused demand variation, etc.) can be introduced and studied. Besides, for each of the optimization models, we also develop advanced solution algorithms that can solve large-scale instances within a short amount of time and devise comprehensive numerical experiments to derive insights. The modelling techniques and solution methods can be easily extended to study reliability issues in other applications},
language = {en-gb},
urldate = {2021-01-28},
author = {An, Yu},
year = {2014},
keywords = {⛔ No DOI found},
}The relationship between metacognition, entrepreneurial orientation, and firm performance: an empirical investigation. Cho, Y. S. & Jung, J. Y. Academy of Entrepreneurship Journal, 20(2):71–87, July, 2014. 00000
Paper bibtex
Paper bibtex @article{cho_relationship_2014,
title = {The relationship between metacognition, entrepreneurial orientation, and firm performance: an empirical investigation},
volume = {20},
issn = {10879595},
shorttitle = {The relationship between metacognition, entrepreneurial orientation, and firm performance},
url = {http://go-galegroup.ez54.periodicos.capes.gov.br/ps/i.do?p=AONE&sw=w&issn=10879595&v=2.1&it=r&id=GALE%7CA397455459&sid=googleScholar&linkaccess=abs},
language = {English},
number = {2},
urldate = {2016-12-02},
journal = {Academy of Entrepreneurship Journal},
author = {Cho, Young Sik and Jung, Joo Y.},
month = jul,
year = {2014},
note = {00000},
keywords = {⛔ No DOI found, 🔍No DOI found},
pages = {71--87},
}Modelling an Aircraft Landing System in Event-B (Full Report). Méry, D. & Singh, N. K. 2014.
Paper abstract bibtex
Paper abstract bibtex The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system development process. Formal techniques are an alternative approach to verify the correctness of critical systems, overcoming limitations of the traditional validation techniques such as simulation and testing. The increasing complexity and failure rate brings new challenges in the area of verification and validation of avionic systems. Since the reliability of the software cannot be quantified, the \textit\correct by construction\ approach can implement a reliable system. Refinement plays a major role to build a large system incrementally from an abstract specification to a concrete system. This paper contributes as a stepwise formal development of the landing system of an aircraft. The formal models include the complex behaviour, temporal behaviour and sequence of operations of the landing gear system. The models are formalized in Event-B modelling language, which supports stepwise refinement. This case study is considered as a benchmark for techniques and tools dedicated to the verification of behavioural properties of systems. The report is the full version of a paper published for the ABZ 2014 Case Study. i
@article{mery_modelling_2014,
title = {Modelling an {Aircraft} {Landing} {System} in {Event}-{B} ({Full} {Report})},
url = {https://core.ac.uk/display/25039767?recSetID=},
abstract = {The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system development process. Formal techniques are an alternative approach to verify the correctness of critical systems, overcoming limitations of the traditional validation techniques such as simulation and testing. The increasing complexity and failure rate brings new challenges in the area of verification and validation of avionic systems. Since the reliability of the software cannot be quantified, the {\textbackslash}textit\{correct by construction\} approach can implement a reliable system. Refinement plays a major role to build a large system incrementally from an abstract specification to a concrete system. This paper contributes as a stepwise formal development of the landing system of an aircraft. The formal models include the complex behaviour, temporal behaviour and sequence of operations of the landing gear system. The models are formalized in Event-B modelling language, which supports stepwise refinement. This case study is considered as a benchmark for techniques and tools dedicated to the verification of behavioural properties of systems. The report is the full version of a paper published for the ABZ 2014 Case Study. i},
language = {en-gb},
urldate = {2021-01-29},
author = {Méry, Dominique and Singh, Neeraj Kumar},
year = {2014},
keywords = {Computer Science - Software Engineering, ⛔ No DOI found},
}Gender Identification and Age Estimation of Users Based on Music Metadata. Wu, M., Jang, J. R., & Lu, C. In Wang, H., Yang, Y., & Lee, J. H., editors, ISMIR, pages 555–560, 2014.
Paper bibtex
Paper bibtex @inproceedings{wu_gender_2014,
title = {Gender {Identification} and {Age} {Estimation} of {Users} {Based} on {Music} {Metadata}.},
url = {https://archives.ismir.net/ismir2014/paper/000278.pdf},
booktitle = {{ISMIR}},
author = {Wu, Ming-Ju and Jang, Jyh-Shing Roger and Lu, Chun-Hung},
editor = {Wang, Hsin-Min and Yang, Yi-Hsuan and Lee, Jin Ha},
year = {2014},
keywords = {\#nosource, ⛔ No DOI found},
pages = {555--560},
}2013 (4)
Cognitive Designers Activity Study, Formalization, Modelling, and Computation. Bouchard, C., Kim, J., Omhover, J., & Aoussat, A. 2013.
Paper abstract bibtex
Paper abstract bibtex This study aims to explore how designers mentally categorise design information during the early sketching performed in the generative phase. An action research approach is particularly appropriate for identifying the various sorts of design information and the cognitive operations involved in this phase. Thus, we conducted a protocol study with eight product designers based on a descriptive model derived from cognitive psychological memory theories. Subsequent protocol analysis yielded a cognitive model depicting the mental categorisation of design information processing performed by designers. This cognitive model included a structure for design information (high, middle, and low levels) and linked cognitive operations (association and transformation). Finally, this paper concludes by discussing directions for future research on the development of new computational tools for designers
@article{bouchard_cognitive_2013,
title = {Cognitive {Designers} {Activity} {Study}, {Formalization}, {Modelling}, and {Computation}},
url = {https://core.ac.uk/display/18292696?recSetID=},
abstract = {This study aims to explore how designers mentally categorise design information during the early sketching performed in the generative phase. An action research approach is particularly appropriate for identifying the various sorts of design information and the cognitive operations involved in this phase. Thus, we conducted a protocol study with eight product designers based on a descriptive model derived from cognitive psychological memory theories. Subsequent protocol analysis yielded a cognitive model depicting the mental categorisation of design information processing performed by designers. This cognitive model included a structure for design information (high, middle, and low levels) and linked cognitive operations (association and transformation). Finally, this paper concludes by discussing directions for future research on the development of new computational tools for designers},
language = {en-gb},
urldate = {2021-01-28},
author = {Bouchard, Carole and Kim, Jieun and Omhover, Jean-François and Aoussat, Améziane},
year = {2013},
keywords = {⛔ No DOI found},
}A produ\\c c\\\~a\o do conhecimento e a Pol\\'\i\tica Nacional de Pesquisa e Desenvolvimento (P\&D) e Ci\\\textasciicircume\ncia, Tecnologia e Inova\\c c\\\~a\o (\CT\\&I). Santos, C. d. A. & Moraes, K. N. d. Revista S\\'e\rie-Estudos, June, 2013. 00000
Paper bibtex
Paper bibtex @article{santos_producao_2013,
title = {A produ\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o do conhecimento e a {Pol}\{{\textbackslash}'{\textbackslash}i\}tica {Nacional} de {Pesquisa} e {Desenvolvimento} ({P}{\textbackslash}\&{D}) e {Ci}\{{\textbackslash}{\textasciicircum}e\}ncia, {Tecnologia} e {Inova}\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o (\{{CT}\}{\textbackslash}\&{I})},
volume = {0},
copyright = {A revista S\{{\textbackslash}'e\}rie-Estudos permite a reprodu\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o total em outro \{{\textbackslash}'o\}rg\{{\textbackslash}{\textasciitilde}a\}o de publica\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o mediante a autoriza\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o por escrito do editor, desde que seja feita cita\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o da fonte (S\{{\textbackslash}'e\}rie-Estudos) e remetido um exemplar da reprodu\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o. A reprodu\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o parcial, superior a 500 palavras, tabelas e figuras dever\{{\textbackslash}'a\} ter permiss\{{\textbackslash}{\textasciitilde}a\}o formal de seus autores. Direitos Autorais para artigos publicados nesta revista s\{{\textbackslash}{\textasciitilde}a\}o do autor, com direitos de primeira publica\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}a\}o para a revista. Em virtude de aparecerem nesta revista de acesso p\{{\textbackslash}'u\}blico, os artigos s\{{\textbackslash}{\textasciitilde}a\}o de uso gratuito, com atribui\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}o\}es pr\{{\textbackslash}'o\}prias, em aplica\{{\textbackslash}c c\}\{{\textbackslash}{\textasciitilde}o\}es educacionais e n\{{\textbackslash}{\textasciitilde}a\}o-comerciais.},
issn = {2318-1982},
url = {http://www.serie-estudos.ucdb.br/index.php/serie-estudos/article/view/165},
language = {pt},
number = {30},
urldate = {2015-07-20},
journal = {Revista S\{{\textbackslash}'e\}rie-Estudos},
author = {Santos, Catarina de Almeida and Moraes, Karine Nunes de},
month = jun,
year = {2013},
note = {00000},
keywords = {\#LaTeX, ⛔ No DOI found, 🔍No DOI found},
}Quantum mechanics of many-electron. Dirac, P. Proceedings of the Royal Society of London. Series A, 123(792):714–733, 2013.
bibtex
bibtex
@article{Dirac2013,
title = {Quantum mechanics of many-electron},
volume = {123},
number = {792},
journal = {Proceedings of the Royal Society of London. Series A},
author = {Dirac, Paul},
year = {2013},
keywords = {\#nosource, ⛔ No DOI found},
pages = {714--733},
}Formal validation of aerospace software. Lesens, D., Moy, Y., & Kanig, J. In Proc. DASIA, volume 11, 2013. Citeseer. tex.ids= lesensFormalValidationAerospace2013a, lesensFormalValidationAerospace2013b
bibtex
bibtex
@inproceedings{lesens_formal_2013,
title = {Formal validation of aerospace software},
volume = {11},
booktitle = {Proc. {DASIA}},
publisher = {Citeseer},
author = {Lesens, David and Moy, Yannick and Kanig, Johannes},
year = {2013},
note = {tex.ids= lesensFormalValidationAerospace2013a, lesensFormalValidationAerospace2013b},
keywords = {⛔ No DOI found},
}2012 (5)
Indicadores estratégicos em ciência e tecnologia: refletindo a sua prática como dispositivo de inclusão/exclusão. Santos, R. N. M. d. Transinformação, December, 2012. 00019
Paper abstract bibtex
Paper abstract bibtex A ciência, enquanto atividade, é uma construção social complexa que requer ousadia e altos investimentos. Não é neutra, nem extemporânea; grassa na concentração do seu labor, o que, em conseqüência, favorece o monopólio econômico dos seus resultados. Elitiza-se, materializa-se no efeito São Mateus: a quem tem, mais lhe será dado. Portanto, boas intenções e contradições requerem reflexões, questionamentos, discussões, crítica e massa crítica. Tal é a área de concentração da “Ciência das Ciências”, contemplada neste trabalho.Palavras-chave: produção científica, bibliometria, cientometria, ciência das ciências.
@article{santos_indicadores_2012,
title = {Indicadores estratégicos em ciência e tecnologia: refletindo a sua prática como dispositivo de inclusão/exclusão},
volume = {15},
issn = {2318-0889},
shorttitle = {Indicadores estratégicos em ciência e tecnologia},
url = {http://periodicos.puc-campinas.edu.br/seer/index.php/transinfo/article/view/1464},
abstract = {A ciência, enquanto atividade, é uma construção social complexa que requer ousadia e altos investimentos. Não é neutra, nem extemporânea; grassa na concentração do seu labor, o que, em conseqüência, favorece o monopólio econômico dos seus resultados. Elitiza-se, materializa-se no efeito São Mateus: a quem tem, mais lhe será dado. Portanto, boas intenções e contradições requerem reflexões, questionamentos, discussões, crítica e massa crítica. Tal é a área de concentração da “Ciência das Ciências”, contemplada neste trabalho.Palavras-chave: produção científica, bibliometria, cientometria, ciência das ciências.},
language = {pt},
number = {3},
urldate = {2015-07-20},
journal = {Transinformação},
author = {Santos, Raimundo Nonato Macedo dos},
month = dec,
year = {2012},
note = {00019},
keywords = {⛔ No DOI found, 🔍No DOI found},
}Energy efficiency in Singapore's rapid transit system. Thong, M. & Cheong, A. Journeys, 2012.
Paper bibtex
Paper bibtex @article{thong_energy_2012,
title = {Energy efficiency in {Singapore}'s rapid transit system},
url = {http://www.academia.edu/download/46440640/Transforming_the_Land_Public_Transport_page_30.pdf#page=38},
number = {8},
urldate = {2019-11-21},
journal = {Journeys},
author = {Thong, Melvyn and Cheong, Adrian},
year = {2012},
keywords = {trains, ⛔ No DOI found},
pages = {38--47}
}A Thorough Literature Review on User Modeling. Beel, J. under review, 2012.
bibtex
bibtex
@article{Beel12LitRev,
title = {A {{Thorough Literature Review}} on {{User Modeling}}},
author = {Beel, Joeran},
year = {2012},
journal = {under review},
keywords = {!jb,!jb_author,\#nosource,⛔ No DOI found,jabref_imp2},
oldkey = {Beel12b},
owner = {admin}
}3D inversion of airborne electromagnetic data. Cox, L. H., Wilson, G. A., & Zhdanov, M. S. Geophysics, 77(4):WB59–WB69, 2012. tex.ids= cox3DInversionAirborne2012a, zhdanov_3d_2012 publisher: Society of Exploration Geophysicists
doi bibtex
doi bibtex
@article{cox_3d_2012,
title = {{3D} inversion of airborne electromagnetic data},
volume = {77},
doi = {10/f39kdh},
number = {4},
journal = {Geophysics},
author = {Cox, Leif H. and Wilson, Glenn A. and Zhdanov, Michael S.},
year = {2012},
note = {tex.ids= cox3DInversionAirborne2012a, zhdanov\_3d\_2012
publisher: Society of Exploration Geophysicists},
keywords = {⛔ No DOI found},
pages = {WB59--WB69},
}Dynamic Logics of Dynamical Systems. Platzer, A. arXiv:1205.4788 [cs, math], May, 2012.
Paper abstract bibtex
Paper abstract bibtex We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. Due to their full basis of first-order modal logic operators, dynamic logics can express a rich variety of system properties, including safety, controllability, reactivity, liveness, and quantified parametrized properties, even about relations between multiple dynamical systems. In this survey, we focus on some of the representatives of the family of differential dynamic logics, which share the ability to express properties of dynamical systems having continuous dynamics described by various forms of differential equations. We explain the dynamical system models, dynamic logics of dynamical systems, their semantics, their axiomatizations, and proof calculi for proving logical formulas about these dynamical systems. We study differential invariants, i.e., induction principles for differential equations. We survey theoretical results, including soundness and completeness and deductive power. Differential dynamic logics have been implemented in automatic and interactive theorem provers and have been used successfully to verify safety-critical applications in automotive, aviation, railway, robotics, and analogue electrical circuits.
@article{platzer_dynamic_2012,
title = {Dynamic {Logics} of {Dynamical} {Systems}},
url = {http://arxiv.org/abs/1205.4788},
abstract = {We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. Due to their full basis of first-order modal logic operators, dynamic logics can express a rich variety of system properties, including safety, controllability, reactivity, liveness, and quantified parametrized properties, even about relations between multiple dynamical systems. In this survey, we focus on some of the representatives of the family of differential dynamic logics, which share the ability to express properties of dynamical systems having continuous dynamics described by various forms of differential equations. We explain the dynamical system models, dynamic logics of dynamical systems, their semantics, their axiomatizations, and proof calculi for proving logical formulas about these dynamical systems. We study differential invariants, i.e., induction principles for differential equations. We survey theoretical results, including soundness and completeness and deductive power. Differential dynamic logics have been implemented in automatic and interactive theorem provers and have been used successfully to verify safety-critical applications in automotive, aviation, railway, robotics, and analogue electrical circuits.},
urldate = {2021-01-27},
journal = {arXiv:1205.4788 [cs, math]},
author = {Platzer, André},
month = may,
year = {2012},
keywords = {03B45, 03B70, 03D78, 03F03, 34A38, 34C45, 37H10, 60H10, 68M14, 68Q60, C.1.m, C.2.4, Computer Science - Logic in Computer Science, D.2.4, D.4.7, F.3.1, F.4.1, G.1.4, G.3, Mathematics - Dynamical Systems, Mathematics - Logic, ⛔ No DOI found},
}2011 (3)
CFD模拟方法的发展成就与展望. 阎, 超, 于, 剑, 徐, 晶., 范, 晶., 高, 瑞., & 姜, 振. 力学进展, 41(05):562–589, 2011.
Paper abstract bibtex
Paper abstract bibtex 本文综述了计算流体力学(computational fluid dynamics,CFD),尤其是计算空气动力学的发展概况.从计算方法、网格技术、湍流模型、大涡模拟等方面分别总结了CFD所取得的成就,分析了当前存在的问题、困惑,展望了其发展趋势.在CFD计算方法中,主要介绍了中心格式、迎风格式、TVD格式、WENO格式、紧致格式以及间断Galerkin有限元方法,对不同方法的原理和特性进行了系统阐述.网格技术包括结构网格、非结构网格、混合网格以及重叠网格,重点讨论了重叠网格的若干关键技术.在湍流模型中,对目前的模型进行分类介绍,包括线性涡黏性模型、二阶矩模型、非线性模型等,还介绍了转捩模型、D...
@article{_cfd_2011,
title = {{CFD模拟方法的发展成就与展望}},
volume = {41},
issn = {1000-0992},
url = {https://kns.cnki.net/kcms/detail/detail.aspx?dbcode=CJFD&dbname=CJFD2011&filename=LXJZ201105007&uniplatform=NZKPT&v=owYjd75Wrx8DVD_xLkyWJQIHrqqDO2HtAkb82pxxq8PAjOKlY38UpT7q9dnkrZKd},
abstract = {本文综述了计算流体力学(computational fluid dynamics,CFD),尤其是计算空气动力学的发展概况.从计算方法、网格技术、湍流模型、大涡模拟等方面分别总结了CFD所取得的成就,分析了当前存在的问题、困惑,展望了其发展趋势.在CFD计算方法中,主要介绍了中心格式、迎风格式、TVD格式、WENO格式、紧致格式以及间断Galerkin有限元方法,对不同方法的原理和特性进行了系统阐述.网格技术包括结构网格、非结构网格、混合网格以及重叠网格,重点讨论了重叠网格的若干关键技术.在湍流模型中,对目前的模型进行分类介绍,包括线性涡黏性模型、二阶矩模型、非线性模型等,还介绍了转捩模型、D...},
language = {中文;},
number = {05},
urldate = {2022-01-02},
journal = {力学进展},
author = {阎, 超 and 于, 剑 and 徐, 晶磊 and 范, 晶晶 and 高, 瑞泽 and 姜, 振华},
year = {2011},
keywords = {computational fluid dynamics, grid technique, large eddy simulation, numerical scheme, turbulence modeling, ⛔ No DOI found, 大涡模拟, 数值格式, 湍流模型, 网格技术, 计算流体力学},
pages = {562--589},
}The Overlooked Dimension of Sustainable Education. May, R., Cox, V., Kroder, S., & Franklin, G. US-China Education Review, 2011.
Paper abstract bibtex
Paper abstract bibtex While universities are increasingly focused on developing "green" practices on their campuses and integrating sustainability concepts into their curricula, few have considered the potential impact that their online learning programs may already be having on the environment. Online classes result in paper not printed, miles not driven and classrooms not lighted thereby reducing the carbon footprints of the sponsoring institutions. Yet, despite the growing enthusiasm of academic institutions to be recognized as "sustainable universities", most have overlooked the potential of their online learning operations to contribute to their long range goals for environmental stewardship. Consequently, the purpose of our paper is to present a proposed framework for measuring the sustainable impact of online learning which is currently being pilot tested at University of Dallas. We report results from the pilot data in the spring and summer semesters of 2009 and concludes with suggestions for establishing measurement models at other institutions where partnerships between university administrators, faculty and students hold promise for leveraging the sustainable impact of online learning. (Contains 4 tables and 3 figures.)
@article{may_overlooked_2011,
title = {The {Overlooked} {Dimension} of {Sustainable} {Education}},
issn = {1548-6613},
url = {https://eric.ed.gov/?q=(%22Environmental+Footprint%22+OR+%22Environmental+Impact%22+OR+%22Carbon+Footprint%22)+AND+(%22Conservation+(Environment)%22+OR+%22Environmental+Protection%22+OR+%22Protection+Of+The+Environment%22)+AND+(%22e-Learning%22+OR+%22eLearning%22+OR+%22Online+Learning%22+OR+%22Virtual+Learning%22+OR+%22Internet-Based+Learning%22+OR+%22Electronic+Learning%22)&id=ED529903},
abstract = {While universities are increasingly focused on developing "green" practices on their campuses and integrating sustainability concepts into their curricula, few have considered the potential impact that their online learning programs may already be having on the environment. Online classes result in paper not printed, miles not driven and classrooms not lighted thereby reducing the carbon footprints of the sponsoring institutions. Yet, despite the growing enthusiasm of academic institutions to be recognized as "sustainable universities", most have overlooked the potential of their online learning operations to contribute to their long range goals for environmental stewardship. Consequently, the purpose of our paper is to present a proposed framework for measuring the sustainable impact of online learning which is currently being pilot tested at University of Dallas. We report results from the pilot data in the spring and summer semesters of 2009 and concludes with suggestions for establishing measurement models at other institutions where partnerships between university administrators, faculty and students hold promise for leveraging the sustainable impact of online learning. (Contains 4 tables and 3 figures.)},
language = {en},
urldate = {2022-02-12},
journal = {US-China Education Review},
author = {May, Ruth and Cox, Vanessa and Kroder, Stan and Franklin, Geralyn},
year = {2011},
keywords = {Business Administration Education, Conservation (Environment), Electronic Learning, Foreign Countries, Graduate Students, Online Courses, Open Universities, Student Surveys, Sustainability, Universities, ⛔ No DOI found},
pages = {960--974},
}The practical application of formal methods: where is the benefit for industry?. Hunt, J. J. In International Conference on Formal Verification of Object-Oriented Software, pages 22–32, 2011. Springer. tex.ids= huntPracticalApplicationFormal2011a, huntPracticalApplicationFormal2011b, huntPracticalApplicationFormal2011c
doi bibtex
doi bibtex
@inproceedings{hunt_practical_2011,
title = {The practical application of formal methods: where is the benefit for industry?},
shorttitle = {The practical application of formal methods},
doi = {10/gh3nzd},
booktitle = {International {Conference} on {Formal} {Verification} of {Object}-{Oriented} {Software}},
publisher = {Springer},
author = {Hunt, James J.},
year = {2011},
note = {tex.ids= huntPracticalApplicationFormal2011a, huntPracticalApplicationFormal2011b, huntPracticalApplicationFormal2011c},
keywords = {⛔ No DOI found},
pages = {22--32},
}2010 (2)
Formal modelling of processes and tasks to support use and search of geo-information in emergency response. Zlatanova, S. Proceedings of the 13th annual international conference and exhibition on geospatial information technology and applications - map India 2010 - defining geospatial vision for India, 19-21 January 2010, 2010.
bibtex
bibtex
@article{zlatanova_formal_2010,
title = {Formal modelling of processes and tasks to support use and search of geo-information in emergency response},
journal = {Proceedings of the 13th annual international conference and exhibition on geospatial information technology and applications - map India 2010 - defining geospatial vision for India, 19-21 January 2010},
author = {Zlatanova, S.},
year = {2010},
keywords = {⛔ No DOI found},
}Metaphysics. The Stanford Encyclopedia of Philosophy, 2010. 00000 bibtex*:Metaphysics2010
abstract bibtex
abstract bibtex
It is not easy to say what metaphysics is. Ancient and Medieval philosophers might have said that metaphysics was, like chemistry or astrology, to be defined by its subject matter: metaphysics was the “science” that studied “being as such” or “the first causes of things” or “things that do not change.” It is no longer possible to define metaphysics that way, and for two reasons. First, a philosopher who denied the existence of those things that had once been seen as constituting the subject-matter of metaphysics—first causes or unchanging things—would now be considered to be making thereby a metaphysical assertion. Secondly, there are many philosophical problems that are now considered to be metaphysical problems (or at least partly metaphysical problems) that are in no way related to first causes or unchanging things; the problem of free will, for example, or the problem of the mental and the physical. This entry examines a large selection of the problems that have been classified as metaphysical. It does not examine them “for their own sake,” however, but as illustrations of metaphysical problems. (The discussions of these problems in this entry, therefore, are not meant to be in competition with the entries specifically devoted to them.) It considers— and finds no satisfactory answer to—the question, “In virtue of what common feature are these problems classified as metaphysical problems?” It also considers various attempts to show that metaphysics—however defined—is an impossible enterprise.
@article{noauthor_metaphysics_2010,
title = {Metaphysics},
abstract = {It is not easy to say what metaphysics is. Ancient and Medieval philosophers might have said that metaphysics was, like chemistry or astrology, to be defined by its subject matter: metaphysics was the “science” that studied “being as such” or “the first causes of things” or “things that do not change.” It is no longer possible to define metaphysics that way, and for two reasons. First, a philosopher who denied the existence of those things that had once been seen as constituting the subject-matter of metaphysics—first causes or unchanging things—would now be considered to be making thereby a metaphysical assertion. Secondly, there are many philosophical problems that are now considered to be metaphysical problems (or at least partly metaphysical problems) that are in no way related to first causes or unchanging things; the problem of free will, for example, or the problem of the mental and the physical. This entry examines a large selection of the problems that have been classified as metaphysical. It does not examine them “for their own sake,” however, but as illustrations of metaphysical problems. (The discussions of these problems in this entry, therefore, are not meant to be in competition with the entries specifically devoted to them.) It considers— and finds no satisfactory answer to—the question, “In virtue of what common feature are these problems classified as metaphysical problems?” It also considers various attempts to show that metaphysics—however defined—is an impossible enterprise.},
journal = {The Stanford Encyclopedia of Philosophy},
year = {2010},
note = {00000
bibtex*:Metaphysics2010},
keywords = {conceito de metafísica, natureza da metafísica, problema da metafísica, ⛔ No DOI found, 🔍No DOI found},
pages = {1 -- 46},
}2009 (2)
Application of Remote Sensing (rs) and Geographic Information Systems (gis) to Environmental Impact Assessment (eia) for Sustainable Development. Abbas, I. & Ukoje, J. Research Journal of Environmental and …, 1(1):11–15, 2009.
Paper abstract bibtex
Paper abstract bibtex A new paradigm that is fast gaining ascendancy the world over is the concept of sustainable development. Sustainable development in its simplest form advocates that the present generation develops (manage) the available resources to achieve growth and social and economic well-being in such a manner that will not jeopardize the chances of generation yet unborn in meeting their own needs. But then, how do we attain sustainable development? Well, this can be achieved through Environmental Impact Assessment (EIA). Environmental Impact Assessment in turn can be done holistically only through the technique of Remote Sensing (RS) and Geographic Information systems (GIS). This paper therefore discusses sustainable development through environmental impact assessment; and the best approach to studying environmental impact assessment in remote sensing and geographic information systems technique are also discussed.
@article{abbas_application_2009,
title = {Application of {Remote} {Sensing} (rs) and {Geographic} {Information} {Systems} (gis) to {Environmental} {Impact} {Assessment} (eia) for {Sustainable} {Development}},
volume = {1},
url = {https://www.researchgate.net/profile/Innocent-Abbas/publication/41653693_Application_of_Remote_Sensing_Rs_and_Geographic_Information_Systems_Gis_to_Environmental_Impact_Assessment_Eia_for_Sustainable_Development/links/54ec6c680cf27fbfd77044db/Application-of-Remote-Sensing-Rs-and-Geographic-Information-Systems-Gis-to-Environmental-Impact-Assessment-Eia-for-Sustainable-Development.pdf},
abstract = {A new paradigm that is fast gaining ascendancy the world over is the concept of sustainable
development. Sustainable development in its simplest form advocates that the present generation develops
(manage) the available resources to achieve growth and social and economic well-being in such a manner that
will not jeopardize the chances of generation yet unborn in meeting their own needs. But then, how do we attain
sustainable development? Well, this can be achieved through Environmental Impact Assessment (EIA).
Environmental Impact Assessment in turn can be done holistically only through the technique of Remote
Sensing (RS) and Geographic Information systems (GIS). This paper therefore discusses sustainable
development through environmental impact assessment; and the best approach to studying environmental
impact assessment in remote sensing and geographic information systems technique are also discussed.},
number = {1},
journal = {Research Journal of Environmental and …},
author = {Abbas, II and Ukoje, JA},
year = {2009},
keywords = {⛔ No DOI found},
pages = {11--15},
}Guaranteed Rank Minimization via Singular Value Projection. Meka, R., Jain, P., & Dhillon, I. S. arxiv:0909.5457, 2009.
Paper bibtex
Paper bibtex @article{meka_guaranteed_2009,
title = {Guaranteed {Rank} {Minimization} via {Singular} {Value} {Projection}},
url = {http://arxiv.org/abs/0909.5457},
journal = {arxiv:0909.5457},
author = {Meka, Raghu and Jain, Prateek and Dhillon, Inderjit S.},
year = {2009},
keywords = {/unread, ⛔ No DOI found},
}2008 (1)
Developing High-Quality Multiple-Choice Questions ror Assessment in Legal Education. Case, S. M. & Donahue, B. E. Journal of Legal Education, 58(3):372–387, 2008. Publisher: [Association of American Law Schools, Southwestern Law School]
Paper bibtex
Paper bibtex @article{case_developing_2008,
title = {Developing {High}-{Quality} {Multiple}-{Choice} {Questions} ror {Assessment} in {Legal} {Education}},
volume = {58},
issn = {0022-2208},
url = {https://www.jstor.org/stable/42894078},
number = {3},
urldate = {2020-07-19},
journal = {Journal of Legal Education},
author = {Case, Susan M. and Donahue, Beth E.},
year = {2008},
note = {Publisher: [Association of American Law Schools, Southwestern Law School]},
keywords = {⛔ No DOI found},
pages = {372--387},
}2007 (4)
Indexing Music Collections through Graph Spectra. Pinto, A., van Leuken, R. H., Demirci, M. F., Wiering, F., & Veltkamp, R. C. In Dixon, S., Bainbridge, D., & Typke, R., editors, Proceedings of the 8\textsuperscriptth International Conference on Music Information Retrieval, ISMIR 2007, Vienna, Austria, September 23-27, 2007, pages 153–156, 2007. Austrian Computer Society.
Paper bibtex
Paper bibtex @inproceedings{pinto_indexing_2007,
title = {Indexing {Music} {Collections} through {Graph} {Spectra}},
url = {http://ismir2007.ismir.net/proceedings/ISMIR2007_p153_pinto.pdf},
booktitle = {Proceedings of the 8{\textbackslash}textsuperscriptth {International} {Conference} on {Music} {Information} {Retrieval}, {ISMIR} 2007, {Vienna}, {Austria}, {September} 23-27, 2007},
publisher = {Austrian Computer Society},
author = {Pinto, Alberto and van Leuken, Reinier H. and Demirci, M. Fatih and Wiering, Frans and Veltkamp, Remco C.},
editor = {Dixon, Simon and Bainbridge, David and Typke, Rainer},
year = {2007},
keywords = {\#nosource, ⛔ No DOI found},
pages = {153--156},
}The 50th Anniversary Summit in Berlin and the Janus-Face of European Integration. Stahl, B. Deutsche-Aussenpolitik.de, Newsletter on German Foreign Policy, March, 2007.
bibtex
bibtex
@article{stahl_50th_2007,
title = {The 50th {Anniversary} {Summit} in {Berlin} and the {Janus}-{Face} of {European} {Integration}},
language = {en},
number = {316},
journal = {Deutsche-Aussenpolitik.de, Newsletter on German Foreign Policy},
author = {Stahl, Bernhard},
month = mar,
year = {2007},
keywords = {Genre: Essay, Int. Akteur: Deutschland, Int. Akteur: Europäische Union, ⛔ No DOI found},
}Влияние механизма роста и термоупругих напряжений на динамику кристаллической решетки гетероэпитаксиальных пленок титаната бария-стронция. Юзюк, Ю. И., Захарченко, И. Н., Алёшин, В. А., Леонтьев, И. Н., Рабкин, Л. М., Мухортов, В. М., & Simon, P. Физика твердого тела, 49(9):1676–1682, 2007.
Paper bibtex
Paper bibtex @article{__2007,
title = {Влияние механизма роста и термоупругих напряжений на динамику кристаллической решетки гетероэпитаксиальных пленок титаната бария-стронция},
volume = {49},
url = {https://journals.ioffe.ru/articles/3167},
language = {ru},
number = {9},
urldate = {2023-11-11},
journal = {Физика твердого тела},
author = {Юзюк, Ю. И. and Захарченко, И. Н. and Алёшин, В. А. and Леонтьев, И. Н. and Рабкин, Л. М. and Мухортов, В. М. and Simon, P.},
year = {2007},
keywords = {⛔ No DOI found},
pages = {1676--1682},
}Polyphonic Music Note Onset Detection Using Semi-supervised Learning. You, W. & Dannenberg, R. B. In Dixon, S., Bainbridge, D., & Typke, R., editors, Proceedings of the 8\textsuperscriptth International Conference on Music Information Retrieval, ISMIR 2007, Vienna, Austria, September 23-27, 2007, pages 279–282, 2007. Austrian Computer Society.
bibtex
bibtex
@inproceedings{you_polyphonic_2007,
title = {Polyphonic {Music} {Note} {Onset} {Detection} {Using} {Semi}-supervised {Learning}},
booktitle = {Proceedings of the 8{\textbackslash}textsuperscriptth {International} {Conference} on {Music} {Information} {Retrieval}, {ISMIR} 2007, {Vienna}, {Austria}, {September} 23-27, 2007},
publisher = {Austrian Computer Society},
author = {You, Wei and Dannenberg, Roger B.},
editor = {Dixon, Simon and Bainbridge, David and Typke, Rainer},
year = {2007},
keywords = {\#nosource, ⛔ No DOI found},
pages = {279--282},
}2006 (3)
The Role of the International Financial Institutions in Addressing Global Issues. Bhargava, V. In Global Issues for Global Citizens: An Introduction to Key Development Challenges, pages 18. The World Bank, Washington, D.C., 2006.
bibtex
bibtex
@incollection{bhargava_role_2006,
address = {Washington, D.C.},
title = {The {Role} of the {International} {Financial} {Institutions} in {Addressing} {Global} {Issues}},
language = {en},
booktitle = {Global {Issues} for {Global} {Citizens}: {An} {Introduction} to {Key} {Development} {Challenges}},
publisher = {The World Bank},
author = {Bhargava, Vinay},
editor = {Bhargava, Vinay},
year = {2006},
keywords = {⛔ No DOI found},
pages = {18},
}Négligence et attention : une affaire de réseaux ?. Bartolomeo, P. In Journée de Neuropsychologie J.-L. Signoret, CHU Pitiè-Salpêtrière, Paris, 2006.
bibtex
bibtex
@inproceedings{bartolomeo_negligence_2006,
address = {CHU Pitiè-Salpêtrière, Paris},
title = {Négligence et attention : une affaire de réseaux ?},
booktitle = {Journée de {Neuropsychologie} {J}.-{L}. {Signoret}},
author = {Bartolomeo, P.},
year = {2006},
keywords = {\#nosource, ⛔ No DOI found},
}Jsymbolic: A Feature Extractor for MIDI Files. Mckay, C. & Fujinaga, I. In Proceedings of the 2006 International Computer Music Conference, ICMC 2006, New Orleans, Louisiana, USA, November 6-11, 2006, of ICMC, pages 302–305, 2006. Michigan Publishing.
Paper abstract bibtex
Paper abstract bibtex A library of 160 high-level features is presented along with jSymbolic, a software package that extracts these features from MIDI files. jSymbolic is intended both as a platform for developing new features as well as a tool for providing features to data mining software that can be used to automatically classify music or evaluate musical similarity.
@inproceedings{mckay_jsymbolic_2006,
series = {{ICMC}},
title = {Jsymbolic: {A} {Feature} {Extractor} for {MIDI} {Files}},
url = {http://hdl.handle.net/2027/spo.bbp2372.2006.063},
abstract = {A library of 160 high-level features is presented along with jSymbolic, a software package that extracts these features from MIDI files. jSymbolic is intended both as a platform for developing new features as well as a tool for providing features to data mining software that can be used to automatically classify music or evaluate musical similarity.},
booktitle = {Proceedings of the 2006 {International} {Computer} {Music} {Conference}, {ICMC} 2006, {New} {Orleans}, {Louisiana}, {USA}, {November} 6-11, 2006},
publisher = {Michigan Publishing},
author = {Mckay, Cory and Fujinaga, Ichiro},
year = {2006},
keywords = {\#nosource, ⛔ No DOI found},
pages = {302--305},
}2005 (4)
New algorithms for wow and flutter detection and compensation in audio. Czyzewski, A., Dziubinski, M., Ciarkowski, A., Kulesza, M., Maziewski, P., & Kotus, J. In Audio Engineering Society - 118th Convention Spring Preprints 2005, volume 2, pages 896–909, 2005.
Paper bibtex
Paper bibtex @inproceedings{czyzewski_new_2005,
title = {New algorithms for wow and flutter detection and compensation in audio},
volume = {2},
url = {https://www.scopus.com/inward/record.uri?eid= 2-s2.0-84866505380&partnerID=40&md5=1d460983cb58b328f79aa9156245d366},
booktitle = {Audio {Engineering} {Society} - 118th {Convention} {Spring} {Preprints} 2005},
author = {Czyzewski, A. and Dziubinski, M. and Ciarkowski, A. and Kulesza, M. and Maziewski, P. and Kotus, J.},
year = {2005},
keywords = {\#nosource, ⛔ No DOI found},
pages = {896--909},
}Fiber-tracking does not accurately estimate size of fiber bundle in pathological condition: initial neurosurgical experience using neuronavigation and subcortical white matter stimulation. Kinoshita, M., Yamada, K., Hashimoto, N., Kato, A., Izumoto, S., Baba, T., Maruno, M., Nishimura, T., & Yoshimine, T. Comme le titre l'indique, le tracking ne donne pas d'info sur la taille des fibres. H. Duffau est cité dans le papier., 25(2):424–9, 2005.
Paper abstract bibtex
Paper abstract bibtex The fiber-tracking method enables in vivo visualization of the white matter tracts of the brain using a diffusion tensor MR imaging technique. While this method represents a promising tool in the field of neurosurgery, especially when confronted with brain tumors in eloquent areas, its reliability remains unknown. We present here our preliminary validation of tractography in human subjects harboring brain tumors by comparing the results produced by neuronavigation and electrical white matter stimulation in two patients with gliomas in the eloquent area. Although we were able to visualize the pyramidal tract with the fiber-tracking technique, the images failed to present the actual size of the fiber bundles. Here we discuss the advantages and limitations of fiber-tracking in the field of neurosurgery.
@article{kinoshita_fiber-tracking_2005,
title = {Fiber-tracking does not accurately estimate size of fiber bundle in pathological condition: initial neurosurgical experience using neuronavigation and subcortical white matter stimulation},
volume = {25},
url = {http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&dopt=Citation&list_uids=15784421},
abstract = {The fiber-tracking method enables in vivo visualization of the white matter tracts of the brain using a diffusion tensor MR imaging technique. While this method represents a promising tool in the field of neurosurgery, especially when confronted with brain tumors in eloquent areas, its reliability remains unknown. We present here our preliminary validation of tractography in human subjects harboring brain tumors by comparing the results produced by neuronavigation and electrical white matter stimulation in two patients with gliomas in the eloquent area. Although we were able to visualize the pyramidal tract with the fiber-tracking technique, the images failed to present the actual size of the fiber bundles. Here we discuss the advantages and limitations of fiber-tracking in the field of neurosurgery.},
number = {2},
journal = {Comme le titre l'indique, le tracking ne donne pas d'info sur la taille des fibres. H. Duffau est cité dans le papier.},
author = {Kinoshita, M. and Yamada, K. and Hashimoto, N. and Kato, A. and Izumoto, S. and Baba, T. and Maruno, M. and Nishimura, T. and Yoshimine, T.},
year = {2005},
keywords = {\#nosource, ⛔ No DOI found},
pages = {424--9},
}Two-dimensional transonic aerodynamic design and analysis using the Euler equations. Drela, M. Ph.D. Thesis, Massachusetts Institute of Technology, 2005.
Paper abstract bibtex
Paper abstract bibtex Thesis (Ph. D.)–Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1986.; MICROFICHE COPY AVAILABLE IN ARCHIVES AND AERO; Bibliography: leaves 139-143.
@phdthesis{drela_two-dimensional_2005,
title = {Two-dimensional transonic aerodynamic design and analysis using the {Euler} equations},
url = {http://www.researchgate.net/publication/37600951_Two-dimensional_transonic_aerodynamic_design_and_analysis_using_the_Euler_equation},
abstract = {Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1986.; MICROFICHE COPY AVAILABLE IN ARCHIVES AND AERO; Bibliography: leaves 139-143.},
urldate = {2021-06-26},
school = {Massachusetts Institute of Technology},
author = {Drela, M.},
year = {2005},
keywords = {Aeronautics and Astronautics, Thesis, ①待读0x, ⛔ No DOI found},
}Information as a value concept: reconciling theory and practice. Weissinger, T. Library Philosophy and Practice, 8(1):1–13, 2005. bibtex*:WeissingerInformationvalueconcept2005
abstract bibtex
abstract bibtex
This article's central thesis is that the concept of information favored by materialist theories is not interchangeable with the concepts preferred by idealists and critical theorists. The materialist concept of information places too much emphasis on the factual nature of information, while demurring its evaluative component altogether. Idealists and critical theorists have been able to describe an evaluative concept of information; and it is this sense of information that threads throughout librarianship from its oral cultural beginnings to the present day.9 The idea that information has personal and social value resonates within librarianship and has been discussed in varying degrees by several important library thinkers. The discussion which follows is limited principally to selected works by librarian-theorists Michael K. Buckland, Jesse H. Shera, H. Curtis Wright, and Ronald E. Day. These theorists were selected because they have written about information as a value concept and represent materialist, idealist, and critical theory perspectives in librarianship.
@article{weissinger_information_2005,
title = {Information as a value concept: reconciling theory and practice},
volume = {8},
issn = {1522-0222},
abstract = {This article's central thesis is that the concept of information favored by materialist theories is not interchangeable with the concepts preferred by idealists and critical theorists. The materialist concept of information places too much emphasis on the factual nature of information, while demurring its evaluative component altogether. Idealists and critical theorists have been able to describe an evaluative concept of information; and it is this sense of information that threads throughout librarianship from its oral cultural beginnings to the present day.9 The idea that information has personal and social value resonates within librarianship and has been discussed in varying degrees by several important library thinkers. The discussion which follows is limited principally to selected works by librarian-theorists Michael K. Buckland, Jesse H. Shera, H. Curtis Wright, and Ronald E. Day. These theorists were selected because they have written about information as a value concept and represent materialist, idealist, and critical theory perspectives in librarianship.},
number = {1},
journal = {Library Philosophy and Practice},
author = {Weissinger, Thomas},
year = {2005},
note = {bibtex*:WeissingerInformationvalueconcept2005},
keywords = {conceito de informação, representação da informação, teoria idealista, teoria materialista, valor da informação, ⛔ No DOI found, 🔍No DOI found},
pages = {1--13},
}2004 (4)
L’habileté d’autoévaluation : pourquoi et comment la développer?. St-Pierre, L. Pédagogie collégiale, 18(1):33–38, 2004.
bibtex
bibtex
@article{st-pierre_lhabilete_2004,
title = {L’habileté d’autoévaluation : pourquoi et comment la développer?},
volume = {18},
number = {1},
journal = {Pédagogie collégiale},
author = {St-Pierre, Lise},
year = {2004},
keywords = {⛔ No DOI found},
pages = {33--38},
}Lesion analysis of the brain areas involved in language comprehension. Dronkers, N., Wilkins, D., Van Valin, R., Redfern, B., & Jaeger, J. Suite de l'article de Bates avec tous les détails des résultats, 92(1-2):145–77, 2004.
Paper abstract bibtex
Paper abstract bibtex The cortical regions of the brain traditionally associated with the comprehension of language are Wernicke's area and Broca's area. However, recent evidence suggests that other brain regions might also be involved in this complex process. This paper describes the opportunity to evaluate a large number of brain-injured patients to determine which lesioned brain areas might affect language comprehension. Sixty-four chronic left hemisphere stroke patients were evaluated on 11 subtests of the Curtiss-Yamada Comprehensive Language Evaluation - Receptive (CYCLE-R; Curtiss, S., & Yamada, J. (1988). Curtiss-Yamada Comprehensive Language Evaluation. Unpublished test, UCLA). Eight right hemisphere stroke patients and 15 neurologically normal older controls also participated. Patients were required to select a single line drawing from an array of three or four choices that best depicted the content of an auditorily-presented sentence. Patients' lesions obtained from structural neuroimaging were reconstructed onto templates and entered into a voxel-based lesion-symptom mapping (VLSM; Bates, E., Wilson, S., Saygin, A. P., Dick, F., Sereno, M., Knight, R. T., & Dronkers, N. F. (2003). Voxel-based lesion-symptom mapping. Nature Neuroscience, 6(5), 448-450.) analysis along with the behavioral data. VLSM is a brain-behavior mapping technique that evaluates the relationships between areas of injury and behavioral performance in all patients on a voxel-by-voxel basis, similar to the analysis of functional neuroimaging data. Results indicated that lesions to five left hemisphere brain regions affected performance on the CYCLE-R, including the posterior middle temporal gyrus and underlying white matter, the anterior superior temporal gyrus, the superior temporal sulcus and angular gyrus, mid-frontal cortex in Brodmann's area 46, and Brodmann's area 47 of the inferior frontal gyrus. Lesions to Broca's and Wernicke's areas were not found to significantly alter language comprehension on this particular measure. Further analysis suggested that the middle temporal gyrus may be more important for comprehension at the word level, while the other regions may play a greater role at the level of the sentence. These results are consistent with those seen in recent functional neuroimaging studies and offer complementary data in the effort to understand the brain areas underlying language comprehension.
@article{dronkers_lesion_2004,
title = {Lesion analysis of the brain areas involved in language comprehension},
volume = {92},
url = {http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&dopt=Citation&list_uids=15037129},
abstract = {The cortical regions of the brain traditionally associated with the comprehension of language are Wernicke's area and Broca's area. However, recent evidence suggests that other brain regions might also be involved in this complex process. This paper describes the opportunity to evaluate a large number of brain-injured patients to determine which lesioned brain areas might affect language comprehension. Sixty-four chronic left hemisphere stroke patients were evaluated on 11 subtests of the Curtiss-Yamada Comprehensive Language Evaluation - Receptive (CYCLE-R; Curtiss, S., \& Yamada, J. (1988). Curtiss-Yamada Comprehensive Language Evaluation. Unpublished test, UCLA). Eight right hemisphere stroke patients and 15 neurologically normal older controls also participated. Patients were required to select a single line drawing from an array of three or four choices that best depicted the content of an auditorily-presented sentence. Patients' lesions obtained from structural neuroimaging were reconstructed onto templates and entered into a voxel-based lesion-symptom mapping (VLSM; Bates, E., Wilson, S., Saygin, A. P., Dick, F., Sereno, M., Knight, R. T., \& Dronkers, N. F. (2003). Voxel-based lesion-symptom mapping. Nature Neuroscience, 6(5), 448-450.) analysis along with the behavioral data. VLSM is a brain-behavior mapping technique that evaluates the relationships between areas of injury and behavioral performance in all patients on a voxel-by-voxel basis, similar to the analysis of functional neuroimaging data. Results indicated that lesions to five left hemisphere brain regions affected performance on the CYCLE-R, including the posterior middle temporal gyrus and underlying white matter, the anterior superior temporal gyrus, the superior temporal sulcus and angular gyrus, mid-frontal cortex in Brodmann's area 46, and Brodmann's area 47 of the inferior frontal gyrus. Lesions to Broca's and Wernicke's areas were not found to significantly alter language comprehension on this particular measure. Further analysis suggested that the middle temporal gyrus may be more important for comprehension at the word level, while the other regions may play a greater role at the level of the sentence. These results are consistent with those seen in recent functional neuroimaging studies and offer complementary data in the effort to understand the brain areas underlying language comprehension.},
number = {1-2},
journal = {Suite de l'article de Bates avec tous les détails des résultats},
author = {Dronkers, N.F. and Wilkins, D.P. and Van Valin, R.D. and Redfern, B.B. and Jaeger, J.J.},
year = {2004},
keywords = {\#nosource, ⛔ No DOI found},
pages = {145--77},
}Ontology enabled annotation and knowledge management for collaborative learning in virtual learning community. Yang, S. J. H., Chen, I. Y., & Shao, N. W. Y. Educational Technology & Society, 7(4):70–81, 2004. bibtex*:YangOntologyenabledannotation2004
abstract bibtex
abstract bibtex
The nature of collaborative learning involves intensive interactions among collaborators, such as articulating knowledge into written, verbal or symbolic forms, authoring articles or posting messages to this community’s discussion forum, responding or adding comments to messages or articles posted by others, etc. Knowledge collaborators’ capabilities to provide knowledge and the motivation to collaborate in the learning process influence the quantity and quality of the knowledge to flow into the virtual learning community. In this paper, we have developed an ontology enabled annotation and knowledge management to provide semantic web services from three perspectives, personalized annotation, real-time discussion, and semantic content retrieval. Personalized annotation is used to equip the collaborators with Web based authoring tools for commenting, knowledge articulation and exertion by extracting metadata from both the annotated content and the annotation itself, and establishing ontological relation between them. The realtime discussion is used as a bridge to link collaborators and knowledge and motivate collaborators for knowledge sharing by building profiles for collaborators and knowledge (in the forms of content and annotation) during every discussion session, and establishing ontological relation between the collaborators and knowledge for the use of semantic content retrieval. The semantic content retrieval then utilizes the ontological relations constructed from the personalized annotation and real-time discussion for finding more relevant collaborators and knowledge.
@article{yang_ontology_2004,
title = {Ontology enabled annotation and knowledge management for collaborative learning in virtual learning community},
volume = {7},
abstract = {The nature of collaborative learning involves intensive interactions among collaborators, such as articulating knowledge into written, verbal or symbolic forms, authoring articles or posting messages to this community’s discussion forum, responding or adding comments to messages or articles posted by others, etc. Knowledge collaborators’ capabilities to provide knowledge and the motivation to collaborate in the learning process influence the quantity and quality of the knowledge to flow into the virtual learning community. In this paper, we have developed an ontology enabled annotation and knowledge management to provide semantic web services from three perspectives, personalized annotation, real-time discussion, and semantic content retrieval. Personalized annotation is used to equip the collaborators with Web based authoring tools for commenting, knowledge articulation and exertion by extracting metadata from both the annotated content and the annotation itself, and establishing ontological relation between them. The realtime discussion is used as a bridge to link collaborators and knowledge and motivate collaborators for knowledge sharing by building profiles for collaborators and knowledge (in the forms of content and annotation) during every discussion session, and establishing ontological relation between the collaborators and knowledge for the use of semantic content retrieval. The semantic content retrieval then utilizes the ontological relations constructed from the personalized annotation and real-time discussion for finding more relevant collaborators and knowledge.},
number = {4},
journal = {Educational Technology \& Society},
author = {Yang, Stephen J. H. and Chen, Irene Ya-Ling and Shao, Norman W. Y.},
year = {2004},
note = {bibtex*:YangOntologyenabledannotation2004},
keywords = {Ontologia, aprendizagem colaborativa, gestão do conhecimento, metadados, web service, ⛔ No DOI found, 🔍No DOI found},
pages = {70--81},
}Rigorous development of reusable, domain-specific components, for complex applications. Snook, C., Butler, M., Edmunds, A., & Johnson, I. 2004.
bibtex
bibtex
@article{snook_rigorous_2004,
title = {Rigorous development of reusable, domain-specific components, for complex applications},
author = {Snook, Colin and Butler, Michael and Edmunds, Andy and Johnson, Ian},
year = {2004},
keywords = {⛔ No DOI found},
}2003 (1)
Score-based Analysis of Expressive Performance. Dixon, S. In Kopiez, R., Lehmann, A. C., & Wolf, I. W. & C., editors, Proceedings of the 5\textsuperscriptth Triennial ESCOM Conference, 2003. Springer.
bibtex
bibtex
@inproceedings{dixon_score-based_2003,
title = {Score-based {Analysis} of {Expressive} {Performance}},
booktitle = {Proceedings of the 5{\textbackslash}textsuperscriptth {Triennial} {ESCOM} {Conference}},
publisher = {Springer},
author = {Dixon, Simon},
editor = {Kopiez, R. and Lehmann, A. C. and Wolf, I. Wolther \& C.},
year = {2003},
keywords = {\#nosource, ⛔ No DOI found},
}2002 (1)
The viewpoint paradigm: a semiotic based approach for the intelligibility of a cooperative designing process. Charre, P. Australasian Journal of Information Systems, 10(1):3 – 19, 2002. bibtex*:Charreviewpointparadigmsemiotic2002
abstract bibtex
abstract bibtex
The concept of viewpoint is studied in the field of the modelling and the knowledge management concerned in the upstream phases of a designing process. The concept is approached by semiotics, i.e. in dealing with the requirements so that an actor gives sense to an object. This gives means to transform the intuitive concepts of viewpoint and relation between viewpoints into the Viewpoint Paradigm: the sense of an object is the integration of the viewpoints which exert on it. The elements of this paradigm are integrated in a general model, which defines two concepts formally: Viewpoint and Correlation of viewpoints. The Viewpoint Paradigm is then implemented in operational concerns which are related with the intelligibility of the designing process. Two models of viewpoint and correlation are proposed. They raise of viewpoints management such as one can identify them in the written documents of a project.
@article{charre_viewpoint_2002,
title = {The viewpoint paradigm: a semiotic based approach for the intelligibility of a cooperative designing process},
volume = {10},
abstract = {The concept of viewpoint is studied in the field of the modelling and the knowledge management concerned in the upstream phases of a designing process. The concept is approached by semiotics, i.e. in dealing with the requirements so that an actor gives sense to an object. This gives means to transform the intuitive concepts of viewpoint and relation between viewpoints into the Viewpoint Paradigm: the sense of an object is the integration of the viewpoints which exert on it. The elements of this paradigm are integrated in a general model, which defines two concepts formally: Viewpoint and Correlation of viewpoints. The Viewpoint Paradigm is then implemented in operational concerns which are related with the intelligibility of the designing process. Two models of viewpoint and correlation are proposed. They raise of viewpoints management such as one can identify them in the written documents of a project.},
number = {1},
journal = {Australasian Journal of Information Systems},
author = {Charre, Pierre-Jean},
year = {2002},
note = {bibtex*:Charreviewpointparadigmsemiotic2002},
keywords = {pontos de vista - semiótica, processo de comunicação, ⛔ No DOI found, 🔍No DOI found},
pages = {3 -- 19},
}2000 (1)
Global vs. local processing of compressed representations: A computational model of visual search. Cohen, E, Levy, N, & Ruppin, E Neurocomputing, 32:33, 2000. Publisher: 万方数据资源系统
Paper abstract bibtex
Paper abstract bibtex \\\\\Anovel computational model of a pre-attentive system performing visual-search is presented. The model processes various types of displays, reproduced from three sources of visual-search experimental data: Duncan and Humphreys, Psychol. Rev. 96 (1989) 453\458, Treisman and Sato, J. Exp. Psychol. 16 (1990) 459\478, and Wolfe, Friedman-Hill, Stewart,O'Connell, J. Exp. Psychol. 18 (1992) 34\49. The response\time-slopes measured in these experiments suggest that some of the displays are searched serially while others are scanned in parallel. Our model operates in two phases. First, the visual-search displays are compressed to overcome assumed biological capacity limitations. Compression is achieved by projecting the tasks' displays on a small set of feature maps. These features have been extracted from a large set of natural images by means of principal component analysis. Second, the compressed representations are further processed to identify a target in the display. The model succeeds in fast detection of targets in experimentally labeled parallel displays, but fails with serial ones. Analysis of the compressed representations reveals that compressed parallel displays contain global information that enables instantaneous target detection. However, in serial displays' representations, this global information is obscure and hence, a target detection system should resort to a serial, attentional scan of local features across the display. Our analysis provides a numerical criterion that is strongly correlated with the experimental response\time-slopes. It also provides new insight to the mechanisms of visual-attention, suggesting a self-organized representation of Treisman's feature maps, which may be implemented in other paradigms in the "eld. 2000 Elsevier Science B.V. All rights reserved.
@article{CohenE.LevyN.Ruppin2000,
title = {Global vs. local processing of compressed representations: {A} computational model of visual search},
volume = {32},
url = {http://d.wanfangdata.com.cn/NSTLQK_NSTL_QK4299715.aspx},
abstract = {\{\{\{\{\{Anovel computational model of a pre-attentive system performing visual-search is presented. The model processes various types of displays, reproduced from three sources of visual-search experimental data: Duncan and Humphreys, Psychol. Rev. 96 (1989) 453\}458, Treisman and Sato, J. Exp. Psychol. 16 (1990) 459\}478, and Wolfe, Friedman-Hill, Stewart,O'Connell, J. Exp. Psychol. 18 (1992) 34\}49. The response\}time-slopes measured in these experiments suggest that some of the displays are searched serially while others are scanned in parallel. Our model operates in two phases. First, the visual-search displays are compressed to overcome assumed biological capacity limitations. Compression is achieved by projecting the tasks' displays on a small set of feature maps. These features have been extracted from a large set of natural images by means of principal component analysis. Second, the compressed representations are further processed to identify a target in the display. The model succeeds in fast detection of targets in experimentally labeled parallel displays, but fails with serial ones. Analysis of the compressed representations reveals that compressed parallel displays contain global information that enables instantaneous target detection. However, in serial displays' representations, this global information is obscure and hence, a target detection system should resort to a serial, attentional scan of local features across the display. Our analysis provides a numerical criterion that is strongly correlated with the experimental response\}time-slopes. It also provides new insight to the mechanisms of visual-attention, suggesting a self-organized representation of Treisman's feature maps, which may be implemented in other paradigms in the "eld. 2000 Elsevier Science B.V. All rights reserved.},
urldate = {2014-05-29},
journal = {Neurocomputing},
author = {Cohen, E and Levy, N and Ruppin, E},
year = {2000},
note = {Publisher: 万方数据资源系统},
keywords = {Attention, Compression, Computacional, Natural-scenes, PCA, Visual-search, humanos, procesamiento serial y paralelo, ⛔ No DOI found},
pages = {33},
}1999 (1)
基于B样条的气动反设计遗传算法研究. 隋洪涛, 陈. 南京航空航天大学学报, 1999.
abstract bibtex
abstract bibtex
在气动反设计中引进了基于自然选择和生物遗传机制的遗传算法，针对遗传算法的搜索原理和气动外形特点，提出了与之相适应的Ｂ样条基因表达，构造了均匀变异与非均匀变异相结合的自适应变异算子，提出了用于优化设计的适应函数，发展了一种小种群演化方法。文中并以全位势方程求解程序为例，进行了翼型重构反设计，验证了本方法的可行性，然后在此基础上进行了基于阻力极小的优化设计，取得了令人满意的结果。
@article{_b_1999,
title = {{基于B样条的气动反设计遗传算法研究}},
issn = {1005-2615},
abstract = {在气动反设计中引进了基于自然选择和生物遗传机制的遗传算法，针对遗传算法的搜索原理和气动外形特点，提出了与之相适应的Ｂ样条基因表达，构造了均匀变异与非均匀变异相结合的自适应变异算子，提出了用于优化设计的适应函数，发展了一种小种群演化方法。文中并以全位势方程求解程序为例，进行了翼型重构反设计，验证了本方法的可行性，然后在此基础上进行了基于阻力极小的优化设计，取得了令人满意的结果。},
language = {中文},
number = {01},
journal = {南京航空航天大学学报},
author = {隋洪涛, 陈红全},
year = {1999},
keywords = {B splines, B样条, drag minimization, genetic algorithms, inverse design, ⛔ No DOI found, 反设计, 遗传算法, 阻力极小},
pages = {22--27},
}1998 (1)
De la fabrication des compétences. Wittorski, R. Éducation permanente, 1998.
Paper abstract bibtex
Paper abstract bibtex Tout le monde s'accorde à dire que la notion de compétence fait l'objet de discours et de pratiques variées et qu'il est difficile d'y voir clair aujourd'hui dans ce maquis. Force est de constater que bien souvent, les travaux disponibles se cantonnent à définir les ingrédients de la compétence sans proposer une théorie de sa construction ce qui conduit à constater d'une part une grande diversité et divergence de définitions sans articulations évidentes les unes aux autres et d'autre part une difficulté évidente à les opérationnaliser pour les praticiens. Nous souhaitons proposer ici une explication des mécanismes de développement des compétences dans leur diversité. Nous choisissons donc d'entrer dans cette théorisation des compétences par la caractérisation des processus plus que des produits.
@article{wittorski_fabrication_1998,
title = {De la fabrication des compétences},
url = {https://hal.archives-ouvertes.fr/hal-00172696},
abstract = {Tout le monde s'accorde à dire que la notion de compétence fait l'objet de discours et de pratiques variées et qu'il est difficile d'y voir clair aujourd'hui dans ce maquis. Force est de constater que bien souvent, les travaux disponibles se cantonnent à définir les ingrédients de la compétence sans proposer une théorie de sa construction ce qui conduit à constater d'une part une grande diversité et divergence de définitions sans articulations évidentes les unes aux autres et d'autre part une difficulté évidente à les opérationnaliser pour les praticiens. Nous souhaitons proposer ici une explication des mécanismes de développement des compétences dans leur diversité. Nous choisissons donc d'entrer dans cette théorisation des compétences par la caractérisation des processus plus que des produits.},
number = {135},
journal = {Éducation permanente},
author = {Wittorski, Richard},
year = {1998},
keywords = {Compétence, ⛔ No DOI found},
pages = {57--69},
}1997 (1)
Le rôle de l’hypokinésie directionnelle dans la négligence spatiale. Bartolomeo, P. In Attention et Pathologie cérébrale, Dijon, France, 22-24 may 1997, 1997.
bibtex
bibtex
@inproceedings{bartolomeo_rolhypokinesie_1997,
address = {Dijon, France, 22-24 may 1997},
title = {Le rôle de l’hypokinésie directionnelle dans la négligence spatiale},
booktitle = {Attention et {Pathologie} cérébrale},
author = {Bartolomeo, P.},
editor = {Siéroff, E.},
year = {1997},
keywords = {\#nosource, ⛔ No DOI found},
}1996 (1)
A existência na história: revelações e riscos da hemenêutica. Alberti, V. Revista Estudos Históricos, 1996. bibtex*:Albertiexistencianahistoria1996
abstract bibtex
abstract bibtex
Este artigo tem um caráter acima de tudo informativo, ou seja, busca as respostas à pergunta "O que é hermenêutica?" e discute aquelas que implicam alguma relação com a história. Estarei destacando aqui aquela "parte da hermenêutica" – pressupondo-se que isso exista – que, enquanto historiadores e cientistas sociais, devemos conhecer. E há três justificativas para essa investida. Em primeiro lugar, creio que a hermenêutica é por demais importante no campo das ciências humanas para que não nos ocupemos dela. Em segundo lugar, ela é um assunto complicado e confuso, e é conveniente tentar desconfundi-la, ou, pelo menos, torná-la menos estranha. Por fim, a relação entre história e hermenêutica exerce uma atração especial, sem dúvida alguma, mas não deve ser aclamada sem reservas.
@article{alberti_existencia_1996,
title = {A existência na história: revelações e riscos da hemenêutica},
volume = {1},
abstract = {Este artigo tem um caráter acima de tudo informativo, ou seja, busca as respostas à pergunta "O que é hermenêutica?" e discute aquelas que implicam alguma relação com a história. Estarei destacando aqui aquela "parte da hermenêutica" – pressupondo-se que isso exista – que, enquanto historiadores e cientistas sociais, devemos conhecer. E há três justificativas para essa investida. Em primeiro lugar, creio que a hermenêutica é por demais importante no campo das ciências humanas para que não nos ocupemos dela. Em segundo lugar, ela é um assunto complicado e confuso, e é conveniente tentar desconfundi-la, ou, pelo menos, torná-la menos estranha. Por fim, a relação entre história e hermenêutica exerce uma atração especial, sem dúvida alguma, mas não deve ser aclamada sem reservas.},
number = {17},
journal = {Revista Estudos Históricos},
author = {Alberti, Verena},
year = {1996},
note = {bibtex*:Albertiexistencianahistoria1996},
keywords = {hermenêutica, ⛔ No DOI found, 🔍No DOI found},
}1995 (3)
Birds of a Creosotebush Community in the Cuatrocienegas Basin, Coahuila, Mexico. García-Salas, J. A., Contreras-Balderas, A. J., & González-Rojas, J. I. The Southwestern Naturalist, 40(4):355–359, 1995. Publisher: Southwestern Association of Naturalists
Paper abstract bibtex
Paper abstract bibtex From April 1990 to February 1991 we studied avifauna of a creosotebush community located in Cuatrocienegas Basin, Coahuila, in northeast Mexico. The avifauna of the basin was compared with that of other localities in the Chihuahuan Desert, using Sorensen's method. We recorded 35 species: 21 permanent residents, 8 summer residents (probably breeding), 5 migratory species, and 1 occasional. Four species are new records for the creosotebush biota: Cooper's hawk, great crested flycatcher, house wren, and painting bunting. We considered the Larrea tridentata habitat in Cuatrocienegas Basin to be richest in the Chihuahuan Desert. /// El presente trabajo se desarrolló en el Valle de Cuatrociénegas, Coahuila, NE de México, de abril de 1990 a febrero de 1991, en el bioma de Gobernadora \p̌hantom\Larrea tridentata). Se analiza la avifauna presente y se compara con otras localidades del Desierto Chihuahuense. Se establece su permanencia estacional. En la comparción de localidades se utilizò el métodó de Sorensen. Se registraron 35 especies: 21 residentes, 8 veraniegas, 5 migratorias y 1 ocasional. Cuatro especies son nuevo registro para el bioma de Gobernadora: Accipiter cooperi, Myiarchus crinitus, Troglodytes aedon y Passerina ciris. Se concluye que la avifauna del bioma de Larrea tridentata en el Valle de Cuatrociénegas, Coahuila, como una de las mas ricas en el Desierto Chihuahuense.
@article{garcia-salas_birds_1995,
title = {Birds of a {Creosotebush} {Community} in the {Cuatrocienegas} {Basin}, {Coahuila}, {Mexico}},
volume = {40},
issn = {0038-4909},
url = {http://www.jstor.org/stable/30055141},
abstract = {From April 1990 to February 1991 we studied avifauna of a creosotebush community located in Cuatrocienegas Basin, Coahuila, in northeast Mexico. The avifauna of the basin was compared with that of other localities in the Chihuahuan Desert, using Sorensen's method. We recorded 35 species: 21 permanent residents, 8 summer residents (probably breeding), 5 migratory species, and 1 occasional. Four species are new records for the creosotebush biota: Cooper's hawk, great crested flycatcher, house wren, and painting bunting. We considered the Larrea tridentata habitat in Cuatrocienegas Basin to be richest in the Chihuahuan Desert. /// El presente trabajo se desarrolló en el Valle de Cuatrociénegas, Coahuila, NE de México, de abril de 1990 a febrero de 1991, en el bioma de Gobernadora \{\vphantom{\}}Larrea tridentata). Se analiza la avifauna presente y se compara con otras localidades del Desierto Chihuahuense. Se establece su permanencia estacional. En la comparción de localidades se utilizò el métodó de Sorensen. Se registraron 35 especies: 21 residentes, 8 veraniegas, 5 migratorias y 1 ocasional. Cuatro especies son nuevo registro para el bioma de Gobernadora: Accipiter cooperi, Myiarchus crinitus, Troglodytes aedon y Passerina ciris. Se concluye que la avifauna del bioma de Larrea tridentata en el Valle de Cuatrociénegas, Coahuila, como una de las mas ricas en el Desierto Chihuahuense.},
number = {4},
urldate = {2021-09-10},
journal = {The Southwestern Naturalist},
author = {García-Salas, Juan A. and Contreras-Balderas, Armando J. and González-Rojas, José I.},
year = {1995},
note = {Publisher: Southwestern Association of Naturalists},
keywords = {⛔ No DOI found},
pages = {355--359},
}Business process management: survey and methodology. Elzinga, D. J., Horak, T., Lee, C., & Bruner, C. IEEE Transactions on Engineerig Management, 1995. bibtex*:ElzingaBusinessprocessmanagement1995
abstract bibtex
abstract bibtex
Due to the growing concern about the competitiveness of US industry in the international marketplace, several initiatives are now underway to enhance the competitive posture of the nation’s firms. Many companies are engaged in assessing ways in which their productivity, product quality, and operations can be improved. A relatively new area of such improvements is business process management (BPM). BPM can be any structured approach used to analyze and continually improve fundamental activities, such as manufacturing, marketing, communications, and other major elements of a company’s operation. This paper describes a generic step-by-step method for BPM which encompasses methods employed in industry from incremental improvements to reengineering. To better understand BPM, we have conducted a survey of major US companies on their approaches to process quality assessment. This report summarizes the findings of our survey and our work with a number of leading companies, and may be useful to quality managers and others involved in total quality management, continuous improvement, or reengineering efforts. From these activities, it is apparent that there is wide interest in BPM across all industries. However, the specific approach for implementation of BPM varies from company to company. That notwithstanding, there is a great deal of commonality among the specific approaches which this paper captures and unifies. Due to this interest in BPM, a number of methods and tools, including software, have been used or developed to aid in its implementation. We relate some of these methods and tools to the individual steps of the generic BPM method.
@article{elzinga_business_1995,
title = {Business process management: survey and methodology},
volume = {42},
abstract = {Due to the growing concern about the competitiveness of US industry in the international marketplace, several initiatives are now underway to enhance the competitive posture of the nation’s firms. Many companies are engaged in assessing ways in which their productivity, product quality, and operations can be improved. A relatively new area of such improvements is business process management (BPM). BPM can be any structured approach used to analyze and continually improve fundamental activities, such as manufacturing, marketing, communications, and other major elements of a company’s operation. This paper describes a generic step-by-step method for BPM which encompasses methods employed in industry from incremental improvements to reengineering. To better understand BPM, we have conducted a survey of major US companies on their approaches to process quality assessment. This report summarizes the findings of our survey and our work with a number of leading companies, and may be useful to quality managers and others involved in total quality management, continuous improvement, or reengineering efforts. From these activities, it is apparent that there is wide interest in BPM across all industries. However, the specific approach for implementation of BPM varies from company to company. That notwithstanding, there is a great deal of commonality among the specific approaches which this paper captures and unifies. Due to this interest in BPM, a number of methods and tools, including software, have been used or developed to aid in its implementation. We relate some of these methods and tools to the individual steps of the generic BPM method.},
number = {2},
journal = {IEEE Transactions on Engineerig Management},
author = {Elzinga, D. Jack and Horak, Tomas and Lee, Chung-Yee and Bruner, Charles},
year = {1995},
note = {bibtex*:ElzingaBusinessprocessmanagement1995},
keywords = {BPM, análise estrutural, fator crítico de sucesso, gestão de qualidade total, melhoria contínua, modelagem de processo de negócio, processo de hierarquia analítica, reengenharia, ⛔ No DOI found, 🔍No DOI found},
}From Redistribution to Recognition: Dilemmas of Justice in a 'Post-Socialist' Age. Fraser, N. New Left Review, I(212):68–93, August, 1995.
Paper bibtex
Paper bibtex @article{fraser_redistribution_1995,
title = {From {Redistribution} to {Recognition}: {Dilemmas} of {Justice} in a '{Post}-{Socialist}' {Age}},
volume = {I},
url = {http://groups.northwestern.edu/critical/Fall%202012%20Session%204%20-%20Fraser%20-%20From%20Redistribution%20to%20Recognition.pdf},
number = {212},
urldate = {2014-01-18},
journal = {New Left Review},
author = {Fraser, Nancy},
month = aug,
year = {1995},
keywords = {⛔ No DOI found},
pages = {68--93},
}1994 (1)
Formal and informal specifications of a secure system component: first results in a comparative study. Fitzgerald, J. S., Brookes, T. M., Green, M. A., & Larsen, P. G. In International Symposium of Formal Methods Europe, pages 35–44, 1994. Springer. tex.ids= fitzgeraldFormalInformalSpecifications1994a
bibtex
bibtex
@inproceedings{fitzgerald_formal_1994,
title = {Formal and informal specifications of a secure system component: first results in a comparative study},
shorttitle = {Formal and informal specifications of a secure system component},
booktitle = {International {Symposium} of {Formal} {Methods} {Europe}},
publisher = {Springer},
author = {Fitzgerald, John S. and Brookes, To M. and Green, M. A. and Larsen, Peter Gorm},
year = {1994},
note = {tex.ids= fitzgeraldFormalInformalSpecifications1994a},
keywords = {⛔ No DOI found},
pages = {35--44},
}1986 (1)
Critical Thinking and Thinking Skills: State of the Art Definitions and Practice in Public Schools. Presseisen, B. Z. April, 1986.
Paper abstract bibtex
Paper abstract bibtex Focusing on the revival of interest in teaching critical thinking as a major goal of schooling in American education, this paper examines why it has recurred, what is being emphasized, and, if there is significant change since the past occurrences, what has made that possible. Among the questions the paper addresses are: (1) what the renewed interest in critical thinking means to educators in elementary and secondary schools, (2) how critical thinking is being approached today compared to orientations advocated over the past 40 years, (3) how critical thinking compares to other kinds of thought processes also being emphasized in current efforts to improve school programs or to strengthen instruction of the nation's youth, and (4) what the results are–in terms of student achievement–of introducing critical thinking into the classroom. The paper concludes with an eight-page bibliography, a list of thinking skills meetings and conferences for 1984-1986, and a list of organizations in the Association for Supervision and Curriculum Development's Collaborative on Teaching Thinking. (HOD)
@article{presseisen_critical_1986,
title = {Critical {Thinking} and {Thinking} {Skills}: {State} of the {Art} {Definitions} and {Practice} in {Public} {Schools}},
shorttitle = {Critical {Thinking} and {Thinking} {Skills}},
url = {https://eric.ed.gov/?id=ED268536},
abstract = {Focusing on the revival of interest in teaching critical thinking as a major goal of schooling in American education, this paper examines why it has recurred, what is being emphasized, and, if there is significant change since the past occurrences, what has made that possible. Among the questions the paper addresses are: (1) what the renewed interest in critical thinking means to educators in elementary and secondary schools, (2) how critical thinking is being approached today compared to orientations advocated over the past 40 years, (3) how critical thinking compares to other kinds of thought processes also being emphasized in current efforts to improve school programs or to strengthen instruction of the nation's youth, and (4) what the results are--in terms of student achievement--of introducing critical thinking into the classroom. The paper concludes with an eight-page bibliography, a list of thinking skills meetings and conferences for 1984-1986, and a list of organizations in the Association for Supervision and Curriculum Development's Collaborative on Teaching Thinking. (HOD)},
language = {en},
urldate = {2017-05-29},
author = {Presseisen, Barbara Z.},
month = apr,
year = {1986},
keywords = {Academic Achievement, Cognitive Processes, Critical Thinking, Educational History, Educational Improvement, Educational Philosophy, Educational Practices, Educational Research, Educational Trends, Educational change, Elementary Secondary Education, ⛔ No DOI found, 🔍No DOI found},
}1976 (1)
Phonological exchange rule in Flemish Brussels. Zonneveld, W. Linguistic Analysis, 2(2):109–114, 1976.
bibtex
bibtex
@article{zonneveld_phonological_1976,
title = {Phonological exchange rule in {Flemish} {Brussels}},
volume = {2},
number = {2},
journal = {Linguistic Analysis},
author = {Zonneveld, Wim},
year = {1976},
keywords = {⛔ No DOI found},
pages = {109--114},
}1972 (1)
Eye movements necessary for continuous perception during stabilization of retinal images [Review]. Gerrits, H. & Vendrik, A. Bibliotheca Ophthalmologica, 82:339–347, 1972.
abstract bibtex
abstract bibtex
Retinally stabilized images disappear within a few seconds [REFS]
@article{gerrits_eye_1972,
title = {Eye movements necessary for continuous perception during stabilization of retinal images [{Review}]},
volume = {82},
abstract = {Retinally stabilized images disappear within a few seconds [REFS]},
journal = {Bibliotheca Ophthalmologica},
author = {Gerrits, H.J. and Vendrik, A.J.},
year = {1972},
keywords = {\#nosource, BIBLIOTECA 05.051, ⛔ No DOI found},
pages = {339--347},
}undefined (13)
Déviation de la lumière par un prisme Le Goniomètre. Granier, O. 00000 tex.ids: Graniera
bibtex
bibtex
@article{granier_deviation_nodate,
title = {Déviation de la lumière par un prisme {Le} {Goniomètre}},
language = {fr},
author = {Granier, Olivier},
note = {00000
tex.ids: Graniera},
keywords = {⛔ No DOI found},
pages = {36},
}A con versation with Ivar Lovaas about self mutilating children and how their parents make it worse. Chance, P.
bibtex
bibtex
@article{chance_con_nodate,
title = {A con versation with {Ivar} {Lovaas} about self mutilating children and how their parents make it worse},
language = {en},
author = {Chance, Paul},
keywords = {notion, ⛔ No DOI found},
pages = {7},
}YOLOv3: An Incremental Improvement. Redmon, J. & Farhadi, A.
abstract bibtex
abstract bibtex
We present some updates to YOLO! We made a bunch of little design changes to make it better. We also trained this new network that’s pretty swell. It’s a little bigger than last time but more accurate. It’s still fast though, don’t worry. At 320 × 320 YOLOv3 runs in 22 ms at 28.2 mAP, as accurate as SSD but three times faster. When we look at the old .5 IOU mAP detection metric YOLOv3 is quite good. It achieves 57.9 AP50 in 51 ms on a Titan X, compared to 57.5 AP50 in 198 ms by RetinaNet, similar performance but 3.8× faster. As always, all the code is online at https://pjreddie.com/yolo/.
@article{redmon_yolov3_nodate,
title = {{YOLOv3}: {An} {Incremental} {Improvement}},
abstract = {We present some updates to YOLO! We made a bunch of little design changes to make it better. We also trained this new network that’s pretty swell. It’s a little bigger than last time but more accurate. It’s still fast though, don’t worry. At 320 × 320 YOLOv3 runs in 22 ms at 28.2 mAP, as accurate as SSD but three times faster. When we look at the old .5 IOU mAP detection metric YOLOv3 is quite good. It achieves 57.9 AP50 in 51 ms on a Titan X, compared to 57.5 AP50 in 198 ms by RetinaNet, similar performance but 3.8× faster. As always, all the code is online at https://pjreddie.com/yolo/.},
language = {en},
author = {Redmon, Joseph and Farhadi, Ali},
keywords = {/unread, ⛔ No DOI found},
pages = {6},
}Using a Foundational Ontology to Investigate the Semantics Behind the Concepts of the i* Language. Guizzardi, R., Franch, X., Guizzardi, G., & Wieringa, R.
abstract bibtex
abstract bibtex
In the past few years, the community that develops i* has become aware of the problem of having so many variants, since it makes it difficult for newcomers to learn how to use the language and even to experts to efficiently exchange knowledge and disseminate their proposals. Moreover, this problem also delays the transfer of the i* framework to industrial settings. Our work is one of the current attempts to promote interoperability among the existing variants, and it does that by investigating the semantics behind the i* core concepts. For that, we apply a foundational ontology named UFO, which is used as a semantically coherent reference model to which the language should be isomorphic. In this paper, we report on the steps we have pursued, what we have accomplished so far, also setting the context for the work ahead.
@article{guizzardi_using_nodate,
title = {Using a {Foundational} {Ontology} to {Investigate} the {Semantics} {Behind} the {Concepts} of the i* {Language}},
abstract = {In the past few years, the community that develops i* has become aware of the problem of having so many variants, since it makes it difficult for newcomers to learn how to use the language and even to experts to efficiently exchange knowledge and disseminate their proposals. Moreover, this problem also delays the transfer of the i* framework to industrial settings. Our work is one of the current attempts to promote interoperability among the existing variants, and it does that by investigating the semantics behind the i* core concepts. For that, we apply a foundational ontology named UFO, which is used as a semantically coherent reference model to which the language should be isomorphic. In this paper, we report on the steps we have pursued, what we have accomplished so far, also setting the context for the work ahead.},
language = {en},
author = {Guizzardi, Renata and Franch, Xavier and Guizzardi, Giancarlo and Wieringa, Roel},
keywords = {⛔ No DOI found, 🔍No DOI found},
pages = {6},
}xxxHolic = ホリック. 蜷川, 実. (No Title).
Paper bibtex
Paper bibtex @article{_xxxholic_nodate,
title = {{xxxHolic} = ホリック},
url = {https://cir.nii.ac.jp/crid/1130577121818323977},
language = {ja},
urldate = {2023-08-03},
journal = {(No Title)},
author = {蜷川, 実花},
keywords = {⛔ No DOI found},
}EXPERIENCES OF SERVICES AND FAMILY THERAPY WITH REFUGEES AND ASYLUM-SEEKERS. Gerbase, S. W. 00000
bibtex
bibtex
@article{gerbase_experiences_nodate,
title = {{EXPERIENCES} {OF} {SERVICES} {AND} {FAMILY} {THERAPY} {WITH} {REFUGEES} {AND} {ASYLUM}-{SEEKERS}},
language = {en},
author = {Gerbase, Sofia Weidenbach},
note = {00000},
keywords = {\_tablet, ⛔ No DOI found},
pages = {214}
}Proposta de modelo de escrtório de processos para IFES: o caso UnB. Miranda, N. d. S. bibtex*:MirandaPropostamodeloescrtorio
bibtex
bibtex
@article{miranda_proposta_nodate,
title = {Proposta de modelo de escrtório de processos para {IFES}: o caso {UnB}},
author = {Miranda, Nilzith de S.},
note = {bibtex*:MirandaPropostamodeloescrtorio},
keywords = {ISO 9001:2000, escritório de processo, gestão de processo, ⛔ No DOI found, 🔍No DOI found},
}Stein Variational Gradient Descent as Gradient Flow. Liu, Q.
abstract bibtex
abstract bibtex
Stein variational gradient descent (SVGD) is a deterministic sampling algorithm that iteratively transports a set of particles to approximate given distributions, based on a gradient-based update that guarantees to optimally decrease the KL divergence within a function space. This paper develops the first theoretical analysis on SVGD. We establish that the empirical measures of the SVGD samples weakly converge to the target distribution, and show that the asymptotic behavior of SVGD is characterized by a nonlinear Fokker-Planck equation known as Vlasov equation in physics. We develop a geometric perspective that views SVGD as a gradient flow of the KL divergence functional under a new metric structure on the space of distributions induced by Stein operator.
@article{liu_stein_nodate,
title = {Stein {Variational} {Gradient} {Descent} as {Gradient} {Flow}},
abstract = {Stein variational gradient descent (SVGD) is a deterministic sampling algorithm that iteratively transports a set of particles to approximate given distributions, based on a gradient-based update that guarantees to optimally decrease the KL divergence within a function space. This paper develops the first theoretical analysis on SVGD. We establish that the empirical measures of the SVGD samples weakly converge to the target distribution, and show that the asymptotic behavior of SVGD is characterized by a nonlinear Fokker-Planck equation known as Vlasov equation in physics. We develop a geometric perspective that views SVGD as a gradient flow of the KL divergence functional under a new metric structure on the space of distributions induced by Stein operator.},
language = {en},
author = {Liu, Qiang},
keywords = {/unread, ⛔ No DOI found},
pages = {9},
}Essential Mathematical LATEX 2ε. Carlisle, D P & Kaye, R. 00003
bibtex
bibtex
@article{carlisle_essential_nodate,
title = {Essential {Mathematical} {LATEX} 2ε},
language = {en},
author = {Carlisle, D P and Kaye, Richard},
note = {00003},
keywords = {⛔ No DOI found},
pages = {9},
}The Principles of Psychology. James, W. THE PRINCIPLES OF PSYCHOLOGY.
bibtex
bibtex
@article{james_principles_nodate,
title = {The {Principles} of {Psychology}},
language = {en},
journal = {THE PRINCIPLES OF PSYCHOLOGY},
author = {James, William},
keywords = {⛔ No DOI found},
pages = {919},
}Stochastic Optimization for Machine Learning. Zheng, S.
abstract bibtex
abstract bibtex
Numerical optimization has played an important role in the evolution of machine learning, touching almost every aspect of the discipline. Stochastic approximation has evolved and expanded as one of the main streams of research in mathematical optimzation. This survey provides a review and summary on the stochastic optimization algorithms in the context of machine learning applications. The stochastic gradient descent (SGD) method has been widely viewed as an ideal approach for large-scale machine learning problems while the conventional batch gradient method typically falters. Despite its flexibility and scalability, the stochastic gradient is associated with high variance which impedes training. Based on this viewpoint, we provide a comprehensive theoretical and practical discussion on the SGD, and then we investigate a new spectrum of incremental gradient methods that suppress the noise in a smart way, leading to improved convergence results. We further present review on methods that integrate the stochastic gradients into the alternating direction method of multipliers (ADMM), which has been recently advocated as an efficient optimization tool for a wider variety of models. Last but not least, we also presents some stochastic optimization techniques for the deep neural network training, including momentum methods and algorithms with adaptive learning rates.
@article{zheng_stochastic_nodate,
title = {Stochastic {Optimization} for {Machine} {Learning}},
abstract = {Numerical optimization has played an important role in the evolution of machine learning, touching almost every aspect of the discipline. Stochastic approximation has evolved and expanded as one of the main streams of research in mathematical optimzation. This survey provides a review and summary on the stochastic optimization algorithms in the context of machine learning applications. The stochastic gradient descent (SGD) method has been widely viewed as an ideal approach for large-scale machine learning problems while the conventional batch gradient method typically falters. Despite its flexibility and scalability, the stochastic gradient is associated with high variance which impedes training. Based on this viewpoint, we provide a comprehensive theoretical and practical discussion on the SGD, and then we investigate a new spectrum of incremental gradient methods that suppress the noise in a smart way, leading to improved convergence results. We further present review on methods that integrate the stochastic gradients into the alternating direction method of multipliers (ADMM), which has been recently advocated as an efficient optimization tool for a wider variety of models. Last but not least, we also presents some stochastic optimization techniques for the deep neural network training, including momentum methods and algorithms with adaptive learning rates.},
language = {en},
author = {Zheng, Shuai},
keywords = {/unread, ⛔ No DOI found},
pages = {36},
}TokenLearner: Adaptive Space-Time Tokenization for Videos. Ryoo, M. S, Piergiovanni, A., Arnab, A., Dehghani, M., & Angelova, A. In pages 12.
bibtex
bibtex
@inproceedings{ryoo_tokenlearner_nodate,
title = {{TokenLearner}: {Adaptive} {Space}-{Time} {Tokenization} for {Videos}},
language = {en},
author = {Ryoo, Michael S and Piergiovanni, AJ and Arnab, Anurag and Dehghani, Mostafa and Angelova, Anelia},
keywords = {⛔ No DOI found},
pages = {12},
}Evaluation and Comparison of Online Equianalgesic Opioid Dose Conversion Calculators. Shaw, K. & Fudin, J.
bibtex
bibtex
@article{shaw_evaluation_nodate,
title = {Evaluation and {Comparison} of {Online} {Equianalgesic} {Opioid} {Dose} {Conversion} {Calculators}},
language = {en},
author = {Shaw, Kathryn and Fudin, Jeffrey},
pages = {6}
}