Search results for "point-free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Abolghasem Karimi Feizabadi, M. Mehdi Ebrahimi	Point-Free Version of Kakutani Duality.	Order	2005	DBLP DOI BibTeX RDF	Kakutani duality, Riesz space, frame
18	Brad Alexander, Andrew L. Wendelborn	Data Movement Optimisation in Point-Free Form.	AMAST	2006	DBLP DOI BibTeX RDF
18	Alcino Cunha, Jorge Sousa Pinto, José Proença	A Framework for Point-Free Program Transformation.	IFL	2005	DBLP DOI BibTeX RDF
16	Paulo F. Silva 0001, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
16	Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira	A Relational Model for Confined Separation Logic.	TASE	2008	DBLP DOI BibTeX RDF	point-free, confined separation logic, relational
16	Giangiacomo Gerla	Multivalued Logic to Transform Potential into Actual Objects.	Stud Logica	2007	DBLP DOI BibTeX RDF	Potential existence, point-free geometry, multi-valued logic, infinity
16	Alcino Cunha, Joost Visser 0001	Transformation of structure-shy programs: applied to XPath queries and strategic functions.	PEPM	2007	DBLP DOI BibTeX RDF	XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization
15	Ravi Kannan, László Lovász 0001	Covering Minima and Lattice Point Free Convex Bodies.	FSTTCS	1986	DBLP DOI BibTeX RDF
14	Peter Aczel, Giovanni Curi	On the T1 axiom and other separation properties in constructive point-free and point-set topology.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
14	Tristan Bice, Wieslaw Kubis	Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Georges Gonthier	Point-Free, Set-Free Concrete Linear Algebra.	ITP	2011	DBLP DOI BibTeX RDF
13	Bernd Braßel, Jan Christiansen	Denotation by Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
9	Hyowon Kim, Hui Chen 0014, Musa Furkan Keskin, Yu Ge 0002, Kamran Keykhosravi, George C. Alexandropoulos, Sunwoo Kim 0001, Henk Wymeersch	RIS-Enabled and Access-Point-Free Simultaneous Radio Localization and Mapping.	IEEE Trans. Wirel. Commun.	2024	DBLP DOI BibTeX RDF
9	Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild	A point-free perspective on lax extensions and predicate liftings.	Math. Struct. Comput. Sci.	2024	DBLP DOI BibTeX RDF
9	Fatma Altunbulak Aksu, Roghayeh Hafezieh, Ipek Tuvay	Binary linear codes with a fixed point free permutation automorphism of order three.	CoRR	2024	DBLP DOI BibTeX RDF
9	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.	Order	2023	DBLP DOI BibTeX RDF
9	Xiao Liu, Lei Zheng, Chu Qin, Yang Li, John Z. H. Zhang, Zhaoxi Sun	Screening Power of End-Point Free-Energy Calculations in Cucurbituril Host-Guest Systems.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
9	Xiao Liu, Lei Zheng, Chu Qin, John Z. H. Zhang, Zhaoxi Sun	Comprehensive evaluation of end-point free energy techniques in carboxylated-pillar[6]arene host-guest binding: I. Standard procedure.	J. Comput. Aided Mol. Des.	2022	DBLP DOI BibTeX RDF
9	Xiao Liu, Lei Zheng, Yalong Cong, Zhihao Gong, Zhixiang Yin, John Z. H. Zhang, Zhirong Liu, Zhaoxi Sun	Comprehensive evaluation of end-point free energy techniques in carboxylated-pillar[6]arene host-guest binding: II. regression and dielectric constant.	J. Comput. Aided Mol. Des.	2022	DBLP DOI BibTeX RDF
9	Ming Ng, Steven Vickers	Point-free Construction of Real Exponentiation.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
9	Ali Nezhadi, Shaahin Angizi, Arman Roohi	semiMul: Floating-Point Free Implementations for Efficient and Accurate Neural Network Training.	ICMLA	2022	DBLP DOI BibTeX RDF
9	Zhe Huai, Huaiyu Yang, Xiao Li, Zhaoxi Sun	SAMPL7 TrimerTrip host-guest binding affinities from extensive alchemical and end-point free energy calculations.	J. Comput. Aided Mol. Des.	2021	DBLP DOI BibTeX RDF
9	Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild	A Point-free Perspective on Lax extensions and Predicate liftings.	CoRR	2021	DBLP BibTeX RDF
9	István Donkó, Ambrus Kaposi	Internal Strict Propositions Using Point-Free Equations.	TYPES	2021	DBLP DOI BibTeX RDF
9	Federica Aveta, Hazem H. Refai, Peter G. LoPresti	Cognitive Multi-Point Free Space Optical Communication: Real-Time Users Discovery Using Unsupervised Machine Learning.	IEEE Access	2020	DBLP DOI BibTeX RDF
9	Dimiter Vakarelov	Point-free Theories of Space and Time.	FLAP	2020	DBLP BibTeX RDF
9	Dimas Suárez, Natalia Díaz	Affinity Calculations of Cyclodextrin Host-Guest Complexes: Assessment of Strengths and Weaknesses of End-Point Free Energy Methods.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
9	Rafal Gruszczynski, Andrzej Pietruszczak	A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.	Stud Logica	2019	DBLP DOI BibTeX RDF
9	Haiqing He, Ting Chen, Huaien Zeng, Shengxiang Huang	Ground Control Point-Free Unmanned Aerial Vehicle-Based Photogrammetry for Volume Estimation of Stockpiles Carried on Barges.	Sensors	2019	DBLP DOI BibTeX RDF
9	Rafal Gruszczynski, Andrzej Pietruszczak	A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures.	Stud Logica	2018	DBLP DOI BibTeX RDF
9	Tatsuji Kawai, Giovanni Sambin	The principle of point-free continuity.	CoRR	2018	DBLP BibTeX RDF
9	Olga O. Yufereva	Lion and Man Game and Fixed Point-Free Maps.	Autom. Remote. Control.	2018	DBLP DOI BibTeX RDF
9	Vikraman Arvind	Finding fixed point free elements and small bases in permutation groups.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
9	Giangiacomo Gerla, Rafal Gruszczynski	Point-Free Geometry, ovals, and half-planes.	Rev. Symb. Log.	2017	DBLP DOI BibTeX RDF
9	Tatsuji Kawai	A point-free characterisation of Bishop locally compact metric spaces.	J. Log. Anal.	2017	DBLP BibTeX RDF
9	Tatsuji Kawai	Point-free characterisation of Bishop compact metric spaces.	J. Log. Anal.	2017	DBLP BibTeX RDF
9	Hui Liu, Tingjun Hou	CaFE: a tool for binding affinity prediction using end-point free energy methods.	Bioinform.	2016	DBLP DOI BibTeX RDF
9	Basil A. Karádais	Atomicity, coherence of information, and point-free structures.	Ann. Pure Appl. Log.	2016	DBLP DOI BibTeX RDF
9	Mahir Bilen Can, Yonah Cherniavsky, Tim Twelbeck	Bruhat Order on Partial Fixed Point Free Involutions.	Electron. J. Comb.	2014	DBLP DOI BibTeX RDF
9	Matthew Watson	Bruhat Order on Fixed-point-free Involutions in the Symmetric Group.	Electron. J. Comb.	2014	DBLP DOI BibTeX RDF
9	Gunther Schmidt 0001	A Point-Free Relation-Algebraic Approach to General Topology.	RAMiCS	2014	DBLP DOI BibTeX RDF
9	Bo Wang, Liwei Li 0005, Thomas D. Hurley, Samy O. Meroueh	Molecular Recognition in a Diverse Set of Protein-Ligand Interactions Studied with Molecular Dynamics Simulations and End-Point Free Energy Calculations.	J. Chem. Inf. Model.	2013	DBLP DOI BibTeX RDF
9	Anna Di Concilio	Point-Free Geometries: Proximities and Quasi-Metrics.	Math. Comput. Sci.	2013	DBLP DOI BibTeX RDF
9	Gülin Ercan, Ismail S. Güloglu	A Generalized Fixed Point Free Automorphism of Prime Power Order.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
9	Lindsay N. Childs	Fixed point free automorphisms of groups related to finite fields.	Finite Fields Their Appl.	2012	DBLP DOI BibTeX RDF
9	Kai-Wei Chiang, Meng-Lun Tsai, Chien-Hsun Chu	The Development of an UAV Borne Direct Georeferenced Photogrammetric Platform for Ground Control Point Free Applications.	Sensors	2012	DBLP DOI BibTeX RDF
9	Olaf Karl Klinke	A bitopological point-free approach to compactifications.		2012	RDF
9	Damien Hardy, Benjamin Lesage, Isabelle Puaut	Scalable Fixed-Point Free Instruction Cache Analysis.	RTSS	2011	DBLP DOI BibTeX RDF
9	Dimiter Vakarelov	Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
9	Giovanni Curi	On some peculiar aspects of the constructive theory of point-free spaces.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
9	Cristina Coppola, Giangiacomo Gerla, Annamaria Miranda	Point-free Foundation of Geometry and Multivalued Logic.	Notre Dame J. Formal Log.	2010	DBLP DOI BibTeX RDF
9	Cyril Prissette	An Algorithm to List All the Fixed-Point Free Involutions on a Finite Set	CoRR	2010	DBLP BibTeX RDF
9	Kent Andersen, Quentin Louveaux, Robert Weismantel	An Analysis of Mixed Integer Linear Sets Based on Lattice Point Free Convex Sets.	Math. Oper. Res.	2010	DBLP DOI BibTeX RDF
9	Hugo Pacheco 0001, Alcino Cunha	Generic Point-free Lenses.	MPC	2010	DBLP DOI BibTeX RDF
9	Giangiacomo Gerla	Point-Free Geometry and Verisimilitude of Theories.	J. Philos. Log.	2007	DBLP DOI BibTeX RDF
9	Agnieszka Görlich, Monika Pilsniak, Mariusz Wozniak, Irmina A. Ziolo	Fixed-point-free embeddings of digraphs with small size.	Discret. Math.	2007	DBLP DOI BibTeX RDF
9	Imre Bárány	The chance that a convex body is lattice-point free: A relative of Buffon's needle problem.	Random Struct. Algorithms	2007	DBLP DOI BibTeX RDF
9	Anna Di Concilio, Giangiacomo Gerla	Quasi-metric spaces and point-free geometry.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
9	Alcino Cunha, Jorge Sousa Pinto	Point-free Program Transformation.	Fundam. Informaticae	2005	DBLP BibTeX RDF
9	Alcino Cunha	Point-free program calculation		2005	RDF
9	Giovanni Curi	Constructive metrisability in point-free topology.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
9	Masaaki Harada, Vladimir D. Tonchev	Self-orthogonal Codes from Symmetric Designs with Fixed-point-free Auto-morphisms.	Discret. Math.	2003	DBLP DOI BibTeX RDF
9	Dominik J. Schoop	Points in point-free mereotopology.	Fundam. Informaticae	2001	DBLP BibTeX RDF
9	Iraj Kalantari, Lawrence Welch	Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I.	Ann. Pure Appl. Log.	1998	DBLP DOI BibTeX RDF
9	A. Bijlsma 0001, Carel S. Scholten	Point-free Substitution.	Sci. Comput. Program.	1996	DBLP DOI BibTeX RDF
9	Peter J. Cameron, Arjeh M. Cohen	On the number of fixed point free elements in a permutation group.	Discret. Math.	1992	DBLP DOI BibTeX RDF
9	Rosemary A. Bailey, Dieter Jungnickel	Translation nets and fixed-point-free group automorphisms.	J. Comb. Theory, Ser. A	1990	DBLP DOI BibTeX RDF
9	Peter J. Cameron, Peter Frankl, William M. Kantor	Intersecting Families of Finite Sets and Fixed-point-Free 2-Elements.	Eur. J. Comb.	1989	DBLP DOI BibTeX RDF
8	Helena A. Jorge	Combinatorics of Polytopes with a Group of Linear Symmetries of Prime Power Order.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
6	Masaaki Homma, Seon Jeong Kim	The second generalized Hamming weight for two-point codes on a Hermitian curve.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	14H50, 11T71, AMS Classifications 94B27, 11G20
6	Kent Andersen, Quentin Louveaux, Robert Weismantel, Laurence A. Wolsey	Inequalities from Two Rows of a Simplex Tableau.	IPCO	2007	DBLP DOI BibTeX RDF
6	Harold Simmons	Regularity, Fitness, and the Block Structure of Frames.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22, 54D10, 54A05
6	Xinjia Chen, Kemin Zhou, Jorge L. Aravena	A new family of unitary space-time codes with a fast parallel sphere decoder algorithm.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
4	Terasan Niyomsataya, Ali Miri, Monica Nevins	An Application of theBruhat Decomposition to the Design of Full Diversity Unitary Space-Time Codes.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
4	Fumihiko Asano, Zhi Wei Luo	Energy-Efficient and High-Speed Dynamic Biped Locomotion Based on Principle of Parametric Excitation.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
4	Terasan Niyomsataya, Ali Miri, Monica Nevins	Unitary Space-Time Group Codes: Diversity Sums From Character Tables.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
4	Themba Dube, Joanne Walters-Wayland	Coz-onto Frame Maps and Some Applications.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification 06D22, 54B05, 54C45, 54G05
4	Frédérique E. Oggier	Cyclic Algebras for Noncoherent Differential Space-Time Coding.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
4	Terasan Niyomsataya, Ali Miri, Monica Nevins	Unitary Space-Time Constellation Designs From Group Codes.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
4	Damien Pous	Complete Lattices and Up-To Techniques.	APLAS	2007	DBLP DOI BibTeX RDF
4	Wolfram Kahl	Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.	RelMiCS	2006	DBLP DOI BibTeX RDF
4	Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan 0001	Kolmogorov Complexity and the Recursion Theorem.	STACS	2006	DBLP DOI BibTeX RDF
4	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
4	Mizuhito Ogawa, Eiichi Horita, Satoshi Ono	Proving Properties of Incremental Merkle Trees.	CADE	2005	DBLP DOI BibTeX RDF	temporal authentication, theorem prover, Merkle tree
4	Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi	An Injective Language for Reversible Computation.	MPC	2004	DBLP DOI BibTeX RDF
4	André Arnold, Luigi Santocanale	Ambiguous Classes in the Games µ-Calculus Hierarchy.	FoSSaCS	2003	DBLP DOI BibTeX RDF
4	Thoralf Räsch	Introduction to Guarded Logics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Ross Paterson	A New Notation for Arrows.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
4	Horst Herrlich, Ales Pultr	Nearness, Subfitness and Sequential Regularity.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	nearness space, nearnes frame (locale), subfit frame, sequentially regular, regular
4	Oege de Moor, Jeremy Gibbons	Invited Talk: Pointwise Relational Programming.	AMAST	2000	DBLP DOI BibTeX RDF
4	A. A'Campo-Neuen	On Generalized h -Vectors of Rational Polytopes with a Symmetry of Prime Order.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
4	Eric Sparla	An Upper and a Lower Bound Theorem for Combinatorial 4-Manifolds.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
4	Matteo Vaccari, Roland Carl Backhouse	Calculating a Round-Robin Scheduler.	MPC	1998	DBLP DOI BibTeX RDF
4	Imre Bárány, Herbert E. Scarf, David Shallcross	The Topological Structure of Maximal Lattice Free Convex Bodies: The General Case.	IPCO	1995	DBLP DOI BibTeX RDF
4	Ravi Kannan	The Frobenius Problem.	FSTTCS	1989	DBLP DOI BibTeX RDF