Filters








893 Hits in 3.8 sec

Panel Discussion: Proposals for Improving OCL

Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
This collaborative paper, to which each OCL expert contributed one section, summarises the panel discussion as well as describes the suggestions for further improvements in more detail.  ...  During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL.  ...  We would like to thank all participants of this years OCL workshop for their active contributions to the discussions at the workshop.  ... 
dblp:conf/models/BruckerCDGGJTW14 fatcat:nxavvbpukjfl7fmpjdezpf3ure

Bone health management in the continuum of prostate cancer disease: a review of the evidence with an expert panel opinion

Daniele Santini, Alfredo Berruti, Massimo Di Maio, Giuseppe Procopio, Sergio Bracarda, Toni Ibrahim, Francesco Bertoldo
2020 ESMO Open  
of available data and sharing of their clinical practice experience, a panel of Italian experts in the field of bone health and metabolism formulated a number of practical advices for optimising the monitoring  ...  Notwithstanding the importance of this issue, however, bone health preservation is not yet a widespread clinical goal in daily practice.To address this urgent unmet need, following a thorough discussion  ...  To address this urgent unmet need, following a thorough discussion of available data and sharing of their clinical practice experience, a panel of Italian experts in the field of bone health and metabolism  ... 
doi:10.1136/esmoopen-2019-000652 pmid:32220946 pmcid:PMC7174015 fatcat:mr4xsz2mnjeojimslbbgajkpqu

Workshop in OCL and Textual Modelling [chapter]

Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2018 Lecture Notes in Computer Science  
During this session, the OCL community discussed, stimulated through short presentations by OCL experts, proposals for improving OCL to increase the attractiveness of textual modelling.  ...  This paper reports on the panel session of the 17th Workshop in OCL and Textual Modelling, As in previous years, the panel session featured several lightning talks for presenting recent developments and  ...  We would like to thank all participants of this years OCL workshop for their active contributions to the discussions at the workshop.  ... 
doi:10.1007/978-3-319-74730-9_26 fatcat:b3zgnhayjzhxjb6tle6r2izslu

Photochemical chlorine and bromine activation from artificial saline snow

S. N. Wren, D. J. Donaldson, J. P. D. Abbatt
2013 Atmospheric Chemistry and Physics Discussions  
These substrates have variously been proposed for their high salinity, large surface area or enriched bromide content. 20 Given the strong acidity and surface area requirement we observe for chlorine  ...  production, we propose that aged saline snow (i.e., at a coastal location) will be most important for chlorine activation in the polar boundary layer.  ... 
doi:10.5194/acpd-13-14163-2013 fatcat:dzbdind3mbbttofslehkea477i

A new mechanism for atmospheric mercury redox chemistry: Implications for the global mercury budget

Hannah M. Horowitz, Daniel J. Jacob, Yanxu Zhang, Theodore S. Dibble, Franz Slemr, Helen M. Amos, Johan A. Schmidt, Elizabeth S. Corbitt, Eloïse A. Marais, Elsie M. Sunderland
2017 Atmospheric Chemistry and Physics Discussions  
Here we implement a new mechanism for atmospheric Hg<sup>0</sup>&amp;thinsp;/&amp;thinsp;Hg<sup>II</sup> redox chemistry in the GEOS-Chem global model and examine the implications for the global atmospheric  ...  , and most of HO<sub>2</sub> and NO<sub>2</sub> for second-stage HgBr oxidation.  ...  We thank Jeroen Sonke for helpful discussions. We thank the editor, Ian Hedgecock, and three anonymous reviewers for their thoughtful suggestions.  ... 
doi:10.5194/acp-2016-1165 fatcat:b7xd73tgufgqlih7xsmpemhu4m

Using Students as Experimental Subjects in Software Engineering Research -- A Review and Discussion of the Evidence [article]

Dror G. Feitelson
2015 arXiv   pre-print
Based on an extensive review of published works that have compared students to professionals, we find that picking on "students" is counterproductive for two main reasons.  ...  First, classifying experimental subjects by their status is merely a proxy for more important and meaningful classifications, such as classifying them according to their abilities, and effort should be  ...  Many thanks to Lutz Prechelt for his very useful comments on an earlier draft of this paper, and to anonymous reviewers of another draft.  ... 
arXiv:1512.08409v1 fatcat:yjhik5uk6rh7plsk6evwnxpciy

Recent Developments in OCL and Textual Modelling

Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The panel session of the 16th OCL workshop featured a lightning talk session for discussing recent developments and open questions in the area of OCL and textual modelling.  ...  During this session, the OCL community discussed, stimulated through short presentations by OCL experts, tool support, potential future extensions, and suggested initiatives to make the textual modelling  ...  .: Featherweight ocl: A proposal for a machinechecked formal semantics for ocl 2.5. Archive of Formal Proofs (2014). http:  ... 
dblp:conf/models/BruckerCDGHHTWW16 fatcat:p4b55fqxvngbpffjvgx2d2qxai

Skeletal Morphology of Opius dissitus and Biosteres carbonarius (Hymenoptera: Braconidae), with a Discussion of Terminology

