Filters








501 Hits in 2.3 sec

On Freeze LTL with Ordered Attributes [article]

Normann Decker, Daniel Thoma
2016 arXiv   pre-print
This paper is concerned with Freeze LTL, a temporal logic on data words with registers.  ...  The satisfiability problem of Freeze LTL is undecidable if more than one register is available or tuples of data values can be stored and compared arbitrarily.  ...  We define the semantics of LTL ↓ qo in Section 2 generalising Freeze LTL based on quasi-ordered attribute sets.  ... 
arXiv:1504.06355v2 fatcat:ocakzximivd4fa37xxb6tms77y

Temporal Logics on Words with Multiple Data Values [article]

Ahmet Kara, Thomas Schwentick, Thomas Zeume
2010 arXiv   pre-print
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position.  ...  It considers a basic logic which is a semantical fragment of the logic LTL^↓_1 of Demri and Lazic with operators for navigation into the future and the past.  ...  BD-LTL on infinite attributed words is decidable Over attributed ω-words BD-LTL remains decidable.  ... 
arXiv:1010.1139v1 fatcat:rea3c4nxdjga5euot2cr3mhbka

Ordered Navigation on Multi-attributed Data Words [article]

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 arXiv   pre-print
We study temporal logics and automata on multi-attributed data words.  ...  Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values.  ...  For each ND-LTL ± formula over (A, ≤) we can construct a satisfiability-equivalent ND-LTL ± formula over attributes [k] with the linear order on the natural numbers. Proof.  ... 
arXiv:1404.6064v1 fatcat:t2tffmcvwvcmxmpw6sn344ocym

Ordered Navigation on Multi-attributed Data Words [chapter]

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 Lecture Notes in Computer Science  
We study temporal logics and automata on multi-attributed data words.  ...  Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values.  ...  For each ND-LTL ± formula over (A, ≤) we can construct a satisfiability-equivalent ND-LTL ± formula over attributes [k] with the linear order on the natural numbers. Proof.  ... 
doi:10.1007/978-3-662-44584-6_34 fatcat:caz45oe2cnelha5wxllluwg7xy

A Comparison of Two Different Slaughter Systems for Lambs. Effects on Carcass Characteristics, Technological Meat Quality and Sensory Attributes

Elin Stenberg, Katarina Arvidsson-Segerkvist, Anders H. Karlsson, Aðalheiður Ólafsdóttir, Óli Þór Hilmarsson, María Gudjónsdóttir, Guðjón Thorkelsson
2021 Animals  
One slaughter system (large-scale) used electrical stimulation and fast chilling of carcasses, while the other system (small-scale) did not use electrical stimulation and applied slower chilling, with  ...  Two slaughter systems for lambs and their effects on meat quality in terms of texture, colour and sensory attributes were compared.  ...  The LTL muscle was allowed to bloom for one hour before measuring. Each attribute was measured in triplicate for each muscle sample.  ... 
doi:10.3390/ani11102935 pmid:34679956 fatcat:ik3dnr5o7nauhhwgtynm6nmvde

Quality Traits of Dry-Cured Loins from Iberian Pigs Reared in Montanera System as Affected by Pre-Freezing Cure

Alberto Ortiz, David Tejerina, Rebeca Contador, Ana Isabel de Andrés, María Jesús Petrón, Juan Manuel Cáceres-Nevado, Susana García-Torres
2020 Foods  
freezing (p ≤ 0.05).  ...  Hence, three homogeneous batches (n = 15 per batch) were established to evaluate the effect of different pre-freezing cure (−20 ± 2 °C) times (three and six months) of raw material on main quality characteristics  ...  Values with the same letters (a, b) indicate homogeneous subsets for p = 0.05 according to Tukey's HSD test. ns (p > 0.05); * (p ≤ 0.05); *** (p ≤ 0.001).  ... 
doi:10.3390/foods10010048 pmid:33375323 fatcat:mnas4gbwzffapbyjweycv4xa3i

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes [chapter]

Jean-Michel Couvreur, Joaquín Ezpeleta
2019 JIMD Reports  
The introduced approach allows the use of general relations between event attributes by means of freeze quantifiers as well as future and past temporal operators.  ...  The specific nature of such traces helps in adapting traditional techniques in order to extend their analysis capabilities.  ...  [14] proposes Quantified-Free First-Order LTL (QFLTL(R)) where transitions, besides atomic propositions, can also contain real data attributes.  ... 
doi:10.1007/978-3-030-11638-5_5 fatcat:m7w7uocaebeezmwlyo62aldvsq

Model Checking Flat Freeze LTL on One-Counter Automata [article]

Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell
2018 arXiv   pre-print
Freeze LTL is a temporal logic with registers that is suitable for specifying properties of data words. In this paper we study the model checking problem for Freeze LTL on one-counter automata.  ...  Freeze LTL on one-counter automata as an open problem.  ...  An automaton with disequality tests on transitions rather than states and with multiple edges which is equivalent to the one in Figure 1 . of Freeze LTL.  ... 
arXiv:1606.02643v4 fatcat:udpylelqircbnlceaxitbt2bfi

Effects of Prosopis laevigata pods on carcass characteristics, non-carcass components, meat quality, fatty acid profile and sensory attributes

