Results 41 to 50 of about 11,863 (152)

Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)

, 2014
In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e.
A Bouajjani, A Emerson, A Emerson, B Aminof, B Aminof, EA Emerson, F Pagliarecci, K Apt, L Zuck, P Bouyer, P Godefroid, PA Abdulla, PA Abdulla, S Ben-David, SM German, T Ball, TT Johnson, Y Hanna   +17 more
core   +1 more source

AN URBAN MARKETPLACE UNDER PRESSURE: The Steady Gentrification Process of Porta Palazzo (Turin) Through the Eyes of Market Sellers and Policy Makers

International Journal of Urban and Regional Research, EarlyView.
Abstract Marketplaces, crucial sites for low‐income populations as sources of affordable goods and social interaction, are at a critical juncture. They are experiencing decline due to the rise of shopping centres and neglect by public authorities, while at the same time being rediscovered as tourist attractions, sources of profit and tools for urban ...
Francesca Ru
wiley   +1 more source

Real-time and Probabilistic Temporal Logics: An Overview [PDF]

, 2010
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction.
Konur, Savas
core  

A thread-tag based semantics for sequence diagrams [PDF]

, 2007
The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of object-oriented software.
Counsell, S, Dan, H, Hierons, RM
core   +1 more source

Museomics Deciphers the Phylogeographic Differentiation and Conservation Status of a Montane Pheasant

Integrative Zoology, EarlyView.
Museum specimens provide a rich source of historical DNA, enabling insights into phylogenetic relationships and demographic history of the endangered Koklass Pheasant. Our findings uncovered a previously unrecognized population in Guizhou province and highlighted elevated extinction risk in populations from Anhui province and Southern China, informing ...
Zhiyong Jiang, Yalin Cheng, Shuai Zhang, Wenqing Zang, Peng He, Dezhi Zhang, Jinjuan Mei, Peng Cui, Yanhua Qu, Hailong Wu   +9 more
wiley   +1 more source

Galaxy Gas Fractions at High-Redshift: The Tension between Observations and Cosmological Simulations

, 2012
CO measurements of z~1-4 galaxies have found that their baryonic gas fractions are significantly higher than galaxies at z=0, with values ranging from 20-80 %. Here, we suggest that the gas fractions inferred from observations of star-forming galaxies at
Blitz, Blitz, Bolatto, Bothwell, Carilli, Casey, Casey, Ceverino, Coppin, Daddi, Daddi, Daddi, Daddi, Dannerbauer, Davé, Desika Narayanan, Downes, Engel, Erb, Feldmann, Fukui, Förster Schreiber, Geach, Genzel, Genzel, Greve, Hainline, Hayward, Hayward, Hopkins, Keres, Lagos, Leroy, Magdis, Matt Bothwell, Michałowski, Narayanan, Narayanan, Narayanan, Narayanan, Narayanan, Narayanan, Neri, Ostriker, Papadopoulos, Riechers, Riechers, Riechers, Riechers, Romeel Davé, Shetty, Shetty, Solomon, Springel, Tacconi, Tacconi, Tacconi, Wagg, Wang   +58 more
core   +1 more source

Relating hygroscopicity and composition of organic aerosol particulate matter [PDF]

, 2010
A hygroscopicity tandem differential mobility analyzer (HTDMA) was used to measure the water uptake (hygroscopicity) of secondary organic aerosol (SOA) formed during the chemical and photochemical oxidation of several organic precursors in a smog chamber.
Aiken, Allison C., Alfarra, M. Rami, Baltensperger, Urs, Barmpadimos, Iakovos, Canagaratna, Manjula R., Collins, Donald R., DeCarlo, Peter F., Dommen, Josef, Duplissy, Jonathan, Gysel, Martin, Jimenez, Jose Luis, Metzger, Axel, Prevot, André Stephan Henry, Tomlinson, Jason M., Tritscher, Torsten, Weingartner, Ernest, Worsnop, Douglas R.   +16 more
core   +2 more sources

Responsible Accountability? Multi‐Stakeholder Partnerships, Sustainable Development and Global Health

Global Policy, EarlyView.
ABSTRACT Following the adoption of the 2030 Agenda for Sustainable Development, multi‐stakeholder partnerships (MSPs) have received renewed political attention. In several policy fields, MSPs have been criticized for a lack of accountability, resulting in efforts to redress this problem.
Matteo De Donà, Kristina Jönsson
wiley   +1 more source

Delineating high conservation value forest areas using density analysis: It is not clear‐cut

Conservation Science and Practice, EarlyView.
A density analysis approach was employed to produce 36 different maps of HCV‐forest areas in the 99,000 km2 county of Norrbotten, Sweden. The size of the search window and the density threshold used to delineate HCV areas have a major impact on the results. Stakeholders were involved throughout the study and the results presented here are already being
Oskar Englund
wiley   +1 more source

A Complete Classification of Tractability in RCC-5

, 1997
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning.
Drakengren, T., Jonsson, P.
core   +2 more sources