Dave Karlsson, Fredrik Ronquist, Mark F. Feldlaufer
2012 PLoS ONE  
The skeletal morphology of braconids is still not adequately understood and the terminology is partly idiosyncratic, despite the fact that anatomical features form the basis for most taxonomic work on  ...  Based on the examined species, we discuss intraspecific and interspecific morphological variation in the Opiinae and point out character complexes that merit further study.  ...  and Kajsa Glemhorn and Pelle Magnusson at the Swedish Malaise Trap Project for supplying fresh specimens for dissection.  ... 
doi:10.1371/journal.pone.0032573 pmid:22558068 pmcid:PMC3340384 fatcat:fbufiu7njnbnjpx24nprlafwie

Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies [chapter]

James Skene, Wolfgang Emmerich
2005 Lecture Notes in Computer Science  
, the OCL.  ...  We discuss scalability issues resulting from immaturities in the applied technologies, leading to recommendations for their future development.  ...  We gained some improvement in evaluation time by adding results caching to the OCL interpreter.  ... 
doi:10.1007/11580850_17 fatcat:mrm5og32onha7ilcpempj27zyy

Republic of Croatia: Request for Stand-By Arrangement--Staff Report; Staff Statement; Press Release on the Executive Board Discussion; and Statement by the Executive Director for the Republic of Croatia

International Monetary Fund
2003 IMF Staff Country Reports  
Polls indicate that there has been little public support for the proposed changes and employers have not taken an active role in the tripartite discussions.  ...  The Government has prepared a draft national strategy for combating poverty which has been sent to the Parliament for discussion.  ...  On January 17, the government opened three binding offers for 25 percent plus one share in the oil company (INA).  ... 
doi:10.5089/9781451817287.002 fatcat:hpoirh4jerfqvjrffhehwwo3em

More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review

Asadullah Shaikh, Abdul Hafeez, Asif Ali Wagan, Mesfer Alrizq, Abdullah Alghamdi, Mana Saleh Al Reshan
2021 IEEE Access  
ACKNOWLEDGMENT The authors would like to express their gratitude to the ministry of education and the deanship of scientific research Najran University Kingdom of Saudi Arabia for their  ...  Furthermore, they proposed techniques for the incremental verification of the UML class and OCL model.  ...  The proposed slicing technique has been applied on two verification methods UMLtoCSP and Alloy, and reported improved results [47] .  ... 
doi:10.1109/access.2021.3121222 fatcat:j6sritznorajtayufj67blumae

An accurate ab initio HOCl potential energy surface, vibrational and rotational calculations, and comparison with experiment

Sergei Skokov, Kirk A. Peterson, Joel M. Bowman
1998 Journal of Chemical Physics  
Very good agreement with experiment is also obtained for numerous rotational energies for the ground vibrational state, the ClO-stretch fundamental, and the fifth overtone of the OH-stretch.  ...  Accurate ab initio multireference configuration interaction ͑CI͒ calculations with large correlation-consistent basis sets are performed for HOCl.  ...  FIG. 6 . 6 Potential curves for OH ͑top panel͒ and OCl ͑bottom panel͒ at the icMRCIϩQ/CBS level of theory.  ... 
doi:10.1063/1.476865 fatcat:hxqjzokxnrdnnnyn2ypvv7veky

Multiple myeloma–derived MMP-13 mediates osteoclast fusogenesis and osteolytic disease

Jing Fu, Shirong Li, Rentian Feng, Huihui Ma, Farideh Sabeh, G. David Roodman, Ji Wang, Samuel Robinson, X. Edward Guo, Thomas Lund, Daniel Normolle, Markus Y. Mapara (+2 others)
2016 Journal of Clinical Investigation  
Here, we performed a screen of human myeloma cells to identify pro-osteoclastogenic agents that could potentially serve as therapeutic targets for ameliorating MM-associated bone disease.  ...  Together, these data demonstrate that MMP-13 is critical for the development of osteolytic lesions in MM and that targeting the MMP-13 protein -rather than its catalytic activity -constitutes a potential  ...  Consequently, new treatment strategies that modulate MM-OCL interactions are needed to improve patient outcomes.  ... 
doi:10.1172/jci80276 pmid:27043283 pmcid:PMC4855918 fatcat:ofmfaioo75dqdd57uinb43vv7y

Software Components Evaluation: an Overview

Miguel Goulão, Fernando Brito e Abreu
2004 Zenodo  
Results: Common shortcomings of current approaches, such as ambiguity in definition, lack of adequacy of the specifying formalisms and insufficient validation of current quality models and metrics for  ...  Technique High level discussion, rather than a concrete proposal.  ...  In [Abreu 2001b; Abreu 2001a], the idea of using OCL for defining software metrics to evaluate object-oriented desing is proposed.  ... 
doi:10.5281/zenodo.2667427 fatcat:tylun4ggtvbyrofewc5igxv57e

Embodied Energy and Carbon of building insulating materials: A critical review

Gianluca Grazieschi, Francesco Asdrubali, Guilhem Thomas
2021 Cleaner Environmental Systems  
Density is an important variability carrier for glass wool, stone wool, and EPS.  ...  An extensive and updated review of 223 values about the embodied energy and carbon of building insulation materials, mainly retrieved from 156 Environmental Product Declarations, is proposed with attention  ...  Other literature works have already found some literature data about EE and GWP of plants or animal derived insulation panels: (Asdrubali et al., 2015) , for example, proposed a review of the acoustic,  ... 
doi:10.1016/j.cesys.2021.100032 fatcat:te2jd7dbozcg5c6kvop4fnbmoq
« Previous Showing results 1 — 15 out of 893 results