A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Complexity of Liveness in Parameterized Systems
2019
Foundations of Software Technology and Theoretical Computer Science
Preserved Fulltext
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2008
Western journal of applied forestry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Advances in Bioscience and Biotechnology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Acque Sotterranee
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2022
Nonlinear Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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++
2000
IEEE Computer Graphics and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2007
International Conference on Semantic Computing (ICSC 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2007
International Conference on Semantic Computing (ICSC 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
1999
Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 19th annual ACM symposium on User interface software and technology - UIST '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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