Search results for "unity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	TAAS	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
3	Joao Paulo Gois, Valdecir Polizelli-Junior, Tiago Etiene, Eduardo Tejada, Antonio Castelo, Luis Gustavo Nonato, Thomas Ertl	Twofold adaptive partition of unity implicits.	The Visual Computer	2008	DBLP DOI BibTeX RDF	Algebraic triangulation, Partition of unity implicits, Orthogonal polynomials
3	Takato Hirano, Koichiro Wada, Keisuke Tanaka	Public-Key Cryptosystems with Primitive Power Roots of Unity.	ACISP	2008	DBLP DOI BibTeX RDF	Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism
3	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
3	Sergey P. Tarasov, Mikhail N. Vyalyi	An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity.	CSR	2007	DBLP DOI BibTeX RDF	algorithm, sparse representation, root of unity, cyclotomic polynomial
3	Weimin Han, Wing Kam Liu	Flexible piecewise approximations based on partition of unity.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	smooth piecewise approximation, partition of unity, polynomial reproducing, nodal interpolation, Galerkin method
3	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
3	Yutaka Ohtake, Alexander G. Belyaev, Marc Alexa, Greg Turk, Hans-Peter Seidel	Multi-level partition of unity implicits.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	adaptive distance, error-controlled subdivision, field approximation, partition of unity approximation, implicit modeling
3	Daniel M. Zimmerman	A UNITY-Based Formalism for Dynamic Distributed Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY
3	Sidi O. Ehmety, Lawrence C. Paulson	Program Composition in Isabelle/UNITY. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	program composition, universal and existential properties, UNITY, Isabelle
3	Lawrence C. Paulson	Mechanizing a theory of program composition for UNITY.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
3	Ernest H. Page, Marc Abrams	Simulation Model Development and Analysis in UNITY.	Annals OR	2001	DBLP DOI BibTeX RDF	simulation specification, simulation verification, parallel simulation protocols, UNITY
3	Lawrence C. Paulson	Mechanizing UNITY in Isabelle.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
3	Peter J. McCann, Gruia-Catalin Roman	Modeling Mobile IP in Mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables
3	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Mobile UNITY: Reasoning and Specification in Mobile Computing.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
3	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Expressing Code Mobility in Mobile UNITY.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	mobile UNITY, mobile code languages, mobile computing, coordination, UNITY, code mobility
3	Yih-Kuen Tsay, Rajive Bagrodia	Deducing Fairness Properties in UNITY Logic - A New Completeness Result.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	fairness properties, temporal logic, completeness, UNITY
3	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
3	H. Conrad Cunningham, Gruia-Catalin Roman	A UNITY-Style Programming Logic for Shared Dataspace Programs.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness
2	Marcin Jan Schroeder	Quantum Coherence without Quantum Mechanics in Modeling the Unity of Consciousness.	QI	2009	DBLP DOI BibTeX RDF	Quantum coherence, Information integration processing, Closure space, Consciousness, Quantum logic
2	Nadav Aharony, Jamie Zigelbaum	Comm.unity: leveraging social and physical proximity.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	privacy, ubiquitous computing, mobile, trust, pervasive computing, social, network interface
2	Farah Alsudani, Matthew Casey	The effect of aesthetics on web credibility.	BCS HCI	2009	DBLP DOI BibTeX RDF	aesthetics, credibility, unity, Gestalt theory
2	Jyrki T. Lahtonen, Nadya Markin, Gary McGuire	Construction of Multiblock Space-Time Codes From Division Algebras With Roots of Unity as Nonnorm Elements.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Oudom Somphone, Benoit Mory, Shérif Makram-Ebeid, Laurent D. Cohen	Prior-Based Piecewise-Smooth Segmentation by Template Competitive Deformation Using Partitions of Unity.	ECCV	2008	DBLP DOI BibTeX RDF
2	Caroline Hummels, Kees Overbeeke	E-scale: unity of location and time, increasing bandwidth and enhancing physical learning does matter.	Tangible and Embedded Interaction	2008	DBLP DOI BibTeX RDF	usability, tangible interaction, meaning, motor skills, dexterity
2	Anas A. Hamoui, Mohammad Sukhon, Franco Maloberti	Digitally-enhanced 2nd-order DeltaSigma modulator with unity-gain signal transfer function.	ISCAS	2008	DBLP DOI BibTeX RDF
2	Oudom Somphone, Shérif Makram-Ebeid, Laurent D. Cohen	Robust image registration based on a Partition of Unity Finite Element Method.	ISBI	2008	DBLP DOI BibTeX RDF
2	Shérif Makram-Ebeid, Oudom Somphone	Non-Rigid Image Registration using a Hierarchical Partition of Unity Finite Element Method.	ICCV	2007	DBLP DOI BibTeX RDF
2	V. Bostan, C. Ilas, R. Magureanu	Single Chip Control of a Three Level Converter for High Voltage Unity Power Factor Applications.	SIES	2007	DBLP DOI BibTeX RDF
2	Yi-Ling Chen, Shang-Hong Lai	A Partition-of-Unity Based Algorithm for Implicit Surface Reconstruction Using Belief Propagation.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
2	Jun Yang 0005, Zhengning Wang, Changqian Zhu, Qiang Peng	Implicit Surface Reconstruction from Scattered Point Data with Noise.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	partition of unity, filtering, radial basis function, space subdivision
2	Raffaele Mascella, Luca G. Tallini, Sulaiman Al-Bassam, Bella Bose	On efficient balanced codes over the mth roots of unity.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
2	Lifang Feng, Pingzhi Fan	Generalized Bounds on Partial Aperiodic Correlation of Complex Roots of Unity Sequences.	SETA	2006	DBLP DOI BibTeX RDF
2	Jun Yang 0005, Changqian Zhu, Hua Zhang	Surface Reconstruction with Least Square Reproducing Kernel and Partition of Unity.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
2	M. Jiménez, Antonio Torralba, Ramón González Carvajal, Jaime Ramírez-Angulo	A new low-voltage CMOS unity-gain buffer.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Qi Xia, Michael Yu Wang, Xiaojun Wu	Orthogonal Least Squares in Partition of Unity Surface Reconstruction with Radial Basis Function.	GMAI	2006	DBLP DOI BibTeX RDF
2	Yi Zhang, Xin Wang, Xiao-jun Wu	Fast Visualization Algorithm for Implicit Surfaces.	ICAT Workshops	2006	DBLP DOI BibTeX RDF	Multi-level Partition of Unity, Cell partitioning, Radial Basis Functions, Implicit surface
2	Toshihiko Yamasaki, Kazuya Hayase, Kiyoharu Aizawa	Mathematical error analysis of normal map compression based on unity condition.	ICIP	2005	DBLP DOI BibTeX RDF
2	Ophir Ronen, Ron Allen	Autonomic Policy Creation with Singlestep Unity.	ICAC	2005	DBLP DOI BibTeX RDF
2	R. Srinivasan, Navakanta Bhat	Impact of Channel Engineering on Unity Gain Frequency and Noise-Figure in 90nm NMOS Transistor for RF Applications.	VLSI Design	2005	DBLP DOI BibTeX RDF
2	Soonhak Kwon	Efficient Tate Pairing Computation for Elliptic Curves over Binary Fields.	ACISP	2005	DBLP DOI BibTeX RDF	supersingular elliptic curve, divisor, Tate pairing, automorphism, roots of unity
2	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
2	Sidi O. Ehmety, Lawrence C. Paulson	Mechanizing compositional reasoning for concurrent systems: some lessons.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
2	O. Nouisser, Driss Sbibih, Paul Sablonnière	Pairs of B-Splines with Small Support on the Four-Directional Mesh Generating a Partition of Unity.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	complete 1-splines, complete 1-splines, minimal degree, B-splines
2	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
2	I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra	A UNITY-Based Framework Towards Component Based Systems.	OPODIS	2004	DBLP DOI BibTeX RDF	component based applications, verification, compositionality
2	Xu Wang, A. W. Roscoe, Ranko Lazic	Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.	IFM	2004	DBLP DOI BibTeX RDF	Trace refinement, Model checking, CSP, Array, Reachability, Data independence
2	David M. Chess, Alla Segal, Ian Whalley, Steve R. White	Unity: Experiences with a Prototype Autonomic Computing System.	ICAC	2004	DBLP DOI BibTeX RDF
2	Rafaella Fiorelli, Alfredo Arnaud, Carlos Galup-Montoro	Series-parallel association of transistors for the reduction of random offset in non-unity gain current mirrors.	ISCAS	2004	DBLP DOI BibTeX RDF
2	Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong	Fast Irreducibility Testing for XTR Using a Gaussian Normal Basis of Low Complexity.	Selected Areas in Cryptography	2004	DBLP DOI BibTeX RDF	XTR cryptosystem, Gauss period, cubic residue, normal basis, roots of unity
2	Adam Granicz, Daniel M. Zimmerman, Jason Hickey	Rewriting UNITY.	RTA	2003	DBLP DOI BibTeX RDF
2	U. Dasgupta, Yong Ping Xu	Effects of resistive loading on unity gain frequency of two-stage CMOS operational amplifiers.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Gruia-Catalin Roman, Jamie Payton	Mobile UNITY Schemas for Agent Coordination.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
2	Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo	Computational Models for Web- and Grid-Based Computation.	Euro-Par	2003	DBLP DOI BibTeX RDF	CPOs, Web and Grid computation, co-algorithms, approximations, UNITY
2	Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong	Gauss Period, Sparse Polynomial, Redundant Basis, and Efficient Exponentiation for a Class of Finite Fields with Small Characteristic.	ISAAC	2003	DBLP DOI BibTeX RDF	Gauss period, trinomial, redundant basis, Finite field, exponentiation, root of unity
2	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Reasoning about code mobility with mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	mobile agent, UNITY, code mobility
2	Iboun Taimiya Sylla, Mustapha Slamani, Bozena Kaminska	A Unity Gain High Speed Buffer to Improve Signal Integrity in High Frequency Test Interface.	J. Electronic Testing	2001	DBLP DOI BibTeX RDF	ATE interface, impedance matching, design for testability, high speed test
2	Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden	Mobile agent security with the IPEditor development tool and the mobile UNITY language.	Agents	2001	DBLP DOI BibTeX RDF
2	Rudi Prosen, Miro Milanovic, Drago Dolinar	Unity IDF correction for AC to DC converter based on modulation strategy.	ISCAS	2001	DBLP DOI BibTeX RDF
2	Kazuhiro Ogata, Kokichi Futatsugi	Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm.	APAQS	2001	DBLP DOI BibTeX RDF	modeling, verification, distributed algorithms, specification, algebraic specification, UNITY, CafeOBJ
2	Kazuhiro Ogata, Kokichi Futatsugi	Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ.	ASE	2001	DBLP DOI BibTeX RDF	modeling, verification, specification, algebraic specification, distributed real-time systems, UNITY, CafeOBJ
2	James R. Anderson, Seth Abraham	Performance-Based Constraints for Multidimensional Networks.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	multidimensional network, $k$-ary $n$-cube, direct-connected, queue waiting time, unity queue waiting time, performance analysis, Interconnection networks, message latency, maximum throughput
2	Bertrand Meyer	The Unity of Software and the Power of Roundtrip Engineering.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Bertrand Meyer	The Unity of Software and the Power of Roundtrip Engineering.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Boutheina Chetali	Formal Verification of Concurrent Programs Using the Larch Prover.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
2	Peter J. McCann, Gruia-Catalin Roman	Compositional Programming Abstractions for Mobile Computing.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Mobile UNITY, transient interactions, mobile computing, Formal methods, synchronization, weak consistency, shared variables
2	Michel Wermelinger, José Luiz Fiadeiro	Connectors for Mobile Programs.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	transient interactions, Software Architecture, connectors, UNITY
2	Michel Charpentier	A UNITY Mapping Operator for Distributed Programs.	FME	1997	DBLP DOI BibTeX RDF
2	Tobias Murer, Daniel Scherer	Structural unity of product, process and organization form in the GIPSY process support framework.	SEE	1997	DBLP DOI BibTeX RDF
2	Boutheina Chetali, Barbara Heyd	Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.	TPHOLs	1997	DBLP DOI BibTeX RDF	theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq
2	Thomas Breuer	Integral Bases for Subfields of Cyclotomic Fields.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Cyclotomic fields, Integral bases, Roots of unity
2	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.	ICSE	1996	DBLP BibTeX RDF	UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning
2	John P. McDermott, David M. Goldschlag	Towards a model of storage jamming.	CSFW	1996	DBLP DOI BibTeX RDF	storage jamming model, cryptographic techniques, detection mechanism, Unity logic, high-level operators, rate of jamming, persistent values, access control, access controls, cryptography, security of data, susceptibility
2	C. Donald Wilcox, Gruia-Catalin Roman	Reasoning About Places, Times, and Actions in the Presence of Mobility.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Mobile computing, time, action, place, UNITY, formal derivation, specification refinement
2	Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson	The HOL-UNITY Verification System.	TAPSOFT	1995	DBLP DOI BibTeX RDF
2	S. W. F. Omta, L. M. Bouter, J. M. L. van Engelen	A management control perspective an industrial pharmaceutical R&D.	HICSS	1995	DBLP DOI BibTeX RDF	pharmaceutical industry, management control perspective, industrial pharmaceutical R? socio-dynamic factors, industrial performance, pharmaceutical industry, pharmaceutical innovation, double unity cell model, management control, organizational flexibility, control capacity, structured interviews, socio-dynamic literature, rewarding environments, R? productivity, system-technical factors, empirical study, human factors, industries, social aspects of automation, system theory, research and development management, professional aspects
2	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	A Graphical Tool for Proving Unity Progress.	TPHOLs	1994	DBLP DOI BibTeX RDF
2	Edgar Knapp	Soundness and Completeness of UNITY Logic.	FSTTCS	1994	DBLP DOI BibTeX RDF	Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
2	Christian Creveuil, Gruia-Catalin Roman	Formal Specification and Designof a Message Router.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal methods, UNITY, program derivation, specification refinement
2	Ying Liu, Ambuj K. Singh, Rajive Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
2	Rob T. Udink, Joost N. Kok	Two Fully Abstract Models for UNITY.	CONCUR	1993	DBLP DOI BibTeX RDF
2	Pierre Collette	Application of the Composition Principle to Unity-like Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
2	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	Program Verification using HOL-UNITY.	HUG	1993	DBLP DOI BibTeX RDF
2	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
2	Mark G. Staskauskas	Formal Derivation of Concurrent Programs: An Example from Industry.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	tapes, I/O channels, UNITY methodology, resource allocation algorithm, formal specification, parallel programming, specifications, operating system, program verification, concurrent programs, proofs, disks, formal derivation, I/O subsystem
2	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
2	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
1	Clemens M. Zierhofer	Signal Representation With Unity-Weight Dirac Impulses.	IEEE Transactions on Signal Processing	2012	DBLP DOI BibTeX RDF
1	Murdoch James Gabbay	Unity in nominal equational reasoning: The algebra of equality on nominal sets.	J. Applied Logic	2012	DBLP DOI BibTeX RDF
1	Stavros Garoufalidis, Christoph Koutschan	Twisting q-holonomic sequences by complex roots of unity	CoRR	2012	DBLP BibTeX RDF
1	Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin	Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts.	FLOPS	2012	DBLP DOI BibTeX RDF
1	Adam Runions, Faramarz F. Samavati	Partition of unity parametrics: a framework for meta-modeling.	The Visual Computer	2011	DBLP DOI BibTeX RDF
1	H. S. Ho, Bonnie F. Y. Lui, Michael Y. Wang	Parametric structural optimization with radial basis functions and partition of unity method.	Optimization Methods and Software	2011	DBLP DOI BibTeX RDF
1	Yixin Zhong	Unity-Based Diversity: System Approach to Defining Information.	Information	2011	DBLP DOI BibTeX RDF
1	Ahmed M. Soliman	Current conveyor based or unity gain cells based two integrator loop oscillators.	Microelectronics Journal	2011	DBLP DOI BibTeX RDF
1	Eduardo Sáenz-de-Cabezón, L. Javier Hernández, M. Teresa Rivas, Esteban García-Ruiz, Vicente Marco, Ignacio Pérez-Moreno, F. Javier Sáenz-de-Cabezón	A computer implementation of the partition of the unity procedure and its application to arthropod population dynamics. A case study on the European grape berry moth.	Mathematics and Computers in Simulation	2011	DBLP DOI BibTeX RDF
1	Burton Voorhees	Representation of Additive Cylindrical Cellular Automata With Roots of Unity.	J. Cellular Automata	2011	DBLP BibTeX RDF
1	Ian Pratt-Hartmann	The Syllogistic with Unity	CoRR	2011	DBLP BibTeX RDF
1	Neil Katz, Thomas Cook, Robert Smart	Extending Web Browsers with a Unity 3D-Based Virtual Worlds Viewer.	IEEE Internet Computing	2011	DBLP DOI BibTeX RDF	simulation, modeling, visualization, virtual reality, computer-supported cooperative work, System architectures, Internet computing, computer systems organization, artificial, augmented and virtual realities, integration and modeling
1	Chun-Xia Xiao	Multi-Level Partition of Unity Algebraic Point Set Surfaces.	J. Comput. Sci. Technol.	2011	DBLP DOI BibTeX RDF