Filters








11,734 Hits in 5.0 sec

Special issue: 2nd World Congress on Formal Methods

Ana Cavalcanti, Dennis Dams
2010 Formal methods in system design  
FM 2009, the 16th International Symposium on Formal Methods, marked the 10th anniversary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.  ...  We celebrated this by organizing FM 2009 as the 2nd World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world.  ...  Two approaches are implemented, one based on the UPPAAL tool and the other using a custom-built tool chain. A number of experiments with both approaches are reported.  ... 
doi:10.1007/s10703-011-0113-5 fatcat:x67tgz3uq5aodgvape3ftblwwe

Special Issue on Copyright

Prudence S. Adler
2015 Research Library Issues  
Endnotes World Intellectual Property Organization WIPO's Standing Committee on Copyright and Related Rights (SCCR) is a specialized committee set up in 1998 with the intention of examining substantive  ...  Another controversial US proposal involved highly prescriptive provisions on technological protection measures (TPMs) that could prevent reform on this issue.  ...  Current and back issues are available on the ARL Digital Publications website publications.arl.org/rli. The website is also where you may sign up for alerts to new releases of Research Library Issues.  ... 
doi:10.29242/rli.285.1 fatcat:e4jug7p7ere6lpld7tybqeoudm

Refuge 33.1 (Special Issue) Print Copy

™∞∞ ™∞∞
2017 Refuge  
The special issue includes two contributions that examine the case of Canada.  ...  The articles that form this special issue were first presented at the workshop.  ...  Together they offer penetrating critical perspectives on mobility that are at once method and theory, a formidable praxis on the study of mobility. The introduction by Noel B.  ... 
doi:10.25071/1920-7336.40457 fatcat:kxkkvyccebhbnlvemb7rxrn5fe

IFLA Journal special issue on Cultural Heritage

Douwe Drijfhout, Tanja de Boer
2015 IFLA Journal  
Abstracts 279 Aims and Scope IFLA Journal is an international journal publishing peer reviewed articles on library and information services and the social, political and economic issues that impact access  ...  Special Issue, ed.  ...  Wilson S (2008) Research Is Ceremony: Indigenous Research Methods. Halifax, Winnipeg: Fernwood. World Libraries. (2002) Indigenous Librarianship. Special Issue, ed. Roy L and Saari P, 12(1).  ... 
doi:10.1177/0340035215604316 fatcat:pfxzosrc5rh7lkka7uma45tk7u

FCAA special 2020 conferences' issue (FCAA–Volume 23–6–2020)

Virginia Kiryakova
2020 Fractional Calculus and Applied Analysis  
Special Conferences' Issue -Editorial Note In 2020 some international conferences on Fractional Calculus (FC) and related topics have been held in a hybrid way -mainly online via popular electronic platforms  ...  In this special issue, we collected some of the plenary presentations and invited selected papers from the three international conferences (in order of their time table): -"WFC 2020: Workshop on Fractional  ... 
doi:10.1515/fca-2020-0078 pmid:34849077 pmcid:PMC8617363 fatcat:3sy6efn3tffkrcji5oqnmihsuy

Refuge 34.1 (Special Issue) Print Copy

™∞∞ ™∞∞
2018 Refuge  
The journal aims to provide a forum for discussion and critical reflection on refugee and forced migration issues.  ...  Special, thematic issues address the broad scope of the journal's mandate, featuring articles and reports, shorter commentaries, and book reviews.  ...  We see this special issue as contributing to the critique and analysis set out in prior special issues that point to these oversights.  ... 
doi:10.25071/1920-7336.40570 fatcat:6fyukztuxrcpxoqzcrkua7e7se

Special Issue School-to-Prison Pipeline

Taboo Journal Special Issue
2018 Taboo : The Journal of Culture and Education  
To unpack this complex issue, we first explore the literature on the STPP with a focus on its development.  ...  They taught me that I could, and should, struggle to create a better world than the one into which I was born.  ...  Guest Edited Special Issues: Taboo accepts proposals for special issues beyond the two annual issues.  ... 
doi:10.31390/taboo.17.4.07 fatcat:auykjlmgofaanpf5ddzrpfodum

Philosophical Readings X.2 (2018) - Special Issue: Lotze'S Back!

Sgarbi Marco (Ed.)
2018 Zenodo  
basis of its formal relation to the solution of other philosophical issues.  ...  Benoist (Ed.), Un autre XIXe siècle allemand, special issue of Revue de Métaphysique et de Morale, 2000 (3). 3 S. Ferenczi, "Aus der 'Psychologie' von Hermann Lotze", Imago.  ...  funzione formale.  ... 
doi:10.5281/zenodo.1210314 fatcat:p4g6fh6qy5gdtju27vrjvhih4e

