Filters








68,996 Hits in 3.5 sec

Complexity of Liveness in Parameterized Systems

Peter Chini, Roland Meyer, Prakash Saivasan, Michael Wagner
2019 Foundations of Software Technology and Theoretical Computer Science  
We investigate the fine-grained complexity of liveness verification for leader contributor systems.  ...  The liveness verification problem asks whether there is an infinite computation of the system in which the leader reaches a final state infinitely often.  ...  Liveness in Parameterized Systems along the cycle.  ... 
doi:10.4230/lipics.fsttcs.2019.37 dblp:conf/fsttcs/Chini0S19 fatcat:vpndlnv36fecjmff3ibbwxmtzy

Complexity of Liveness in Parameterized Systems [article]

Peter Chini, Roland Meyer, Prakash Saivasan
2019 arXiv   pre-print
We investigate the fine-grained complexity of liveness verification for leader contributor systems.  ...  The liveness verification problem asks whether there is an infinite computation of the system in which the leader reaches a final state infinitely often.  ...  XX:14 Complexity of Liveness in Parameterized Systems  ... 
arXiv:1909.12004v2 fatcat:tjshwenhbfhq5dcl7qk3dexnzy

Developing Fire Behavior Fuel Models for the Wildland–Urban Interface in Anchorage, Alaska

Daniel Cheyette, T. Scott Rupp, Sue Rodman
2008 Western journal of applied forestry  
Fire behavior modeling systems are playing an increasingly important role in identifying areas of the wildland–urban interface (WUI) that could support intense and fast-moving wildfires.  ...  , for the parameterized standard fuel models.  ...  The surface fire simulation algorithms used in NEXUS and other fire behavior models include live fuel loads of herbaceous plants and woody shrubs in the fuel complex.  ... 
doi:10.1093/wjaf/23.3.149 fatcat:uejgvshgyfcwna3dx4plt2mjmm

Single Nucleotide Polymorphisms: A Window into the Informatics of the Living Genome

Georgia M. Dunston, Tshela E. Mason, William Hercules, James Lindesay
2014 Advances in Bioscience and Biotechnology  
From this vantage point, the genome is modeled as a complex, dynamic information system defined by patterns of SNP alleles and SNP haplotypes.  ...  Nested in the environment of the nucleus of the cell, the 23 sets of chromosomes that comprise the human genome function as one integrated whole system, orchestrating the expression of thousands of genes  ...  This research is supported in part by NIH Grant NCRR 2 G12 RR003048 from the RCMI Program, Division of Research Infrastructure.  ... 
doi:10.4236/abb.2014.57073 pmid:25635233 pmcid:PMC4307840 fatcat:au2ds4qj45fgzkj6qljxonwjxe

The role of numerical models in environmental decision-making

Francesca Lotti, John Doherty
2016 Acque Sotterranee  
where we must learn to live in a world of mingled parameter relationships.  ...  courses of action as these arise from an incomplete knowledge of the complex system which is being managed.  ... 
doi:10.7343/as-2016-231 fatcat:sdb2wak5dfc6ro4mvyvlqz6x7i

Model Checking Parameterized Asynchronous Shared-Memory Systems [chapter]

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2015 Lecture Notes in Computer Science  
We characterize the complexity of liveness verification for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributor processes.  ...  Together, our results characterize the complexity of verification for parameterized systems under the assumptions of anonymity and asynchrony.  ...  Thus, not only is liveness verification decidable in the parameterized setting but the complexity of the parameterized problem is lower than in the non-parameterized case, where all processes are part  ... 
doi:10.1007/978-3-319-21690-4_5 fatcat:rdyvec6mnnfodaacgmez3eycwy

Parameter simulation of multidimensional urban landscape design based on nonlinear theory

Liu Congru, Lin Mingsen, Rauf Hozan Latif, Shareef Sardar S.
2022 Nonlinear Engineering  
Research on multidimensional nonlinear landscape design methods in improving the rationality of architectural landscape design and improving the living environment is important for optimizing the structure  ...  Firstly, according to the input and output data of the system, the multidimensional nonlinear landscape image is sampled, the virtual scene space visual planning method is used to simulate the parameters  ...  The smallest uncertainty in a system is amplified by feedback coupling, causing a sudden change at a point of divergence that makes even a simple system potentially horribly complex, making the entire  ... 
doi:10.1515/nleng-2021-0049 doaj:28b33ab0297b42448f2c54ca9553625f fatcat:rdwicbskdvfdlnkyk3mi57kikq

Page 246 of Journal of Climate Vol. 14, Issue 2 [page]

2001 Journal of Climate  
These systems are of subgrid scale in present-day GCMs and therefore must be pa- rameterized rather than explicitly resolved; however, MCCs are dynamically organized and long-lived, in contrast to the  ...  Second, the cumulus parameteri- zations in most GCMs are unable to represent organized mesoscale precipitation systems, especially mesoscale convective complexes (MCCs).  ... 