L.Y. Peña-Avelino, J. M. Pinos-Rodríguez, J. G. Vicente, J. C. García-López, L. Yáñez, A. Grajales
2017 South African Journal or Animal Science  
Twenty-one male lambs (2.5 months old and 21 ± 1.44 kg bodyweight) were randomly assigned to one of three experimental diets, two of which replaced maize grain and stover with mesquite pods (Prosopis laevigata  ...  et lumborum (LTL).  ...  b* value). 787 Subsamples of LTL were placed in a 100-mL beaker and freeze-dried using a Labconco freeze dryer (Model 4.5, Labconco Corp., Kansas City, MO, USA) until the total weight of the beaker and  ... 
doi:10.4314/sajas.v47i6.6 fatcat:vjctbqcqrjh2zl4umntagmgf7e

Effect of Extra-Framework Cations of LTL Nanozeolites to Inhibit Oil Oxidation

Kok-Hou Tan, Hooi-Ying Cham, Hussein Awala, Tau Chuan Ling, Rino R Mukti, Ka-Lun Wong, Svetlana Mintova, Eng-Poh Ng
2015 Nanoscale Research Letters  
Herein, a study of the effect of extra-framework cations stabilized on Linde Type L (LTL) zeolite NPs (ca. 20 nm) on inhibition of oxidation in palm oil-based lubricant oil is reported.  ...  Hydrophilic LTL zeolites with a Si/Al ratio of 3.2 containing four different inorganic cations (Li + , Na + , K + , Ca 2+ ) were applied.  ...  The resulting zeolite solids were then purified with distilled water and freeze-dried.  ... 
doi:10.1186/s11671-015-0956-6 pmid:26058517 pmcid:PMC4463947 fatcat:py3soqqhbjckbgjemhgvbkao2i

Formation of copper nanoparticles in LTL nanosized zeolite: spectroscopic characterization

A. Kharchenko, V. Zholobenko, A. Vicente, C. Fernandez, H. Vezin, V. De Waele, S. Mintova
2018 Physical Chemistry, Chemical Physics - PCCP  
The state of copper species stabilized in nanosized LTL zeolite subjected to various post-synthesis treatments was unveiled by a range of spectroscopic techniques.  ...  and freeze-dried and the final product (sample is denoted as Cu 0 -LTL) was stored in the glove box in Ar atmosphere to prevent further Cu NPs oxidation.  ...  Adsorption of CO on the Cu 2+ -LTL sample, activated under O 2 atmosphere, (Figure 2A) firstly leads to the appearance of intense bands at 2140 cm -1 and 2126 cm -1 attributed to Cu + -CO complexes in  ... 
doi:10.1039/c7cp07650a pmid:29327021 fatcat:s6n42jud3vaghcfin43wannzfe

Corona protein composition and cytotoxicity evaluation of ultra-small zeolites synthesized from template free precursor suspensions

S. Laurent, E.-P. Ng, C. Thirifays, L. Lakiss, G.-M. Goupil, S. Mintova, C. Burtea, E. Oveisi, C. Hébert, M. de Vries, M. M. Motazacker, F. Rezaee (+1 others)
2013 Toxicology Research  
The toxicity of two types of ultra-small zeolites (8-18 nm) with LTL-and EMT-type structures is reported.  ...  It is found that various concentrations of zeolites have negligible effects on the cell life cycle. Moreover, the LTL-and EMT-types zeolites did not cause extensive oxidative stress on the cells.  ...  purification and freeze drying) of nanosized zeolites allow preservation of single crystals with perfect hexagonal and almost spheroidal shapes for the EMT and LTL zeolites, respectively (Fig. 2c,d)  ... 
doi:10.1039/c3tx50023c fatcat:db3bq4ml3nb23gm3te5bdijsoa

Jeeg: temporal constraints for the synchronization of concurrent objects

Giuseppe Milicia, Vladimiro Sassone
2005 Concurrency and Computation  
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the 'business' and the 'synchronization' code  ...  Acknowledgements We would like to thank Oliver Möeller who extensively reviewed an early version of the paper and answered all our questions about LTL model checking.  ...  Thanks to Luigi Santocanale for the early discussions on object traces. A number of people read the original manuscript, we are grateful to all of them for their feedback.  ... 
doi:10.1002/cpe.849 fatcat:ywfn6zgzfje3vnhuoefqe6og2e

Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects

Giuseppe Milicia, Vladimiro Sassone
2003 BRICS Report Series  
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the 'business' and the 'synchronization' code  ...  Acknowledgements We would like to thank Oliver Möeller who extensively reviewed an early version of the paper and answered all our questions about LTL model checking.  ...  Thanks to Luigi Santocanale for the early discussions on object traces. A number of people read the original manuscript, we are grateful to all of them for their feedback.  ... 
doi:10.7146/brics.v10i6.21777 fatcat:g7s6n5yeffgwxlc4duqjbj676e

Generating Optimal Linear Temporal Logic Monitors by Coinduction [chapter]

Koushik Sen, Grigore Roşu, Gul Agha
2003 Lecture Notes in Computer Science  
In this paper, we present a new technique based on the modern coalgebraic method to generate optimal monitors for LTL formulae.  ...  Second, building on the coinductive technique, we present an algorithm to directly generate minimal deterministic automata from an LTL formula.  ...  would like to thank Klaus Havelund and Predrag Tosic for reading a previous version of this paper and giving us valuable feedback and Howard Barringer for very helpful discussions, valuable feedback on  ... 
doi:10.1007/978-3-540-40965-6_17 fatcat:dhcfvwx3bffcjnimqwlplznzpe
« Previous Showing results 1 — 15 out of 501 results