Special Issue: Climate Change and Health in Vietnam

Joacim Rocklöv, Kim Bao Giang, Hoang Van Minh, Kristie Ebi, Maria Nilsson, Klas-Göran Sahlen, Lars Weinehall
2014 Global Health Action  
Conflict of interest and funding Acknowledgements We thank the project 'Public health preparedness and response to critical global health issues in Vietnam and Sweden' for financial and technical support  ...  Proceedings of the World Congress on Engineering 2008, Vol IWCE, London, July 2Á4, 2008. 32. Watts DM, Burke DS, Harrison BA.  ...  The special issue is the product of local training of researchers in generating evidence on the health impacts of weather and climate.  ... 
doi:10.3402/gha.v7.26572 fatcat:ess4rfy6dbaovgvyuhfs4chuvm

New Developments in Science and Technology - 60th Anniversary Special Issue, Beihang University (BUAA)

2012 Science  
In summary, some of the most pressing issues the world faces relate to energy and the environment.  ...  The manufacturing cloud research team has published over 50 papers on cloud manufacturing to date-a number of which have contributed to special issues in journals-both in Chinese and English .  ...  The school also organizes several international and national academic events, such as the World Congress on Medical Physics and Biomedical Engineering (WC2012) and the 16th International Academy of Astronautics  ... 
doi:10.1126/science.338.6104.274-c fatcat:iurk5neuwvh2jgbohwevb5dicy

Meetings Issue

1981 EurophysicsNews  
July Issue The July issue of Europhysics News will be a special issue devoted to lasers in which a review of the development of modern laser technology will be supported by articles on current and expected  ...  Rylov, Special Astrophys. Observatory, Stavropolsky kraj, Zelenchuk 8-10 Sept. Namur, Belgium 2nd Int. Conf. on Chemical Analysis: Microanalysis using Charged Particles, Accelerators G.  ... 
doi:10.1051/epn/19811203001 fatcat:h2hg6j7lmzhehfhoxllvunezcm

IMIA's Working Groups and Special Interest Groups

Evelyn J.S. Hovenga
2006 IMIA Yearbook of Medical Informatics  
The next World Congress on Health (Medical) Informatics to be held in Brisbane, Australia in August 2007 provides a focus on system sustainability.  ...  The next nursing informatics world congress -NI 2006 will be held on June 11-14 2006 in the COEX convention centre in Seoul Korea.  ...  Objectives The objectives of the group as developed at its formation in 2002 remain relevant, and the focus of the group remains on educational, promotional and 'evangelistic' activities to raise awareness  ... 
doi:10.1055/s-0038-1638497 fatcat:6ljzyjss4jcjhhsorh2hqxs2r4

20周年記念特別号
Vol. 19 Supplementary: 20th Anniversary Special Issue

2016 Nihon Gengo Tesuto Gakkaishi  
Recently, I reviewed these policies and policy changes regarding the CSAT, with a focus on the English section of the test (Kwon, 2015).  ...  I found that while some of the policies were laudable, some others had detrimental effects on the quality of the test and for stakeholders. There have been at least four good policies.  ...  Acknowledgment Sincere thanks goes to Sue Brookhart for her comments on a version of this chapter. All errors that remain are mine.  ... 
doi:10.20622/jltajournal.19.2_0 fatcat:ipt3up327ffiva5routfowzphm

Meetings issue

1976 EurophysicsNews  
Congress on Waves and Instabilities in Plasmas Palaiseau, France T.D. Mantei, Laboratoire P.M.I.  ...  Bojkov, Chief, Research Branch, World Meteorological Organization, CH-1200 Geneva 30 August -3 September 4th Int. Conf. on Strength of Metals and Alloys Nancy, France P.  ... 
doi:10.1051/epn/19760703001 fatcat:xdabp45z5japxgcwzejzrz755e

SPECIAL CORRESPONDENCE

1898 BMJ (Clinical Research Edition)  
He laid special stress on the production of tetanus and abscesses, and spoke of how best to combat these conditions.  ...  On November 27th, I893, the Executive Committee resolved to issue their report, as a separate document, among the official publications of the Council; and on the following day the report was laid before  ... 
doi:10.1136/bmj.1.1955.1624 fatcat:picsbi6h3vdfnoi3wyiqepxlw4
« Previous Showing results 1 — 15 out of 11,734 results