BioExcel Webinar #24 - Perspective on the Martini Force Field

Siewert-Jan Marrink
2018 Zenodo  
In this webinar I will explain in detail how the Martini model has been parameterized, and discuss the assumptions and limitations of the model.  ...  and proteins in complex plasma membrane models (3), as well as applications in the field of polymer chemistry, such as the rational design of bulk heterojunction morphologies for improved photovoltaics  ...  , involving both biomolecules and non-biological ones, and excels in applications requiring big systems, long time scales as well as high-throughput and system complexity.  ... 
doi:10.5281/zenodo.3828970 fatcat:zrvrpcypfngghklvcz3g45lkx4

Animation 2000++

N.I. Badler
2000 IEEE Computer Graphics and Applications  
entities from the plug-in systems of today, and the dramatic expansion of off-the-shelf parameterized animation libraries.  ...  We will see digital libraries of animated objects, systems, and people doing things that are parameterized and reusable in novel contexts.  ...  (Courtesy of the students and staff at the Center for Human Modeling and Simulation, University of Pennsylvania.) 3  ... 
doi:10.1109/38.814544 fatcat:yqy6mxc7ezgevmohkncfut3xdu

Answering English Questions using Foreign-Language, Semi-Structured Sources

Boris Katz, Gary Borchardt, Sue Felshin, Yuan Shen, Gabriel Zaccak
2007 International Conference on Semantic Computing (ICSC 2007)  
In this paper, we present a technical framework and implemented system that answers English questions on the basis of information in foreign-language, semi-structured sources such as websites.  ...  This work helps users locate, with high precision, relevant segments of foreignlanguage information, and then makes use of existing machine translation services to present that information in English.  ...  Do many people live in Pittsburgh? What number of people live in Seattle? Are there many people living in the Boston area?  ... 
doi:10.1109/icosc.2007.4338379 fatcat:pzimni4t5bg6lpj6tatcd7uqmm

Answering English Questions using Foreign-Language, Semi-Structured Sources

Boris Katz, Gary Borchardt, Sue Felshin, Yuan Shen, Gabriel Zaccak
2007 International Conference on Semantic Computing (ICSC 2007)  
In this paper, we present a technical framework and implemented system that answers English questions on the basis of information in foreign-language, semi-structured sources such as websites.  ...  This work helps users locate, with high precision, relevant segments of foreignlanguage information, and then makes use of existing machine translation services to present that information in English.  ...  Do many people live in Pittsburgh? What number of people live in Seattle? Are there many people living in the Boston area?  ... 
doi:10.1109/icsc.2007.59 dblp:conf/semco/KatzBFSZ07 fatcat:zajysvn7yffhbicv6zal4a6caq

Exact memory size estimation for array computations without loop unrolling

Ying Zhao, Sharad Malik
1999 Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99  
Based on formulated live v ariables analysis, our algorithm transforms the minimum memory size estimation into an equivalent problem: integer point counting for intersection union of mappings of parameterized  ...  Memory size is an important factor a ecting area and power cost of memory units. For programs dealing mostly with array computations, memory cost is a dominant factor in the overall system cost.  ...  Introduction Due to the fast increase in size and complexity of IC systems, high-level design and power optimization techniques become two v ery important research topics.  ... 
doi:10.1145/309847.310074 dblp:conf/dac/ZhaoM99 fatcat:5jcwebm6n5bevgneayp3s6wrxe

A direct texture placement and editing interface

Yotam I. Gingold, Philip L. Davidson, Jefferson Y. Han, Denis Zorin
2006 Proceedings of the 19th annual ACM symposium on User interface software and technology - UIST '06  
Compared to conventional tools for surface texturing, our system combines U V -coordinate specification and texture editing into one seamless process, reducing the need for careful initial design of parameterization  ...  The creation of most models used in computer animation and computer games requires the assignment of texture coordinates, texture painting, and texture editing.  ...  [17] describe a system for interactively applying complex free-form deformations of 2D models in the plane, where an arbitrary number of fingers each provide an additional 2-DOF control.  ... 
doi:10.1145/1166253.1166259 dblp:conf/uist/GingoldDHZ06 fatcat:axs3hydelbajjpc4kbbkwiwrva

State/Event-Based LTL Model Checking under Parametric Generalized Fairness [chapter]

Kyungmin Bae, José Meseguer
2011 Lecture Notes in Computer Science  
In modeling a concurrent system, fairness constraints are usually considered at a specific granularity level of the system, leading to many different variants of fairness: transition fairness, object/process  ...  These different notions of fairness can be unified by making explicit their parametrization over the relevant entities in the system as universal quantification.  ...  In this example we show how a liveness property of a nontrivial system with an unbounded number of fairness assumptions can be simply verified under parameterized fairness.  ... 
doi:10.1007/978-3-642-22110-1_11 fatcat:463ke2lhevfrvpo755fvnekjla
« Previous Showing results 1 — 15 out of 68,996 results