Search results for "indeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Jan Zöllner 0002, Hannes Federrath, Herbert Klimant, Andreas Pfitzmann, Rudi Piotraschke, Andreas Westfeld, Guntram Wicke, Gritta Wolf	Modeling the Security of Steganographic Systems.	Information Hiding	1998	DBLP DOI BibTeX RDF	Security and modeling of steganography, indeterminism, secret communication, hidden communication, entropy
38	Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre	Concurrent Program Metrics Drawn by Quasar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
30	Vincent Grandjean, Matteo Pascucci	The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism.	Minds Mach.	2021	DBLP DOI BibTeX RDF
30	Thomas Nadelhoffer, David Rose, Wesley Buckwalter, Shaun Nichols	Natural Compatibilism, Indeterminism, and Intrusive Metaphysics.	Cogn. Sci.	2020	DBLP DOI BibTeX RDF
30	Michael Stephen Fiske	Combining Determinism and Indeterminism.	CoRR	2020	DBLP BibTeX RDF
30	Robert Kane	The complex tapestry of free will: striving will, indeterminism and volitional streams.	Synth.	2019	DBLP DOI BibTeX RDF
30	Peter Øhrstrøm	A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom.	Synth.	2019	DBLP DOI BibTeX RDF
30	Thomas Müller 0007, Antje Rumberg, Verena Wagner 0001	An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate.	Synth.	2019	DBLP DOI BibTeX RDF
30	Christopher A. Merck, Samantha Kleinberg	Causal Explanation Under Indeterminism: A Sampling Approach.	AAAI	2016	DBLP DOI BibTeX RDF
30	Biswajit Paul, Kaushiki Mukherjee, Debasis Sarkar	One sided indeterminism alone is not a useful resource to simulate any nonlocal correlation.	Quantum Inf. Process.	2014	DBLP DOI BibTeX RDF
30	Nuel Belnap	Newtonian determinism to branching space-times indeterminism in two moves.	Synth.	2012	DBLP DOI BibTeX RDF
30	Thomas Ploug, Peter Øhrstrøm	Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters.	Synth.	2012	DBLP DOI BibTeX RDF
30	Tomasz Placek, Nuel Belnap	Indeterminism is a modal notion: branching spacetimes and Earman's pruning.	Synth.	2012	DBLP DOI BibTeX RDF
30	Thomas Müller 0007, Niko Strobach	A letter on the present state of affairs - Prior, indeterminism and relativity 40 years later.	Synth.	2012	DBLP DOI BibTeX RDF
30	Thomas Müller 0007	Towards a Theory of Limited Indeterminism in Branching Space-times.	J. Philos. Log.	2010	DBLP DOI BibTeX RDF
30	Brigitte Falkenburg, Friedel Weinert	Indeterminism and Determinism in Quantum Mechanics.	Compendium of Quantum Physics	2009	DBLP DOI BibTeX RDF
30	Rachid Djenidi	Indeterminism detection in scicos.	Simul. Model. Pract. Theory	2004	DBLP DOI BibTeX RDF
30	Alexander V. Bogdanov, Ashot Gevorkyan, Elena N. Stankova, M. I. Pavlova	Deterministic Computation towards Indeterminism.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
30	Michael Stöltzner	Vienna Indeterminism: Mach, Boltzmann, Exner.	Synth.	1999	DBLP DOI BibTeX RDF
30	Sven-Erik Bornscheuer, Michael Thielscher	Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
30	H. Chen, Ann K. Danowitz, Kevin J. Lynch, Seymour E. Goodman, William K. McHenry	Explaining and Alleviating Information Management Indeterminism: A Knowledge-Based Framework.	Inf. Process. Manag.	1994	DBLP DOI BibTeX RDF
30	To-Yat Cheung, Youwen Wu, Xinming Ye	Generating Test Sequences and their Degrees of Indeterminism for Protocols.	PSTV	1991	DBLP BibTeX RDF
30	Henry Paul Krips	Irreducible probabilities and indeterminism.	J. Philos. Log.	1989	DBLP DOI BibTeX RDF
30	John F. Halpin	Indeterminism, indeterminateness, and tense logic.	J. Philos. Log.	1988	DBLP DOI BibTeX RDF
30	Hsinchun Chen, Vasant Dhar	Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions.	AAAI	1987	DBLP BibTeX RDF
30	Tobias Chapman	Note on Rescher's formalization of Aristotelian indeterminism.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
19	M. Teresa Higuera-Toledano	Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Garbage Collection, Memory Management, Real-Time Java, Memory Regions
19	Marina Biberstein, Yuval Harel, Andre Heilper	Clock Synchronization in Cell BE Traces.	Euro-Par	2008	DBLP DOI BibTeX RDF
19	M. Teresa Higuera-Toledano	Making stronger and flexible the single parent rule in the real-time specification of Java.	JTRES	2008	DBLP DOI BibTeX RDF	illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers
19	Joan Vila-Carbó, Joaquim Tur-Masanet, Enrique Hernández-Orallo	An evaluation of switched ethernet and linux traffic control for real-time transmission.	ETFA	2008	DBLP DOI BibTeX RDF
19	Frédéric Gava, Jean Fortin	Formal Semantics of a Subset of the Paderborn's BSPlib.	PDCAT	2008	DBLP DOI BibTeX RDF
19	Javier Monserrat	Neural Networks and Quantum Neurology: Speculative Heuristic Towards the Architecture of Psychism.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
19	Qun Ni, Dan Lin 0001, Elisa Bertino, Jorge Lobo 0001	Conditional Privacy-Aware Role Based Access Control.	ESORICS	2007	DBLP DOI BibTeX RDF
19	Louis Gesbert, Frédéric Loulergue	Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML.	PDCAT	2007	DBLP DOI BibTeX RDF
19	M. Teresa Higuera-Toledano	Analyzing the Memory Management Semantic and Requirements of the Real-time Specification of Java JSR-0000001.	ISORC	2006	DBLP DOI BibTeX RDF
19	Manuel Baclet, Claire Pagetti	Around Hopcroft's Algorithm.	CIAA	2006	DBLP DOI BibTeX RDF	Hopcroft’s algorithm, Finite automata, minimization
19	Yunbiao Guo, Daimao Lin, Xiamu Niu, Lan Hu, Linna Zhou	A Secure Steganographic Scheme in Binary Image.	KES (3)	2005	DBLP DOI BibTeX RDF
19	Frédéric Loulergue, Frédéric Gava, David Billiet	Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
19	Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real	TLSF: A New Dynamic Memory Allocator for Real-Time Systems.	ECRTS	2004	DBLP DOI BibTeX RDF	Real-time operating systems, memory allocation
19	Joachim Peer	A PDDL Based Tool for Automatic Web Service Composition.	PPSWR	2004	DBLP DOI BibTeX RDF
19	Frédéric Gava	Design of Departmental Metacomputing ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
19	Frédéric Loulergue	Communication Primitives for Minimally Synchronous Parallel ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
19	Frédéric Gava	Parallel I/O in Bulk-Synchronous Parallel ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
19	Frédéric Gava, Frédéric Loulergue	A Parallel Virtual Machine for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
19	Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni	Planning under Uncertainty in Linear Time Logic.	AI*IA	2003	DBLP DOI BibTeX RDF
19	Jörg-Uwe Kietz	Learnability of Description Logic Programs.	ILP	2002	DBLP DOI BibTeX RDF
19	Andreas Westfeld, Gritta Wolf	Steganography in a Video Conferencing System.	Information Hiding	1998	DBLP DOI BibTeX RDF
19	Xiaorong Huang	Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.	PRICAI	1996	DBLP DOI BibTeX RDF
19	Gernot Richter, Bruno Maffeo	Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic
19	Christian B. Suttner	Parallel Computation of Multiple Sets-of_Support.	LPAR	1992	DBLP DOI BibTeX RDF